We meet in the SPL lab 4-5PM every Wednesday.
Date | Who | Topic |
---|---|---|
TBD | Jason Chou | TBD |
1/15/14 | David Williams-King | TBD |
1/22/14 | Sai Zhang | TBD |
1/29/14 | ||
2/05/14 | Yanyan Zhuang | Detecting Write-Once, Run Anywhere Violations of Purportedly Portable APIs |
2/12/14 | ||
2/19/14 | no seminar | midterm break |
2/26/14 | ||
3/05/14 | ||
3/12/14 | ||
3/19/14 | ||
3/26/14 | ||
4/02/14 |
We meet in the SPL lab 3-4PM every Wednesday.
Date | Who | Topic |
---|---|---|
9/25/13 | Nima Kaviani and C. Albert Thompson |
Nima: Automated Introspection of a Distributed Virtualization Platform for Performance Analysis and Documentation, Albert: My four month experience working with, and as a modeler at GM. |
10/02/13 | Takayuki Omori | Evolving Change-aware Development Environment |
10/09/13 | Evgeny Roubinchtein | (Re)Implementing MetaOCaml: A Multi-stage Programming System |
10/16/13 | Robin Salkeld | Interacting with Dead Objects |
10/23/13 | Marc Palyart | Starts at 3:15pm, Model-Driven Engineering for High-Performance Computing and Mining Software Repositories |
10/30/13 | Sylvie Foss | Real-time defect prediction feedback for web app development |
11/06/13 | João Arthur | An Empirical Study of Design Rules |
11/13/13 | Felipe Schwerter | A Theory of Gradual Effect Systems |
11/20/13 | - Cancelled - | |
11/27/13 | Rahul Jiresal | Explanations for Command Recommendations — An Experimental Study |