readinggroup:fall08
Fall 2008
- Oct 2
- Discussion of possible topics
- Oct 9: POPLicious
- A Calculus of Atomic Actions. Tayfun Elmas, Shaz Qadeer, Serdar Tasiran. POPL 2009.
- Oct 16 POPLicious II - memory models
- Relaxed Memory Models: An Operational Approach. Gérard Boudol, Gustavo Petri. POPL 2009.
- Background:
- Shared Memory Consistency Models: A Tutorial. Sarita Adve, Kourosh Gharachorloo. 1995.
- Oct 23
- KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs Dawson Engler et al. OSDI 2008,
- 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.
- Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs. Liqiang Wang and Scott D. Stoller. PPoPP 2006.
- Nov 6
- 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
- Yesterday my Program Worked. Today it Does Not. Why?. Andreas Zeller. ESEC 1999.
- No Silver Bullet Fred Brooks.
- Formal Methods: The very idea, some thoughts about why they work when they work. Daniel M. Berry. 1999.
- Nov 20
- Dec 4 Deterministic Scheduling
- Deterministic Replay of Java Multithreaded Applications. Jong-Deok Choi and Harini Srinivasan. SPDT, 1998.
- 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
