SoCal Fall 2011: Schedule

Registration/Setup (9:00am – 9:30am)

Session I: Types (9:30am – 10:20am)

• Ravi Chugh, Patrick Rondon, Ranjit Jhala (UC San Diego)

  Nested Refinements: A logic for Duck Typing

• Ross Tate (UC San Diego)

  Designing the Ceylon Type System

Session II: Poster Spotlights (10:20am – 10:40am)

• Alen Stojanov (UC Irvine)

  Return oriented programming in standalone executables

• Hessam Samimi and Todd Millstein (UC Los Angeles)

  Repairing PHP Web Applications

• Miuath Alkhalaf and Tevfik Bultan (UC Santa Barbara)

  Verifying client-side input validation functions using string analysis

• Jeffrey McDaniel, Aurelila Baez, Brian Crites, Aditya Tammewar, Douglas Hill and Philip Brisk (UC Riverside)

  The case for microfluidic hardware design languages

• Kishore Pusukuri, Rajiv Gupta and Laxmi Bhuyan (UC Riverside)

  Co-scheduling multithreaded programs on multicore systems

• Donghwan Jeon, Saturnino Garcia, Chris Louie and Michael Taylor (UC San Diego)

  Kismet: Speedup Estimates for serial programs

• Pamela Bhattacharya, Iulian Neamtiu (UC Riverside)

  Assessing programming language impact on development and maintenance: A study on C and C++

• Stephen Foster, Sorin Lerner and William Griswold (UC San Diego)

  WitchDoctor: A system for refactoring on the fly

Break/Poster Session (10:40am – 11:10am)

Session III: Security (11:10am – 12:25pm)

• Christoph Kerschbaumer and Eric Hennigan (UC Irvine)

  Information Flow in Web Browsers

• Alexei Kopylov, Aleksey Nogin and George Kuan (Hughes Research Labs)

  A library for integrity information flow policy and robust declassification

• Eric Griffis, Jeffrey Vaughan, Todd Millstein (UC Los Angeles)

  A platform for expressive and secure data sharing with untrusted third parties

Lunch/Poster Session (12:25pm – 2:00pm)

Session IV: Misc (2:00pm – 3:15pm)

• Yan Wang, Min Feng, Rajiv Gupta and Iulian Neamtiu (UC Riverside)

  QuickZoom: A state alteration and inspection-based interactive debugger

• Jaideep Nijar and Tevfik Bultan (UC Santa Barbara)

  Bounded verification of Ruby on Rails data models

• Daniel Grissom, Christopher Curtis, Philip Brisk (UC Riverside)

  Compiling biocoder assays onto digital microfludic biochips

Break/Poster Session 3:15pm – 4:00pm

Session V : Parallelism (4:00pm – 4:50pm)

• Min Feng and Rajiv Gupta (UC Riverside)

  The SpiceC parallel programming system

• Saturnino Garcia, Donghwan Jeon and Michael Taylor (UC San Diego)

  Kremlin: Rethinking and rebooting gprof for the multicore age

Business Meeting/Wrapup (4:50pm – 5:00pm)