Yuanrui Zhang

CoRR, February, 2026

Luminark: Training-free, Probabilistically-Certified Watermarking for General Vision Generative Models.

[BibT_eX]

[DOI]

CoRR, January, 2026

2024

Parameterized Dynamic Logic - Towards A Cyclic Logical Framework for Program Verification via Operational Semantics.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Image Reflection on LLEE Charts - Another Proof for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity.

[BibT_eX]

[DOI]

Xinxin Liu

CoRR, 2023

2021

A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving.

[BibT_eX]

[DOI]

CoRR, 2021

2018

Security Optimization of Exposure Region-Based Beamforming With a Uniform Circular Array.

[BibT_eX]

[DOI]

IEEE Trans. Commun., 2018

2017

Defining Spatial Secrecy Outage Probability for Exposure Region-Based Beamforming.

[BibT_eX]

[DOI]

IEEE Trans. Wirel. Commun., 2017

2016

Defining Spatial Security Outage Probability for Exposure Region Based Beamforming.

[BibT_eX]

[DOI]

CoRR, 2016

Wireless Security with Beamforming Technique.

[BibT_eX]

[DOI]

CoRR, 2016

On spatial security outage probability derivation of exposure region based beamforming with randomly located eavesdroppers.

[BibT_eX]

[DOI]

Proceedings of the 51st Asilomar Conference on Signals, Systems, and Computers, 2016

2015

IOPro: a parallel I/O profiling and visualization framework for high-performance storage systems.

[BibT_eX]

[DOI]

J. Supercomput., 2015

Optimizing off-chip accesses in multicores.

[BibT_eX]

[DOI]

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Creating secure wireless regions using configurable beamforming.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Annual International Symposium on Personal, 2014

Investigation of secure wireless regions using configurable beamforming on WARP.

[BibT_eX]

[DOI]

Proceedings of the 48th Asilomar Conference on Signals, Systems and Computers, 2014

2013

Locality-aware mapping and scheduling for multicores.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

2012

Automatic Parallel Code Generation for NUFFT Data Translation on multicores.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 2012

Compiler-directed file layout optimization for hierarchical storage systems.

[BibT_eX]

[DOI]

Proceedings of the SC Conference on High Performance Computing Networking, 2012

A compiler framework for extracting superword level parallelism.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Algorithm for Communication Synchronization on Reconfigurable Processor Arrays with Faults.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Software-Directed Data Access Scheduling for Reducing Disk Energy Consumption.

[BibT_eX]

[DOI]

Jun Liu

Proceedings of the 2012 IEEE 32nd International Conference on Distributed Computing Systems, 2012

A hybrid NoC design for cache coherence optimization for chip multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Off-chip access localization for NoC-based multicores.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

2011

Accurate Area, Time and Power Models for FPGA-Based Implementations.

[BibT_eX]

[DOI]

J. Signal Process. Syst., 2011

BrickX: building hybrid systems for recursive computations.

[BibT_eX]

[DOI]

Jun Liu

SIGMETRICS Perform. Evaluation Rev., 2011

Studying inter-core data reuse in multicores.

[BibT_eX]

[DOI]

Taylan Yemliha

Proceedings of the SIGMETRICS 2011, 2011

A data layout optimization framework for NUCA-based multicores.

[BibT_eX]

[DOI]

Proceedings of the 44rd Annual IEEE/ACM International Symposium on Microarchitecture, 2011

Optimizing data locality using array tiling.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/ACM International Conference on Computer-Aided Design, 2011

Software-directed data access scheduling for reducing disk energy consumption.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM International Symposium on High Performance Distributed Computing, 2011

Bandwidth Constrained Coordinated HW/SW Prefetching for Multicores.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011

Multilayer Cache Partitioning for Multiprogram Workloads.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011

On-chip cache hierarchy-aware tile scheduling for multicore machines.

[BibT_eX]

[DOI]

Proceedings of the CGO 2011, 2011

Neighborhood-aware data locality optimization for NoC-based multicores.

[BibT_eX]

[DOI]

Proceedings of the CGO 2011, 2011

Optimizing Data Layouts for Parallel Computation on Multicores.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010

Automated Tracing of I/O Stack.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in the Message Passing Interface, 2010

Cache topology aware computation mapping for multicores.

[BibT_eX]

[DOI]

Taylan Yemliha

Shekhar Srikantaiah

Mary Jane Irwin

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Accelerating Reconfiguration for Degradable Mesh-Connected Processor Arrays.

[BibT_eX]

[DOI]

Proceedings of the Third International Symposium on Parallel Architectures, 2010

Scalable Parallelization Strategies to Accelerate NuFFT Data Translation on Multicores.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

A special-purpose compiler for look-up table and code generation for function evaluation.

[BibT_eX]

[DOI]

Lanping Deng

Praveen Yedlapalli

Proceedings of the Design, Automation and Test in Europe, 2010

2009

A hardware-software codesign strategy for Loop intensive applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th Symposium on Application Specific Processors, 2009

Optimizing shared cache behavior of chip multiprocessors.

[BibT_eX]

[DOI]

Sri Hari Krishna Narayanan

Ozcan Ozturk

Proceedings of the 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), 2009

Exploring parallelization strategies for NUFFT data translation.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Adaptive prefetching for shared cache based chip multiprocessors.

[BibT_eX]

[DOI]

Ozcan Ozturk

Proceedings of the Design, Automation and Test in Europe, 2009

Slicing based code parallelization for minimizing inter-processor communication.

[BibT_eX]

[DOI]