Debugging is hard. Interactive debuggers are mostly the same. They show you a stack, a
way to sample the state of the stack, and, if the debugger is live, a way to step through …

Datalog and SAT solving are powerful forms of automated logic that are both used to reason
about the correctness of software. However, they are very different, and they are not typically …

Public AI benchmark results are widely broadcast by model developers as indicators of
model quality within a growing and competitive market. However, these advertised scores …

Interactive debuggers are valuable tools to localize defects within programs, but are costly to
implement. We argue that existing solutions to generate or configure debuggers for DSLs …

eCC++ is a new compiler construction framework for embedding domain-specific
programming languages within C++. That is, the host language is C++, the guest language …

eCC++ is a new compiler construction framework for embedding domain-specific
programming languages within C++. That is, the host language is C++, the guest language …

Modern network applications and environments, ranging from data centers and IoT devices
to AR/VR headsets and underwater robotics, present diverse requirements that cannot be …

Machine learning applications are increasingly requiring fast and more computational
power. Many applications like language models have become so large that they are run on …