Automata-Based Stream Processing. - Rajeev Alur; Konstantinos Mamouras; Caleb Stanford (ICALP, 2017)

Interfaces for Stream Processing Systems. - Rajeev Alur; Konstantinos Mamouras; Caleb Stanford; Val Tannen (Principles of Modeling, 2018)

Data-trace types for distributed stream processing systems. - Konstantinos Mamouras; Caleb Stanford; Rajeev Alur; Zachary G. Ives; Val Tannen (PLDI, 2019)

Modular quantitative monitoring. - Rajeev Alur; Konstantinos Mamouras; Caleb Stanford (Proc. ACM Program. Lang., 2019)

DiffStream: differential output testing for stream processing programs. - Konstantinos Kallas; Filip Niksic; Caleb Stanford; Rajeev Alur (Proc. ACM Program. Lang., 2020)

Streamable regular transductions. - Rajeev Alur; Dana Fisman; Konstantinos Mamouras; Mukund Raghothaman; Caleb Stanford (Theor. Comput. Sci., 2020)

Symbolic Boolean derivatives for efficiently solving extended regular expression constraints. - Caleb Stanford; Margus Veanes; Nikolaj S. Bjørner (PLDI, 2021)

Synchronization Schemas. - Rajeev Alur; Phillip Hilliard; Zachary G. Ives; Konstantinos Kallas; Konstantinos Mamouras; Filip Niksic; Caleb Stanford; Val Tannen; Anton Xue (PODS, 2021)

Correctness in Stream Processing: Challenges and Opportunities. - Caleb Stanford; Konstantinos Kallas; Rajeev Alur (CIDR, 2022)

Stream processing with dependency-guided synchronization. - Konstantinos Kallas; Filip Niksic; Caleb Stanford; Rajeev Alur (PPoPP, 2022)

FP4: Line-rate Greybox Fuzz Testing for P4 Switches. - Nofel Yaseen; Liangcheng Yu; Caleb Stanford; Ryan Beckett; Vincent Liu 001 (CoRR, 2022)

Incremental Dead State Detection in Logarithmic Time. - Caleb Stanford; Margus Veanes (CAV (2), 2023)

Stream Types. - Joseph W. Cutler; Christopher Watson; Phillip Hilliard; Harrison Goldstein; Caleb Stanford; Benjamin C. Pierce (CoRR, 2023)

A Robust Theory of Series Parallel Graphs. - Rajeev Alur; Caleb Stanford; Christopher Watson (Proc. ACM Program. Lang., 2023)

Counterexamples in Safe Rust. - Muhammad Hassnain; Caleb Stanford (ASE Workshops, 2024)

Vision Paper: Proof-Carrying Code Completions. - Parnian Kamran; Premkumar T. Devanbu; Caleb Stanford (ASE Workshops, 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)

Stream Types. - Joseph W. Cutler; Christopher Watson; Emeka Nkurumeh; Phillip Hilliard; Harrison Goldstein; Caleb Stanford; Benjamin C. Pierce (Proc. ACM Program. Lang., 2024)