Noam Zilberstein


Dec ’22

My paper on Outcome Logic with Derek Dreyer and Alexandra Silva was conditionally accepted to OOPSLA 2023

Dec ’21

I was selected to participate in this year’s POPL Student Research Competition

Nov ’21

My paper on formal verification work that I did at Facebook has been accepted to CPP

Nov ’21

I will be speaking at the Facebook Testing and Verification Symposium next month

Sep ’21

After 6 years, I am leaving Facebook to start my PhD at Cornell University