SoCal Fall 2013: Program
Click on a talk title to download slides!Breakfast (9:30 AM - 10:00 AM)
Session I: Analysis of Dynamic Languages (10:00 AM - 10:45 AM)
Deoptimization for Dynamic Language JITs on Typed, Stack-based Virtual Machines
Madhukar Kedlaya (UCSB)ZipPy: A Simple Python 3 for the JVM
Wei Zhang (UCI)Type Refinement for Static Analysis of JavaScript
John Sarracino (HMC)
Break (10:45 AM - 11:15 AM)
Session II: Languages (11:15 AM - 12:00 PM)
Engineering Hygienic Macros in Rust
John Clements (Cal Poly SLO)GoFFish: A Sub-Graph Centric Framework for Large-Scale Graph Analytics
Charith Wickramaarachchi (USC)Object-Oriented Design by Contract with Declarative Bounded Exhaustive Testing in Python
Chris Coakley (UCSB)
Lunch (12:00 PM - 1:00 PM)
Session III: Analysis and Verification (1:00 PM - 1:45 PM)
Checking Path Consistency and Reachability in Multipath Networks using Batfish
Ari Fogel (UCLA)Property-Guided Shape Analysis
Tomer Weiss (UCLA)Data-Driven Equivalence Checking
Rahul Sharma (Stanford)
Break (1:45 PM - 2:15 PM)
Session IV: JavaScript (2:15 PM - 3:00 PM)
Visualizing Information Leaks in JavaScript Browser Add-Ons
Tom Ashmore (HMC)Visualizing the Graphical Execution of Programs for JavaScript Abstract Interpretation
Jane Hoffswell (HMC)A Parallel Abstract Interpreter for JavaScript
Kyle Dewey (UCSB)
Break (3:00 PM - 3:30 PM)
Session V: Potpourri (3:30 PM - 4:15 PM)
Relevant Inputs Analysis and its Applications
Yan Wang (UCR)Booby Trapping Software
Stephen Crane (UCI)Recovering Debug Information from Randomized Code Movement
Steven Neisius (UCI)