Data-Layout Optimization Using Reuse Distance Distribution. - Xiong Fu; Yu Zhang 086; Yiyun Chen (EUC Workshops, 2006)

Inverting sensor networks and actuating the environment for spatio-temporal access control. - Shu Chen; Yu Zhang 086; Wade Trappe (SASN, 2006)

Power-Modulated Challenge-Response Schemes for Verifying Location Claims. - Yu Zhang 086; Zang Li; Wade Trappe (GLOBECOM, 2007)

Facilitating an Active Transmit-only RFID System Through Receiver-based Processing. - Yu Zhang 086; Gautam D. Bhanage; Wade Trappe; Yanyong Zhang; Richard E. Howard (SECON, 2007)

Homomorphism Resolving of XPath Trees Based on Automata. - Ming Fu; Yu Zhang 086 (APWeb/WAIM, 2007)

A Decision Procedure for XPath Satisfiability in the Presence of DTD Containing Choice. - Yu Zhang 086; Yihua Cao; Xunhao Li (APWeb, 2008)

Evaluation of Localization Attacks on Power-Modulated Challenge-Response Systems. - Yu Zhang 086; Zang Li; Wade Trappe (IEEE Trans. Inf. Forensics Secur., 2008)

On the Verification of Strong Atomicity in Programs Using STM. - Yong Li; Yu Zhang 086; Yiyun Chen; Ming Fu (SSIRI, 2009)

Formal Reasoning about Concurrent Assembly Code with Reentrant Locks. - Ming Fu; Yu Zhang 086; Yong Li (TASE, 2009)

Certifying Concurrent Programs Using Transactional Memory. - Long Li; Yu Zhang 086; Yiyun Chen; Yong Li (J. Comput. Sci. Technol., 2009)

Reasoning about Optimistic Concurrency Using a Program Logic for History. - Ming Fu; Yong Li; Xinyu Feng 001; Zhong Shao 001; Yu Zhang 086 (CONCUR, 2010)

Just-in-Time Compiler Assisted Object Reclamation and Space Reuse. - Yu Zhang 086; Lina Yuan; Tingpeng Wu; Wen Peng; Quanlong Li (NPC, 2010)

Reactive on-board regulation of cognitive radios. - Yu Zhang 086; Arati Baliga; Wade Trappe (WOWMOM, 2010)

Formal verification of concurrent programs with read-write locks. - Ming Fu; Yu Zhang 086; Yong Li (Frontiers Comput. Sci. China, 2010)

Formal Reasoning About Lazy-STM Programs. - Yong Li; Yu Zhang 086; Yiyun Chen; Ming Fu (J. Comput. Sci. Technol., 2010)

A virtual memory foundation for scalable deterministic parallelism. - Yu Zhang 086; Bryan Ford (APSys, 2011)

Adaptive Location-Oriented Content Delivery in Delay-Sensitive Pervasive Applications. - Yu Zhang 086; Zhibin Wu; Wade Trappe (IEEE Trans. Mob. Comput., 2011)

A Concurrent Temporal Programming Model with Atomic Blocks. - Xiaoxiao Yang; Yu Zhang 086; Ming Fu; Xinyu Feng 001 (ICFEM, 2012)

Exploring Deterministic Shared Memory Programming Model. - Yu Zhang 086; Wei Hu (PDCAT, 2012)

Lazy tree mapping: generalizing and scaling deterministic parallelism. - Yu Zhang 086; Bryan Ford (APSys, 2013)

A Shape Graph Logic and A Shape System. - Zhaopeng Li; Yu Zhang 086; Yiyun Chen (J. Comput. Sci. Technol., 2013)

A temporal programming model with atomic blocks based on projection temporal logic. - Xiaoxiao Yang; Yu Zhang 086; Ming Fu; Xinyu Feng 001 (Frontiers Comput. Sci., 2014)

Lightweight Function Pointer Analysis. - Wei Zhang; Yu Zhang 086 (ISPEC, 2015)

System-Enforced Deterministic Streaming for Efficient Pipeline Parallelism. - Yu Zhang 086; Zhaopeng Li; Hui-Fang Cao (J. Comput. Sci. Technol., 2015)

Making User-Level VMM for Deterministic Parallelism Nonblocking and Efficient. - Yu Zhang 086; Jiange Zhang; Qiliang Zhang (PDCAT, 2016)

Building step-by-step practical curriculum system for computer systemic ability training. - Yu Zhang 086; Xianglan Chen; Xin An; Jianliang Lu; Xuejun Li; Xuehai Zhou (ACM TUR-C, 2017)

