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

Chris Bunch, UC Santa Barbara Neptune: A Domain Specific Language for Deploying HPC Software on Cloud Platforms
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