Released Rosette 3.0: new performance engineering tools and new solvers!
Our paper on symbolic profiling for solver-aided languages and frameworks will appear at OOPSLA 2018.
Our paper on the Nickel framework for design and verification of information flow control systems will appear at OSDI 2018.
Emina gave a keynote on solver-aided programming at ISSTA 2018.
Bruno won the 2018 Best Senior Thesis Award for his thesis on a crash-safe key-value
store using chained copy-on-write B-trees.
Emina gave a two-day course on Rosette at the Eighth Summer School on Formal Techniques (SSFT 2018).
Xi received a 2017 Google Faculty Award.
James received a 2018 Facebook Fellowship.
James was interviewed for the People of Programming Languages series at POPL 2018.
Helgi, Luke, and Xi
gave a talk on push-button verification at the
2017 New England Systems Verification Day.
Our paper on push-button verification of an OS kernel will appear at SOSP 2017.
Our paper on synthesizing memory models will appear at PLDI 2017.
Emina gave the keynote at Clojure/West 2017.
Emina gave a Clojure/West 2017 interview to PurelyFunctional.tv.
Emina received an NSF CAREER Award.
Our paper on push-button verification of file systems won a best paper award at OSDI 2016.
Emina gave the keynote at RacketCon 2016.
Our paper on push-button verification of file systems will appear at OSDI 2016.
Emina gave the Junior DN Prize Lecture at ECOOP 2016.
James gave an invited talk at the
Programming Languages Mentoring Workshop co-located with PLDI 2016.
Our paper on verifying a radiotherapy machine will appear at CAV 2016.
Released Rosette 2.0: new theories, better performance!
Emina received a Sloan Research Fellowship.
Our paper on file system crash-consistency models will appear at ASPLOS 2016.
Emina won the AITO Dahl-Nygaard Junior Prize.
Our paper on optimizing synthesis with metasketches will appear at POPL 2016.