DMR: A Deterministic MapReduce for Multicore Systems. - Yu Zhang 086; Hui-Fang Cao (Int. J. Parallel Program., 2017)

CHAUS: Scalable VM-Based Channels for Unbounded Streaming. - Yu Zhang 086; Yu-Fen Yu; Hui-Fang Cao; Jian-Kang Chen; Qi-Liang Zhang (J. Comput. Sci. Technol., 2017)

CCodeExtractor: 一种针对C程序自动化的函数提取方法 (CCodeExtractor: Automatic Approach of Function Extraction for C Programs). - Qiliang Zhang; Yu Zhang 086; Kun Zhou (计算机科学, 2017)

Making Halide Efficient for Multicore Systems. - Yu Zhang 086; Yuxiang Zhang 009 (BigCom, 2018)

SMR: Scalable MapReduce for Multicore Systems. - Yu Zhang 086; Yu-Fen Yu; Jiankang Chen (HPCC/SmartCity/DSS, 2018)

A Scalable Pthreads-Compatible Thread Model for VM-Intensive Programs. - Yu Zhang 086; Jiankang Chen (ICA3PP (4), 2018)

Compiler Practice System Integrated with Real Open Source Compiler: (Abstract Only). - Yu Zhang 086 (SIGCSE, 2018)

RepassDroid: Automatic Detection of Android Malware Based on Essential Permissions and Semantic Features of Sensitive APIs. - Niannian Xie; Fanping Zeng; Xiaoxia Qin; Yu Zhang 086; Mingsong Zhou; Chengcheng Lv (TASE, 2018)

MSNdroid: the Android malware detector based on multi-class features and deep belief network. - Xiaoxia Qin; Fanping Zeng; Yu Zhang 086 (ACM TUR-C, 2019)

Image Super-Resolution Model Based on Bypass Convolution and Feature Weighting. - Zhenzhong Pan; Yu Zhang 086; Xing Guo (HPCC/SmartCity/DSS, 2019)

Automatic Generation of Capability Leaks' Exploits for Android Applications. - Mingsong Zhou; Fanping Zeng; Yu Zhang 086; Chengcheng Lv; Zhao Chen; Guozhu Chen (ICST Workshops, 2019)

Fast Schedule Tensor Computation on GPU with High Data Reuse and Device Utilization. - Yuxiang Zhang 009; Yu Zhang 086 (ISPA/BDCloud/SocialCom/SustainCom, 2019)

Optimizing Quantum Programs Against Decoherence: Delaying Qubits into Quantum Superposition. - Yu Zhang 086; Haowei Deng; Quanxi Li; Haoze Song; Leihai Nie (TASE, 2019)

Codar: A Contextual Duration-Aware Qubit Mapping for Various NISQ Devices. - Haowei Deng; Yu Zhang 086; Quanxi Li (DAC, 2020)

Lightweight Map-Enhanced 3D Object Detection and Tracking for Autonomous Driving. - Lei Gong; Shunhong Wang; Yu Zhang 086; Yanyong Zhang; Jianmin Ji (Internetware, 2020)

A Close Look at Multi-tenant Parallel CNN Inference for Autonomous Driving. - Yitong Huang; Yu Zhang 086; Boyuan Feng; Xing Guo; Yanyong Zhang; Yufei Ding 001 (NPC, 2020)

The Python/C API: Evolution, Usage Statistics, and Bug Patterns. - Mingzhe Hu; Yu Zhang 086 (SANER, 2020)

Context-Sensitive and Duration-Aware Qubit Mapping for Various NISQ Devices. - Yu Zhang 086; Haowei Deng; Quanxi Li (CoRR, 2020)

Designing a Course of Programming Language Foundations that Closely Combines Practice. - Yu Zhang 086; Youwen Ouyang (ACM TUR-C, 2021)

3D Object Detection on Voxels in Spherical Coordinate System. - Xing Guo; Yu Zhang 086; Lei Gong; Yanyong Zhang (BigCom, 2021)

Towards an Online RRT-based Path Planning Algorithm for Ackermann-steering Vehicles. - Jie Peng 002; Yu'an Chen; Yifan Duan; Yu Zhang 086; Jianmin Ji; Yanyong Zhang (ICRA, 2021)

DRQN-based 3D Obstacle Avoidance with a Limited Field of View. - Yu'an Chen; Guangda Chen; Lifan Pan; Jun Ma 034; Yu Zhang 086; Yanyong Zhang; Jianmin Ji (IROS, 2021)

Static Type Inference for Foreign Functions of Python. - Mingzhe Hu; Yu Zhang 086; Wenchao Huang 001; Yan Xiong 001 (ISSRE, 2021)

