Caleb Stanford

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 19

Top Topics

Finite Automata

Event Processing

Stream Processing

Redundancy Allocation

Top Venues

Proc. ACM Program. Lang.

Publications

Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
Stream Types. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Hari Venugopalan, Shreyas Madhav Ambattur Vijayanand, Caleb Stanford, Stephanie Crossen, Samuel T. King
GlucOS: Security, correctness, and simplicity for automated insulin delivery. CoRR (2024)
Caleb Stanford, Margus Veanes
Incremental Dead State Detection in Logarithmic Time. CAV (2) (2023)
Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
Stream Types. CoRR (2023)
Caleb Stanford, Margus Veanes
Incremental Dead State Detection in Logarithmic Time. CoRR (2023)
Rajeev Alur, Caleb Stanford, Christopher Watson
A Robust Theory of Series Parallel Graphs. Proc. ACM Program. Lang. 7 (POPL) (2023)
Nofel Yaseen, Liangcheng Yu, Caleb Stanford, Ryan Beckett, Vincent Liu
FP4: Line-rate Greybox Fuzz Testing for P4 Switches. CoRR (2022)
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
Stream processing with dependency-guided synchronization. PPoPP (2022)
Caleb Stanford, Konstantinos Kallas, Rajeev Alur
Correctness in Stream Processing: Challenges and Opportunities. CIDR (2022)
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
Stream Processing With Dependency-Guided Synchronization. CoRR (2021)
Caleb Stanford, Margus Veanes, Nikolaj Bjørner
Symbolic Boolean derivatives for efficiently solving extended regular expression constraints. PLDI (2021)
Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue
Synchronization Schemas. PODS (2021)
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
Streamable regular transductions. Theor. Comput. Sci. 807 (2020)
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
DiffStream: differential output testing for stream processing programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford
Modular quantitative monitoring. Proc. ACM Program. Lang. 3 (POPL) (2019)
Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen
Data-trace types for distributed stream processing systems. PLDI (2019)
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen
Interfaces for Stream Processing Systems. Principles of Modeling (2018)
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
Streamable Regular Transductions. CoRR (2018)
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford
Automata-Based Stream Processing. ICALP (2017)