Design, verification and applications of a new read-write lock algorithm. - Jun Shirako; Nick Vrvilo; Eric G. Mercer; Vivek Sarkar (SPAA, 2012)

Modeling Asynchronous Message Passing for C Programs. - Everett Morse; Nick Vrvilo; Eric Mercer; Jay McCarthy (VMCAI, 2012)

Model Checking Task Parallel Programs Using Gradual Permissions (N). - Eric G. Mercer; Peter Anderson; Nick Vrvilo; Vivek Sarkar (ASE, 2015)

JPF Verification of Habanero Java Programs using Gradual Type Permission Regions. - Peter Anderson; Nick Vrvilo; Eric Mercer; Vivek Sarkar (ACM SIGSOFT Softw. Eng. Notes, 2015)

The Open Community Runtime: A runtime system for extreme scale computing. - Timothy G. Mattson; Romain Cledat; Vincent Cavé; Vivek Sarkar; Zoran Budimlic; Sanjay Chatterjee; Joshua B. Fryman; Ivan Ganev; Robin Knauerhase; Min Lee; Benoît Meister; Brian Nickerson; et al. (HPEC, 2016)

Declarative Tuning for Locality in Parallel Programs. - Sanjay Chatterjee; Nick Vrvilo; Zoran Budimlic; Kathleen Knobe; Vivek Sarkar (ICPP, 2016)

A Pluggable Framework for Composable HPC Scheduling Libraries. - Max Grossman; Vivek Kumar 001; Nick Vrvilo; Zoran Budimlic; Vivek Sarkar (IPDPS Workshops, 2017)

A marshalled data format for pointers in relocatable data blocks. - Nick Vrvilo; Lechen Yu; Vivek Sarkar (ISMM, 2017)