SoCal Fall 2012: Program

Breakfast/Setup (09:00 AM - 09:30 AM)

Session I: Languages (09:30 AM - 10:45 AM)

• Dependent Types for JavaScript
  Ravi Chugh (UC San Diego), David Herman (Mozilla Research), Ranjit Jhala (UC San Diego)
• Patterns as Objects in Grace
  Michael Homer, James Noble (Victoria University of Wellington), Kim B. Bruce (Pomona College), Andrew P. Black (Portland State University), David J. Pearce (Victoria University of Wellington)
• Understanding Chord Progression Languages
  Robert M. Keller, Alexandra Schofield, August Toman-Yih (Harvey Mudd College), Zachary Merritt (University of Central Florida)

Break (10:45 AM - 11:15 AM)

Session II: Security (11:15 AM - 12:30 PM)

• Quality Over Quantity: Developer Selected Information Flow
  Eric Hennigan, Christoph Kerschbaumer, Per Larsen, Stephan Brunthaler, Michael Franz (UC Irvine)
• Quark : A Web Browser with a Formally Verified Kernel
  Zachary Tatlock, Dongseok Jang, Sorin Lerner (UC San Diego)
• Measuring software diversity for a population of variants
  Jack Cheng, Per Larsen, Stefan Brunthaler (UC Irvine)

Lunch Break (12:30 PM - 1:30 PM)

Session III: Android and Testing (1:30 PM - 2:45 PM)

• RERAN: Timing- and Touch-Sensitive Record and Replay for Android
  Lorenzo Gomez (UC Los Angeles), Iulian Neamtiu, Tanzirul Azim (UC Riverside), Todd Millstein (UC Los Angeles)
• Declarative Mocking
  Hesam Samimi, Rebecca Hicks, Ari Fogel, Todd Millstein (UC Los Angeles)
• Permission Evolution in the Android Ecosystem
  Xuetao Wei (UC Riverside), Lorenzo Gomez (UC Los Angeles), Iulian Neamtiu, Michalis Faloutsos (UC Riverside)

Break (2:45 PM - 3:15 PM)

Session IV: Compilation and Optimization (3:15 PM - 4:05 PM)

• Cachetor: CACHEable data detecTOR
  Khanh Nguyen, Harry Xu (UC Irvine)
• Scalable Compilation in the Cloud
  Steven Neisius, Per Larsen, Stefan Brunthaler (UC Irvine)

Business Meeting/Wrapup (4:05 PM - 4:15 PM)