Publications

2016

• Static Data Race Detection for SPMD Programs via an Extended Polyhedral Representation. Prasanth Chatarasi, Jun Shirako, Vivek Sarkar. 6th International Workshop on Polyhedral Compilation Techniques (IMPACT 2016), January 2016.

2015

• Efficient Static and Dynamic Memory Management Techniques for Multi-GPU System. Max Grossman, Mauricio Araya-Polo. Workshop on Runtime Systems for Extreme Scale Programming Models and Architectures. November 2015.

• Distributed, Heterogeneous Scheduling Techniques Motivated by Production Geophysical Applications. Max Grossman, Mauricio Araya-Polo. Workshop on Many-Task Computing on Clouds, Grids, and Supercomputer. November 2015.

• Concurrent Collections. Kathleen Knobe, Michael G. Burke, and Frank Schlimbach.  Programming Models for Parallel Computing, Chapter 11, pages 247-280.  Pavan Balaj, editor. The MIT Press, November 2015.

• Auto-Grading for Parallel Programs. Maha Aziz,Heng Chi, Anant Tibrewal, Max Grossman, Vivek Sarkar. Workshop on Education for High-Performance Computing (EduHPC, co-located with SC15). November 2015.
• LLVM-based Communication Optimizations for PGAS Programs. Akihiro Hayashi, Jisheng Zhao, Michael Ferguson, Vivek Sarkar. The 2nd Workshop on the LLVM Compiler Infrastructure in HPC (co-located with SC15), November, 2015.
• Model Checking Task Parallel Programs using Gradual Permissions. Eric Mercer, Peter Anderson, Nick Vrvilo, and Vivek Sarkar. 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), New ideas category, Lincoln, Nebraska,November,2015.

• Extending Polyhedral Model for Analysis and Transformations of OpenMP Programs. Prasanth Chatarasi, and Vivek Sarkar. PACT ACM Student Research Competition, October 2015. [accepted as poster with accompanying extended abstract][poster].

