Publications
Filter by project:
Conference & Journal Papers
| MobiSys26 | GlucOS: Security, Correctness, and Simplicity for Automated Insulin Delivery |    |
| Hari Venugopalan, Shreyas Madhav Ambattur Vijayanand, Caleb Stanford, Stephanie Crossen, Samuel T. King | ||
ESOP26  |
Auditing Rust Crates Effectively |  |
| Lydia Zoghbi, David Thien, Ranjit Jhala, Deian Stefan, and Caleb Stanford | ||
| Distinguished paper | ||
| FormaliSE26 | Cargo Sherlock: An SMT-Based Checker for Software Trust Costs |  |
| Muhammad Hassnain, Anirudh Basu, Ethan Ng, Caleb Stanford | ||
| PLDI24 | Stream Types |  |
| Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, and Benjamin Pierce | ||
| CAV23 | Incremental Dead State Detection in Logarithmic Time | |
| Caleb Stanford and Margus Veanes | ||
| POPL23 | A Robust Theory of Series-Parallel Graphs | |
| Rajeev Alur, Caleb Stanford, and Christopher Watson (alphabetical order) | ||
| PPoPP22 | Stream Processing with Dependency-Guided Synchronization | |
| Konstantinos Kallas, Filip Niksic, Caleb Stanford, and Rajeev Alur (equal contribution: first 3 authors) | ||
| CIDR22 | Correctness in Stream Processing: Challenges and Opportunities | |
| Caleb Stanford, Konstantinos Kallas, and Rajeev Alur | ||
| PLDI21 | Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints |  |
| Caleb Stanford, Margus Veanes, and Nikolaj Bjørner | ||
| OOPSLA20 | DiffStream: Differential Output Testing for Stream Processing Programs | |
| Konstantinos Kallas, Filip Niksic, Caleb Stanford, and Rajeev Alur (equal contribution: first 3 authors) | ||
| TCS20 | Streamable Regular Transductions | |
| Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, and Caleb Stanford (alphabetical order) | ||
| PLDI19 | Data-Trace Types for Distributed Stream Processing Systems | |
| Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary Ives, and Val Tannen | ||
| POPL19 | Modular Quantitative Monitoring | |
| Rajeev Alur, Konstantinos Mamouras, and Caleb Stanford (alphabetical order) | ||
| ICALP17 | Automata-Based Stream Processing | |
| Rajeev Alur, Konstantinos Mamouras, and Caleb Stanford (alphabetical order) |
Workshop Papers
| IWACO26 | Coenobita: Static Capability Types for Side Effect Safety in Rust | |
| George Berdovskiy, Caleb Stanford | ||
| HCSE&CS24 | Counterexamples in Safe Rust | |
| Muhammad Hassnain and Caleb Stanford | ||
| Workshop co-located with ASE | ||
| ASYDE24 | Vision Paper: Proof-Carrying Code Completions | |
| Parnian Kamran, Premkumar Devanbu, and Caleb Stanford | ||
| Workshop co-located with ASE | ||
| POPL24-SRC | Zero-Cost Capabilities: Retrofitting Effect Safety in Rust | |
| George Berdovskiy, Caleb Stanford (mentor) | ||
| POPL Student Research Competition |
Books
| 2024 | Puzzle and Proof: A Decade of Problems from the Utah Math Olympiad |   |
| Samuel Dittmer, Hiram Golze, Grant Molnar, and Caleb Stanford (alphabetical order) | ||
| CRC Press |
Dissertation
| 2022 | Safe Programming over Distributed Streams | |
| Caleb Stanford | ||
| PhD Dissertation |
Invited Contributions
| 2021 | Synchronization Schemas | |
| Rajeev Alur, Phillip Hilliard, Zachary Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, and Anton Xue (alphabetical order) | ||
| Invited paper | ||
| 2017 | Interfaces for Stream Processing Systems | |
| Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, and Val Tannen (alphabetical order) | ||
| Invited paper |
Drafts
| 2026 | A Theory of Regular Expressions over Uninterpreted String Variables | |
| Tiching Kao, Anish Ahuja, and Caleb Stanford | ||
| Draft under review | ||
| 2024 | FP4: Line-Rate, Holistic, Greybox Fuzz Testing for P4 Programs | |
| Nofel Yaseen, Liangcheng Yu, Caleb Stanford, Ryan Beckett, and Vincent Liu | ||
| Draft under review |
Other Contributions
| 2020 | Mathematical Muffin Morsels: Nobody Wants A Small Piece |  |
| William Gasarch, Erik Metz, Jacob Prinz, and Daniel Smolyak | ||
| Book contribution (World Scientific) | ||
| 2016 | Context-Directed Reversals of Signed Permutations | |
| Hannah Li, Jack Ramsey, Marion Scheepers, Haley Schilling, and Caleb Stanford (alphabetical order) | ||
| Outstanding presentation award for poster at the Joint Math Meetings (JMM) |
Exposition
| 2020 | Geo-distributed stream processing | |
| Caleb Stanford | ||
| Survey for the UPenn WPE II | ||
| 2018 | No-regret learning on possibly infinite sets of experts | |
| Kishor Jothimurugan and Caleb Stanford (alphabetical order) | ||
| Final project for UPenn CIS 625 (Computational Learning Theory) | ||
| 2016 | Static estimation (and verification) of program running time | |
| Caleb Stanford | ||
| Final project for UPenn CIS 673 (Computer-Aided Verification) | ||
| 2016 | Modeling knowledge in Alloy | |
| Caleb Stanford | ||
| Undergraduate capstone project | ||
| 2015 | Model theory notes | |
| Caleb Stanford | ||
| Course notes for Brown GISP 002 (Model Theory) |