readinggroup:fall08
Fall 2008
Oct 2
Oct 9: POPLicious
Oct 16 POPLicious II - memory models
Oct 23
Oct 30
Nov 6
Nov 13 Fluffy yet Classic Software Engineering Papers
Nov 20
Dec 4 Deterministic Scheduling
Caitlin Suggestions:
Suggestions:
Ynot and Hoare Type Theory
Failure-oblivious computing (Rinard)
Interesting PLDI 08 papers
Computing even when memory leaks out (Bond)
Randomized scheduling with bias from imprecise race analyses (Sen)
Model checking PhD thesis (PLDI award)
Safey and correctness of
OS kernels and hypervisors (TTI/Feng)
Whitebox fuzzing with grammar generation (Godefroid)
explaining program analysis failures (von Dincklage)
Sound, complete, scalable path-sensitive analysis (Dillig)
Program analysis as constraint solving (Gulwani)
Full Functional Verification for Linked Data Structures (Zee)
Fair Stateless Model Checking (redux)
readinggroup/fall08.txt · Last modified: 2014/03/03 19:30 by cschuster