User Tools

Site Tools


readinggroup:fall08

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

readinggroup:fall08 [2014/03/03 19:30] (current)
cschuster Moved from readinggroup
Line 1: Line 1:
 +====Fall 2008====
  
 +  * **Oct 2**
 +    * Discussion of possible topics
 +  * **Oct 9: POPLicious**
 +    * [[ftp://​ftp.research.microsoft.com/​pub/​tr/​TR-2008-99.pdf | A Calculus of Atomic Actions]]. Tayfun Elmas, Shaz Qadeer, Serdar Tasiran. POPL 2009.
 +  * **Oct 16 POPLicious II - memory models**
 +    * {{readinggroup:​relaxedmemorymodels.pdf | Relaxed Memory Models: An Operational Approach}}. Gérard Boudol, Gustavo Petri. POPL 2009.
 +    * Background:
 +        *[[http://​www.cs.utexas.edu/​users/​dburger/​teaching/​cs382m-f06/​papers/​16paper.pdf | Shared Memory Consistency Models: A Tutorial]]. Sarita Adve, Kourosh Gharachorloo. 1995.
 +  * **Oct 23**
 +    * [[http://​hci.stanford.edu/​cstr/​reports/​2008-03.pdf | KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs ]] Dawson Engler et al. OSDI 2008,
 +    *[[ http://​www.stanford.edu/​~engler/​osdi04-fisc.pdf | Using Model Checking to find Serious File System Errors]] Dawson Engler et al. OSDI 2004 (best paper).
 +  * **Oct 30**
 +    *SingleTrack:​ A Dynamic Determinism Checker for Multithreaded Programs. Cormac Flanagan, Stephen N. Freund and Caitlin Sadowski. Not yet published (2008).
 +        * This is available in the svn repository: sqt/​papers/​08singletrack/​main.tex. If you do not have access to the svn repository, let me know and I will email you a copy.
 +    *[[ http://​www.cs.sunysb.edu/​~stoller/​papers/​PPoPP-2006.pdf | Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs]]. Liqiang Wang and Scott D. Stoller. PPoPP 2006.
 +  * **Nov 6**
 +    *[[ http://​www.cs.vu.nl/​boilerplate/​tldi03.pdf | Scrap Your Boilerplate:​ A Practical Design Pattern for Generic Programming]]. Simon Peyton Jones and Ralf Lammel. TLDI 2003.
 +  * **Nov 13** Fluffy yet Classic Software Engineering Papers
 +    *[[ http://​www.infosun.fim.uni-passau.de/​st/​papers/​tr-99-01/​esec99.pdf |
 +  Yesterday my Program Worked. Today it Does Not. Why?]]. Andreas Zeller. ESEC 1999. 
 +    *[[ http://​www.lips.utexas.edu/​ee382c-15005/​Readings/​Readings1/​05-Broo87.pdf | No Silver Bullet]] Fred Brooks.
 +    *[[http://​www.sciencedirect.com/​science?​_ob=MImg&​_imagekey=B75H1-4DD86FD-W-1&​_cdi=13109&​_user=4428&​_orig=search&​_coverDate=12%2F31%2F1999&​_sk=999749999&​view=c&​wchp=dGLbVtb-zSkWb&​md5=99b576aaf526b4f2bd7eb0824de5703f&​ie=/​sdarticle.pdf | Formal Methods: The very idea, some thoughts about why they work when they work]]. Daniel M. Berry. 1999.
 +  * **Nov 20**
 +    * [[ http://​portal.acm.org/​ft_gateway.cfm?​id=351266&​type=pdf&​coll=GUIDE&​dl=GUIDE&​CFID=10943020&​CFTOKEN=74453668| Quickcheck]]
 +    * [[http://​www-users.cs.york.ac.uk/​~mfn/​lazysmallcheck/​smallcheck.pdf|Smallcheck and Lazy Smallcheck]]
 +  * **Dec 4** Deterministic Scheduling
 +    * [[ http://​portal.acm.org/​ft_gateway.cfm?​id=281041&​type=pdf&​coll=GUIDE&​dl=GUIDE&​CFID=12921791&​CFTOKEN=81247425 | Deterministic Replay of Java Multithreaded Applications]]. Jong-Deok Choi and Harini Srinivasan. SPDT, 1998.
 +    * [[ http://​ieeexplore.ieee.org/​stamp/​stamp.jsp?​arnumber=73751&​isnumber=2484 | Replay and Testing of Concurrent Programs]]. Richard H. Carver and Kuo-Chung Tai. 1991.
 +  * Caitlin Suggestions:​
 +    * Bug Patterns
 +       * Finding bugs is easy (Pugh)
 +       * Dynamic Analysis of Java Applications for Multithreaded Applications
 +  * 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