Jisheng Zhao

发表

Compiler-Driven Data Layout Transformation for Heterogeneous Platforms

Vivek Sarkar, Rajkishore Barik, Deepak Majeti, 2013, Euro-Par Workshops.

Intermediate language extensions for parallelism

Vivek Sarkar, Jisheng Zhao, Vivek Sarkar, 2011, SPLASH Workshops.

Reducing task creation and termination overhead in explicitly parallel programs

Vivek Sarkar, Jun Shirako, V. Krishna Nandivada, 2010, 2010 19th International Conference on Parallel Architectures and Compilation Techniques (PACT).

A Real-Time Exhaust Monitoring System Based on NDIR and ZIGBEE

Tao Liu, Chibing Hu, Jisheng Zhao, 2008, 2008 3rd International Conference on Innovative Computing Information and Control.

Accelerating Habanero-Java programs with OpenCL generation

Vivek Sarkar, Jun Shirako, Akihiro Hayashi, 2013, PPPJ.

Optimizing Chip Multiprocessor Work Distribution Using Dynamic Compilation

Andrew Dinn, Ian Watson, Ian Rogers, 2007, Euro-Par.

Detecting MPI Usage Anomalies via Partial Program Symbolic Execution

Vivek Sarkar, Jisheng Zhao, Fangke Ye, 2018, SC18: International Conference for High Performance Computing, Networking, Storage and Analysis.

Finding Tizen security bugs through whole-system static analysis pdf

Vivek Sarkar, Dan S. Wallach, Michael G. Burke, 2015, ArXiv.

LLVM-based communication optimizations for PGAS programs

Vivek Sarkar, Michael Ferguson, Akihiro Hayashi, 2015, LLVM '15.

Permission Regions for Race-Free Parallelism

Vivek Sarkar, Zoran Budimlic, Jisheng Zhao, 2011, RV.

Parallel sparse flow-sensitive points-to analysis

Vivek Sarkar, Michael G. Burke, Jisheng Zhao, 2018, CC.

Speculative Execution of Parallel Programs with Precise Exception Semantics on GPUs

Vivek Sarkar, Jun Shirako, Akihiro Hayashi, 2013, LCPC.

Delegated isolation

Vivek Sarkar, Swarat Chaudhuri, Zoran Budimlic, 2011, OOPSLA '11.

SLAW: A scalable locality-aware adaptive work-stealing scheduler

Yi Guo, Vivek Sarkar, Vincent Cavé, 2010, IPDPS.

Communication Optimizations for Distributed-Memory X10 Programs

Vivek Sarkar, David Grove, Rajkishore Barik, 2011, 2011 IEEE International Parallel & Distributed Processing Symposium.

Compile-Time Library Call Detection Using CAASCADE and XALT

Vivek Sarkar, Reuben D. Budiardja, M. Graham Lopez, 2018, ISC Workshops.

Interprocedural strength reduction of critical sections in explicitly-parallel programs

Vivek Sarkar, Rajkishore Barik, Jisheng Zhao, 2013, Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques.

A Transformation Framework for Optimizing Task-Parallel Programs

Vivek Sarkar, Jun Shirako, V. Krishna Nandivada, 2013, TOPL.

A decoupled non-SSA global register allocation using bipartite liveness graphs

Vivek Sarkar, Rajkishore Barik, Jisheng Zhao, 2013, ACM Trans. Archit. Code Optim..

Finish Accumulators: An Efficient Reduction Construct for Dynamic Task Parallelism

Vivek Sarkar, Jun Shirako, Vincent Cavé, 2012, LCPC.

A Composable Deadlock-Free Approach to Object-Based Isolation

Vivek Sarkar, Shams Mahmood Imam, Jisheng Zhao, 2015, Euro-Par.

Habanero-Java: the new adventures of old X10

Vivek Sarkar, Jun Shirako, Vincent Cavé, 2011, PPPJ.

Habanero-Java extensions for scientific computing

Vivek Sarkar, James Gunning, Michael Glinsky, 2010, POOSC '10.

The design and implementation of the habanero-java parallel programming language

Vivek Sarkar, Jun Shirako, Sagnak Tasirlar, 2011, OOPSLA Companion.

Automatic vector instruction selection for dynamic compilation

Vivek Sarkar, Rajkishore Barik, Jisheng Zhao, 2010, 2010 19th International Conference on Parallel Architectures and Compilation Techniques (PACT).

A Hierarchical Region-Based Static Single Assignment Form

Vivek Sarkar, Jisheng Zhao, Vivek Sarkar, 2009 .

Hierarchical Place Trees: A Portable Abstraction for Task Parallelism and Data Movement

Vivek Sarkar, Yonghong Yan, Yi Guo, 2009, LCPC.

Adaptive Loop Tiling for a Multi-cluster CMP

Mikel Luján, Ian Watson, Ian Rogers, 2008, ICA3PP.

Efficient data race detection for async-finish parallelism

Vivek Sarkar, Eran Yahav, Martin T. Vechev, 2012, Formal Methods Syst. Des..

Efficient Selection of Vector Instructions Using Dynamic Programming

Vivek Sarkar, Rajkishore Barik, Jisheng Zhao, 2010, 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture.

Inter-iteration Scalar Replacement Using Array SSA Form

Vivek Sarkar, Rajkishore Barik, Jisheng Zhao, 2014, CC.

Efficient data race detection for async-finish parallelism

Vivek Sarkar, Eran Yahav, Martin T. Vechev, 2010, Formal Methods Syst. Des..

Parallelizing a discrete event simulation application using the Habanero-Java multicore library

Vivek Sarkar, Jisheng Zhao, Wei-Cheng Xiao, 2015, PMAM '15.

Practical Permissions for Race-Free Parallelism

Vivek Sarkar, Zoran Budimlic, Jisheng Zhao, 2012, ECOOP.

Isolation for nested task parallelism

Vivek Sarkar, Swarat Chaudhuri, Zoran Budimlic, 2013, OOPSLA.

Scalable and precise dynamic datarace detection for structured parallelism

Vivek Sarkar, Eran Yahav, Martin T. Vechev, 2012, PLDI.

Constraint based optimization of stationary fields

Ian Watson, Ian Rogers, Chris C. Kirkham, 2008, PPPJ '08.

Loop Parallelisation for the Jikes RVM

Ian Watson, Ian Rogers, Chris C. Kirkham, 2005, Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05).