Publications

2014

• Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns. Shams Imam, Vivek Sarkar. 28th European Conference on Object-Oriented Programming (ECOOP), July 2014.
• Test-Driven Repair of Data Races in Structured Parallel Programs. Rishi Surendran, Raghavan Raman, Swarat Chaudhuri, John Mellor-Crummey, and Vivek Sarkar. 35th ACM Conference on Programming Language Design and Implementation (PLDI), June 2014.
• Exploiting Implicit Parallelism in Dynamic Array Programming Languages. Shams Imam, Vivek Sarkar, David Leibs, Peter B. Kessler. ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY '14), June 2014.
• A Case for Cooperative Scheduling in X10's Managed Runtime. Shams Imam, Vivek Sarkar. The 2014 X10 Workshop (X10'14), June 2014.
• LLVM Optimizations for PGAS Programs -Case Study: LLVM Wide Optimization in Chapel-. Akihiro Hayashi, Rishi Surendran, Jisheng Zhao, Michael Ferguson, Vivek Sarkar. The 1st Chapel Implementers and Users Workshop (co-located with IPDPS2014), May 2014.
  
• Inter-iteration Scalar Replacement Using Array SSA Form. Rishi Surendran, Rajkishore Barik, Jisheng Zhao, Vivek Sarkar. The 23rd International Conference on Compiler Construction (CC 2014), April 2014.

2013

• A Decoupled non-SSA Global Register Allocation using Bipartite Liveness Graphs. Rajkishore barik, Jisheng Zhao and Vivek Sarkar, ACM Transactions on Architecture and Code Optimization (TACO), Volume 10 Issue 4, December 2013.
• Automatic detection of inter-application permission leaks in Android applications. Sbirlea, D.; Burke, M.G.; Guarnieri, S.; Pistoia, M.; Sarkar, V.  IBM Journal of Research and Development  (Volume:57 ,  Issue: 6 ), November - December 2013.
• Runtime Systems for Extreme Scale Platforms . Sanjay Chatterjee. Ph.D Thesis, December 2013.
• Isolation for Nested Task Parallelism .  Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar. The 29th International Conference on the Object-Oriented Programming, System, Languages and Application (OOPSLA), October 2013.
• Speculative Execution of Parallel Programs with Precise Exception Semantics on GPUs. Akihiro Hayashi, Max Grossman, Jisheng Zhao, Jun Shirako, Vivek Sarkar. The 26th International Workshop on Languages and Compilers for Parallel Computing (LCPC), September 2013. 
• Expressing DOACROSS Loop Dependencies in OpenMP. Jun Shirako, Priya Unnikrishnan, Sanjay Chatterjee, Kelvin Li, Vivek Sarkar. 9th International Workshop on OpenMP (IWOMP), September 2013.
• Accelerating Habanero-Java Programs with OpenCL Generation . Akihiro Hayashi, Max Grossman, Jisheng Zhao, Jun Shirako, Vivek Sarkar. 10th International Conference on the Principles and Practice of Programming in Java (PPPJ), September 2013.
• Interprocedural Strength Reduction of Critical Sections in Explicitly-Parallel Programs . Rajkishore Barik, Jisheng Zhao, Vivek Sarkar. The 22nd International Conference on Parallel Architectures and Compilation Techniques (PACT), September 2013.
• The Flexible Preconditions Model for Macro-Dataflow Execution . Dragoș Sbîrlea, Alina Sbîrlea, Kyle B. Wheeler, Vivek Sarkar. The 3rd Data-Flow Execution Models for Extreme Scale Computing (DFM), September 2013.
• Compiler-Driven Data Layout Transformation for Heterogeneous Platforms . Deepak Majeti, Rajkishore Barik, Jisheng Zhao, Vivek Sarkar and Max Grossman. The International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar'2013) , August 2013.
• Oil and Water can mix! Experiences with integrating Polyhedral and AST-based Transformations . Jun Shirako, Vivek Sarkar. 17th Workshop on Compilers for Parallel Programming (CPC), July 2013.
• HJ-Hadoop: An Optimized MapReduce Runtime for Multi-core Systems . Yunming Zhang, Alan Cox, Vivek Sarkar. 5th USENIX Workshop on Hot Topics in Parallelism (HotPar '13), June 2013. [accepted as poster with accompanying paper]. [ slides ]
• A Transformation Framework for Optimizing Task-Parallel Programs . V. Krishna Nandivada, Jun Shirako, Jisheng Zhao, Vivek Sarkar.  ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 35, May 2013.
• Integrating Asynchronous Task Parallelism with MPI .  Sanjay Chatterjee, Sagnak Tasirlar, Zoran Budimlic, Vincent Cave ,  Milind Chabbi, Max Grossman,  Yonghong Yan,  Vivek Sarkar. IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2013.
• HadoopCL: MapReduce on Distributed Heterogeneous Platforms Through Seamless Integration of Hadoop and OpenCL . Max Grossman, Mauricio Breternitz, Vivek Sarkar. International Workshop on High Performance Data Intensive Computing, May 2013 (co-located with IPDPS 2013).
• Programming Models and Runtimes for Heterogeneous Systems. Max Grossman. M.S. Thesis, April 2013.  
• Finish Accumulators: a Deterministic Reduction Construct for Dynamic Task Parallelism . Jun Shirako, Vincent Cave, Jisheng Zhao, Vivek Sarkar. The 4th Workshop on Determinism and Correctness in Parallel Programming (WoDet), March 2013.
• DOE ASCAC report on Synergistic Challenges in Data-Intensive Science and Exascale Computing , Vivek Sarkar et al, March 2013. 

2012

• Integrating Task Parallelism with Actors. Shams Imam, Vivek Sarkar. Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2012.

• Rice ROSE Compositional Analysis and Transformation Framework (R2CAT). Jisheng Zhao, Micheal Burke, Vivek Sarkar. LLNL Technical Report 590233, October 2012.

• Determinacy and Repeatability of Parallel Program Schemata. Jack B. Dennis, Guang R. Gao, Vivek Sarkar. Workshop on Data-Flow Execution Models for Extreme Scale Computing (DFM 2012).

• Folding of Tagged Single Assignment Values for Memory-Efficient Parallelism . Dragos Sbirlea, Kathleen Knobe, Vivek Sarkar. International European Conference on Parallel and Distributed Computing (Euro-Par), August 2012.
• A Practical Approach to DOACROSS Parallelization . Priya Unnikrishnan, Jun Shirako, Kit Barton, Sanjay Chatterjee, Raul Silvera, Vivek Sarkar. International European Conference on Parallel and Distributed Computing (Euro-Par), August 2012.
• Dynamic Data Race Detection for Structured Parallelism. Raghavan Raman. Ph.D. Thesis, August 2012.  
• Design, Verification and Applications of a New Read-Write Lock Algorithm. Jun Shirako, Nick Vrvilo, Eric G. Mercer, Vivek Sarkar.  24th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), June 2012.
• Scalable and Precise Dynamic Data Race Detection for Structured Parallelism. Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev, Eran Yahav.  33rd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), June 2012. [slides]
  
  • An extended version of this paper along with the correctness proofs can be found in Technical Report TR12-01.
