Jisheng Zhao

发表

Scalable and precise dynamic datarace detection for structured parallelism

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

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

Vivek Sarkar, Vincent Cavé, Jisheng Zhao, 2010, 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS).

Parallel Flow-Sensitive Points-to Analysis

Vivek Sarkar, M. Burke, Jisheng Zhao, 2017 .

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

Yi Guo, Vivek Sarkar, Yisheng Zhao, 2010, 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS).

Adaptive Loop Tiling for a Multi-cluster CMP

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

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

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

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.

Chunking parallel loops in the presence of synchronization

Vivek Sarkar, Jun Shirako, V. Krishna Nandivada, 2009, ICS.

LLVM-based communication optimizations for PGAS programs

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

Practical Permissions for Race-Free Parallelism

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

Efficient data race detection for async-finish parallelism

Martin T. Vechev, Vivek Sarkar, Eran Yahav, 2012, Formal Methods in System Design.

Intermediate language extensions for parallelism

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

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

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

Habanero-Java: the new adventures of old X10

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

Efficient Selection of Vector Instructions Using Dynamic Programming

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

Efficient data race detection for async-finish parallelism

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

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 Hierarchical Region-Based Static Single Assignment Form

Vivek Sarkar, Jisheng Zhao, Vivek Sarkar, 2009 .

Constraint based optimization of stationary fields

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

A Transformation Framework for Optimizing Task-Parallel Programs

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

Inter-iteration Scalar Replacement Using Array SSA Form

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

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).

Optimizing Chip Multiprocessor Work Distribution Using Dynamic Compilation

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

A Composable Deadlock-Free Approach to Object-Based Isolation

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

Delegated isolation

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

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.