Sotabase

Career

· Software Engineer, Microsoft2024–
· Software Systems Laboratory, Columbia University

Publications (1)

Proof repair across type equivalences
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2020
28
cited
Sotabase
RanDair Porter | Researcher Profile | Sotabase | Sotabase