2 papers
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…
cs.PL2021
Quantum Advantage for All
Christoph M. Kirsch, Stefanie Muroya Lei
We show that the algorithmic complexity of any classical algorithm written in a Turing-complete programming language polynomially bounds the number of quantum bits that are require…