The process of debugging software can be a time-consuming and tedious task, often requiring developers to guess which lines of code to set breakpoints on in order to gather more information. Time-travel debuggers are tools that record the program's state throughout its run and let the user inspect it afterwards, a.k.a "Post-Mortem". While time travel debuggers have reduced the time required to re-run a program, they still require developers to view the program on a linear timeline, jumping through different time points. To address these challenges, we have developed a new debugging tool called PaLaDiN. PaLaDiN offers several advantages over traditional debugging methods, including a concise, high-level yet expressive query DSL for retrieving trace data, the ability to show summary information for entire program sections, and the ability to focus on a specific slice of the program's run by running high-level predicates. PaLaDiN also allows developers to connect different, possibly unrelated, fragments of the program using join operators, run queries with alternative states, analyze variable lifetimes throughout the program's run, and compare different implementations of the same function. Overall, PaLaDiN provides a comprehensive and flexible approach to debugging that can significantly reduce the time and effort required to identify and fix software bugs.
