Emina Torlak

Posts

06/23/17

A Primer on Boolean Satisfiability

First steps to adding the magic of SAT to your problem-solving toolbox.

News

05/22/18

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

05/11/18

Got tenure!

04/30/18

Our paper on generalized data structure synthesis won an ACM SIGSOFT Distinguished Paper Award at ICSE 2018.

01/16/18

Our paper on generalized data structure synthesis will appear at ICSE 2018.

11/14/17

Our paper on computer-aided design of educational domain models will appear at VMCAI 2018.

11/14/17

Our paper on refinement types for Ruby will appear at VMCAI 2018.

10/13/17

Our paper on automatic formal verification for EPICS will appear at ICALEPCS 2017.

09/28/17

Our paper on symbolic types for lenient symbolic execution will appear at POPL 2018.

09/19/17

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

06/20/17

Our paper on synthesizing puzzle-solving strategies will appear at FDG 2017.

06/05/17

Our paper on the SpaceSearch library for building verified solver-aided tools will appear at ICFP 2017.

04/13/17

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

03/31/17

Gave the keynote at Clojure/West 2017.

03/03/17

Clojure/West 2017 interview by PurelyFunctional.tv.

02/08/17

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

Gave the keynote at RacketCon 2016.

08/02/16

Our paper on automated reasoning for web layout will appear at OOPSLA 2016.

08/02/16

Our paper on scalable verification of BGP configurations will appear at OOPSLA 2016.

07/30/16

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

07/28/16

Released Rosette 2.2: now with support for quantified formulas!

07/22/16

Gave the Junior DN Prize Lecture at ECOOP 2016.

05/13/16

Released Rosette 2.1: now with push/pop incremental solving.

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!

03/12/16

Our paper on synthesizing tutoring rules for K-12 algebra will appear at ITS 2016.

02/28/16

Received a Sloan Research Fellowship.

01/28/16

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

01/20/16

Our paper on fast synthesis of fast collections will appear at PLDI 2016.

01/20/16

Won the AITO Dahl-Nygaard Junior Prize.

01/01/16

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