Encouraging Compiler Optimization Practice for Undergraduate Students through Competition. - Yu Zhang 086; Chunming Hu; Mingliang Zeng; Yitong Huang; Wenguang Chen; Yuanwei Wang (ITiCSE (1), 2021)

Neighbor-Vote: Improving Monocular 3D Object Detection through Neighbor Distance Voting. - Xiaomeng Chu; Jiajun Deng; Yao Li 016; Zhenxun Yuan; Yanyong Zhang; Jianmin Ji; Yu Zhang 086 (ACM Multimedia, 2021)

An Empirical Study for Common Language Features Used in Python Projects. - Yun Peng; Yu Zhang 086; Mingzhe Hu (SANER, 2021)

Multi-Modal 3D Object Detection in Autonomous Driving: a Survey. - Yingjie Wang 005; Qiuyu Mao; Hanqi Zhu; Yu Zhang 086; Jianmin Ji; Yanyong Zhang (CoRR, 2021)

Reinforcement Learning for Robot Navigation with Adaptive ExecutionDuration (AED) in a Semi-Markov Model. - Yu'an Chen; Ruosong Ye; Ziyang Tao; Hongjian Liu; Guangda Chen; Jie Peng 002; Jun Ma 034; Yu Zhang 086; Yanyong Zhang; Jianmin Ji (CoRR, 2021)

QCIR: Pattern Matching Based Universal Quantum Circuit Rewriting Framework. - Mingyu Chen 009; Yu Zhang 086; Yongshang Li; Zhen Wang; Jun Li 001; Xiangyang Li 001 (ICCAD, 2022)

PFilter: Building Persistent Maps through Feature Filtering for Fast and Accurate LiDAR-based SLAM. - Yifan Duan; Jie Peng 002; Yu Zhang 086; Jianmin Ji; Yanyong Zhang (IROS, 2022)

${ mathsf{EZFusion}}$: A Close Look at the Integration of LiDAR, Millimeter-Wave Radar, and Camera for Accurate 3D Object Detection and Tracking. - Yao Li 016; Jiajun Deng; Yu Zhang 086; Jianmin Ji; Houqiang Li; Yanyong Zhang (IEEE Robotics Autom. Lett., 2022)

TLP: A Deep Learning-Based Cost Model for Tensor Program Tuning. - Yi Zhai; Yu Zhang 086; Shuo Liu; Xiaomeng Chu; Jie Peng 002; Jianmin Ji; Yanyong Zhang (ASPLOS (2), 2023)

Bi-LRFusion: Bi-Directional LiDAR-Radar Fusion for 3D Dynamic Object Detection. - Yingjie Wang 005; Jiajun Deng; Yao Li 016; Jinshui Hu; Cong Liu 006; Yu Zhang 086; Jianmin Ji; Wanli Ouyang; Yanyong Zhang (CVPR, 2023)

Lasa: Abstraction and Specialization for Productive and Performant Linear Algebra on FPGAs. - Xiaochen Hao; Mingzhe Zhang; Ce Sun; Zhuofu Tao; Hongbo Rong; Yu Zhang 086; Lei He 001; Eric Petit 002; Wenguang Chen; Yun Liang 001 (FCCM, 2023)

P3O: Transferring Visual Representations for Reinforcement Learning via Prompting. - Guoliang You; Xiaomeng Chu; Yifan Duan; Jie Peng 002; Jianmin Ji; Yu Zhang 086; Yanyong Zhang (ICME, 2023)

Reinforcement Learning for Robot Navigation with Adaptive Forward Simulation Time (AFST) in a Semi-Markov Model. - Yu'an Chen; Ruosong Ye; Ziyang Tao; Hongjian Liu; Guangda Chen; Jie Peng 002; Jun Ma 034; Yu Zhang 086; Jianmin Ji; Yanyong Zhang (IROS, 2023)

CluB: Cluster Meets BEV for LiDAR-Based 3D Object Detection. - Yingjie Wang 005; Jiajun Deng; Yuenan Hou; Yao Li 016; Yu Zhang 086; Jianmin Ji; Wanli Ouyang; Yanyong Zhang (NeurIPS, 2023)

CGORewritter: A better way to use C library in G. - Boyao Ding; Yu Zhang 086; Jinbao Chen; Mingzhe Hu; Qingwei Li (SANER, 2023)

Cross-Language Call Graph Construction Supporting Different Host Languages. - Mingzhe Hu; Qi Zhao; Yu Zhang 086; Yan Xiong 001 (SANER, 2023)

