readinggroup:winter09
Winter 2009
January 16 Failure Oblivious Computing! Finally!
January 23 Failure Oblivious Computing & Types
January 30 POPL and Types
Feb 6 Future of PL and Types
Feb 20 Operational, Denotational, and More!
Feb 27 Soundly Predictive Dynamic Analysis
Mar 6 Hybrid Type Checking
Mar 16 Avoiding Deadlocks Dynamically
Mar 20 Different Uses of Predicates
(Next quarter) Pointer Analysis
Pointer Analysis: Haven't We Solved This Problem Yet? M. Hind
Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams. J. Whaley, M. Lam.
readinggroup/winter09.txt · Last modified: 2014/03/04 03:31 by cschuster