Posts

09/07/18

Our paper on symbolic profiling won a Distinguished Artifact Award at OOPSLA 2018.

08/24/18

Released Rosette 3.0: new performance engineering tools and new solvers!

08/16/18

Our paper on symbolic profiling for solver-aided languages and frameworks will appear at OOPSLA 2018.

07/20/18

Our paper on the Nickel framework for design and verification of information flow control systems will appear at OSDI 2018.

07/16/18

Emina gave a keynote on solver-aided programming at ISSTA 2018.

06/08/18

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.

05/22/18

Emina gave a two-day course on Rosette at the Eighth Summer School on Formal Techniques (SSFT 2018).

03/26/18

Xi received a 2017 Google Faculty Award.

01/18/18

James received a 2018 Facebook Fellowship.

12/18/17

James was interviewed for the People of Programming Languages series at POPL 2018.

10/06/17

Helgi, Luke, and Xi gave a talk on push-button verification at the 2017 New England Systems Verification Day.

09/19/17

Our paper on push-button verification of an OS kernel will appear at SOSP 2017.

04/13/17

Our paper on synthesizing memory models will appear at PLDI 2017.

03/31/17
02/08/17

Emina received an NSF CAREER Award.

11/01/16

Our paper on push-button verification of file systems won a best paper award at OSDI 2016.

09/18/16
07/30/16

Our paper on push-button verification of file systems will appear at OSDI 2016.

07/22/16
07/12/16

James gave an invited talk at the Programming Languages Mentoring Workshop co-located with PLDI 2016.

04/15/16

Our paper on verifying a radiotherapy machine will appear at CAV 2016.

03/25/16

Released Rosette 2.0: new theories, better performance!

02/28/16
01/28/16

Our paper on file system crash-consistency models will appear at ASPLOS 2016.

01/01/16

Our paper on optimizing synthesis with metasketches will appear at POPL 2016.