OA-BEV: Bringing Object Awareness to Bird's-Eye-View Representation for Multi-Camera 3D Object Detection. - Xiaomeng Chu; Jiajun Deng; Yuan Zhao; Jianmin Ji; Yu Zhang 086; Houqiang Li; Yanyong Zhang (CoRR, 2023)

TrajMatch: Towards Automatic Spatio-temporal Calibration for Roadside LiDARs through Trajectory Matching. - Haojie Ren; Sha Zhang 002; Sugang Li; Yao Li 016; Xinchen Li; Jianmin Ji; Yu Zhang 086; Yanyong Zhang (CoRR, 2023)

VPFNet: Improving 3D Object Detection With Virtual Point Based LiDAR and Stereo Data Fusion. - Hanqi Zhu; Jiajun Deng; Yu Zhang 086; Jianmin Ji; Qiuyu Mao; Houqiang Li; Yanyong Zhang (IEEE Trans. Multim., 2023)

An empirical study of the Python/C API on evolution and bug patterns. - Mingzhe Hu; Yu Zhang 086 (J. Softw. Evol. Process., 2023)

Multi-Modal 3D Object Detection in Autonomous Driving: A Survey. - Yingjie Wang 005; Qiuyu Mao; Hanqi Zhu; Jiajun Deng; Yu Zhang 086; Jianmin Ji; Houqiang Li; Yanyong Zhang (Int. J. Comput. Vis., 2023)

Timing-Aware Qubit Mapping and Gate Scheduling Adapted to Neutral Atom Quantum Computing. - Yongshang Li; Yu Zhang 086; Mingyu Chen 009; Xiang-Yang Li 001; Peng Xu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

TrajMatch: Toward Automatic Spatio-Temporal Calibration for Roadside LiDARs Through Trajectory Matching. - Haojie Ren; Sha Zhang 002; Sugang Li; Yao Li 016; Xinchen Li; Jianmin Ji; Yu Zhang 086; Yanyong Zhang (IEEE Trans. Intell. Transp. Syst., 2023)

SDAC: A Multimodal Synthetic Dataset for Anomaly and Corner Case Detection in Autonomous Driving. - Lei Gong; Yu Zhang 086; Yingqing Xia; Yanyong Zhang; Jianmin Ji (AAAI, 2024)

Crop: An Analytical Cost Model for Cross-Platform Performance Prediction of Tensor Programs. - Xinyu Sun; Yu Zhang 086; Shuo Liu; Yi Zhai (DAC, 2024)

Graph-Specific Schema-Guided Query Optimization. - Chaijun Xu; Yunlong Liang; Yu Zhang 086; Hairong Hu; Jingjing Huang; Kaiwei Li; Tao Wang; Yanyong Zhang (DASFAA (1), 2024)

Map++: Towards User-Participatory Visual SLAM Systems with Efficient Map Expansion and Sharing. - Xinran Zhang; Hanqi Zhu; Yifan Duan; Wuyang Zhang; Longfei Shangguan; Yu Zhang 086; Jianmin Ji; Yanyong Zhang (MobiCom, 2024)

Enabling Tensor Language Model to Assist in Generating High-Performance Tensor Programs for Deep Learning. - Yi Zhai; Sijia Yang; Keyu Pan; Renwei Zhang; Shuo Liu; Chao Liu; Zichun Ye; Jianmin Ji; Jie Zhao 002; Yu Zhang 086; Yanyong Zhang (OSDI, 2024)

CORP: A Multi-Modal Dataset for Campus-Oriented Roadside Perception Tasks. - Beibei Wang; Shuang Meng; Lu Zhang; Chenjie Wang; Jingjing Huang; Yao Li 016; Haojie Ren; Yuxuan Xiao; Yuru Peng; Jianmin Ji; Yu Zhang 086; Yanyong Zhang (CoRR, 2024)

Rendering-Enhanced Automatic Image-to-Point Cloud Registration for Roadside Scenes. - Yu Sheng; Lu Zhang; Xingchen Li; Yifan Duan; Yanyong Zhang; Yu Zhang 086; Jianmin Ji (CoRR, 2024)

Rotation Initialization and Stepwise Refinement for Universal LiDAR Calibration. - Yifan Duan; Xinran Zhang; Guoliang You; Yilong Wu; Xingchen Li; Yao Li 016; Xiaomeng Chu; Jie Peng 002; Yu Zhang 086; Jianmin Ji; Yanyong Zhang (CoRR, 2024)

CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planning. - Xinrui Lin; Yangfan Wu; Huanyu Yang; Yu Zhang 086; Yanyong Zhang; Jianmin Ji (CoRR, 2024)

