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.
The primary goals of this workshop include:
The workshop will be held in Room 432 in the ICS 1 building.
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.
|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)
|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
|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
|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: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
|6:00PM||Group Dinner (Eureka?)|
|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|
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.