This group is an outgrowth of our PL offsite. These meetings occur Monday 4pm in G725. Legitimate meeting agenda include giving a conference talk, giving a practice talk, discussing work in progress, critiquing a draft, and discussing a relevant publication.
Please contact Jean Yang (jeanyang at csail) with questions or slot reservations. To stay up-to-date with announcements, consider joining our mailing list.
| Date | Speaker | Topic | Comments |
| 9.13 | Prof. Armando Solar-Lezama | Smooth Interpretation | PLDI 2010 (paper) |
| 9.20 | Jean Yang | Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System | PLDI 2010 (paper) |
| 9.27 | Sasa Misailovic | Powerpoint karaoke | Each participant gets 5 (arbitrarily assigned) slides, 2 minutes to prepare a 5-minute talk, and 5 minutes for questions after the talk. Please contact Sasa (misailo at csail) if you would like to participate. |
| 10.4 | Kuat Yessenov | Program Development with Refinement in Chalice | MSR internship project with Rustan Leino. |
| 10.11 | Columbus Day Holiday | ||
| 10.18 | Greg Little | Programming with Human Computation | UIST 2010 (paper) |
| 10.25 | n/a | Elevator pitch workshop | Come critique each other's one- and three-sentence research summaries. |
| 11.1 | Singh Solar-Lezama Yang Yessenov Near | PLDI submission discussion | Each speaker provides a 5-minute blurb regarding their PLDI submission(s). |
| 11.8 | Prof. Andrew Myers | Family Sharing | OOPSLA 2010 (paper) |
| 11.15 | Prof. Greg Morrisett | Current projects | |
| 11.22 | Thanksgiving Week | ||
| 11.29 | Professors | Paper-writing panel | Amarasinghe, Arvind, Jackson, Rinard |
| 12.6 | Adam Chlipala | Ur: Statically-Typed Metaprogramming with Type-Level Record Computation. | PLDI 2010 (paper) |
| 12.13 | Prof. Tomas Lozana-Perez | Robot Programming | Challenges in programming robots in practice. |
This group is maintained by Jean Yang (jeanyang at csail).