• Mapping a Data-Flow Programming Model onto Heterogeneous Platforms.  Alina Sbirlea, Yi Zou, Zoran Budimlic, Jason Cong, Vivek Sarkar.  Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), June 2012. [slides] [doi]
• Practical Permissions for Race-Free Parallelism.  Edwin Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar.  26th European Conference on Object-Oriented Programming (ECOOP), June 2012.
• CnC-Python: Multicore Programming with High Productivity. Shams Imam, Vivek Sarkar. 4th USENIX Workshop on Hot Topics in Parallelism (HotPar '12), June 2012. [accepted as poster with accompanying paper].
• Efficient data race detection for async-finish parallelism.  Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav.  Formal Methods in System Design (FMSD) 41(3): 321-347 (2012).
• Mapping a Dataflow Programming Model onto Heterogeneous Architectures. Alina Sbirlea. Master's Thesis, May 2012.
• Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor models. Shams Imam. Master's Thesis, May 2012. [slides]
• Habanero-Scala: Async-Finish Programming in Scala. Shams Imam, Vivek Sarkar. The Third Scala Workshop (Scala Days 2012), April 2012. [slides]
• Analytical Bounds for Optimal Tile Size Selection. Jun Shirako, Kamal Sharma, Naznin Fauzia, Louis-Noel Pouchet, J. Ramanujam, P. Sadayappan, Vivek Sarkar. Proceedings of the 2012 International Conference on Compiler Construction (CC 2012), April 2012.
• The Tuning Language for Concurrent Collections. Kathleen Knobe, Michael G. Burke. Proceedings of the 2012 International Workshop on Compilers for Parallel Computing (CPC 2012), January 2012.

2011

• Integrating Stream Parallelism and Task Parallelism in a Dataflow Programming Model. Dragos Sbirlea, Master's thesis, December 2011.
• Delegated Isolation. Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar. Proceedings of OOPSLA 2011, October 2011.
• SCnC: Efficient Unification of Streaming with Dynamic Task Parallelism. Dragos Sbirlea, Jun Shirako, Ryan Newton, Vivek Sarkar. Proceeding of the Data-Flow Execution Models for Extreme Scale Computing (DFM 2011), in conjunction with PACT 2011, October 2011.
• Intermediate Language Extensions for Parallelism . Jisheng Zhao, Vivek Sarkar. 5th Workshop on Virtual Machine and Intermediate Languages (VMIL'11), October 2011.
• Interfacing Chapel with Traditional HPC Programming Languages. Adrian Prantl, Thomas Epperly, Shams Imam, Vivek Sarkar. PGAS11 Proceedings, October 2011. [slides]
• Permission Regions for Race-Free Parallelism. Edwin Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar. Proceedings of the 2nd International Conference on Runtime Verification (RV '11), September 2011. 
• Data-Driven Tasks and their Implementation. Sagnak Tasirlar, Vivek Sarkar. Proceedings of the International Conference on Parallel Processing (ICPP) 2011, September 2011. [slides]
• Dynamic Task Parallelism with a GPU Work-Stealing Runtime System. Sanjay Chatterjee, Max Grossman, Alina Sbirlea, Vivek Sarkar. 2011 Workshop on Languages and Compilers for Parallel Computing (LCPC), September 2011. [slides]
• Habanero-Java: the New Adventures of Old X10. Vincent Cave, Jisheng Zhao, Jun Shirako, Vivek Sarkar.  9th International Conference on the Principles and Practice of Programming in Java (PPPJ), August 2011.
• DrHJ --- a lightweight pedagogic IDE for Habanero Java. Jarred Payne, Vincent Cave, Raghavan Raman, Mathias Ricken, Robert Cartwright, Vivek Sarkar. Tool Demonstration paper, 9th International Conference on the Principles and Practice of Programming in Java (PPPJ), August 2011.
• Hardware and Software Tradeoffs for Task Synchronization on Manycore Architectures. Yonghong Yan, Sanjay Chatterjee, David Orozco, Elkin Garcia, Zoran Budimlic, Jun Shirako, Robert Pavel, Guang R. Gao, Vivek Sarkar. Proceedings of Euro-Par 2011, August 2011.
• Unifying Barrier and Point-to-Point Synchronization in OpenMP with Phasers. Jun Shirako, Kamal Sharma, Vivek Sarkar. 7th International Workshop on OpenMP (IWOMP), June 2011.  [slides]
• Communication Optimizations for Distributed-Memory X10 Programs. Rajkishore Barik, Jisheng Zhao, David Grove, Igor Peshansky, Zoran Budimlic, Vivek Sarkar. 25th IEEE International Parallel and Distributed Processing Symposium (IPDPS), May 2011.
• Scheduling Macro-Dataflow Programs on Task-Parallel Runtime Systems. Sagnak Tasirlar, Master's thesis, April 2011. [slides]
• Subregion Analysis and Bounds Check Elimination for High Level Arrays. Mackale Joyner, Zoran Budimlic, Vivek Sarkar. Proceedings of the 2011 International Conference on Compiler Construction (CC 2011), April 2011.
• Lightweight Dynamic Task Creation and Scheduling on the Intel Single Chip Cloud (SCC) Processor. Deepak Majeti. Fourth Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES 2011), April 2011. [slides]
• Customizable Domain-Specific Computing. Jason Cong, Vivek Sarkar, Glenn Reinman, Alex Bui. IEEE Design & Test, 2:28, pp.6-15, March 2011.
• Deterministic Reductions in an Asynchronous Parallel Language. Zoran Budimlic, Michael Burke, Kathleen Knobe, Ryan Newton, David Peixotto, Vivek Sarkar, Edwin Westbrook. The 2nd Workshop on Determinism and Correctness in Parallel Programming (WoDet), March 2011.
• The Concurrent Collections Programming Model. Michael G. Burke, Kathleen Knobe, Ryan Newton, Vivek Sarkar. David Padua (Ed.), Encyclopedia of Parallel Computing, Springer New York, 2011.

2010

• Efficient Selection of Vector Instructions using Dynamic Programming. Rajkishore Barik, Jisheng Zhao, Vivek Sarkar. MICRO-43, December 2010.
• The Concurrent Collections Programming Model.  Michael G. Burke, Kathleen Knobe, Ryan Newton, Vivek Sarkar.  Technical Report TR 10-12, Department of Computer Science, Rice University, December 2010.  (Preprint of chapter to appear in Encyclopedia of Parallel Computing, 2011.)
• Efficient Date Race Detection for Async-Finish Parallelism. Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev, Eran Yahav. Proceedings of the 1st International Conference on Runtime Verification (RV '10). November 2010. Recipient of Best Paper Award.  [slides]
• CnC-CUDA: Declarative Programming for GPU's. Max Grossman, Alina Simion Sbirlea, Zoran Budimlic, Vivek Sarkar. 2010 Workshop on Languages and Compilers for Parallel Computing (LCPC), October 2010. [doi]
• Parallel Object-Oriented Scientific Computing with Habanero-Java. Zoran Budimlic, Vincent Cave, Jun Shirako, Yonghong Yan, Jisheng Zhao, Vivek Sarkar, Michael Glinsky, James Gunning. 9th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing (POOSC'10), co-located with SPLASH 2010, October 2010.
• Modeling and Mapping for Customizable Domain-Specific Computing. Zoran Budimlic, Alex Bui, Jason Cong, Glenn Reinman, Vivek Sarkar. Workshop on Concurrency for the Application Programmer (CAP), co-located with SLASH 2010, October 2010.
• Comparing the Usability of Library vs. Language Approaches to Task Parallelism. Vincent Cave, Zoran Budimlic, Vivek Sarkar. Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU), co-located with SLASH 2010, October 2010.
• Reducing Task Creation and Termination Overhead in Explicitly Parallel Programs. Jisheng Zhao, Jun Shirako, Krishna V. Nandivada, Vivek Sarkar. The Nineteeth International Conference on Parallel Architectures and Compilation Techniques (PACT), September 2010.
• Verifying Determinism of Structured Parallel Programs. Martin Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar. Proceedings of the 17th International Statical Analysis Symposium (SAS 2010), September 2010.
• A Scalable Locality-aware Adaptive Work-stealing Scheduler for Multi-core Task Parallelism. Yi Guo. Ph.D. Thesis, August 2010.
• Concurrent Collections. Zoran Budimlic, Michael Burke, Vincent Cave, Kathleen Knobe, Geoff Lowney, Ryan Newton, Jens Palsberg, David Peixotto, Vivek Sarkar, Frank Schlimbach, Sagnak Tasirlar. Scientific Programming, 18:3-4, pp. 203-217, August 2010.
• A Study of a Software Cache Implementation of the OpenMP Memory Model for Multicore and Manycore Architecture. Chen Chen, Joseph B. Manzano, Ge Gan, Guang R. Gao, Vivek Sarkar. Proceedings of Euro-Par 2010, August 2010. 
• SLAW: a Scalable Locality-aware Adaptive Work-stealing Scheduler. Yi Guo, Jisheng Zhao, Vincent Cave, Vivek Sarkar. 24th IEEE International Parallel and Distributed Processing Symposium (IPDPS), April 2010. 
• Hierarchical Phasers for Scalable Synchronization and Reduction. Jun Shirako, Vivek Sarkar. 24th IEEE International Parallel and Distributed Processing Symposium (IPDPS), April 2010. 
• Compiler Support for Work-Stealing Parallel Runtime Systems. Raghavan Raman, Jisheng Zhao, Zoran Budimlic, and Vivek Sarkar. Rice Technical Report, TR10-02, March 2010.  
• Software Challenges in Extreme Scale Systems. V. Sarkar, W. Harrod, A.E. Snavely.  SciDAC Review Special Issue on Advanced Computing: The Roadmap to Exascale, pp. 60-65, January 2010.

2009

• Hierarchical Place Trees: A Portable Abstraction for Task Parallelism and Date Movement. Yonghong Yan, Jisheng Zhao, Yi Guo, Vivek Sarkar. Proceedings of the 22nd Workshop on Languages and Compilers for Parallel Computing (LCPC), October 2009.
• Efficient Optimization of Memory Accesses in Parallel Programs. Rajkishore Barik. Ph.D. thesis, October 2009.
• DARPA Exascale Software Study report, Vivek Sarkar et al, September 2009. 
• Interprocedural Load Elimination for Dynamic Optimization of Parallel Programs. Rajkishore Barik, Vivek Sarkar. The Eighteenth International Conference on Parallel Architectures and Compilation Techniques (PACT), September 2009.
• JCUDA: a Programmer-Friendly Interface for Accelerating Java Programs with CUDA. Yonghong Yan, Max Grossman, Vivek Sarkar. Proceedings of Euro-Par 2009, August 2009.
• Chunking Parallel Loops in the Presense of Synchronization. Jun Shirako, Jisheng Zhao, V. Krishna Nandivada, Vivek Sarkar. Proceedings of the 2009 ACM International Conference on Supercomputing (ICS), June 2009.
• Work-First and Help-First Scheduling Policies for Terminally Strict Parallel Programs. Yi Guo, Rajkishore Barik, Raghavan Raman, Vivek Sarkar. 23rd IEEE International Parallel and Distributed Processing Symposium (IPDPS), May 2009. 
• Phaser Accumulators: a New Reduction Construct for Dynamic Parallelism. Jun Shirako, David Peixotto, Vivek Sarkar, William Scherer. 23rd IEEE International Parallel and Distributed Processing Symposium (IPDPS), May 2009
• Compiler Support for Work-Stealing Parallel Runtime Systems. Raghavan Raman, M.S. Thesis, May 2009.
• Programming Efficiency in Parallel Computing. Keisha Cumber, Stephanie Diehl, Chuck Koelbel, and Vivek Sarkar. 2009 Richard Tapia Celebration of Diversity in Computing Conference, April 2009.
• Declarative Aspects of Memory Management in the Concurrent Collections Parallel Programming Model. Zoran Budimlic, Aparna Chandramowlishwaran, Kathleen Knobe, Goeff Lowney, Vivek Sarkar, Leo Treggiari. Proceedings of DAMP 2009 Workshop (Declarative Aspects of Multicore Programming), co-located with POPL, January 2009.
• Multicore Implementations of the Concurrent Collections Programming Model. Zoran Budimlic, Aparna Chandramowlishwaran, Kathleen Knobe, Geoff Lowney, Vivek Sarkar, Leo Treggiari. Proceedings of the 2009 Workshop on Compilers for Parallel Computing (CPC), January 2009.

2008

• Array Optimizations for High Productivity Programming Languages. Mackale Joyner. Ph.D. Thesis, September 2008.
• Minimum Lock Assignment: A Method for Exploiting Concurrency Among Critical Sections. Yuan Zhang, Vugranam Sreedhar, Weirong Zhu, Vivek Sarkar, Guang Gao. Proceedings of the 21st Workshop on Languages and Compilers for Parallel Computing (LCPC), July 2008.
• Phasers: a Unified Deadlock-Free Construct for Collective and Point-to-point Synchronization. Jun Shirako, David Peixotto, Vivek Sarkar, William Scherer. Proceedings of the 2008 ACM International Conference on Supercomputing (ICS), June 2008.
• Array Optimizations for Parallel Implementations of High Productivity Languages. Mackale Joyner, Zoran Budimlic, Vivek Sarkar, Rui Zhang. Proceedings of the HIPS-POHLL workshop, co-located with IPDPS. April 2008.

2007

• Language Extensions in Support of Compiler Parallelization. Jun Shirako, Hironori Kasahara, Vivek Sarkar. Proceedings of the Twentieth Workshop on Languages and Compilers for Parallel Computing (LCPC), October 2007.
• Optimizing Array Accessories in High Productivity Languages. Mackale Joyner, Zoran Budimlic, Vivek Sarkar. Proceedings of the 2007 Performance Computation Conference (HPCC), September 2007.

Acknowledgment
This material is based upon work supported by the National Science Foundation under Grants No. 0833166, 0938018, 0926127, 0964520. Any opinions, findings and conclusions or recomendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation (NSF).