Programming with Constraints Reading Group

Autumn 2015 — Tuesday, 2:30pm — CSE 203

Subscribe to the calendar: iCal or Google Calendar.

We’ll be reading and discussing papers relating to programming models for working with search procedures and solvers, solver technology, and reactive programming.

Some paper links may point into the ACM Digital Library or the Springer online collection. Using a UW IP address, or the UW libraries off-campus access, should provide access. To receive announcements and news, please subscribe to the 591R mailing list.

Date Who What
Oct 6


Select papers

Oct 13

Alex S and Calvin

Nondeterministic Algorithms

Oct 20


No meeting (Affiliates)

Oct 27

Talia and Julie

Modular Synthesis of Sketches Using Models

Nov 3

Dominik and Doug

Functional Reactive Animation

Nov 10

Jared, Eric, Chandrakana

Programming with Enumerable Sets of Structures

Nov 17

James W and John

Predicting Learnt Clauses Quality in Modern SAT Solvers

Nov 24


Flapjax: A Programming Language for Ajax Applications

Dec 1

Stuart and Nate

Curry, a functional logic programming language

Dec 8

Alex P and James B

On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4


Programming Models

Constraint Solver Technology

Reactive Programming