Caleb Stanford

According to our database, Caleb Stanford authored at least 18 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Stream Types.

Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce

Proc. ACM Program. Lang., 2024

GlucOS: Security, correctness, and simplicity for automated insulin delivery.

Hari Venugopalan, Shreyas Madhav Ambattur Vijayanand, Caleb Stanford, Stephanie Crossen, Samuel T. King

CoRR, 2024

Vision Paper: Proof-Carrying Code Completions.

Parnian Kamran, Premkumar T. Devanbu, Caleb Stanford

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2024

Counterexamples in Safe Rust.

Muhammad Hassnain, Caleb Stanford

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2024

2023

A Robust Theory of Series Parallel Graphs.

Rajeev Alur, Caleb Stanford, Christopher Watson

Proc. ACM Program. Lang., January, 2023

Stream Types.

Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce

CoRR, 2023

Incremental Dead State Detection in Logarithmic Time.

Caleb Stanford, Margus Veanes

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

FP4: Line-rate Greybox Fuzz Testing for P4 Switches.

Nofel Yaseen, Liangcheng Yu, Caleb Stanford, Ryan Beckett, Vincent Liu

CoRR, 2022

Stream processing with dependency-guided synchronization.

Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

Correctness in Stream Processing: Challenges and Opportunities.

Caleb Stanford, Konstantinos Kallas, Rajeev Alur

Proceedings of the 12th Conference on Innovative Data Systems Research, 2022

2021

Synchronization Schemas.

Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

Symbolic Boolean derivatives for efficiently solving extended regular expression constraints.

Caleb Stanford, Margus Veanes, Nikolaj S. Bjørner

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Streamable regular transductions.

Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford

Theor. Comput. Sci., 2020

DiffStream: differential output testing for stream processing programs.

Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur

Proc. ACM Program. Lang., 2020

2019

Modular quantitative monitoring.

Rajeev Alur, Konstantinos Mamouras, Caleb Stanford

Proc. ACM Program. Lang., 2019

Data-trace types for distributed stream processing systems.

Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Interfaces for Stream Processing Systems.

Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen

Proceedings of the Principles of Modeling, 2018

2017

Automata-Based Stream Processing.

Rajeev Alur, Konstantinos Mamouras, Caleb Stanford

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017