SoCal Spring 2013: Program

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

Session I: Web Security (10:00 AM - 11:15 AM)

• Differential Patching of Input Validation in Web Apps
  Muath Alkhalaf (UCSB), Abdulbaki Aydin (UCSB), Tevfik Bultan (UCSB)

• Automated Test Generation from Vulnerability Signatures
  Abdulbaki Aydin (UCSB), Muath Alkhalaf (UCSB), Tevfik Bultan (UCSB)

• CrowdFlow: Probabilistic Information Flow Tracking in Web Browsers
  Christoph Kerschbaumer (UCI), Eric Hennigan (UCI), Per Larsen (UCI), Stefan Brunthaler (UCI), Michael Franz (UCI)

Break (11:15 AM - 11:30 AM)

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

• Malware Diversity
  Mathias Payer (UC Berkeley)

• Targeted and Depth-first Exploration for Systematic Testing of Android Apps
  Tanzirul Azim (UCR), Iulian Neamtiu (UCR)

• Concerted Diversification
  Michael Stewart (UCI)

• Prototype-sensitive Analysis for JavaScript
  John Sarracino (Harvey Mudd), Ben Hardekopf (UCSB), Ben Wiedermann (Harvey Mudd)

• Profile-guided Automated Software Diversity
  Andrei Homescu (UCI), Steven Neisius (UCI), Per Larsen (UCI), Stefan Brunthaler (UCI), Michael Franz (UCI)

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

Session III: Language Design (1:30 PM - 2:45 PM)

• Typed Self-Optimization
  Matt Brown (UCLA), Jens Palsberg (UCLA), Barry Jay (University of Technology, Sydney)

• The Scaffold Quantum Programming Language
  Jeff Heckey (UCSB)

• Sapper: A Language for Provable Hardware Policy Enforcement
  Xun Li (UCSB), Vineeth Kashyap (UCSB), Jason K. Oberg (UCSD), Mohit Towari (UC Berkeley), Vasanth Ram Rajarathinam (UCSB), Ryan Kastner (UCSD), Timothy Sherwood (UCSB), Ben Hardekopf (UCSB), Frederic T. Chong (UCSB)

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

Session IV: Potpourri (3:15 PM - 4:30 PM)

• JSAI: an Abstract Interpreter for JavaScript
  Vineeth Kashyap (UCSB), Ethan Kuefner (UCSB), Kyle Dewey (UCSB), John Wagner (UCSB), Kevin Gibbons (UCSB), Ben Hardekopf (UCSB)

• MuscalietJS: Rethinking Dynamic Web Runtime Architectures
  Madhukar Kedlaya (UCSB), Jared Roesch (UCSB), Ben Hardekopf (UCSB)

• History-Oriented Concurrent Program Logic
  Mohsen Lesani (UCLA), Jens Palsberg (UCLA)

Business Meeting/Wrapup (4:30 PM - 4:45 PM)