| Date | Speaker | Topic | Lunch buyer |
|---|
| Sep 25 | (no speaker) | Welcome back to Stanford | |
| Oct 2 | Kathleen Fisher | Incremental Learning of System Log Formats | Nathan Bronson |
| Oct 9 | Mooly Sagiv | | Peter Hawkins & Adam Oliner |
| Oct 16 | Bill McCloskey | Combining Universally Quantified Domains | Eric Schkufza |
| Oct 23 | Philip Guo | Practical incremental computation for scientists | Mike Bauer |
| Oct 30 | Hassen Saidi (from SRI) | Challenges in analyzing binary programs | Eric Schkufza |
| Nov 6 | Arthur (from kx.com) | k language. short programs. | Philip Guo |
| Nov 13 | Brian Hackett | Overflow checking in Firefox | Eric Schkufza |
| Nov 20 | Shachar Itzhaky | Abstracting Heap Hierarchy | Adam Oliner |
| Nov 27 | No meeting | Thanksgiving recess | |
| Dec 4 | Nathan Bronson | Beyond Transactional Boosting | |
| Dec 11 | | | |
| Date | Speaker | Topic | Lunch buyer |
|---|
| Apr 3 | | Organizational meeting | Nathan Bronson |
| Apr 10 | Brian Hackett | Data structure invariants in Linux sysfs | Cristian Cadar |
| Apr 17 | Joel Brandt | Two Studies of Opportunistic Programming: Interleaving Web Foraging, Learning, and Writing Code | Adam Oliner |
| Apr 24 | Adam Oliner | Community Epidemic Detection with Syzygy | Jiwon Seo |
| May 1 | Philip Guo | Automatic Creation of SQL Injection and Cross-Site Scripting Attacks | Peter Boonstoppel |
| May 8 | Matthew Nasielski | Querying distributed social networks with Datalog | Sudheendra Hangal |
| May 15 | Sudheendra Hangal | Automatic Dimension Inference and Checking for Object-Oriented Programs | Mike Bauer |
| May 22 | Nathan Bronson | Trust but Verify: Dynamically Enforcing Purity for Implicit Parallelism | Eric Schkufza |
| May 29 | Philip Guo | Linux kernel developer responses to static analysis bug reports | Isil Dillig |
| Jun 5 | | | |
| Date | Speaker | Topic | Lunch buyer |
|---|
| Jan 9 | Alex Aiken | Measuring Empirical Computational Complexity | Adam Oliner |
Jan 16 | Nathan Bronson | Feedback-Directed Barrier Optimization in a Strongly Isolated STM | Philip Guo |
| Jan 23 | | (lunch cancelled, no speaker) | |
| Jan 30 | Bill Pugh (U. Maryland) | Measuring the utility of software defect detection tools | Peter Boonstoppel |
| Feb 6 | Philip Guo | Some issues with improving coverage for symbolic execution | Mike Bauer |
| Feb 13 | Pat Hanrahan | Thoughts on Data Parallel Programming Languages | Chris Unkel |
| Feb 20 | Cristian Cadar | EXE: Effective Checking of Complex Software (job talk) | Eric Schkufza |
| Feb 27 | Peter Hawkins | Proof of decidability for the monadic second order theory of trees | Syed Ahbar Mehdi |
| Mar 6 | Jiwon Seo | Enforcing security policies in Python by extending the type system | John Clark |
| Mar 13 | Alex Aiken | Informal talk on the Sequoia project | Nathan Bronson |
| Date | Speaker | Topic | Lunch buyer |
|---|
| Sept 26 | Alex Aiken | Sequoia: Programming the Memory Hierarchy | Cristian Cadar |
| Oct 3 | Adam Oliner | Studying Systems as Artifacts (In Gates 498) | Philip Guo |
| Oct 10 | Philip Guo | Experiences in teaching programming to smart non-CS people (In Gates 498) | Isil Dillig |
| Oct 17 | | (lunch cancelled, no speaker) | |
| Oct 24 | Collin
Jackson | research in web browser security | Adam Oliner |
| Oct 31 | | (lunch cancelled, no speaker) | |
| Nov 7 | Peter Hawkins | Ongoing work in shape analysis | Chris Unkel |
| Nov 14 | Chris Unkel | | Mike Bauer |
| Nov 21 | Cristian Cadar | KLEE: Unassisted and Automatic Generation of High-Coverage
Tests for Complex Systems Programs | Peter Hawkins |
| Nov 28 | No meeting | (Thanksgiving Recess) | |
| Dec 5 | Adam Oliner | Alert Detection in System Logs | Philip Guo |
