SoCal Fall 2014: Program

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

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

Remarrying Effects and Monads

Niki Vazou (UC San Diego), Daan Leijen (Microsoft Research)

Call by Meaning

Hesam Samimi (SAP Labs), Chris Deaton (Cycorp), Yoshiki Ohshima (SAP Labs), Alessandro Warth (SAP Labs), Todd Millstein (UCLA)

What good are PLs?

Ben Wiedermann (Harvey Mudd)

Break (11:00–11:30am)

Session 2 (11:30am–12:30pm)

Detecting and Repairing Performance Bugs using Code and Execution Patterns

Adrian Nistor (Chapman University)

Interactive Summarization of Systematic Changes and Anomaly Detection for Code Reviews

Tianyi Zhang (University of California, Los Angeles) Myoungkyu Song (University of Texas at Austin), Miryung Kim (University of California, Los Angeles)

Safe and Flexible Adaptation Via Alternate Data Structure Representations

Amlan Kusum, Iulian Neamtiu, Rajiv Gupta (University Of California Riverside)

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

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

Towards Safe and Efficient Hybrid Memory Management for Java

Codrut Stancu (University of California, Irvine & Oracle Labs), Christian Wimmer (Oracle Labs), Stefan Brunthaler (University of California, Irvine), Per Larsen (University of California, Irvine), Michael Franz (University of California, Irvine)

CDSSPEC: Testing Concurrent Data Structures Under the C/C++11 Memory Model

Peizhao Ou and Brian Demsky (University of California, Irvine)

A Refactoring Aware Code Review Tool for Inspecting Manual Refactoring Edits

Everton L. G. Alves (Federal University of Campina Grande, Brazil), Myoungkyu Song (University of Texas at Austin), Miryung Kim (University of California, Los Angeles)

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

Session 4: (3:30pm–4:50pm)

CrowdCFI: Safety in Numbers

Byron Hawkins, Peizhao Ou, Brian Demsky (University of California, Irvine)

On Subnormal Floating Point and Abnormal Timing

Marc Andrysco, Keaton Mowery, David Kohlbrenner Hovav Shacham Ranjit Jhala Sorin Lerner (University of California, San Diego)

Thwarting Cache Side-Channel Attacks Through Dynamic Control-Flow Diversity

Stephen Crane, Andrei Homescu, Stefan Brunthaler, Per Larsen, Michael Franz (University of California, Irvine)

SafeDispatch 2.0: Securing C++ Virtual Calls Via Interleaved Virtual Method Tables

Dimitar Bounov (UCSD), Rami Gokhan Kici (UCSD), Sorin Lerner (UCSD)

Business Meeting / Wrapup: 4:50pm–5pm