Nick Vrvilo

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 4

Top Topics

Message Passing

Spatial Locality

Deductive Database Systems

Top Venues

IPDPS Workshops

Publications

Nick Vrvilo, Lechen Yu, Vivek Sarkar
A marshalled data format for pointers in relocatable data blocks. ISMM (2017)
Max Grossman, Vivek Kumar, Nick Vrvilo, Zoran Budimlic, Vivek Sarkar
A Pluggable Framework for Composable HPC Scheduling Libraries. IPDPS Workshops (2017)
Sanjay Chatterjee, Nick Vrvilo, Zoran Budimlic, Kathleen Knobe, Vivek Sarkar
Declarative Tuning for Locality in Parallel Programs. ICPP (2016)
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, Nick Pepperling, Bala Seshasayee, Sagnak Tasirlar, Justin Teller, Nick Vrvilo
The Open Community Runtime: A runtime system for extreme scale computing. HPEC (2016)
Peter Anderson, Nick Vrvilo, Eric Mercer, Vivek Sarkar
JPF Verification of Habanero Java Programs using Gradual Type Permission Regions. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Eric G. Mercer, Peter Anderson, Nick Vrvilo, Vivek Sarkar
Model Checking Task Parallel Programs Using Gradual Permissions (N). ASE (2015)
Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy
Modeling Asynchronous Message Passing for C Programs. VMCAI (2012)
Jun Shirako, Nick Vrvilo, Eric G. Mercer, Vivek Sarkar
Design, verification and applications of a new read-write lock algorithm. SPAA (2012)