Shared-memory multi-threading and the actor model both share the notion of processes
featuring communication, respectively by modifying shared state and by sending messages …

Abstract garbage collection is the application of garbage collection to an abstract interpreter.
Existing work has shown that abstract garbage collection can improve both the interpreter's …

Dynamic symbolic execution, or concolic execution, is a program testing technique that
systematically executes a program with the aim of exploring all feasible program paths, and …

We introduce straf, a Scala framework for recording and optimizing execution traces of an
interpreter it is composed with. For interpreters that satisfy the requirements detailed in this …