SoCal Spring '11: Program
Beckman Hall • Harvey Mudd College • Claremont, California
| 9:00 - 10:00 | Registration, reception, refreshments, poster set-up |
| 10:00 - 11:00 | Applications |
| Philip Brisk, UC Riverside Programmable Microfluidics: Why the Biochemist of the Future will be a Programmer, and why the PL&S Community should Lead the Way | |
| Dan Amelang, UC San Diego and Viewpoints Research Institute The Nile Programming Language: Declarative Stream Processing for Media Applications | |
| 11:00 - 11:15 | Poster spotlight |
| John Clements, Cal Poly, San Luis Obispo Using Computers to Teach Programming | |
| Ran Libeskind-Hadas, Harvey Mudd College Jane: A New Tool for the Cophylogeny Reconstruction Problem | |
| Xun Li, UC Santa Barbara Caisson: A Hardware Description Language for Secure Information Flow | |
| Alessandro Warth, Viewpoints Research Institute Worlds: Controlling the Scope of Side Effects | |
| Ravi Chugh, Pat Rondon and Ranjit Jhala, UC San Diego System D: Dependent Dynamic Dictionaries | |
| Jin Zhou, UC Santa Barbara Memory Management for Many-Core Processors | |
| Yousra Lembachar, Ryan Rusich, UC Riverside A Type System for Decision Diagrams | |
| 11:15 - 11:30 | Posters, break, refreshments |
| 11:30 - 12:00 | Education |
| Kim Bruce, Pomona College Grace: A new educational object-oriented language | |
| 12:00 - 1:00 | Concurrency |
| James Jenista, Yong hun Eom, Brian Demsky, UC Irvine OoOJava: Software Out-of-Order Execution | |
| 1:00 - 2:00 | Lunch (Green Room, Platt Center) |
| 2:00 - 3:30 | Semantics |
| Ben L. Titzer, Google Virgil III on the JVM | |
| Manu Jose, UCLA Cause Clue Clauses: Error Localization Using Maximum Satisfiability | |
| Jens Palsberg, UCLA Typed Self-Interpreters | |
| 3:30 - 4:00 | Posters continued, break, refreshments |
| 4:00 - 5:00 | Security |
| Todd Jackson, Karthikeyan Mannivannan, Andrei Homescu, UC Irvine Massive Scale Software Diversity as a Defense Mechanism | |
| Vineeth Kashyap, UC Santa Barbara Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach |