Emina Torlak

Posts

23 Jun 2017

A Primer on Boolean Satisfiability

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

News

14 Nov 2017

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

14 Nov 2017

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

13 Oct 2017

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

28 Sep 2017

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

19 Sep 2017

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

20 Jun 2017

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

05 Jun 2017

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

13 Apr 2017

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

31 Mar 2017

Gave the keynote at Clojure/West 2017.

08 Feb 2017

Received an NSF CAREER Award.

01 Nov 2016

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

18 Sep 2016

Gave the keynote at RacketCon 2016.

02 Aug 2016

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

02 Aug 2016

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

30 Jul 2016

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

28 Jul 2016

Released Rosette 2.2: now with support for quantified formulas!

22 Jul 2016
13 May 2016

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

15 Apr 2016

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

25 Mar 2016

Released Rosette 2.0: new theories, better performance!

12 Mar 2016

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

28 Feb 2016
28 Jan 2016

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

20 Jan 2016

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

20 Jan 2016
01 Jan 2016

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