17th SoCal PLS:
Programming Languages and Systems

The SoCal Programming Languages and Systems Workshop is an informal gathering of programming languages and systems researchers in Southern California.

This Fall, we’ll meet at the University of California, Irvine on Friday, November 18th, 2016.

Workshop in Fall 2016

The primary goals of this workshop include:

Schedule and Local Information

The workshop will be held in Room 432 in the ICS 1 building.

Driving Directions and Parking

UCI is accessible from many freeways such as 405, 73, and 55. If you have a navigation system, make “Anteater Parking Structure, UCI” your destination. Parking is available in the Anteater Parking Structure, which is located on the corner of East Peltason and Anteater Drive. Entrance into the Anteater Parking Structure is on Anteater Drive. Please visit http://www.parking.uci.edu/maps/ to view a campus map for more information. When you arrive at the Anteater Parking Structure, let the attendant know that you are attending the SoCal PLS workshop and you will be given a free parking pass.


Directions from Anteater Parking Structure to ICS 1 can be found via this link. We will also post signs at the entries of the parking structure to direct you to the conference room.

Tentative Schedule

9:30AM Session 1 (Compiler and Static Analysis)
  Chair: Harry Xu, UCI
Talk 1 Compiling Deep Neural Networks,
Andreas Gal, Silk Labs
Talk 2 One Compiler,
Christian Wimmer, Oracle Labs
Talk 3 Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code,
Aftab Hussain (UC Irvine)
10:45AM Coffee Break
11:00AM Session 2 (Language Design and Type System)
  Chair: Harry Xu, UCI
Talk 4 The POSIX shell as a programming language,
Michael Greenberg, Pomona College
Talk 5 Dynamic Witnesses for Static Type Errors,
Eric Seidel, UCSD
Talk 6 Refinement Reflection,
Niki Vazou, UCSD
12:15PM Lunch
1:30PM Session 3 (Tackling Bugs)
  Chair: Brian Demsky, UCI
Talk7 Conc-iSE: Incremental Symbolic Execution of Concurrent Software,
Shengjian Guo, Virginia Tech
Talk8 Mind Your Metrics: How (Not) to Evaluate a Fuzzer,
Kyle Dewey, UCSB
Talk9 Shield Synthesis: Safety Enforcement for Reactive Systems,
Chao Wang, USC
2:45PM Coffee Break
3:00PM Session 4 (Program Synthesis and Big Data Systems)
  Chair: Chao Wang, UCI
Talk 10 User-Guided Synthesis of Interactive Diagrams,
John Sarracino, UCSD
Talk 11 KickStarter: Fast and Accurate Computations on Streaming Graphs via Trimmed Approximations,
Keval Vora, UC Riverside
Talk 12 Yak: A High-Performance Big-Data-Friendly Garbage Collector,
Khanh Nguyen, UC Irvine
4:15PM Coffee Break
4:30PM Session 5 (Storage and Distributed Systems)
  Chair: Michael Greenberg, Pomona College
Talk 13 Persistence with Failed Data Store Writes,
Shahram Ghandeharizadeh, Haoyu Huang and Hieu Nguyen, USC
Talk 14 Internet-of-Things Programmability and Security: On Trusting the Untrusted,
Rahmadi Trimananda, UC Irvine
Talk 15 An Overview of Polygraph,
YYazeed Alabdulkarim, Marwan Almaymoni, and Shahram Ghandeharizadeh, USC
5:45PM Business Meeting/Discussion
6:00PM Group Dinner (Eureka?)

Important Dates

Friday, October 28th Abstract submission deadline (end of day)
Friday, November 4th Notification of acceptance
Tuesday, November 8th Registration deadline
Friday, November 18th SoCal PLS Workshop

Submission Guidelines

Both original research and work that has been published in other venues is welcome!

Authors should submit abstracts of at most ~300 words via the following Google form. The submission deadline is Friday, October 28th, by the end of the day.

Selected abstracts will be presented as a talk or a poster. The program committee will determine the length of the talks based on the number and content of the abstracts; and they’ll provide more information when they notify you of acceptance.

Abstract registration deadline has passed.


Registration is open. There will be no registration fee. Please register by Tuesday, November 8th, so that we can get an accurate headcount for ordering food and acquiring parking passes.

Program Committee

Harry Xu UCI
Brian Demsky UCI
Todd Millstein UCLA
Rajiv Gupta UCR
Sorin Lerner UCSD