SoCal Spring 2013: Accepted Talks (in no particular order)

• GoFFish: A Sub-Graph Centric Framework for Large-Scale Graph Analytics
  Charith Wickramaarachchi (USC)

• Checking Path Consistency and Reachability in Multipath Networks using Batfish
  Ari Fogel (UCLA)

• ZipPy: A Simple Python 3 for the JVM
  Wei Zhang (UCI)

• Type Refinement for Static Analysis of JavaScript
  John Sarracino (HMC)

• Visualizing Information Leaks in JavaScript Browser Add-Ons
  Tom Ashmore (HMC)

• Deoptimization for Dynamic Language JITs on Typed, Stack-based Virtual Machines
  Madhukar Kedlaya (UCSB)

• Visualizing the Graphical Execution of Programs for JavaScript Abstract Interpretation
  Jane Hoffswell (HMC)

• Booby Trapping Software
  Stephen Crane (UCI)

• Object-Oriented Design by Contract with Declarative Bounded Exhaustive Testing in Python
  Chris Coakley (UCSB)

• Engineering Hygienic Macros in Rust
  John Clements (Cal Poly SLO)

• A Parallel Abstract Interpreter for JavaScript
  Kyle Dewey (UCSB)

• Recovering Debug Information from Randomized Code Movement
  Steven Neisius (UCI)

• Property-Guided Shape Analysis
  Tomer Weiss (UCLA)

• Data-Driven Equivalence Checking
  Rahul Sharma (Stanford)

• Relevant Inputs Analysis and its Applications
  Yan Wang (UCR)