SoCal Spring 2012: Program

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

Session I: Security A (09:30 AM - 10:30 AM)

• Return-to-Where? Compiler-based Diversity to Prevent Code Resuse Attacks
  Stephen Crane, UC Irvine
• Microgadgets
  Andrei Homescu, UC Irvine
• The Effect on Software Stability by Targeted and Random Function Removal
  Deborah Ma, University High, Irvine

Break (10:30 AM - 11:00 AM)

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

• Secure Information Flow for Concurrent Programs under Total Store Order
  Jeffrey Vaughan, UC Los Angeles
• A Provably Sound Information Flow Analysis for JavaScript-based Browser Addons
  Vineeth Kashyap, UC Santa Barbara
• Multi-layer Runtime Monitoring and Analysis of Android Applications
  Iulian Neamtiu, UC Riverside

Lunch Break (12:15 PM - 2:00 PM)

Session III: Compilation, Abstract Interpretation and Constraint Solving (2:00 PM - 3:15 PM)

• It's About Time: JITing Threaded Code
  Gulfem Savrun Yeniceri, UC Irvine
• Abstract Interpretation Can Learn From Dataflow Analysis: Practical Trace-based Abstract Interpretation
  Ben Hardekopf, UC Santa Barbara
• Automated Repair of HTML Generation Errors in PHP Applications Using String Constraint Solving
  Hesam Samimi, UC Los Angeles

Break (3:15 PM - 4:00 PM)

Session IV: Parallelism and Debuggers (4:00 PM - 4:50 PM)

• Effective Parallelization of Loops in the Presence of I/O Operations
  Min Feng, UC Riverside
• Debugger Synthesis
  Yan Wang, UC Riverside

Business Meeting/Wrapup (4:50 PM - 5:00 PM)