Sotabase

Career

· Researcher, Columbia University Software Systems Laboratory2024–
· Software Systems Laboratory, Columbia University

Publications (10)

Computer Aided Verification
Lecture Notes in Computer Science · 2016
60
cited
Œuf: minimizing the Coq extraction TCB
Certified Programs and Proofs · 2018
49
cited
Crust: A Bounded Verifier for Rust (N)
International Conference on Automated Software Engineering · 2015
40
cited
Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities
USENIX Security Symposium · 2023
15
cited
Observationally Cooperative Multithreading
arXiv.org · 2015
3
cited
Toward a Dependability Case Language and Workflow for a Radiation Therapy System
Summit on Advances in Programming Languages · 2015
3
cited
Automatic Formal Verification for EPICS
2018
2
cited
Crux, a Precise Verifier for Rust and Other Languages
arXiv.org · 2024
2
cited
Symbolic Testing for C and Rust
IEEE Cybersecurity Development · 2020
1
cited
Practical Verification of Safety-Critical Systems
2018
Sotabase
Stuart Pernsteiner | Researcher Profile | Sotabase | Sotabase