2 papers
cs.PL2026
Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations
Christoph Kirsch
To answer a question about a program, move the program to where the question is decidable. Every such move is a translation, and every translation is a place to be wrong. We study…
cs.PL2025
Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams
Anna Bolotina, Christoph M. Kirsch, Stefanie Muroya Lei +1
Symbolic execution is a powerful technique for analyzing the behavior of software yet scalability remains a challenge due to state explosion in control and data flow. Existing tool…