research
∙
11/03/2022
Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
Context: Internet of Things (IoT) has become an important kind of distri...
share
research
∙
07/06/2022
VeriFx: Correct Replicated Data Types for the Masses
Distributed systems adopt weak consistency to ensure high availability a...
research
∙
07/15/2021
Deriving Static Security Testing from Runtime Security Protection for Web Applications
Context: Static Application Security Testing (SAST) and Runtime Applicat...
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...
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
∙
11/05/2018
Out-Of-Place debugging: a debugging architecture to reduce debugging interference
Context. Recent studies show that developers spend most of their program...
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