UW PLSE Group Meeting (Spring 2014) Fri 3:30pm in CSE 203
We’ll meet each week to discuss exciting research going on within the group. Participants should subscribe to the PLSE mailing list.
Schedule
| Date | Presenter | Topic |
|---|---|---|
| Apr 4 | Colin Gordon | Towards Heaps in Dependent Type Theory |
| Apr 13 | Pavel Panchekha | HOOT: Simpler Distributed Systems |
| Apr 18 | Darioush Jalali, Rene Just | Mutation operator effectiveness |
| Apr 25 | Brian Burg | Probes, Tests, and the Fruits of my Apple Internship |
| May 2 | James Wilcox, Doug Woos | Corgi: Machine-checked Reasoning about Failure and Performance of Distributed Systems |
| May 9 | Todd Schiller | Case Studies and Tools for Contract Specifications (ICSE 14 Practice!) |
| May 16 | Sai Zhang | Which Configuration Option Should I Change? (ICSE 14 Practice!) |
| May 23 | Kivanc Muslu | Transition from Centralized to Decentralized Version Control Systems: A Case Study on Reasons, Barriers, and Outcomes (ICSE 14 Practice!) |
| May 30 | Adrian Sampson | Expressing and Verifying Probabilistic Assertions (PLDI 14 Practice!) |
| Jun 6 | Eric Reed | Modeling Rust’s Safety Guarantees |