• Polyhedral Optimizations of Explicitly Parallel Programs. Prasanth Chatarasi, Jun Shirako, and Vivek Sarkar. 24th International Conference on Parallel Architectures and Compilation Techniques (PACT), October 2015. One of four papers selected for Best Paper session [slides].
• Compiling and Optimizing Java 8 Programs for GPU Execution. Kazuaki Ishizaki, Akihiro Hayashi, Gita Koblents, Vivek Sarkar. 24th International Conference on Parallel Architectures and Compilation Techniques (PACT), October 2015.
• Exploiting Parallelism in Mobile Devices. Arghya Chatterjee, Timothy Newton, Tom Roush, Hunter Tidwell, Vivek Sarkar. SPLASH 2015 Poster Session, October 2015. [accepted as poster with accompanying extended abstract][paper].
• Heterogeneous Work-stealing across CPU and DSP cores. Vivek Kumar, Alina Sbirlea, Ajay Jayaraj, Zoran Budimlic, Deepak Majeti, Vivek Sarkar. 19th IEEE High Performance Extreme Computing conference (HPEC'15). September 2015. [paper]
• Polyhedral Optimizations for a Data-Flow Graph Language. Alina Sbirlea, Jun Shirako, Louis-Noel Pouchet, Vivek Sarkar. The 28th International Workshop on Languages and Compilers for Parallel Computing (LCPC), September 2015.
  
• HJlib-CL: Reducing the Gap Between the JVM and Accelerators. Max Grossman, Shams Imam, Vivek Sarkar. 12th International Conference on the Principles and Practice of Programming on the Java Platform (PPPJ'15), September 2015. [paper]
  
• Machine-Learning-based Performance Heuristics for Runtime CPU/GPU Selection. Akihiro Hayashi, Kazuaki Ishizaki, Gita Koblents, Vivek Sarkar. 12th International Conference on the Principles and Practice of Programming on the Java Platform: virtual machines, languages, and tools (PPPJ'15), September 2015.
• A Composable Deadlock-free Approach to Object-based Isolation. Shams Imam, Jisheng Zhao, Vivek Sarkar. 21st International European Conference on Parallel and Distributed Computing (Euro-Par'15), August 2015. [paper]
• Elastic Tasks: Unifying Task Parallelism and SPMD Parallelism with an Adaptive Runtime. Alina Sbirlea, Kunal Agrawal, Vivek Sarkar. 21st International European Conference on Parallel and Distributed Computing (Euro-Par'15), August 2015.
• Data Layout Optimization for Portable Performance.  Kamal Sharma, Ian Karlin, Jeff Keasler, James McGraw, Vivek Sarkar.  21st International European Conference on Parallel and Distributed Computing (Euro-Par'15), August 2015.
• Load Balancing Prioritized Tasks via Work-Stealing. Shams Imam, Vivek Sarkar. 21st International European Conference on Parallel and Distributed Computing (Euro-Par'15), August 2015. [paper]
• HadoopCL2: Motivating the Design of a Distributed, Heterogeneous Programming System With Machine-Learning Applications. Max Grossman, Mauricio Breternitz, Vivek Sarkar. IEEE Transactions on Parallel and Distributed Systems (TPDS), 2015.
• High-level execution models for multicore architectures. Alina Sbirlea. Ph.D. Thesis, July 2015.
• The Eureka Programming Model for Speculative Task Parallelism. Shams Imam, Vivek Sarkar. 29th European Conference on Object-Oriented Programming (ECOOP), July 2015. [paper]

• Race Detection in Two Dimensions.  Dimitar Dimitrov, Martin Vechev, Vivek Sarkar.  27th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), June 2015.

• Heterogeneous Habanero-C (H2C): A Portable Programming Model for Heterogeneous Processors. DeepakMajeti, Vivek Sarkar. Programming Models, Languages and Compilers for Manycore and Heterogeneous Architectures (PLC), 25th May 2015, Hyderabad, India. Co-located with IPDPS 2015.

• Cooperative Execution of Parallel Tasks with Synchronization Constraints. Shams Imam. Ph.D. Thesis, May 2015.

• Memory and Communication Optimizations for Macro-dataflow Programs. Dragos Sbirlea. Ph.D. Thesis, May 2015.

• Portable Programming Models for Heterogeneous Platforms. Deepak Majeti. Ph.D. Thesis, May 2015.

• JPF Verification of Habanero Java Programs using Gradual Type Permission Regions. Peter Anderson, Nick Vrvilo, Eric Mercer, and Vivek Sarkar. 2015. SIGSOFT Softw. Eng. Notes 40, 1 (February 2015), 1-5. [doi]
• Parallelizing a Discrete Event Simulation Application Using the Habanero-Java Multicore Library. Wei-Cheng Xiao, Jisheng Zhao, and Vivek Sarkar. The 6th International Workshop on Programming Models and Applications for Multicore and Manycores (PMAM 2015), Feb 2015.
• Polyhedral Transformations of Explicitly Parallel Programs. Prasanth Chatarasi, Jun Shirako, Vivek Sarkar. 5th International Workshop on Polyhedral Compilation Techniques (IMPACT 2015), January 2015. [slides]

2014  

• Oil and Water Can Mix: An Integration of Polyhedral and AST-based Transformations. Jun Shirako, Louis-Noel Pouchet, Vivek Sarkar. IEEE Conference on High Performance Computing, Networking, Storage and Analysis (SC'14), November 2014. [slides]  One of eight Best Paper Finalists in conference. 
• HabaneroUPC++: a Compiler-free PGAS Library. Vivek Kumar, Yili Zheng, Vincent Cave,  Zoran Budimlic, Vivek Sarkar. 8th International Conference on Partitioned Global Address Space Programming Models (PGAS14), October 2014. [slides]
• HJ-Viz: A New Tool for Visualizing, Debugging and Optimizing Parallel Programs. Peter Elmers, Hongyu Li, Shams Imam, Vivek Sarkar. SPLASH 2014 Poster Session, October 2014. [accepted as poster with accompanying extended abstract]. [paper]
  
• Selectors: Actors with Multiple Guarded Mailboxes. Shams Imam, Vivek Sarkar. 4th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE! 2014), October 2014. [paper, slides]
• Savina - An Actor Benchmark Suite. Shams Imam, Vivek Sarkar. 4th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE! 2014), October 2014. [paper, slides]
• Habanero-Java Library: a Java 8 Framework for Multicore Programming. Shams Imam, Vivek Sarkar. 11th International Conference on the Principles and Practice of Programming on the Java Platform: virtual machines, languages, and tools (PPPJ'14 ), September 2014. [paper, slides]
  
• ADHA: Automatic Data layout framework for Heterogeneous Architectures  . Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik and Vivek Sarkar. (Poster) International Conference on Parallel Architectures and Compilation Techniques (PACT), August 2014.
• Locality Transformations of Computation and Data for Portable Performance. Kamal Sharma. Ph.D. Thesis, August 2014.  
• Bounded Memory Scheduling of Dynamic Task Graphs.  Dragos Sbirlea, Zoran Budimlic, Vivek Sarkar. International Conference on Parallel Architectures and Compilation Techniques (PACT), August 2014.

• DFGR: an Intermediate Graph Representation for Macro-Dataflow Programs. Alina Sbirlea, Louis-Noel Pouchet, Vivek Sarkar. Fourth Workshop on Dataflow Execution Models for Extreme Scale Computing - in conjunction with PACT 2014 (DFM 2014)

• Asynchronous Checkpoint/Restart for the Concurrent Collections Model. Nick Vrvilo. M.S. Thesis, August 2014. [thesis resources page]
• Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns. Shams Imam, Vivek Sarkar. 28th European Conference on Object-Oriented Programming (ECOOP), July 2014. [paper, slides]
• 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. [paper, slides]
  
• A Case for Cooperative Scheduling in X10's Managed Runtime. Shams Imam, Vivek Sarkar. The 2014 X10 Workshop (X10'14), June 2014. [paper, slides]
  
• Optimized Runtime Systems for MapReduce Applications in Multi-core Clusters. Yunming Zhang. M.S. Thesis, May 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.
• Dynamic Determinism Checking for Structured Parallelism. Edwin Westbrook, Raghavan Ramean, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar.  The 5th Workshop on Determinism and Correctness in Parallel Programming (WoDet 2014), March 2014.

2013

• A Decoupled non-SSA Global Register Allocation using Bipartite Liveness Graphs. Rajkishorebarik, 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.  Dragos Sbirlea, Michael G. Burke, Salvatore Guarnieri, Marco Pistoia, Vivek Sarkar.  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 .  Dragos Sbirlea, 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. [paper, slides]

• 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]. [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. [paper, slides]
• Habanero-Scala: Async-Finish Programming in Scala. Shams Imam, Vivek Sarkar. The Third Scala Workshop (Scala Days 2012), April 2012. [paper, 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. [paper, 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, MichaelGlinsky, 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. TheNineteeth 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, SagnakTasirlar. 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.  One of three papers selected for Best Paper session.
• 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, 1302570. Any opinions, findings and conclusions orrecomendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation (NSF).