readinggroup:spring08
Spring 2008
May 20: Formalization / Java Model Checking
May 27: Partial-Order Reduction
June 5 (Thursday): PLDI papers: A Potpourri on Concurrency, Model Checking, Transactional Memory
Queue of papers
0-1 Principle / Parallel Prefix Computation (POPL 08)
dirt to shovels (popl 08) & its predecessor, PADS
iComment, movi
SMT: Back to the Future (popl 08)
Galois connections and Computer Science Applications
Pnueli's translation validation paper ('98)
Formal Verification of Translation Validators
Dynamo
Denali superoptimizer
readinggroup/spring08.txt · Last modified: 2014/03/04 03:30 by cschuster