19th 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 spring, we’ll meet at the University of California, San Diego in room CSE (Computer Science and Engineering) 1202 on Friday, February 7th, 2025.
Workshop in Winter 2025
The primary goals of this workshop include:
- Providing a friendly environment for students and other researchers to present their work.
- Strengthening ties between local institutions.
- Learning about cool things happenings in programming languages, systems, and related areas!
Submission Guidelines
Both original research and work that has been published in other venues is welcome!
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.
Important Dates
| Friday, January 10th | Abstract submission deadline (end of day) |
| Friday, January 17th | Notification of acceptance |
| Friday, January 31st | Registration deadline |
| Friday, February 7th | SoCal PLS Workshop |
Registration
Registration is 50 dollars for academics and 150 dollars for non academics and will cover the costs associated with the event.
Link
Schedule
| Session 1 (Fault Localization and Repair) | |
| 9:45AM | Using LLMs for Static Fault Location. Rui Yang (UCR) |
| 10:00AM | “How Does My Code Work?”: Local Explanations for Program Behaviors. Amirmohammad Nazari (USC) |
| 10:15AM | Fault Localization Through Probabilistic Models of Program Execution. Sara Baradaran (USC) |
| 10:30AM | Enhancing Resource Leak Detection and Safe Repair with Inference, Code Transformations, and LLM-Based Fix Generation. Sanjay Malakar (UCR) |
| 10:45AM | Coffee Break |
| Session 2 (PL Usability) | |
| 11:10AM | Automated Verification 101: How Verifiers Impact Software Engineering. Eric Mugnier (UCSD) |
| 11:25AM | How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities. Ruanqianqian (Lisa) Huang (UCSD) |
| 11:40AM | Synthesizing Composite Hierarchical Structure from Symbolic Music Corpora. Ilana Shapiro (UCSD) |
| 11:55AM | Plottery: Sculpting Plots with Code, GUI, and AI. Brian Hempel (UCSD) |
| 12:10AM | Lunch |
| Session 3 (Program Analysis) | |
| 1:30PM | Guiding LLM Code Generation with Fixed-Prefix Program Spaces. Timothy Zhou (UCSD) |
| 1:45PM | The Hyperflow Graph: An Intermediate Representation for Hardware Security Verification. Andres Meza (UCSD) |
| 2:00PM | Practical Security Analysis of Zero-Knowledge Proof Circuits. Hongbo Wen (UCSB) |
| 2:15PM | An Incremental Algorithm for Algebraic Program Analysis. Chenyu Zhou (USC) |
| 2:30PM | Coffee Break |
| Session 3 (Solvers) | |
| 2:55PM | Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification . Kyle Thompson (UCSD) |
| 3:10PM | Certifying Zero-Knowledge Circuits with Refinement Types . Junrui Liu (UCSB) |
| 3:25PM | Data-Driven Assumption Weakening for Implication Lemma Synthesis. Ana Brendel (UCLA) |
| 3:40PM | Compiler-Assisted Optimization of Finite Field Arithmetic via Refinement Types. Yanju Chen (UCSB) |
| 3:55PM | Short Break |
| Session 4 (Solvers) | |
| 4:20PM | Destructive E-Graph Rewrites. Paul Zhang (UCLA) |
| 4:35PM | Bit Blasting Probabilistic Programs. Poorva Garg (UCLA) |
| 4:50PM | A Theory and Solver for Regular Expressions with Uninterpreted String Variables. Tiching Kao (UCD) |
| 5:05PM | Social gatherings |
Driving Directions and Parking
Campus parking is very limited and is not recommended. You can check available options here. The closest parking lot for visitors is located on the top floor of Hopkins Parking Structure. You can pay the fee in pay station or pay-by-phone. Note that most visitor spots are limited to two hours. Even though the app allows you to pay for longer periods, you will get a ticket after that time.
Program Committee
| Loris D’Antoni | UCSD |
| Ranjit Jhala | UCSD |
| Yu Feng | UCSB |
| Mukund Raghothaman | USC |
| Todd Millstein | UCLA |
| Manu Shridharan | UCR |
| Jens Palsberg | UCLA |
Organization
- Local Organizers:
Loris D’Antoni
Ranjit Jhala