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
∙
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
∙
05/16/2018
Efficient and Deterministic Record & Replay for Actor Languages
With the ubiquity of parallel commodity hardware, developers turn to hig...
research
∙
06/01/2017
