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

19 Sep 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.

18 Sep 2016

Gave the keynote at RacketCon 2016.

02 Aug 2016
30 Jul 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
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
20 Jan 2016
20 Jan 2016
01 Jan 2016