Loop Parallelisation for the Jikes RVM. - Jisheng Zhao; Ian Rogers; Chris C. Kirkham; Ian Watson (PDCAT, 2005)

Optimizing Chip Multiprocessor Work Distribution Using Dynamic Compilation. - Jisheng Zhao; Matthew Horsnell; Ian Rogers; Andrew Dinn; Chris C. Kirkham; Ian Watson (Euro-Par, 2007)

Adaptive Loop Tiling for a Multi-cluster CMP. - Jisheng Zhao; Matthew Horsnell; Mikel Luján; Ian Rogers; Chris C. Kirkham; Ian Watson (ICA3PP, 2008)

Constraint based optimization of stationary fields. - Ian Rogers; Jisheng Zhao; Chris C. Kirkham; Ian Watson (PPPJ, 2008)

Hierarchical Place Trees: A Portable Abstraction for Task Parallelism and Data Movement. - Yonghong Yan 001; Jisheng Zhao; Yi Guo; Vivek Sarkar (LCPC, 2009)

Automatic vector instruction selection for dynamic compilation. - Rajkishore Barik; Jisheng Zhao; Vivek Sarkar (PACT, 2010)

Reducing task creation and termination overhead in explicitly parallel programs. - Jisheng Zhao; Jun Shirako; V. Krishna Nandivada; Vivek Sarkar (PACT, 2010)

SLAW: A scalable locality-aware adaptive work-stealing scheduler. - Yi Guo; Jisheng Zhao; Vincent Cavé; Vivek Sarkar (IPDPS, 2010)

Efficient Selection of Vector Instructions Using Dynamic Programming. - Rajkishore Barik; Jisheng Zhao; Vivek Sarkar (MICRO, 2010)

Communication Optimizations for Distributed-Memory X10 Programs. - Rajkishore Barik; Jisheng Zhao; David Grove; Igor Peshansky; Zoran Budimlic; Vivek Sarkar (IPDPS, 2011)

The design and implementation of the habanero-java parallel programming language. - Zoran Budimlic; Vincent Cavé; Raghavan Raman; Jun Shirako; Sagnak Tasirlar; Jisheng Zhao; Vivek Sarkar (OOPSLA Companion, 2011)

Delegated isolation. - Roberto Lublinerman; Jisheng Zhao; Zoran Budimlic; Swarat Chaudhuri; Vivek Sarkar (OOPSLA, 2011)

Intermediate language extensions for parallelism. - Jisheng Zhao; Vivek Sarkar (SPLASH Workshops, 2011)

Habanero-Java: the new adventures of old X10. - Vincent Cavé; Jisheng Zhao; Jun Shirako; Vivek Sarkar (PPPJ, 2011)

Permission Regions for Race-Free Parallelism. - Edwin M. Westbrook; Jisheng Zhao; Zoran Budimlic; Vivek Sarkar (RV, 2011)

Practical Permissions for Race-Free Parallelism. - Edwin M. Westbrook; Jisheng Zhao; Zoran Budimlic; Vivek Sarkar (ECOOP, 2012)

Finish Accumulators: An Efficient Reduction Construct for Dynamic Task Parallelism. - Jun Shirako; Vincent Cavé; Jisheng Zhao; Vivek Sarkar (LCPC, 2012)

Scalable and precise dynamic datarace detection for structured parallelism. - Raghavan Raman; Jisheng Zhao; Vivek Sarkar; Martin T. Vechev; Eran Yahav (PLDI, 2012)

Efficient data race detection for async-finish parallelism. - Raghavan Raman; Jisheng Zhao; Vivek Sarkar; Martin T. Vechev; Eran Yahav (Formal Methods Syst. Des., 2012)

Interprocedural strength reduction of critical sections in explicitly-parallel programs. - Rajkishore Barik; Jisheng Zhao; Vivek Sarkar (PACT, 2013)

Compiler-Driven Data Layout Transformation for Heterogeneous Platforms. - Deepak Majeti; Rajkishore Barik; Jisheng Zhao; Max Grossman; Vivek Sarkar (Euro-Par Workshops, 2013)

Speculative Execution of Parallel Programs with Precise Exception Semantics on GPUs. - Akihiro Hayashi; Max Grossman; Jisheng Zhao; Jun Shirako; Vivek Sarkar (LCPC, 2013)

Isolation for nested task parallelism. - Jisheng Zhao; Roberto Lublinerman; Zoran Budimlic; Swarat Chaudhuri; Vivek Sarkar (OOPSLA, 2013)

Accelerating Habanero-Java programs with OpenCL generation. - Akihiro Hayashi; Max Grossman; Jisheng Zhao; Jun Shirako; Vivek Sarkar (PPPJ, 2013)

A decoupled non-SSA global register allocation using bipartite liveness graphs. - Rajkishore Barik; Jisheng Zhao; Vivek Sarkar (ACM Trans. Archit. Code Optim., 2013)

