Mae Milano - NASA Formal Methods 2024

Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United States

Registered user since Tue 17 Mar 2015

Name:Mae Milano

Country:United States

Affiliation:Princeton University

Personal website: http://www.languagesforsyste.ms

X (Twitter): https://x.com/mbpmilano

GitHub: https://github.com/mpmilano

Research interests:Programming Languages, Systems

Contributions

2024

NFM

Verifying a C implementation of Derecho's coordination mechanism using VST and Coq

Show activities from other conferences

NASA Formal Methods 2024-profile
View general profile