Nick Vrvilo

Implementing Asynchronous Checkpoint/Restart for the Concurrent Collections Model

Nick Vrvilo, 2014 .

JPF Verification of Habanero Java Programs using Gradual Type Permission Regions

Vivek Sarkar, Eric Mercer, Peter Anderson, 2015, SOEN.

Modeling Asynchronous Message Passing for C Programs

Eric Mercer, Nick Vrvilo, Jay McCarthy, 2012, VMCAI.

Model Checking Task Parallel Programs Using Gradual Permissions (N)

Vivek Sarkar, Eric Mercer, Peter Anderson, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).

The Open Community Runtime: A runtime system for extreme scale computing

Benoît Meister, Vivek Sarkar, Joshua B. Fryman, 2016, 2016 IEEE High Performance Extreme Computing Conference (HPEC).

Design, verification and applications of a new read-write lock algorithm

Vivek Sarkar, Jun Shirako, Eric Mercer, 2012, SPAA '12.

A Pluggable Framework for Composable HPC Scheduling Libraries

Vivek Sarkar, Zoran Budimlic, Max Grossman, 2017, 2017 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW).

A marshalled data format for pointers in relocatable data blocks

Vivek Sarkar, Nick Vrvilo, Lechen Yu, 2017, ISMM.

Declarative Tuning for Locality in Parallel Programs

Vivek Sarkar, Sanjay Chatterjee, Zoran Budimlic, 2016, 2016 45th International Conference on Parallel Processing (ICPP).

Optimization of Lattice Boltzmann Simulation With Graphics-Processing-Unit Parallel Computing and the Application in Reservoir Characterization

Vivek Sarkar, Gang Li, Deepak Majeti, 2016 .

Characterizing Application Execution using the Open Community Runtime

Vivek Sarkar, Nick Vrvilo, Romain Cledat, 2015 .