MSGField: A Unified Scene Representation Integrating Motion, Semantics, and Geometry for Robotic Manipulation. - Yu Sheng; Runfeng Lin; Lidian Wang; Quecheng Qiu; Yanyong Zhang; Yu Zhang 086; Bei Hua; Jianmin Ji (CoRR, 2024)

Pattern Tree: Enhancing Efficiency in Quantum Circuit Optimization Based on Pattern-matching. - Mingyu Chen 009; Yu Zhang 086; Zhaoyu Zheng; Yongshang Li; Haoning Deng (CoRR, 2024)

MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang. - Boyao Ding; Qingwei Li; Yu Zhang 086; Fugen Tang; Jinbao Chen (Proc. ACM Program. Lang., 2024)

FARFusion: A Practical Roadside Radar-Camera Fusion System for Far-Range Perception. - Yao Li 016; Yingjie Wang 004; Chengzhen Meng; Yifan Duan; Jianmin Ji; Yu Zhang 086; Yanyong Zhang (IEEE Robotics Autom. Lett., 2024)

Profiling Power Consumption in Low-Speed Autonomous Guided Vehicles. - Jiaming Leng; Jie Peng 002; Jie Liu 001; Yu Zhang 086; Jianmin Ji; Yanyong Zhang (IEEE Robotics Autom. Lett., 2024)

Unifying compositional verification and certified compilation with a three-dimensional refinement algebra (artifact). - Yu Zhang 086; Jérémie Koenig; Yuting Wang 001; Zhong Shao 001 (Zenodo, 2024)

Unifying compositional verification and certified compilation with a three-dimensional refinement algebra (artifact). - Yu Zhang 086; Jérémie Koenig; Yuting Wang 001; Zhong Shao 001 (Zenodo, 2024)

Unifying compositional verification and certified compilation with a three-dimensional refinement algebra (artifact). - Yu Zhang 086; Jérémie Koenig; Yuting Wang 001; Zhong Shao 001 (Zenodo, 2024)

Unifying compositional verification and certified compilation with a three-dimensional refinement algebra (artifact). - Yu Zhang 086; Jérémie Koenig; Yuting Wang 001; Zhong Shao 001 (Zenodo, 2024)

GoFree: Reducing Garbage Collection via Compiler-Inserted Freeing. - Haoran Peng; Yu Zhang 086; Michael D. Ernst; Jinbao Chen; Boyao Ding (CGO, 2025)

Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra. - Yu Zhang 086; Jérémie Koenig; Zhong Shao 001; Yuting Wang 001 (Proc. ACM Program. Lang., 2025)

GARD: A Geometry-Informed and Uncertainty-Aware Baseline Method for Zero-Shot Roadside Monocular Object Detection. - Yuru Peng; Beibei Wang; Zijian Yu; Lu Zhang; Jianmin Ji; Yu Zhang 086; Yanyong Zhang (IEEE Robotics Autom. Lett., 2025)

CAFE-AD: Cross-Scenario Adaptive Feature Enhancement for Trajectory Planning in Autonomous Driving. - Junrui Zhang 012; Chenjie Wang; Jie Peng 002; Haoyu Li; Jianmin Ji; Yu Zhang 086; Yanyong Zhang (CoRR, 2025)

SpatialSplat: Efficient Semantic 3D from Sparse Unposed Images. - Yu Sheng; Jiajun Deng; Xinran Zhang; Yu Zhang 086; Bei Hua; Yanyong Zhang; Jianmin Ji (CoRR, 2025)

PauliForest: Connectivity-Aware Synthesis and Pauli-Oriented Qubit Mapping for Near-Term Quantum Simulation. - Yongshang Li; Yu Zhang 086; Haoning Deng; Mingyu Chen 009; Zhenyu Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)

Productively Generating a High-Performance Linear Algebra Library on FPGAs. - Xiaochen Hao; Mingzhe Zhang; Ce Sun; Zhuofu Tao; Hongbo Rong; Yu Zhang 086; Lei He 001; Eric Petit 002; Wenguang Chen; Yun Liang 001 (ACM Trans. Reconfigurable Technol. Syst., 2025)

(X )-evolve: Solution space evolution powered by large language models. - Yi Zhai; Zhiqiang Wei; Ruohan Li; Keyu Pan; Shuo Liu; Lu Zhang; Jianmin Ji; Wuyang Zhang; Yu Zhang 086; Yanyong Zhang (CoRR, 2025)

An Empirical Study of CGO Usage in Go Projects - Distribution, Purposes, Patterns and Critical Issues. - Jinbao Chen; Boyao Ding; Yu Zhang 086; Qingwei Li; Fugen Tang (CoRR, 2025)