Publications
Peer-Reviewed Publications and Drafts
*equal contribution †authors in alphabetical order
| Draft | Incremental Dead State Detection in Logarithmic Time |   |
| Caleb Stanford and Margus Veanes | ||
| Draft | FP4: Line-Rate Greybox Fuzz Testing for P4 Switches |  |
| Nofel Yaseen, Liangcheng Yu, Caleb Stanford, Ryan Beckett, and Vincent Liu | ||
| 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 |
Other Contributions
*equal contribution †authors in alphabetical order
| 2022 | Safe Programming over Distributed Streams | |
| Caleb Stanford | ||
| PhD Dissertation | ||
| 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 CIS 625 (Computational Learning Theory) | ||
| 2016 | Static estimation (and verification) of program running time | |
| Caleb Stanford | ||
| Final project for CIS 673 (Computer-Aided Verification) | ||
| 2016 | Modeling knowledge in Alloy | |
| Caleb Stanford | ||
| Undergraduate capstone project | ||
| 2015 | Natural Deduction | |
| Caleb Stanford | ||
| Course notes for Model Theory | ||
| 2015 | Filters and Ultrafilters | |
| Caleb Stanford | ||
| Course notes for Model Theory | ||
| 2015 | Ultrapowers | |
| Caleb Stanford | ||
| Course notes for Model Theory |