SoCal '10: Program

9:30–10:00 Breakfast and poster set-up
10:00–11:15 Talk session I: Concurrency
Daniel Marino: Providing a Straightforward Language-Level Memory Model without Sacrificing Performance
Christopher Stone and Melissa O'Neill: Observationally Cooperative Multithreading
Gregor Wagner, Andreas Gal, and Michael Franz: Compartmental Memory Management in a Web-Browser Environment
11:15–11:30 Coffee break
11:30–12:30 Keynote
Chandra Krintz: Language and Runtime Support for the Next-Generation of Distributed Applications
12:30–1:35 Lunch
1:35–1:45 Business meeting
1:45–3:00 Talk session II: Concurrency
Ravi Chugh: Type Inference with Run-time Logs
Shu-yu Guo: The Essence of Compiling with Traces
Poster Spotlight Talks
3:00–4:00 Poster session
Dongseok Jang, Ranjit Jhala, Sorin Lerner, and Hovav Shacham: An Empirical Study of Privacy-Violating Information Flows in JavaScript Web Applications
Shu-Yu Guo and Andreas Gal: Single-Pass Generation of Single Static Assignment Form for JavaScript
Kannan Goundan: An Effect System for Variable Initialization with Closures
Elaine Render: Robust Discrete Synthesis Against
Eric Hennigan and Christoph Kerschbaumer: Bytecode-Based Security for JavaScript
Chris Bunch and Chandra Krintz: Towards a Unified Phone and Web Programming Interface for Cloud-based Datastores
Stephen Kou: Fitting Round Objects into Square Hardware
Mohsen Lesani: Communicating Memory Transactions
4:00–5:15 Talk session III: Program verification and synthesis
Pat Rondon, Ming Kawaguchi, and Ranjit Jhala: Low-Level Liquid Types
Zach Tatlock, Sudipta Kundu, and Sorin Lerner: Have Your Verified Compiler and Extend it Too
Hesam Samimi: Specialized Sketching