conftrace_

execution history

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

dynamic logic (1) high-level programming language (1) linear dynamic logic (1) program tracing (1) situation calculus (1) memory dump (1) error correction (1) reverse debugging (1) hardware tracing (1) binary analysis (1)

Papers

ElGolog: A High-Level Programming Language with Memory of the Execution History AAAI 2020 REPT: Reverse Debugging of Failures in Deployed Software OSDI 2018