Singapore Programming Group
Meetings
- October 28, 2004, 10-11am: Plugging Haskell in by Andre Pang
- October 22, 2004, 3-4pm: An Implementation of Subtyping among Regular Expression Types by Kenny
- September 15, 2004, 2-3.30pm, SR 8, S16 level 4: Improving Type Error Diagnosis by Jeremy
Reading material
Constructing Quantified Invariants via Predicate Abstraction
by S. K. Lahiri and R. E. Bryant. (VMCAI'04)
A Symbolic Approach to Predicate Abstraction
by Shuvendu K. Lahiri, Randal E. Bryant, and Byron Cook. (CAV'03)
Model Checking as Constraint Solving
by Andreas Podelski. (SAS'00)
Automatic Software Model Checking using CLP
by Cormac Flanagan. (ESOP'03)
A Framework for Combining Analysis and Verification
by N. Heintze, J. Jaffar and R. Voicu. (POPL'00)
Types for Safe Locking by
Cormac Flanagan, Martin Abadi. (ESOP'99)
Past Meetings
- November 14, 2003: Constrained Type Based Program Analysis by Kevin.
- November 12, 2003: Chameleon Systems Demo by Martin.
- October 29, 2003: Heuristics for Type Debugging (cont'd) by Jeremy.
- October 22, 2003: Refined Evidence Construction for Chameleon/Haskell by Martin.
- October 8, 2003: Termination for Functional Dependencies expressed as CHRs by Greg.
- October 1, 2003: Heuristics for Type Debugging by Jeremy.
- September 24, 2003: Regular Expression Types and Regular Expression Pattern Matching by Kenny.
- September 17, 2003: Verifying sortedness by Martin.
- September 10, 2003: GRDTs vs Chameleon vs Haskell by Meng.
Martin Sulzmann
Last modified: Thu Oct 28 09:04:39 GMT-8 2004