Gave a keynote on solver-aided programming at ICFP 2019.
Serving as the Program Chair for PLDI 2020.
Gave a keynote on solver-aided programming at ISSTA 2018.
First steps to adding the magic of SAT to your problem-solving toolbox.
Received an NSF CAREER Award.
Released Rosette 2.2: now with support for quantified formulas!
Released Rosette 2.1: now with push/pop incremental solving.
Released Rosette 2.0: new theories, better performance!
Received a Sloan Research Fellowship.
Won the AITO Dahl-Nygaard Junior Prize.