| 2026 | COMPSAC | RustDAP: Lightweight Rust Vulnerability Detection Method via LLM-Based Data Augmentation and Semantic-Structural Prompting. | Chenghuan Ye, Zhibin Yang, Yong Zhou, Zhixun Wang, Yuanrui Zhang, Chengwei Liu |
| 2025 | SETTA | A Generic Dynamic Logic for Program Reasoning Based on Operational Semantics. | Yuanrui Zhang, Zhibin Yang |
| 2019 | TASE | A Logical Approach for the Schedulability Analysis of CCSL. | Yuanrui Zhang, Frdric Mallet, Huibiao Zhu, Yixiang Chen |
| 2016 | ACSSC | On spatial security outage probability derivation of exposure region based beamforming with randomly located eavesdroppers. | Yuanrui Zhang, Youngwook Ko, Roger F. Woods, Alan Marshall, Joe Cavallaro, Kaipeng Li |
| 2016 | ACSSC | On spatial security outage probability derivation of exposure region based beamforming with randomly located eavesdroppers. | Yuanrui Zhang, Youngwook Ko, Roger F. Woods, Alan Marshall, Joe Cavallaro, Kaipeng Li |
| 2016 | QRS | A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles. | Jinyang Li, Yuanrui Zhang, Yixiang Chen |
| 2016 | QRS | A UTP Refinement Model of the STeC Language. | Yuanrui Zhang, Yujing Ma, Yixiang Chen |
| 2015 | PLDI | Optimizing off-chip accesses in multicores. | Wei Ding, Xulong Tang, Mahmut T. Kandemir, Yuanrui Zhang, Emre Kultursay |
| 2015 | QRS | PSTEP - A Novel Probabilistic Event Processing Language for Uncertain Spatio-temporal Event Streams of Internet of Vehicles. | Huiyong Li, Yuanrui Zhang, Yixiang Chen |
| 2014 | ACSSC | Investigation of secure wireless regions using configurable beamforming on WARP. | Yuanrui Zhang, Bei Yin, Roger F. Woods, Joseph R. Cavallaro, Alan Marshall, Youngwook Ko |
| 2014 | PIMRC | Creating secure wireless regions using configurable beamforming. | Yuanrui Zhang, Alan Marshall, Roger F. Woods, Youngwook Ko |
| 2014 | TASE | Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. | Yuanrui Zhang, Frdric Mallet, Yixiang Chen |
| 2013 | CGO | Locality-aware mapping and scheduling for multicores. | Wei Ding, Yuanrui Zhang, Mahmut T. Kandemir, Jithendra Srinivas, Praveen Yedlapalli |
| 2012 | DAC | A hybrid NoC design for cache coherence optimization for chip multiprocessors. | Hui Zhao, Ohyoung Jang, Wei Ding, Yuanrui Zhang, Mahmut T. Kandemir, Mary Jane Irwin |
| 2012 | ICDCS | Software-Directed Data Access Scheduling for Reducing Disk Energy Consumption. | Yuanrui Zhang, Jun Liu, Mahmut T. Kandemir |
| 2012 | PLDI | A compiler framework for extracting superword level parallelism. | Jun Liu, Yuanrui Zhang, Ohyoung Jang, Wei Ding, Mahmut T. Kandemir |
| 2012 | SC | Compiler-directed file layout optimization for hierarchical storage systems. | Wei Ding, Yuanrui Zhang, Mahmut T. Kandemir, Seung Woo Son |
| 2011 | CGO | Neighborhood-aware data locality optimization for NoC-based multicores. | Mahmut T. Kandemir, Yuanrui Zhang, Jun Liu, Taylan Yemliha |
| 2011 | CGO | On-chip cache hierarchy-aware tile scheduling for multicore machines. | Jun Liu, Yuanrui Zhang, Wei Ding, Mahmut T. Kandemir |
| 2011 | EuroPar | Multilayer Cache Partitioning for Multiprogram Workloads. | Mahmut T. Kandemir, Ramya Prabhakar, Mustafa Karaky, Yuanrui Zhang |
| 2011 | EuroPar | Bandwidth Constrained Coordinated HW/SW Prefetching for Multicores. | Sai Prashanth Muralidhara, Mahmut T. Kandemir, Yuanrui Zhang |
| 2011 | HPDC | Software-directed data access scheduling for reducing disk energy consumption. | Yuanrui Zhang, Jun Liu, Ellis Herbert Wilson, Mahmut T. Kandemir |
| 2011 | ICCAD | Optimizing data locality using array tiling. | Wei Ding, Yuanrui Zhang, Jun Liu, Mahmut T. Kandemir |
| 2011 | MICRO | A data layout optimization framework for NUCA-based multicores. | Yuanrui Zhang, Wei Ding, Mahmut T. Kandemir, Jun Liu, Ohyoung Jang |
| 2011 | SIGMETRICS | Studying inter-core data reuse in multicores. | Yuanrui Zhang, Mahmut T. Kandemir, Taylan Yemliha |
| 2010 | DATE | A special-purpose compiler for look-up table and code generation for function evaluation. | Yuanrui Zhang, Lanping Deng, Praveen Yedlapalli, Sai Prashanth Muralidhara, Hui Zhao, Mahmut T. Kandemir, Chaitali Chakrabarti, Nikos Pitsianis, Xiaobai Sun |
| 2010 | EuroPar | Scalable Parallelization Strategies to Accelerate NuFFT Data Translation on Multicores. | Yuanrui Zhang, Jun Liu, Emre Kultursay, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun |
| 2010 | PLDI | Cache topology aware computation mapping for multicores. | Mahmut T. Kandemir, Taylan Yemliha, Sai Prashanth Muralidhara, Shekhar Srikantaiah, Mary Jane Irwin, Yuanrui Zhang |
| 2009 | CASES | Slicing based code parallelization for minimizing inter-processor communication. | Mahmut T. Kandemir, Yuanrui Zhang, Sai Prashanth Muralidhara, Ozcan Ozturk, Sri Hari Krishna Narayanan |
| 2009 | DATE | Adaptive prefetching for shared cache based chip multiprocessors. | Mahmut T. Kandemir, Yuanrui Zhang, Ozcan Ozturk |
| 2009 | EMSOFT | Exploring parallelization strategies for NUFFT data translation. | Yuanrui Zhang, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun |
| 2009 | MICRO | Optimizing shared cache behavior of chip multiprocessors. | Mahmut T. Kandemir, Sai Prashanth Muralidhara, Sri Hari Krishna Narayanan, Yuanrui Zhang, Ozcan Ozturk |
| 2005 | ICPP | BluePower - A New Distributed Multihop Scatternet Formation Protocol for Bluetooth Networks. | Yuanrui Zhang, Shu Liu, Weijia Jia, Xu Cheng |