My paper on Outcome Logic with Derek Dreyer and Alexandra Silva was conditionally accepted to OOPSLA 2023
I was selected to participate in this year’s POPL Student Research Competition
My paper on formal verification work that I did at Facebook has been accepted to CPP
I will be speaking at the Facebook Testing and Verification Symposium next month
After 6 years, I am leaving Facebook to start my PhD at Cornell University