Nick Vrvilo

According to our database, Nick Vrvilo authored at least 8 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

A marshalled data format for pointers in relocatable data blocks.

Nick Vrvilo, Lechen Yu, Vivek Sarkar

Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, 2017

A Pluggable Framework for Composable HPC Scheduling Libraries.

Max Grossman, Vivek Kumar, Nick Vrvilo, Zoran Budimlic, Vivek Sarkar

Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017

2016

Declarative Tuning for Locality in Parallel Programs.

Sanjay Chatterjee, Nick Vrvilo, Zoran Budimlic, Kathleen Knobe, Vivek Sarkar

Proceedings of the 45th International Conference on Parallel Processing, 2016

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, Nick Pepperling, Bala Seshasayee, Sagnak Tasirlar, Justin Teller, Nick Vrvilo

Proceedings of the 2016 IEEE High Performance Extreme Computing Conference, 2016

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

Model Checking Task Parallel Programs Using Gradual Permissions (N).

Eric G. Mercer, Peter Anderson, Nick Vrvilo, Vivek Sarkar

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2012

Modeling Asynchronous Message Passing for C Programs.

Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

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

Jun Shirako, Nick Vrvilo, Eric G. Mercer, Vivek Sarkar

Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures, 2012