Caleb Stanford

Online CV

Email: castan at cis upenn edu

Website:, Google Scholar

Research Areas: Programming Languages and Systems


Industry Research Experience


*equal contribution authors in alphabetical order

  1. Guided Incremental Dead State Detection, Caleb Stanford and Margus Veanes, Fall 2021. In submission.

  2. Stream Processing with Dependency-Guided Synchronization, Konstantinos Kallas,* Filip Niksic,* Caleb Stanford,* and Rajeev Alur. Principles and Practice of Parallel Programming (PPoPP), February 2022. Extended version; 2-Minute Elevator Pitch (September 2019); Poster (October 2019)

  3. Correctness in Stream Processing: Challenges and Opportunities, Caleb Stanford, Konstantinos Kallas, and Rajeev Alur. Conference on Innovative Data Systems Research (CIDR), January 2022.

  4. Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints, Caleb Stanford, Margus Veanes, and Nikolaj Bjørner. Programming Language Design and Implementation (PLDI), June 2021. Slides; Talk (lightning and full)

  5. Synchronization Schemas, Rajeev Alur, Phillip Hilliard, Zachary Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, and Anton Xue. Invited Contribution to Principles of Database Systems (PODS), June 2021. Invited paper.

  6. DiffStream: Differential Output Testing for Stream Processing Programs, Konstantinos Kallas,* Filip Niksic,* Caleb Stanford,* and Rajeev Alur. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2020. Slides; Video

  7. Streamable Regular Transductions, Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, and Caleb Stanford. Theoretical Computer Science (TCS), February 2020.

  8. Data-Trace Types for Distributed Stream Processing Systems, Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary Ives, and Val Tannen. Programming Language Design and Implementation (PLDI), June 2019. Video Abstract

  9. Modular Quantitative Monitoring, Rajeev Alur, Konstantinos Mamouras, and Caleb Stanford. Principles of Programming Languages (POPL), January 2019. Slides; Video

  10. Interfaces for Stream Processing Systems, Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, and Val Tannen. Principles of Modeling: Festschrift Symposium in honor of Edward A. Lee, October 2017. Invited paper.

  11. Automata-Based Stream Processing, Rajeev Alur, Konstantinos Mamouras, and Caleb Stanford. International Colloquium on Automata, Languages, and Programming (ICALP), July 2017. Slides

Open-Source Software

Other Contributions

  1. Mathematical Muffin Morsels: Nobody Wants A Small Piece, William Gasarch, Erik Metz, Jacob Prinz, and Daniel Smolyak. Book contribution, 2020.

  2. Context-Directed Reversals of Signed Permutations, Hannah Li, Jack Ramsey, Marion Scheepers, Haley Schilling, and Caleb Stanford. Outstanding presentation award for poster at the Joint Math Meetings (JMM), January 2016. Travel grant from JMM awarded.

Selected Honor(s)

Educational Experience





Programming Languages