readinggroup:winter09
Winter 2009
- January 16 Failure Oblivious Computing! Finally!
- Enhancing Server Availability and Security Through Failure-Oblivious Computing. Martin Rinard et al. OSDI 2004
- Rx: Treating Bugs as Allergies -- A Safe Method to Survive Software Failures. Feng Qin et al. SOSP 2005.
- January 23 Failure Oblivious Computing & Types
- Exploring the Acceptability Envelope. Martin Rinard, Cristian Cadar and Huu Hai Nguyen. OOPSLA 2005.
- Chapter 1 (Introduction) from the Brick (Pierce) book
- January 30 POPL and Types
- Equality Saturation: a new Approach to Optimization. Tate, Stepp, Tatlock, Lerner. POPL 2009.
- Types and Programming Languages (TAPL), Chapter 1 and 2. Pierce. 2002.
- 1: Introduction, 2: Mathematical Preliminaries
- Feb 6 Future of PL and Types
- Panel discussion at 10:00 AM.
- Papers: PL Grand Challenges (blog), The Cathedral and the Bazaar (Eric Raymond)
- TAPL Chap 3 and 4, with implementation
- 3: Untyped Arithmetic Expressions, 4: ML Implementation of Arithmetic Expressions
- Tom: Scala, Kenn: Agda, Caitlin/Jaeheon: Haskell
- Feb 20 Operational, Denotational, and More!
- A Model of Cooperative Threads. Martin Abadi, Gordon Plotkin. POPL 2009.
- Feb 27 Soundly Predictive Dynamic Analysis
- jPredictor: A Predictive Runtime Analysis Tool for Java. F. Chen, T. Serbanuta, G. Rosu. ICSE 2008.
- Parametric and Sliced Causality. F. Chen, G. Rosu. CAV 2007.
- Mar 6 Hybrid Type Checking
- K. Knowles, C. Flanagan. TOPLAS 2009. See sqt/papers/08toplas for current version.
- Mar 16 Avoiding Deadlocks Dynamically
- The theory of deadlock avoidance via discrete control. Y. Wang, S. Lafortune, T. Kelly, M. Kudlur, S. Mahlke. POPL 2009.
- Minus the formalism, for an easier read: Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. Y. Wang, T. Kelly, M. Kudlur, S. Lafortune, S. Mahlke. OSDI 2008.
- Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. H. Jula, D. Tralamazza, C. Zamfir, G. Candea. OSDI 2008.
- Mar 20 Different Uses of Predicates
- Calysto: Scalable and Precise Extended Static Checking. D. Babic, A. Hu. ICSE 2008.
- Korat: Automated Testing Based on Java Predicates. C. Boyapati, S. Khurshid, D. Marinov. ISSTA 2002.
- (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/03 19:31 by cschuster
