Connected embedded systems are becoming widely deployed, and their security is a
serious concern. Current techniques for security testing of embedded software rely either on …

Deterministic replay systems record and reproduce the execution of a hardware or software
system. In contrast to replaying execution on uniprocessors, deterministic replay on …

Recent work has produced interactive Zero Knowledge (ZK) proof systems that can express
proofs as arbitrary C programs (Heath et al., 2021, henceforth referred to as ZEE); these …

Detecting data races in multithreaded programs is a crucial part of debugging such
programs, but traditional data race detectors are too slow to use routinely. This paper shows …

Detecting data races is important for debugging shared-memory multithreaded programs,
but the high runtime overhead prevents the wide use of dynamic data race detectors. This …

On-Stack Replacement (OSR) is a technique for dynamically transferring execution between
different versions of a function at run time. OSR is typically used in virtual machines to …

Speculative execution is a technique that allows serial tasks to execute in parallel. An
implementation of speculative execution can be divided into two parts:(1) a policy that …

The emergence and wide adoption of Web applications have moved the client-side
component, often written in JavaScript, to the forefront of computing on the Web. Web …

On-stack replacement (OSR) is a technique that allows a virtual machine to interrupt running
code during the execution of a function/method, to re-optimize the function on-the-fly using …

We introduce explicit speculation, a variant of I/O speculation technique where I/O system
calls can be parallelized under the guidance of explicit application code knowledge. We …