Developers who set a breakpoint a few statements too late or who are trying to diagnose a
subtle bug from a single core dump often wish for a time-traveling debugger. The ability to …

We present Expositor, a new debugging environment that combines scripting and time-travel
debugging to allow programmers to automate complex debugging tasks. The fundamental …

The increasing popularity of interactive camera-based programs highlights the inadequacies
of conventional IDEs in developing these programs given their distinctive attributes and …

We introduce a method of reversing the execution of imperative concurrent programs. Given
an irreversible program, we describe the process of producing two versions. The first …

In machine learning (ML), Python serves as a convenient abstraction for working with key
libraries such as PyTorch, scikit-learn, and others. Unlike DBMS, however, Python …

In this paper, we introduce an interactive simulator for programs in the form of LLVM bitcode.
The main features of the simulator include precise control over thread scheduling, automatic …

Program debugging is often an ad hoc activity, with a combination of manual and semi-
automated processing. A challenge posed by debugging is the lack of standardized …

Testing is an important activity for software projects. However, testing requires effort and
therefore creates so-called test costs. They consist of factors such as human effort for testing …

A common programmer experience is to execute a long-running computation only to see a
bug crash the program after hours or days. While it is often easy to capture a" buggy" …

In this paper, we introduce an interactive simulator for programs in the form of LLVM bitcode.
The main features of the simulator include precise control over thread scheduling, automatic …