Jisheng Zhao

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 14

Top Topics

Heterogeneous Computing

Static Analysis

Top Venues

Int. J. Model. Identif. Control.

Publications

Liwen Chen, Jianhua Zhao, Xiaochen Wu, Jisheng Zhao, Jia Deng
Simulation and parametric optimal design of active radial magnetic fluid bearing. Int. J. Model. Identif. Control. 44 (1) (2024)
Ruobing Han, Jisheng Zhao, Hyesoon Kim
Enabling Fine-Grained Incremental Builds by Making Compiler Stateful. CGO (2024)
Fangke Ye, Jisheng Zhao, Jun Shirako, Vivek Sarkar
Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Jisheng Zhao, Colleen Bertoni, Jeffrey Young, Kevin Harms, Vivek Sarkar, Brice Videau
HIPLZ: Enabling performance portability for exascale systems. Concurr. Comput. Pract. Exp. 35 (25) (2023)
Jisheng Zhao, Colleen Bertoni, Jeffrey Young, Kevin Harms, Vivek Sarkar, Brice Videau
HIPLZ: Enabling Performance Portability for Exascale Systems. Euro-Par Workshops (2022)
Liwen Chen, Dianrong Gao, Jianhua Zhao, Jisheng Zhao
Study on the law of the structure parameters influence on thermal deformation of magnetic poles of magnetic-liquid double suspension bearing. Int. J. Comput. Appl. Technol. 69 (3) (2022)
Kyuhong Park, Burak Sahin, Yongheng Chen, Jisheng Zhao, Evan Downing, Hong Hu, Wenke Lee
Identifying Behavior Dispatchers for Malware Analysis. AsiaCCS (2021)
Yuan Xie, Jisheng Zhao, Baohua Qiang, Luzhong Mi, Chenghua Tang, Longge Li
Attention Mechanism-Based CNN-LSTM Model for Wind Turbine Fault Prediction Using SSN Ontology Annotation. Wirel. Commun. Mob. Comput. 2021 (2021)
Liwen Chen, Dianrong Gao, Jianhua Zhao, Jisheng Zhao
Study on temperature rise and thermal deformation of rotor caused by eddy current loss of magnetic-liquid double suspension bearing. Int. J. Model. Identif. Control. 37 (3/4) (2021)
Fangke Ye, Jisheng Zhao, Vivek Sarkar
Advanced Graph-Based Deep Learning for Probabilistic Type Inference. CoRR (2020)
Prithayan Barua, Jisheng Zhao, Vivek Sarkar
OmpMemOpt: Optimized Memory Movement for Heterogeneous Computing. Euro-Par (2020)
Jisheng Zhao, Michael G. Burke, Vivek Sarkar
Parallel sparse flow-sensitive points-to analysis. CC (2018)
Jisheng Zhao, Oscar R. Hernandez, Reuben D. Budiardja, M. Graham Lopez, Vivek Sarkar, Jack C. Wells
Compile-Time Library Call Detection Using CAASCADE and XALT. ISC Workshops (2018)
Fangke Ye, Jisheng Zhao, Vivek Sarkar
Detecting MPI usage anomalies via partial program symbolic execution. SC (2018)
Wei-Cheng Xiao, Jisheng Zhao, Vivek Sarkar
Parallelizing a discrete event simulation application using the Habanero-Java multicore library. PMAM@PPoPP (2015)
Akihiro Hayashi, Jisheng Zhao, Michael Ferguson, Vivek Sarkar
LLVM-based communication optimizations for PGAS programs. LLVM@SC (2015)
Shams Imam, Jisheng Zhao, Vivek Sarkar
A Composable Deadlock-Free Approach to Object-Based Isolation. Euro-Par (2015)
Daniel Song, Jisheng Zhao, Michael G. Burke, Dragos Sbirlea, Dan S. Wallach, Vivek Sarkar
Finding Tizen security bugs through whole-system static analysis. CoRR (2015)
Rishi Surendran, Rajkishore Barik, Jisheng Zhao, Vivek Sarkar
Inter-iteration Scalar Replacement Using Array SSA Form. CC (2014)
V. Krishna Nandivada, Jun Shirako, Jisheng Zhao, Vivek Sarkar
A Transformation Framework for Optimizing Task-Parallel Programs. ACM Trans. Program. Lang. Syst. 35 (1) (2013)
Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar
Isolation for nested task parallelism. OOPSLA (2013)
Deepak Majeti, Rajkishore Barik, Jisheng Zhao, Max Grossman, Vivek Sarkar
Compiler-Driven Data Layout Transformation for Heterogeneous Platforms. Euro-Par Workshops (2013)
Rajkishore Barik, Jisheng Zhao, Vivek Sarkar
Interprocedural strength reduction of critical sections in explicitly-parallel programs. PACT (2013)
Akihiro Hayashi, Max Grossman, Jisheng Zhao, Jun Shirako, Vivek Sarkar
Accelerating Habanero-Java programs with OpenCL generation. PPPJ (2013)
Rajkishore Barik, Jisheng Zhao, Vivek Sarkar
A decoupled non-SSA global register allocation using bipartite liveness graphs. ACM Trans. Archit. Code Optim. 10 (4) (2013)
Akihiro Hayashi, Max Grossman, Jisheng Zhao, Jun Shirako, Vivek Sarkar
Speculative Execution of Parallel Programs with Precise Exception Semantics on GPUs. LCPC (2013)
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav
Scalable and precise dynamic datarace detection for structured parallelism. PLDI (2012)
Jun Shirako, Vincent Cavé, Jisheng Zhao, Vivek Sarkar
Finish Accumulators: An Efficient Reduction Construct for Dynamic Task Parallelism. LCPC (2012)
Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar
Practical Permissions for Race-Free Parallelism. ECOOP (2012)
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav
Efficient data race detection for async-finish parallelism. Formal Methods Syst. Des. 41 (3) (2012)
Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar
Delegated isolation. OOPSLA (2011)
Vincent Cavé, Jisheng Zhao, Jun Shirako, Vivek Sarkar
Habanero-Java: the new adventures of old X10. PPPJ (2011)
Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar
Permission Regions for Race-Free Parallelism. RV (2011)
Jisheng Zhao, Vivek Sarkar
Intermediate language extensions for parallelism. SPLASH Workshops (2011)
Rajkishore Barik, Jisheng Zhao, David Grove, Igor Peshansky, Zoran Budimlic, Vivek Sarkar
Communication Optimizations for Distributed-Memory X10 Programs. IPDPS (2011)
Zoran Budimlic, Vincent Cavé, Raghavan Raman, Jun Shirako, Sagnak Tasirlar, Jisheng Zhao, Vivek Sarkar
The design and implementation of the habanero-java parallel programming language. OOPSLA Companion (2011)
Yi Guo, Jisheng Zhao, Vincent Cavé, Vivek Sarkar
SLAW: A scalable locality-aware adaptive work-stealing scheduler. IPDPS (2010)
Rajkishore Barik, Jisheng Zhao, Vivek Sarkar
Efficient Selection of Vector Instructions Using Dynamic Programming. MICRO (2010)
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav
Efficient Data Race Detection for Async-Finish Parallelism. RV (2010)
Rajkishore Barik, Jisheng Zhao, Vivek Sarkar
Automatic vector instruction selection for dynamic compilation. PACT (2010)
Jisheng Zhao, Jun Shirako, V. Krishna Nandivada, Vivek Sarkar
Reducing task creation and termination overhead in explicitly parallel programs. PACT (2010)
Yonghong Yan, Jisheng Zhao, Yi Guo, Vivek Sarkar
Hierarchical Place Trees: A Portable Abstraction for Task Parallelism and Data Movement. LCPC (2009)
Jisheng Zhao, Matthew Horsnell, Mikel Luján, Ian Rogers, Chris C. Kirkham, Ian Watson
Adaptive Loop Tiling for a Multi-cluster CMP. ICA3PP (2008)
Ian Rogers, Jisheng Zhao, Chris C. Kirkham, Ian Watson
Constraint based optimization of stationary fields. PPPJ (2008)
Jisheng Zhao, Matthew Horsnell, Ian Rogers, Andrew Dinn, Chris C. Kirkham, Ian Watson
Optimizing Chip Multiprocessor Work Distribution Using Dynamic Compilation. Euro-Par (2007)
Jisheng Zhao, Ian Rogers, Chris C. Kirkham, Ian Watson
Loop Parallelisation for the Jikes RVM. PDCAT (2005)