Data scientists often develop analysis scripts incrementally, inspecting the results and re-running after making a small edit. Computational notebooks persist the Python state to aid exploration by avoiding recomputation between runs. However, since they rely on the user to re-execute individual cells, notebooks allow their state to silently diverge from the code.

We introduce Pync, which incrementally executes Python scripts correctly at the function level. \sys efficiently traces function calls by instrumenting the script to record dependencies and side effects. On subsequent executions, Pync restores expensive function calls from its cache. On two sample data science benchmarks, Pync achieves $1.6\times$ and $4.8\times$ speedups on re-execution with only $1.2\times$ and $1.04\times$ overhead on the first run.

I am an undergraduate at UCLA!

Wed 17 Jun

Displayed time zone: Mountain Time (US & Canada) change

17:50 - 19:30
PLDI Reception with Student Research Competition PostersStudent Research Competition at The Lawn

Reception for all attendees with light refreshments and Student Research Competition posters.

17:50
1h40m
Talk
K-Sentry: A Verified Order-Sensitive Telemetry Accumulator
Student Research Competition
Sudrit Ghimire Texas State University
File Attached
17:50
1h40m
Talk
Smocq: Formal Verification of Self Modifying Code
Student Research Competition
Ilan Buzzetti University of Texas at Dallas
File Attached
17:50
1h40m
Talk
Formal Methods for Securing Federated Authorization: A Case Study of SciTokens
Student Research Competition
Minh Le Georgia Institute of Technology
17:50
1h40m
Talk
Scenario-based Proof for Distributed Protocols
Student Research Competition
Zhendong Ang National University of Singapore
File Attached
17:50
1h40m
Talk
Language Models Need Some Space: On the Sensitivity of Constrained Decoding to Completeness
Student Research Competition
Jahrim Gabriele Cesario University of St. Gallen
Link to publication File Attached
17:50
1h40m
Talk
Formal Proofs of Bit Hacks in Machine Code
Student Research Competition
Humam Alhusaini University of Texas at Arlington
File Attached
17:50
1h40m
Talk
LLMEffect: A Type System for Securing LLM API Boundaries
Student Research Competition
Sanjib Kumar Sen Texas A&M University - Corpus Christi
File Attached
17:50
1h40m
Talk
Pync: Function-Level Incremental Execution for Python Scripts
Student Research Competition
Bolun Thompson University of California, Los Angeles
File Attached
17:50
1h40m
Talk
Correctly Rounded Dot Products under Round-to-Odd
Student Research Competition
Sehyeok Park Rutgers University
File Attached
17:50
1h40m
Talk
Impulse: Momentously Fast, General, and Portable Probabilistic Programming via Compiler Augmentation
Student Research Competition
Siyuan Brant Qian University of Illinois at Urbana-Champaign
File Attached
17:50
1h40m
Talk
Towards Taming Indirect Control Flow in Binaries with Multi-Task Graph Learning
Student Research Competition
Kun Liu Tulane University
File Attached
17:50
1h40m
Talk
CAST: Continuous Fuzzing for SMT Solvers
Student Research Competition
Andrei Zhukov ETH Zürich
File Attached
17:50
1h40m
Talk
Implementing Hybrid Resource Analysis in Resource Aware ML 2
Student Research Competition
Arnav Sabharwal Carnegie Mellon University
File Attached
17:50
1h40m
Talk
Modular Verification of Leakage Contracts
Student Research Competition
Aditya Ranjan Jha National University of Singapore
File Attached
17:50
1h40m
Talk
Cumulating Abstract Semantics via Handlers
Student Research Competition
Cade Lueker University of Colorado Boulder
File Attached
17:50
1h40m
Talk
Semantics Lifting for Scientific Kernels
Student Research Competition
Naifeng Zhang Carnegie Mellon University
File Attached
17:50
1h40m
Talk
pp-horn: A Secure Inference Primitive
Student Research Competition
Sai Lalith Kumar Aka University of Colorado Boulder
File Attached
17:50
1h40m
Talk
Automatic Energy Analysis Using Types
Student Research Competition
Sai Divvela University of Maryland, College Park, USA
File Attached
17:50
1h40m
Talk
E-Graph-Based Metamorphic Testing for Datalog Engines
Student Research Competition
Samuel Gerbers ETH Zurich
File Attached