A Transformation Framework for Optimizing Task-Parallel Programs. - V. Krishna Nandivada; Jun Shirako; Jisheng Zhao; Vivek Sarkar (ACM Trans. Program. Lang. Syst., 2013)

Inter-iteration Scalar Replacement Using Array SSA Form. - Rishi Surendran; Rajkishore Barik; Jisheng Zhao; Vivek Sarkar (CC, 2014)

A Composable Deadlock-Free Approach to Object-Based Isolation. - Shams Imam; Jisheng Zhao; Vivek Sarkar (Euro-Par, 2015)

Parallelizing a discrete event simulation application using the Habanero-Java multicore library. - Wei-Cheng Xiao; Jisheng Zhao; Vivek Sarkar (PMAM@PPoPP, 2015)

LLVM-based communication optimizations for PGAS programs. - Akihiro Hayashi; Jisheng Zhao; Michael Ferguson; Vivek Sarkar (LLVM@SC, 2015)

Finding Tizen security bugs through whole-system static analysis. - Daniel Song; Jisheng Zhao; Michael G. Burke; Dragos Sbirlea; Dan S. Wallach; Vivek Sarkar (CoRR, 2015)

Parallel sparse flow-sensitive points-to analysis. - Jisheng Zhao; Michael G. Burke; Vivek Sarkar (CC, 2018)

Detecting MPI usage anomalies via partial program symbolic execution. - Fangke Ye; Jisheng Zhao; Vivek Sarkar (SC, 2018)

Compile-Time Library Call Detection Using CAASCADE and XALT. - Jisheng Zhao; Oscar R. Hernandez; Reuben D. Budiardja; M. Graham Lopez; Vivek Sarkar; Jack C. Wells (ISC Workshops, 2018)

OmpMemOpt: Optimized Memory Movement for Heterogeneous Computing. - Prithayan Barua; Jisheng Zhao; Vivek Sarkar (Euro-Par, 2020)

Advanced Graph-Based Deep Learning for Probabilistic Type Inference. - Fangke Ye; Jisheng Zhao; Vivek Sarkar (CoRR, 2020)

Identifying Behavior Dispatchers for Malware Analysis. - Kyuhong Park; Burak Sahin; Yongheng Chen; Jisheng Zhao; Evan Downing; Hong Hu 004; Wenke Lee (AsiaCCS, 2021)

Study on temperature rise and thermal deformation of rotor caused by eddy current loss of magnetic-liquid double suspension bearing. - Liwen Chen; Dianrong Gao; Jianhua Zhao; Jisheng Zhao (Int. J. Model. Identif. Control., 2021)

Attention Mechanism-Based CNN-LSTM Model for Wind Turbine Fault Prediction Using SSN Ontology Annotation. - Yuan Xie 008; Jisheng Zhao; Baohua Qiang; Luzhong Mi; Chenghua Tang; Longge Li (Wirel. Commun. Mob. Comput., 2021)

Study on the law of the structure parameters influence on thermal deformation of magnetic poles of magnetic-liquid double suspension bearing. - Liwen Chen; Dianrong Gao; Jianhua Zhao; Jisheng Zhao (Int. J. Comput. Appl. Technol., 2022)

HIPLZ: Enabling performance portability for exascale systems. - Jisheng Zhao; Colleen Bertoni; Jeffrey Young 001; Kevin Harms; Vivek Sarkar; Brice Videau (Concurr. Comput. Pract. Exp., 2023)

Dataset and Model Files for the Paper "Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving". - Fangke Ye; Jisheng Zhao; Jun Shirako; Vivek Sarkar (Zenodo, 2023)

Code for the Paper "Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving". - Fangke Ye; Jisheng Zhao; Jun Shirako; Vivek Sarkar (Zenodo, 2023)

Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving. - Fangke Ye; Jisheng Zhao; Jun Shirako; Vivek Sarkar (Proc. ACM Program. Lang., 2023)

Enabling Fine-Grained Incremental Builds by Making Compiler Stateful. - Ruobing Han; Jisheng Zhao; Hyesoon Kim (CGO, 2024)

Unleashing CPU Potential for Executing GPU Programs Through Compiler/Runtime Optimizations. - Ruobing Han; Jisheng Zhao; Hyesoon Kim (MICRO, 2024)

Simulation and parametric optimal design of active radial magnetic fluid bearing. - Liwen Chen; Jianhua Zhao; Xiaochen Wu; Jisheng Zhao; Jia Deng (Int. J. Model. Identif. Control., 2024)

SoftCUDA: Running CUDA on Softcore GPU. - Chihyo Ahn; Ruobing Han; Udit Subramanya; Jisheng Zhao; Blaise Tine; Hyesoon Kim (FCCM, 2025)

Hardware vs. Software Implementation of Warp-Level Features in Vortex RISC-V GPU. - Huanzhi Pu; Rishabh Ravi; Shinnung Jeong; Udit Subramanya; Euijun Chung; Jisheng Zhao; Chihyo Ahn; Hyesoon Kim (CoRR, 2025)