SoCal PLS Spring 2015 Program

Breakfast / Welcome (10:30am–11:00am)

Session 1 (11:00am–12:00am)

Parsify: Interactive Parser Synthesis by Example

Alan Leung, John Sarracino, Sorin Lerner (University of California, San Diego)

Introducing FunBox: A Functional ISA

Jared Roesch, Joseph McMahan, Tim Sherwood, Ben Hardekopf (University of California, Santa Barbara)

Processing Spacecraft Telemetry

Rajeev Joshi and Klaus Havelund (NASA/JPL)

Lunch (12:00pm–1:30pm)

Session 2 (1:30pm–2:30pm)

Towards Verification of Hybrid Systems in a Foundational Proof Assistant

Daniel Ricketts, Gregory Malecha, Mario Alvarez, Vignesh Gowda, Sorin Lerner (University of California, San Diego)

C4 – Code Information System

Rahul Kumar and Rajeev Joshi (NASA/JPL)

Type-Targeted Testing

Eric L Seidel, Niki Vazou, Ranjit Jhala (University of California, San Diego)

Break (2:30pm–3:00pm)

Session 3 (3:00pm–4:00pm)

Refinement Types for Scripts

Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala (University of California, San Diego)

Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines

Madhukar N Kedlaya (University of California, Santa Barbara), Behnam Robatmili (Qualcomm Research Silicon Valley), Ben Hardekopf (University of California, Santa Barbara)

Bounded Refinement Types

Niki Vazou, Alexander Bakst, Ranjit Jhala (University of California, San Diego)

Business Meeting / Wrapup (4:00pm–4:15pm)