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 |
|