Caleb Stanford

Online CV

Email: cdstanford  •  ucdavis  •  edu

Website: web.cs.ucdavis.edu/~cdstanford

Primary Research Areas: Programming Languages, Systems, Formal Methods

PDF version

Education

Employment

Funding Awarded

  1. NSF CCF #2327338, 2023–2027. Collaborative Research: SaTC: CORE: Medium: Refine the Gap: Establishing Safety for Modern Foreign Function Interfaces. $1,200,000 (total), $300,000 (UC Davis), $16,000 (REU Supplement).

  2. NSF CCF #2403762, 2024–2025. EAGER: Proof-Carrying Code Completions. $300,000 (UC Davis).

Conference & Journal Papers

  1. Stream Types. Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, and Benjamin Pierce. Programming Language Design and Implementation (PLDI), June 2024.

  2. Incremental Dead State Detection in Logarithmic Time. Caleb Stanford and Margus Veanes. Computer-Aided Verification (CAV), July 2023.

  3. A Robust Theory of Series-Parallel Graphs. In alphabetical order: Rajeev Alur, Caleb Stanford, and Christopher Watson. Principles of Programming Languages (POPL), January 2023.

  4. Stream Processing with Dependency-Guided Synchronization. Equal contribution (first 3 authors): Konstantinos Kallas, Filip Niksic, Caleb Stanford, and Rajeev Alur. Principles and Practice of Parallel Programming (PPoPP), February 2022.

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

  6. 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.

  7. DiffStream: Differential Output Testing for Stream Processing Programs. Equal contribution (first 3 authors): Konstantinos Kallas, Filip Niksic, Caleb Stanford, and Rajeev Alur. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2020.

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

  9. 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.

  10. Modular Quantitative Monitoring. In alphabetical order: Rajeev Alur, Konstantinos Mamouras, and Caleb Stanford. Principles of Programming Languages (POPL), January 2019.

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

Workshop Papers

  1. Vision Paper: Proof-Carrying Code Completions. Parnian Kamran, Premkumar Devanbu, and Caleb Stanford. Automated and Verifiable Software System Development (ASYDE), workshop co-located with Automated Software Engineering (ASEW), October 2024.

  2. Counterexamples in Safe Rust. Muhammad Hassnain and Caleb Stanford. Human-Centric Software Engineering & Cyber Security (HCSE&CS), workshop co-located with Automated Software Engineering (ASEW), October 2024.

  3. Zero-Cost Capabilities: Retrofitting Effect Safety in Rust. George Berdovskiy, Caleb Stanford (mentor). Student project for the POPL Student Research Competition (POPL-SRC), January 2024.

Books

  1. Puzzle and Proof: A Decade of Problems from the Utah Math Olympiad. In alphabetical order: Samuel Dittmer, Hiram Golze, Grant Molnar, and Caleb Stanford. Series on Recreational Mathematics (CRC Press, 1st Edition), August 2024.

Thesis

  1. Safe Programming over Distributed Streams. Caleb Stanford. PhD Dissertation, University of Pennsylvania, July 2022.

Drafts

  1. GlucOS: Security, Correctness, and Simplicity for Automated Insulin Delivery. Hari Venugopalan, Shreyas Madhav Ambattur Vijayanand, Caleb Stanford, Stephanie Crossen, Samuel T. King. Draft under review.

  2. Auditing Rust Crates Effectively. Lydia Zoghbi, David Thien, Ranjit Jhala, Deian Stefan, and Caleb Stanford. Draft under review.

  3. FP4: Line-Rate, Holistic, Greybox Fuzz Testing for P4 Programs. Nofel Yaseen, Liangcheng Yu, Caleb Stanford, Ryan Beckett, and Vincent Liu. Draft under review.

Invited & Other Contributions

  1. Synchronization Schemas. In alphabetical order: 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-Invited), June 2021.

  2. Mathematical Muffin Morsels: Nobody Wants A Small Piece. William Gasarch, Erik Metz, Jacob Prinz, and Daniel Smolyak. Book contribution (World Scientific), June 2020.

  3. Interfaces for Stream Processing Systems. In alphabetical order: Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, and Val Tannen. Invited contribution to Principles of Modeling: Festschrift Symposium in honor of Edward A. Lee, October 2017.

  4. Context-Directed Reversals of Signed Permutations. In alphabetical order: Hannah Li, Jack Ramsey, Marion Scheepers, Haley Schilling, and Caleb Stanford. Outstanding presentation award for poster at the Joint Math Meetings (JMM), January 2016.

Teaching

Students Mentored

Thesis Committees

Leadership

Open-Source Software

Invited Talks

Invited Seminars

Professional Service

Outreach

Languages

Miscellaneous