Publications
*equal contribution †authors in alphabetical order
| PLDI24 | Stream Types |   |
| Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, and Benjamin Pierce | ||
| (Conditionally accepted to appear) | ||
| 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 | ||
| PPoPP22 | Stream Processing with Dependency-Guided Synchronization |  |
| Konstantinos Kallas,* Filip Niksic,* Caleb Stanford,* and Rajeev Alur | ||
| 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 | ||
| TCS20 | Streamable Regular Transductions† | |
| Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, and Caleb Stanford | ||
| 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 | ||
| ICALP17 | Automata-Based Stream Processing† | |
| Rajeev Alur, Konstantinos Mamouras, and Caleb Stanford |
Drafts
| 2024 | Auditing Rust Crates Effectively | |
| David Thien, Lydia Zoghbi, Ranjit Jhala, Deian Stefan, and Caleb Stanford | ||
| 2024 | FP4: Line-Rate, Holistic, Greybox Fuzz Testing for P4 Programs | |
| Nofel Yaseen, Liangcheng Yu, Caleb Stanford, Ryan Beckett, and Vincent Liu |
Books
| 2024 | Puzzle and Proof: A Decade of Problems from the Utah Math Olympiad† |  |
| Samuel Dittmer, Hiram Golze, Grant Molnar, and Caleb Stanford |
Dissertation
| 2022 | Safe Programming over Distributed Streams | |
| Caleb Stanford | ||
| PhD Dissertation |
Other Contributions
| POPL-SRC24 | Zero-Cost Capabilities: Retrofitting Effect Safety in Rust | |
| George Berdovskiy | ||
| Mentorship on student project | ||
| 2021 | Synchronization Schemas† | |
| Rajeev Alur, Phillip Hilliard, Zachary Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, and Anton Xue | ||
| Invited paper | ||
| 2020 | Mathematical Muffin Morsels: Nobody Wants A Small Piece |   |
| William Gasarch, Erik Metz, Jacob Prinz, and Daniel Smolyak | ||
| Book contribution | ||
| 2017 | Interfaces for Stream Processing Systems† | |
| Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, and Val Tannen | ||
| Invited paper | ||
| 2016 | Context-Directed Reversals of Signed Permutations† | |
| Hannah Li, Jack Ramsey, Marion Scheepers, Haley Schilling, and Caleb Stanford | ||
| Outstanding presentation award 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 | ||
| 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) covering natural deduction; filters and ultrafilters; and ultraproducts |