News

Our paper on extending Rust's memory safety guarantees to linked cryptographic assembly snippets was accepted at PLOS '25

Papers on using Vector Addition Systems for program summarization to appear at OOPSLA '24 and RP '24

Our paper on online SMT solver selection was accepted for publication at at SAT '21

My report on MedleySolver was accepted as part of the ASE '20 student research competition