Yuanrui Zhang - RankMe

47 papers A* 7A 9B 4C 1Misc 5Journal 14Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Luminark: Training-free, Probabilistically-Certified Watermarking for General Vision Generative Models. CoRR Jiayi Xu, Zhang Zhang, Yuanrui Zhang, Ruitao Chen, Yixian Xu, Tianyu He, Di He
2026	J	`jnl`	On A Parameterized Theory of Dynamic Logic for Operationally-based Programs. CoRR Yuanrui Zhang
2024	J	`jnl`	Parameterized Dynamic Logic - Towards A Cyclic Logical Framework for Program Verification via Operational Semantics. CoRR Yuanrui Zhang
2023	J	`jnl`	Image Reflection on LLEE Charts - Another Proof for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity. CoRR Yuanrui Zhang, Xinxin Liu
2021	J	`jnl`	A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving. CoRR Yuanrui Zhang
2018	J	`jnl`	Security Optimization of Exposure Region-Based Beamforming With a Uniform Circular Array. IEEE Trans. Commun. Yuanrui Zhang, Roger F. Woods, Youngwook Ko, Alan Marshall, Junqing Zhang
2017	J	`jnl`	Defining Spatial Secrecy Outage Probability for Exposure Region-Based Beamforming. IEEE Trans. Wirel. Commun. Yuanrui Zhang, Youngwook Ko, Roger F. Woods, Alan Marshall
2016	J	`jnl`	Defining Spatial Security Outage Probability for Exposure Region Based Beamforming. CoRR Yuanrui Zhang, Youngwook Ko, Roger F. Woods, Alan Marshall
2016	Misc	`conf`	On spatial security outage probability derivation of exposure region based beamforming with randomly located eavesdroppers. ACSSC Yuanrui Zhang, Youngwook Ko, Roger F. Woods, Alan Marshall, Joe Cavallaro, Kaipeng Li
2016	Misc	`conf`	On spatial security outage probability derivation of exposure region based beamforming with randomly located eavesdroppers. ACSSC Yuanrui Zhang, Youngwook Ko, Roger F. Woods, Alan Marshall, Joe Cavallaro, Kaipeng Li
2016	J	`jnl`	Wireless Security with Beamforming Technique. CoRR Yuanrui Zhang
2015	J	`jnl`	IOPro: a parallel I/O profiling and visualization framework for high-performance storage systems. J. Supercomput. Seong Jo Kim, Yuanrui Zhang, Seung Woo Son, Mahmut T. Kandemir, Wei-keng Liao, Rajeev Thakur, Alok N. Choudhary
2015	A*	`conf`	Optimizing off-chip accesses in multicores. PLDI Wei Ding, Xulong Tang, Mahmut T. Kandemir, Yuanrui Zhang, Emre Kultursay
2014	B	`conf`	Creating secure wireless regions using configurable beamforming. PIMRC Yuanrui Zhang, Alan Marshall, Roger F. Woods, Youngwook Ko
2014	Misc	`conf`	Investigation of secure wireless regions using configurable beamforming on WARP. ACSSC Yuanrui Zhang, Bei Yin, Roger F. Woods, Joseph R. Cavallaro, Alan Marshall, Youngwook Ko
2013	J	`jnl`	Compiler-directed file layout optimization for hierarchical storage systems. Sci. Program. Wei Ding, Yuanrui Zhang, Mahmut T. Kandemir, Seung Woo Son
2013	A	`conf`	Locality-aware mapping and scheduling for multicores. CGO Wei Ding, Yuanrui Zhang, Mahmut T. Kandemir, Jithendra Srinivas, Praveen Yedlapalli
2012	A*	`conf`	A compiler framework for extracting superword level parallelism. PLDI Jun Liu, Yuanrui Zhang, Ohyoung Jang, Wei Ding, Mahmut T. Kandemir
2012	A*	`conf`	A hybrid NoC design for cache coherence optimization for chip multiprocessors. DAC Hui Zhao, Ohyoung Jang, Wei Ding, Yuanrui Zhang, Mahmut T. Kandemir, Mary Jane Irwin
2012	—	`conf`	Algorithm for Communication Synchronization on Reconfigurable Processor Arrays with Faults. IPDPS Workshops Jigang Wu, Guiyuan Jiang, Yuanrui Zhang, Yuanbo Zhu
2012	J	`jnl`	Automatic Parallel Code Generation for NUFFT Data Translation on multicores. J. Circuits Syst. Comput. Yuanrui Zhang, Jun Liu, Emre Kultursay, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun
2012	A	`conf`	Compiler-directed file layout optimization for hierarchical storage systems. SC Wei Ding, Yuanrui Zhang, Mahmut T. Kandemir, Seung Woo Son
2012	B	`conf`	Off-chip access localization for NoC-based multicores. PACT Wei Ding, Mahmut T. Kandemir, Yuanrui Zhang, Emre Kultursay
2012	A	`conf`	Software-Directed Data Access Scheduling for Reducing Disk Energy Consumption. ICDCS Yuanrui Zhang, Jun Liu, Mahmut T. Kandemir
2011	A*	`conf`	A data layout optimization framework for NUCA-based multicores. MICRO Yuanrui Zhang, Wei Ding, Mahmut T. Kandemir, Jun Liu, Ohyoung Jang
2011	J	`jnl`	Accurate Area, Time and Power Models for FPGA-Based Implementations. J. Signal Process. Syst. Lanping Deng, Kanwaldeep Sobti, Yuanrui Zhang, Chaitali Chakrabarti
2011	—	`conf`	Bandwidth Constrained Coordinated HW/SW Prefetching for Multicores. Euro-Par (1) Sai Prashanth Muralidhara, Mahmut T. Kandemir, Yuanrui Zhang
2011	J	`jnl`	BrickX: building hybrid systems for recursive computations. SIGMETRICS Perform. Evaluation Rev. Yuanrui Zhang, Jun Liu, Sai Prashanth Muralidhara, Mahmut T. Kandemir
2011	—	`conf`	Multilayer Cache Partitioning for Multiprogram Workloads. Euro-Par (1) Mahmut T. Kandemir, Ramya Prabhakar, Mustafa Karaköy, Yuanrui Zhang
2011	A	`conf`	Neighborhood-aware data locality optimization for NoC-based multicores. CGO Mahmut T. Kandemir, Yuanrui Zhang, Jun Liu, Taylan Yemliha
2011	A	`conf`	On-chip cache hierarchy-aware tile scheduling for multicore machines. CGO Jun Liu, Yuanrui Zhang, Wei Ding, Mahmut T. Kandemir
2011	B	`conf`	Optimizing Data Layouts for Parallel Computation on Multicores. PACT Yuanrui Zhang, Wei Ding, Jun Liu, Mahmut T. Kandemir
2011	A	`conf`	Optimizing data locality using array tiling. ICCAD Wei Ding, Yuanrui Zhang, Jun Liu, Mahmut T. Kandemir
2011	A	`conf`	Software-directed data access scheduling for reducing disk energy consumption. HPDC Yuanrui Zhang, Jun Liu, Ellis Herbert Wilson, Mahmut T. Kandemir
2011	A*	`conf`	Studying inter-core data reuse in multicores. SIGMETRICS Yuanrui Zhang, Mahmut T. Kandemir, Taylan Yemliha
2010	A	`conf`	A special-purpose compiler for look-up table and code generation for function evaluation. DATE Yuanrui Zhang, Lanping Deng, Praveen Yedlapalli, Sai Prashanth Muralidhara, Hui Zhao, Mahmut T. Kandemir, Chaitali Chakrabarti, Nikos Pitsianis, Xiaobai Sun
2010	—	`conf`	Accelerating Reconfiguration for Degradable Mesh-Connected Processor Arrays. PAAP Jing Wang, Wu Jigang, Yuanrui Zhang, Dakun Zhang
2010	C	`conf`	Automated Tracing of I/O Stack. EuroMPI Seong Jo Kim, Yuanrui Zhang, Seung Woo Son, Ramya Prabhakar, Mahmut T. Kandemir, Christina M. Patrick, Wei-keng Liao, Alok N. Choudhary
2010	A*	`conf`	Cache topology aware computation mapping for multicores. PLDI Mahmut T. Kandemir, Taylan Yemliha, Sai Prashanth Muralidhara, Shekhar Srikantaiah, Mary Jane Irwin, Yuanrui Zhang
2010	—	`conf`	Scalable Parallelization Strategies to Accelerate NuFFT Data Translation on Multicores. Euro-Par (2) Yuanrui Zhang, Jun Liu, Emre Kultursay, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun
2009	—	`conf`	A hardware-software codesign strategy for Loop intensive applications. SASP Yuanrui Zhang, Mahmut T. Kandemir
2009	A	`conf`	Adaptive prefetching for shared cache based chip multiprocessors. DATE Mahmut T. Kandemir, Yuanrui Zhang, Ozcan Ozturk
2009	Misc	`conf`	Exploring parallelization strategies for NUFFT data translation. EMSOFT Yuanrui Zhang, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun
2009	A*	`conf`	Optimizing shared cache behavior of chip multiprocessors. MICRO Mahmut T. Kandemir, Sai Prashanth Muralidhara, Sri Hari Krishna Narayanan, Yuanrui Zhang, Ozcan Ozturk
2009	Misc	`conf`	Slicing based code parallelization for minimizing inter-processor communication. CASES Mahmut T. Kandemir, Yuanrui Zhang, Sai Prashanth Muralidhara, Ozcan Ozturk, Sri Hari Krishna Narayanan
2009	—	`conf`	Topology-Aware I/O Caching for Shared Storage Systems. PDCCS Seung Woo Son, Mahmut T. Kandemir, Yuanrui Zhang, Rajat Garg
2005	B	`conf`	BluePower - A New Distributed Multihop Scatternet Formation Protocol for Bluetooth Networks. ICPP Yuanrui Zhang, Shu Liu, Weijia Jia, Xu Cheng