Analysis and Optimization of Explicitly Parallel Programs Using the Parallel Program Graph Representation

Basic compiler algorithms for parallel programs

Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming

Pointer analysis for structured parallel programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

A Constant Propagation Algorithm for Explicitly Parallel Programs

International Journal of Parallel Programming

May-happen-in-parallel analysis of X10 programs

Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming

Dataflow analysis for concurrent programs using datarace detection

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation

Maintaining Data Dependencies Across BPEL Process Fragments

ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing

Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring

Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems

A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Pervasive parallelism for managed runtimes

HotPar'11 Proceedings of the 3rd USENIX conference on Hot topic in parallelism

Efficient computation of may-happen-in-parallel information for concurrent java programs

LCPC'05 Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing

Intermediate language extensions for parallelism

Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11

A practical MHP information analysis for concurrent java programs

LCPC'04 Proceedings of the 17th international conference on Languages and Compilers for High Performance Computing

A framework for formal verification of compiler optimizations

ITP'10 Proceedings of the First international conference on Interactive Theorem Proving

On a Technique for Transparently Empowering Classical Compiler Optimizations on Multithreaded Code

ACM Transactions on Programming Languages and Systems (TOPLAS)

Online feedback-directed optimizations for parallel Java code

Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications