A marshalled data format for pointers in relocatable data blocks.
Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, 2017
A Pluggable Framework for Composable HPC Scheduling Libraries.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017
Declarative Tuning for Locality in Parallel Programs.
Proceedings of the 45th International Conference on Parallel Processing, 2016
The Open Community Runtime: A runtime system for extreme scale computing.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2016 IEEE High Performance Extreme Computing Conference, 2016
JPF Verification of Habanero Java Programs using Gradual Type Permission Regions.
ACM SIGSOFT Softw. Eng. Notes, 2015
Model Checking Task Parallel Programs Using Gradual Permissions (N).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Modeling Asynchronous Message Passing for C Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012
Design, verification and applications of a new read-write lock algorithm.
Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures, 2012