User Tools

Site Tools


readinggroup:winter09

This is an old revision of the document!


A PCRE internal error occured. This might be caused by a faulty plugin

====winter 2009==== * **January 16 Failure Oblivious Computing! Finally!** *[[http://www.cag.lcs.mit.edu/~rinard/paper/osdi04.pdf |Enhancing Server Availability and Security Through Failure-Oblivious Computing]]. Martin Rinard et al. OSDI 2004 *[[http://opera.cs.uiuc.edu/paper/Rx-SOSP05.pdf | Rx: Treating Bugs as Allergies -- A Safe Method to Survive Software Failures]]. Feng Qin et al. SOSP 2005. * **January 23 Failure Oblivious Computing & Types** *[[http://www.cag.lcs.mit.edu/~rinard/paper/oopsla05.pdf |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** * [[http://www.cs.ucsd.edu/~rtate/publications/eqsat_tate_popl09.pdf | 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: [[http://plgrand.blogspot.com/ | PL Grand Challenges (blog)]], [[http://www.catb.org/~esr/writings/cathedral-bazaar/ | 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!** * [[http://www.cse.ucsc.edu/~abadi/Papers/popl065-abadi.pdf | A Model of Cooperative Threads]]. Martin Abadi, Gordon Plotkin. POPL 2009. * **Feb 27 Soundly Predictive Dynamic Analysis** * [[http://fsl.cs.uiuc.edu/index.php/JPredictor:_A_Predictive_Runtime_Analysis_Tool_for_Java | jPredictor: A Predictive Runtime Analysis Tool for Java]]. F. Chen, T. Serbanuta, G. Rosu. ICSE 2008. * [[http://fsl.cs.uiuc.edu/index.php/Parametric_and_Sliced_Causality | 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** * [[http://portal.acm.org/citation.cfm?id=1480881.1480913 | 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: [[http://www.usenix.org/events/osdi08/tech/full_papers/wang/wang.pdf | Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs]]. Y. Wang, T. Kelly, M. Kudlur, S. Lafortune, S. Mahlke. OSDI 2008. * [[http://dslab.epfl.ch/pubs/dimmunix/dimmunix.pdf | Deadlock Immunity: Enabling Systems to Defend Against Deadlocks]]. H. Jula, D. Tralamazza, C. Zamfir, G. Candea. OSDI 2008. * **Mar 20 Different Uses of Predicates** * [[http://www.cs.ubc.ca/~babic/papers/icse08.pdf | Calysto: Scalable and Precise Extended Static Checking]]. D. Babic, A. Hu. ICSE 2008. * [[http://sdg.csail.mit.edu/pubs/2002/korat.pdf | 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.1393903900.txt.gz · Last modified: 2014/03/04 03:31 by cschuster