research
∙
02/26/2021
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record Replay
With concurrency being integral to most software systems, developers com...
share
research
∙
09/12/2019
Which of My Transient Type Checks Are Not (Almost) Free?
One form of type checking used in gradually typed language is transient ...
research
∙
07/18/2019
Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications
The actor model is popular for many types of server applications. Effici...
research
∙
07/01/2019
Understanding GCC Builtins to Develop Better Tools
C programs can use compiler builtins to provide functionality that the C...
research
∙
07/02/2018
Shallow Types for Insightful Programs: Grace is Optional, Performance is Not
Languages with explicit dynamic type checking are increasing in populari...
research
∙
05/16/2018
Efficient and Deterministic Record & Replay for Actor Languages
With the ubiquity of parallel commodity hardware, developers turn to hig...
research
∙
06/22/2017
A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs
The actor model is an attractive foundation for developing concurrent ap...
research
∙
06/01/2017