Yu Zhang - RankMe

113 papers A* 13A 12B 3C 8Misc 4Journal 53Unranked 20

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An empirical study of CGO usage in Go projects - Distribution, purposes, patterns and critical issues. J. Syst. Softw. Jinbao Chen, Boyao Ding, Yu Zhang, Qingwei Li, Fugen Tang
2025	J	`jnl`	A Survey of Multilanguage Interoperability and Its Program Analysis. IEEE Trans. Reliab. Mingzhe Hu, Le Yu, Yu Zhang, Liping Han
2025	J	`jnl`	An Empirical Study of CGO Usage in Go Projects - Distribution, Purposes, Patterns and Critical Issues. CoRR Jinbao Chen, Boyao Ding, Yu Zhang, Qingwei Li, Fugen Tang
2025	A*	`conf`	CAFE-AD: Cross-Scenario Adaptive Feature Enhancement for Trajectory Planning in Autonomous Driving. ICRA Junrui Zhang, Chenjie Wang, Jie Peng, Haoyu Li, Jianmin Ji, Yu Zhang, Yanyong Zhang
2025	J	`jnl`	CAFE-AD: Cross-Scenario Adaptive Feature Enhancement for Trajectory Planning in Autonomous Driving. CoRR Junrui Zhang, Chenjie Wang, Jie Peng, Haoyu Li, Jianmin Ji, Yu Zhang, Yanyong Zhang
2025	J	`jnl`	GARD: A Geometry-Informed and Uncertainty-Aware Baseline Method for Zero-Shot Roadside Monocular Object Detection. IEEE Robotics Autom. Lett. Yuru Peng, Beibei Wang, Zijian Yu, Lu Zhang, Jianmin Ji, Yu Zhang, Yanyong Zhang
2025	A	`conf`	GoFree: Reducing Garbage Collection via Compiler-Inserted Freeing. CGO Haoran Peng, Yu Zhang, Michael D. Ernst, Jinbao Chen, Boyao Ding
2025	A*	`conf`	Improving Efficiency of Answer Set Planning with Rough Solutions from Large Language Models for Robotic Task Planning. IJCAI Xinrui Lin, Yangfan Wu, Huanyu Yang, Yuting Huang, Yu Zhang, Jianmin Ji, Yanyong Zhang
2025	J	`jnl`	OA-DET3D: Embedding Object Awareness As A General Plug-in for Multi-Camera 3D Object Detection. Int. J. Comput. Vis. Xiaomeng Chu, Jiajun Deng, Jianmin Ji, Yu Zhang, Houqiang Li, Yanyong Zhang
2025	J	`jnl`	PauliForest: Connectivity-Aware Synthesis and Pauli-Oriented Qubit Mapping for Near-Term Quantum Simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yongshang Li, Yu Zhang, Haoning Deng, Mingyu Chen, Zhenyu Li
2025	J	`jnl`	Productively Generating a High-Performance Linear Algebra Library on FPGAs. ACM Trans. Reconfigurable Technol. Syst. Xiaochen Hao, Mingzhe Zhang, Ce Sun, Zhuofu Tao, Hongbo Rong, Yu Zhang, Lei He, Eric Petit, Wenguang Chen, Yun Liang
2025	A*	`conf`	Self-Attention to Operator Learning-based 3D-IC Thermal Simulation. DAC Zhen Huang, Hong Wang, Wenkai Yang, Muxi Tang, Depeng Xie, Ting-Jung Lin, Yu Zhang, Wei W. Xing, Lei He
2025	J	`jnl`	Self-Attention to Operator Learning-based 3D-IC Thermal Simulation. CoRR Zhen Huang, Hong Wang, Wenkai Yang, Muxi Tang, Depeng Xie, Ting-Jung Lin, Yu Zhang, Wei W. Xing, Lei He
2025	J	`jnl`	SpatialSplat: Efficient Semantic 3D from Sparse Unposed Images. CoRR Yu Sheng, Jiajun Deng, Xinran Zhang, Yu Zhang, Bei Hua, Yanyong Zhang, Jianmin Ji
2025	J	`jnl`	Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra. Proc. ACM Program. Lang. Yu Zhang, Jérémie Koenig, Zhong Shao, Yuting Wang
2025	A*	`conf`	UrgenGo: Urgency-Aware Transparent GPU Kernel Launching for Autonomous Driving. MobiCom Hanqi Zhu, Wuyang Zhang, Xinran Zhang, Ziyang Tao, Xinrui Lin, Yu Zhang, Jianmin Ji, Yanyong Zhang
2025	J	`jnl`	UrgenGo: Urgency-Aware Transparent GPU Kernel Launching for Autonomous Driving. CoRR Hanqi Zhu, Wuyang Zhang, Xinran Zhang, Ziyang Tao, Xinrui Lin, Yu Zhang, Jianmin Ji, Yanyong Zhang
2025	J	`jnl`	$X$-evolve: Solution space evolution powered by large language models. CoRR Yi Zhai, Zhiqiang Wei, Ruohan Li, Keyu Pan, Shuo Liu, Lu Zhang, Jianmin Ji, Wuyang Zhang, Yu Zhang, Yanyong Zhang
2024	J	`jnl`	CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planning. CoRR Xinrui Lin, Yangfan Wu, Huanyu Yang, Yu Zhang, Yanyong Zhang, Jianmin Ji
2024	J	`jnl`	CORP: A Multi-Modal Dataset for Campus-Oriented Roadside Perception Tasks. CoRR Beibei Wang, Shuang Meng, Lu Zhang, Chenjie Wang, Jingjing Huang, Yao Li, Haojie Ren, Yuxuan Xiao, Yuru Peng, Jianmin Ji, Yu Zhang, Yanyong Zhang
2024	A*	`conf`	Crop: An Analytical Cost Model for Cross-Platform Performance Prediction of Tensor Programs. DAC Xinyu Sun, Yu Zhang, Shuo Liu, Yi Zhai
2024	A*	`conf`	Enabling Tensor Language Model to Assist in Generating High-Performance Tensor Programs for Deep Learning. OSDI Yi Zhai, Sijia Yang, Keyu Pan, Renwei Zhang, Shuo Liu, Chao Liu, Zichun Ye, Jianmin Ji, Jie Zhao, Yu Zhang, Yanyong Zhang
2024	J	`jnl`	FARFusion: A Practical Roadside Radar-Camera Fusion System for Far-Range Perception. IEEE Robotics Autom. Lett. Yao Li, Yingjie Wang, Chengzhen Meng, Yifan Duan, Jianmin Ji, Yu Zhang, Yanyong Zhang
2024	—	`conf`	Graph-Specific Schema-Guided Query Optimization. DASFAA (1) Chaijun Xu, Yunlong Liang, Yu Zhang, Hairong Hu, Jingjing Huang, Kaiwei Li, Tao Wang, Yanyong Zhang
2024	J	`jnl`	MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang. Proc. ACM Program. Lang. Boyao Ding, Qingwei Li, Yu Zhang, Fugen Tang, Jinbao Chen
2024	J	`jnl`	MSGField: A Unified Scene Representation Integrating Motion, Semantics, and Geometry for Robotic Manipulation. CoRR Yu Sheng, Runfeng Lin, Lidian Wang, Quecheng Qiu, Yanyong Zhang, Yu Zhang, Bei Hua, Jianmin Ji
2024	A*	`conf`	Map++: Towards User-Participatory Visual SLAM Systems with Efficient Map Expansion and Sharing. MobiCom Xinran Zhang, Hanqi Zhu, Yifan Duan, Wuyang Zhang, Longfei Shangguan, Yu Zhang, Jianmin Ji, Yanyong Zhang
2024	J	`jnl`	Map++: Towards User-Participatory Visual SLAM Systems with Efficient Map Expansion and Sharing. CoRR Xinran Zhang, Hanqi Zhu, Yifan Duan, Wuyang Zhang, Longfei Shangguan, Yu Zhang, Jianmin Ji, Yanyong Zhang
2024	J	`jnl`	Pattern Tree: Enhancing Efficiency in Quantum Circuit Optimization Based on Pattern-matching. CoRR Mingyu Chen, Yu Zhang, Zhaoyu Zheng, Yongshang Li, Haoning Deng
2024	J	`jnl`	Profiling Power Consumption in Low-Speed Autonomous Guided Vehicles. IEEE Robotics Autom. Lett. Jiaming Leng, Jie Peng, Jie Liu, Yu Zhang, Jianmin Ji, Yanyong Zhang
2024	J	`jnl`	Rendering-Enhanced Automatic Image-to-Point Cloud Registration for Roadside Scenes. CoRR Yu Sheng, Lu Zhang, Xingchen Li, Yifan Duan, Yanyong Zhang, Yu Zhang, Jianmin Ji
2024	J	`jnl`	Rotation Initialization and Stepwise Refinement for Universal LiDAR Calibration. CoRR Yifan Duan, Xinran Zhang, Guoliang You, Yilong Wu, Xingchen Li, Yao Li, Xiaomeng Chu, Jie Peng, Yu Zhang, Jianmin Ji, Yanyong Zhang
2024	A*	`conf`	SDAC: A Multimodal Synthetic Dataset for Anomaly and Corner Case Detection in Autonomous Driving. AAAI Lei Gong, Yu Zhang, Yingqing Xia, Yanyong Zhang, Jianmin Ji
2023	J	`jnl`	An empirical study of the Python/C API on evolution and bug patterns. J. Softw. Evol. Process. Mingzhe Hu, Yu Zhang
2023	A*	`conf`	Bi-LRFusion: Bi-Directional LiDAR-Radar Fusion for 3D Dynamic Object Detection. CVPR Yingjie Wang, Jiajun Deng, Yao Li, Jinshui Hu, Cong Liu, Yu Zhang, Jianmin Ji, Wanli Ouyang, Yanyong Zhang
2023	J	`jnl`	Bi-LRFusion: Bi-Directional LiDAR-Radar Fusion for 3D Dynamic Object Detection. CoRR Yingjie Wang, Jiajun Deng, Yao Li, Jinshui Hu, Cong Liu, Yu Zhang, Jianmin Ji, Wanli Ouyang, Yanyong Zhang
2023	A	`conf`	CGORewritter: A better way to use C library in G. SANER Boyao Ding, Yu Zhang, Jinbao Chen, Mingzhe Hu, Qingwei Li
2023	A*	`conf`	CluB: Cluster Meets BEV for LiDAR-Based 3D Object Detection. NeurIPS Yingjie Wang, Jiajun Deng, Yuenan Hou, Yao Li, Yu Zhang, Jianmin Ji, Wanli Ouyang, Yanyong Zhang
2023	A	`conf`	Cross-Language Call Graph Construction Supporting Different Host Languages. SANER Mingzhe Hu, Qi Zhao, Yu Zhang, Yan Xiong
2023	Misc	`conf`	Lasa: Abstraction and Specialization for Productive and Performant Linear Algebra on FPGAs. FCCM Xiaochen Hao, Mingzhe Zhang, Ce Sun, Zhuofu Tao, Hongbo Rong, Yu Zhang, Lei He, Eric Petit, Wenguang Chen, Yun Liang
2023	J	`jnl`	Multi-Modal 3D Object Detection in Autonomous Driving: A Survey. Int. J. Comput. Vis. Yingjie Wang, Qiuyu Mao, Hanqi Zhu, Jiajun Deng, Yu Zhang, Jianmin Ji, Houqiang Li, Yanyong Zhang
2023	J	`jnl`	OA-BEV: Bringing Object Awareness to Bird's-Eye-View Representation for Multi-Camera 3D Object Detection. CoRR Xiaomeng Chu, Jiajun Deng, Yuan Zhao, Jianmin Ji, Yu Zhang, Houqiang Li, Yanyong Zhang
2023	A	`conf`	P ICME Guoliang You, Xiaomeng Chu, Yifan Duan, Jie Peng, Jianmin Ji, Yu Zhang, Yanyong Zhang
2023	J	`jnl`	P CoRR Guoliang You, Xiaomeng Chu, Yifan Duan, Jie Peng, Jianmin Ji, Yu Zhang, Yanyong Zhang
2023	A	`conf`	Reinforcement Learning for Robot Navigation with Adaptive Forward Simulation Time (AFST) in a Semi-Markov Model. IROS Yu'an Chen, Ruosong Ye, Ziyang Tao, Hongjian Liu, Guangda Chen, Jie Peng, Jun Ma, Yu Zhang, Jianmin Ji, Yanyong Zhang
2023	—	`conf`	TLP: A Deep Learning-Based Cost Model for Tensor Program Tuning. ASPLOS (2) Yi Zhai, Yu Zhang, Shuo Liu, Xiaomeng Chu, Jie Peng, Jianmin Ji, Yanyong Zhang
2023	J	`jnl`	Timing-Aware Qubit Mapping and Gate Scheduling Adapted to Neutral Atom Quantum Computing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yongshang Li, Yu Zhang, Mingyu Chen, Xiang-Yang Li, Peng Xu
2023	J	`jnl`	TrajMatch: Toward Automatic Spatio-Temporal Calibration for Roadside LiDARs Through Trajectory Matching. IEEE Trans. Intell. Transp. Syst. Haojie Ren, Sha Zhang, Sugang Li, Yao Li, Xinchen Li, Jianmin Ji, Yu Zhang, Yanyong Zhang
2023	J	`jnl`	TrajMatch: Towards Automatic Spatio-temporal Calibration for Roadside LiDARs through Trajectory Matching. CoRR Haojie Ren, Sha Zhang, Sugang Li, Yao Li, Xinchen Li, Jianmin Ji, Yu Zhang, Yanyong Zhang
2023	J	`jnl`	VPFNet: Improving 3D Object Detection With Virtual Point Based LiDAR and Stereo Data Fusion. IEEE Trans. Multim. Hanqi Zhu, Jiajun Deng, Yu Zhang, Jianmin Ji, Qiuyu Mao, Houqiang Li, Yanyong Zhang
2022	J	`jnl`	${\mathsf{EZFusion}}$: A Close Look at the Integration of LiDAR, Millimeter-Wave Radar, and Camera for Accurate 3D Object Detection and Tracking. IEEE Robotics Autom. Lett. Yao Li, Jiajun Deng, Yu Zhang, Jianmin Ji, Houqiang Li, Yanyong Zhang
2022	A	`conf`	PFilter: Building Persistent Maps through Feature Filtering for Fast and Accurate LiDAR-based SLAM. IROS Yifan Duan, Jie Peng, Yu Zhang, Jianmin Ji, Yanyong Zhang
2022	J	`jnl`	PFilter: Building Persistent Maps through Feature Filtering for Fast and Accurate LiDAR-based SLAM. CoRR Yifan Duan, Jie Peng, Yu Zhang, Jianmin Ji, Yanyong Zhang
2022	A	`conf`	QCIR: Pattern Matching Based Universal Quantum Circuit Rewriting Framework. ICCAD Mingyu Chen, Yu Zhang, Yongshang Li, Zhen Wang, Jun Li, Xiangyang Li
2022	J	`jnl`	TLP: A Deep Learning-based Cost Model for Tensor Program Tuning. CoRR Yi Zhai, Yu Zhang, Shuo Liu, Xiaomeng Chu, Jie Peng, Jianmin Ji, Yanyong Zhang
2021	—	`conf`	3D Object Detection on Voxels in Spherical Coordinate System. BigCom Xing Guo, Yu Zhang, Lei Gong, Yanyong Zhang
2021	A	`conf`	An Empirical Study for Common Language Features Used in Python Projects. SANER Yun Peng, Yu Zhang, Mingzhe Hu
2021	A	`conf`	DRQN-based 3D Obstacle Avoidance with a Limited Field of View. IROS Yu'an Chen, Guangda Chen, Lifan Pan, Jun Ma, Yu Zhang, Yanyong Zhang, Jianmin Ji
2021	J	`jnl`	DRQN-based 3D Obstacle Avoidance with a Limited Field of View. CoRR Yu'an Chen, Guangda Chen, Lifan Pan, Jun Ma, Yu Zhang, Yanyong Zhang, Jianmin Ji
2021	—	`conf`	Designing a Course of Programming Language Foundations that Closely Combines Practice. ACM TUR-C Yu Zhang, Youwen Ouyang
2021	—	`conf`	Encouraging Compiler Optimization Practice for Undergraduate Students through Competition. ITiCSE (1) Yu Zhang, Chunming Hu, Mingliang Zeng, Yitong Huang, Wenguang Chen, Yuanwei Wang
2021	J	`jnl`	Multi-Modal 3D Object Detection in Autonomous Driving: a Survey. CoRR Yingjie Wang, Qiuyu Mao, Hanqi Zhu, Yu Zhang, Jianmin Ji, Yanyong Zhang
2021	A*	`conf`	Neighbor-Vote: Improving Monocular 3D Object Detection through Neighbor Distance Voting. ACM Multimedia Xiaomeng Chu, Jiajun Deng, Yao Li, Zhenxun Yuan, Yanyong Zhang, Jianmin Ji, Yu Zhang
2021	J	`jnl`	Neighbor-Vote: Improving Monocular 3D Object Detection through Neighbor Distance Voting. CoRR Xiaomeng Chu, Jiajun Deng, Yao Li, Zhenxun Yuan, Yanyong Zhang, Jianmin Ji, Yu Zhang
2021	J	`jnl`	Reinforcement Learning for Robot Navigation with Adaptive ExecutionDuration (AED) in a Semi-Markov Model. CoRR Yu'an Chen, Ruosong Ye, Ziyang Tao, Hongjian Liu, Guangda Chen, Jie Peng, Jun Ma, Yu Zhang, Yanyong Zhang, Jianmin Ji
2021	A	`conf`	Static Type Inference for Foreign Functions of Python. ISSRE Mingzhe Hu, Yu Zhang, Wenchao Huang, Yan Xiong
2021	A*	`conf`	Towards an Online RRT-based Path Planning Algorithm for Ackermann-steering Vehicles. ICRA Jie Peng, Yu'an Chen, Yifan Duan, Yu Zhang, Jianmin Ji, Yanyong Zhang
2021	J	`jnl`	VPFNet: Improving 3D Object Detection with Virtual Point based LiDAR and Stereo Data Fusion. CoRR Hanqi Zhu, Jiajun Deng, Yu Zhang, Jianmin Ji, Qiuyu Mao, Houqiang Li, Yanyong Zhang
2020	C	`conf`	A Close Look at Multi-tenant Parallel CNN Inference for Autonomous Driving. NPC Yitong Huang, Yu Zhang, Boyuan Feng, Xing Guo, Yanyong Zhang, Yufei Ding
2020	A*	`conf`	Codar: A Contextual Duration-Aware Qubit Mapping for Various NISQ Devices. DAC Haowei Deng, Yu Zhang, Quanxi Li
2020	J	`jnl`	Context-Sensitive and Duration-Aware Qubit Mapping for Various NISQ Devices. CoRR Yu Zhang, Haowei Deng, Quanxi Li
2020	—	`conf`	Lightweight Map-Enhanced 3D Object Detection and Tracking for Autonomous Driving. Internetware Lei Gong, Shunhong Wang, Yu Zhang, Yanyong Zhang, Jianmin Ji
2020	A	`conf`	The Python/C API: Evolution, Usage Statistics, and Bug Patterns. SANER Mingzhe Hu, Yu Zhang
2019	—	`conf`	Automatic Generation of Capability Leaks' Exploits for Android Applications. ICST Workshops Mingsong Zhou, Fanping Zeng, Yu Zhang, Chengcheng Lv, Zhao Chen, Guozhu Chen
2019	—	`conf`	Fast Schedule Tensor Computation on GPU with High Data Reuse and Device Utilization. ISPA/BDCloud/SocialCom/SustainCom Yuxiang Zhang, Yu Zhang
2019	—	`conf`	Image Super-Resolution Model Based on Bypass Convolution and Feature Weighting. HPCC/SmartCity/DSS Zhenzhong Pan, Yu Zhang, Xing Guo
2019	—	`conf`	MSNdroid: the Android malware detector based on multi-class features and deep belief network. ACM TUR-C Xiaoxia Qin, Fanping Zeng, Yu Zhang
2019	Misc	`conf`	Optimizing Quantum Programs Against Decoherence: Delaying Qubits into Quantum Superposition. TASE Yu Zhang, Haowei Deng, Quanxi Li, Haoze Song, Leihai Nie
2019	J	`jnl`	Optimizing Quantum Programs against Decoherence: Delaying Qubits into Quantum Superposition. CoRR Yu Zhang, Haowei Deng, Quanxi Li, Haoze Song, Leihai Nie
2018	—	`conf`	A Scalable Pthreads-Compatible Thread Model for VM-Intensive Programs. ICA3PP (4) Yu Zhang, Jiankang Chen
2018	A	`conf`	Compiler Practice System Integrated with Real Open Source Compiler: (Abstract Only). SIGCSE Yu Zhang
2018	—	`conf`	Making Halide Efficient for Multicore Systems. BigCom Yu Zhang, Yuxiang Zhang
2018	Misc	`conf`	RepassDroid: Automatic Detection of Android Malware Based on Essential Permissions and Semantic Features of Sensitive APIs. TASE Niannian Xie, Fanping Zeng, Xiaoxia Qin, Yu Zhang, Mingsong Zhou, Chengcheng Lv
2018	—	`conf`	SMR: Scalable MapReduce for Multicore Systems. HPCC/SmartCity/DSS Yu Zhang, Yu-Fen Yu, Jiankang Chen
2017	—	`conf`	Building step-by-step practical curriculum system for computer systemic ability training. ACM TUR-C Yu Zhang, Xianglan Chen, Xin An, Jianliang Lu, Xuejun Li, Xuehai Zhou
2017	J	`jnl`	CCodeExtractor: 一种针对C程序自动化的函数提取方法 (CCodeExtractor: Automatic Approach of Function Extraction for C Programs). 计算机科学 Qiliang Zhang, Yu Zhang, Kun Zhou
2017	J	`jnl`	CHAUS: Scalable VM-Based Channels for Unbounded Streaming. J. Comput. Sci. Technol. Yu Zhang, Yu-Fen Yu, Hui-Fang Cao, Jian-kang Chen, Qi-Liang Zhang
2017	J	`jnl`	DMR: A Deterministic MapReduce for Multicore Systems. Int. J. Parallel Program. Yu Zhang, Hui-Fang Cao
2016	C	`conf`	Making User-Level VMM for Deterministic Parallelism Nonblocking and Efficient. PDCAT Yu Zhang, Jiange Zhang, Qiliang Zhang
2015	C	`conf`	Lightweight Function Pointer Analysis. ISPEC Wei Zhang, Yu Zhang
2015	J	`jnl`	System-Enforced Deterministic Streaming for Efficient Pipeline Parallelism. J. Comput. Sci. Technol. Yu Zhang, Zhaopeng Li, Hui-Fang Cao
2014	J	`jnl`	A temporal programming model with atomic blocks based on projection temporal logic. Frontiers Comput. Sci. Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng
2013	J	`jnl`	A Shape Graph Logic and A Shape System. J. Comput. Sci. Technol. Zhaopeng Li, Yu Zhang, Yiyun Chen
2013	—	`conf`	Lazy tree mapping: generalizing and scaling deterministic parallelism. APSys Yu Zhang, Bryan Ford
2012	C	`conf`	A Concurrent Temporal Programming Model with Atomic Blocks. ICFEM Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng
2012	C	`conf`	Exploring Deterministic Shared Memory Programming Model. PDCAT Yu Zhang, Wei Hu
2011	—	`conf`	A virtual memory foundation for scalable deterministic parallelism. APSys Yu Zhang, Bryan Ford
2011	J	`jnl`	Adaptive Location-Oriented Content Delivery in Delay-Sensitive Pervasive Applications. IEEE Trans. Mob. Comput. Yu Zhang, Zhibin Wu, Wade Trappe
2010	J	`jnl`	Formal Reasoning About Lazy-STM Programs. J. Comput. Sci. Technol. Yong Li, Yu Zhang, Yiyun Chen, Ming Fu
2010	J	`jnl`	Formal verification of concurrent programs with read-write locks. Frontiers Comput. Sci. China Ming Fu, Yu Zhang, Yong Li
2010	C	`conf`	Just-in-Time Compiler Assisted Object Reclamation and Space Reuse. NPC Yu Zhang, Lina Yuan, Tingpeng Wu, Wen Peng, Quanlong Li
2010	C	`conf`	Reactive on-board regulation of cognitive radios. WOWMOM Yu Zhang, Arati Baliga, Wade Trappe
2010	B	`conf`	Reasoning about Optimistic Concurrency Using a Program Logic for History. CONCUR Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang
2009	J	`jnl`	Certifying Concurrent Programs Using Transactional Memory. J. Comput. Sci. Technol. Long Li, Yu Zhang, Yiyun Chen, Yong Li
2009	Misc	`conf`	Formal Reasoning about Concurrent Assembly Code with Reentrant Locks. TASE Ming Fu, Yu Zhang, Yong Li
2009	—	`conf`	On the Verification of Strong Atomicity in Programs Using STM. SSIRI Yong Li, Yu Zhang, Yiyun Chen, Ming Fu
2008	C	`conf`	A Decision Procedure for XPath Satisfiability in the Presence of DTD Containing Choice. APWeb Yu Zhang, Yihua Cao, Xunhao Li
2008	J	`jnl`	Evaluation of Localization Attacks on Power-Modulated Challenge-Response Systems. IEEE Trans. Inf. Forensics Secur. Yu Zhang, Zang Li, Wade Trappe
2007	B	`conf`	Facilitating an Active Transmit-only RFID System Through Receiver-based Processing. SECON Yu Zhang, Gautam D. Bhanage, Wade Trappe, Yanyong Zhang, Richard E. Howard
2007	—	`conf`	Homomorphism Resolving of XPath Trees Based on Automata. APWeb/WAIM Ming Fu, Yu Zhang
2007	B	`conf`	Power-Modulated Challenge-Response Schemes for Verifying Location Claims. GLOBECOM Yu Zhang, Zang Li, Wade Trappe
2006	—	`conf`	Data-Layout Optimization Using Reuse Distance Distribution. EUC Workshops Xiong Fu, Yu Zhang, Yiyun Chen
2006	—	`conf`	Inverting sensor networks and actuating the environment for spatio-temporal access control. SASN Shu Chen, Yu Zhang, Wade Trappe