Towards practical default-on multi-core record/replay

AJ Mashtizadeh, T Garfinkel, D Terei, D Mazieres… - ACM SIGPLAN …, 2017 - dl.acm.org
We present Castor, a record/replay system for multi-core applications that provides
consistently low and predictable overheads. With Castor, developers can leave record and …

Input-gen: Guided generation of stateful inputs for testing, tuning, and training

IR Ivanov, J Meyer, A Grossman, WS Moses… - arxiv preprint arxiv …, 2024 - arxiv.org
The size and complexity of software applications is increasing at an accelerating pace.
Source code repositories (along with their dependencies) require vast amounts of labor to …

Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution

U Rumsevicius, S Venkateshwaran… - … Conference on Object …, 2023 - drops.dagstuhl.de
Browsers are the main way in which most users experience the internet, which makes them
a prime target for malicious entities. The best defense for the common user is to keep their …

[KNIHA][B] Specializing C and x86 Machine-Code Software with OS Assistance

MB Vaughn - 2024 - search.proquest.com
There is an intrinsic tension between the incentives for developers of commodity software
and the desires of users of commodity software. Developers of commodity software must …

Pure User Mode Deterministic Replay on Windows

AN Eriksen - 2017 - duo.uio.no
The ability to record and replay program executions has many interesting applications such
as debugging in the backwards direction, discovering and fixing the source of non …

Topics in Systems Reliability: Storage, Execution, and Security

AJ Mashtizadeh - 2017 - search.proquest.com
The past decade has seen a rapid acceleration in the development of new and
transformative applications in many areas including transportation, medicine, finance, and …