UW PLSE Reading Group (Winter 2015) (Wed 3:30pm in CSE 203)
We’ll be reading and discussing exciting recent papers from the programming languages and software engineering communities. Participants should subscribe to the 590p mailing list. Note the list also has many current and former department members interested in programming languages.
Some paper links may point into the ACM Digital Library or the Springer online collection. Using a UW IP address, or the UW libraries’ off-campus access, should provide access.
Schedule
| Date | Presenter | Topic |
|---|---|---|
| Jan 7 | Konstantin | Paper Sign-up |
| Jan 14 | Eric R, Bill | Notation as a Tool of Thought (1979) |
| Jan 21 | James B, John | The plastic surgery hypothesis (FSE’14) not Feb 4 or Feb 11 |
| Jan 28 | Darioush, Daniel | Ur/Web: A Simple Model for Programming the Web (POPL 2015) |
| Feb 4 | Konstantin, Brandon H | Fiat: Deductive synthesis of abstract data types in a proof assistant. (POPL’15) or On Understanding Data Abstraction, Revisited (OOPSLA’09) |
| Feb 11 | Doug, Eric M | Compositional CompCert (POPL’15) or From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification (POPL 2015) |
| Feb 18 | Brian, Alex | Enforcing Forward-Edge Control-Flow Integrity in GCC & LLVM (Usenix Sec 14) |
| Feb 25 | Stuart, James W | Pattern Matching w/out K (ICFP’14) |
| Mar 4 | Max, Edward | Effective Abstractions for the Verification under Relaxed Memory Models (VMCAI’15) |
| Mar 11 | Pavel, Calvin | Views on Internal and External Validity in Empirical Software Engineering (ICSE’15) |
| Presenter | Scheduling constraints |
|---|---|
| Calvin | not Feb 4 or 11 |
Unpicked Paper Suggestions
Eric M
- Towards the Essence of Hygiene (POPL’15)
- Programming up to Congruence (POPL’15)
Brian
- An Empirical Analysis of Flaky Tests (FSE’14)
- Analyze This! 145 Questions for Data Scientists in Software Engineering (ICSE’14)
Darioush
- Techniques for improving regression testing in continuous integration development environments (FSE’14)
- Improving oracle quality by detecting brittle assertions and unused inputs in tests (FSE’14)
Max
- Predicting Program Properties from “Big Code” (POPL’15)
- Verification modulo versions: towards usable verification
- Compiler Validation via Equivalence Modulo Inputs
- WYSINWYX: What You See Is Not What You eXecute, 2005
Doug
- Verification modulo versions: towards usable verification (PLDI 2014)
- Differential Privacy: Now it’s Getting Personal (POPL 2015)
Pavel
- Programming up to Congruence (POPL 2015)
- Towards the Essence of Hygiene (POPL 2015)
Edward
- Blanket Execution: Dynamic Similarity Testing for Program Binaries and Components (Usenix Sec 14)
- Code-Pointer Integrity (OSDI 14)