Caleb Stanford

24 papers A* 4A 1B 1Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2026 — conf
Auditing Rust Crates Effectively.
ESOP (2)
Lydia Zoghbi, David Thien, Ranjit Jhala, Deian Stefan, Caleb Stanford
2026 J jnl
Auditing Rust Crates Effectively.
CoRR
Lydia Zoghbi, David Thien, Ranjit Jhala, Deian Stefan, Caleb Stanford
2025 J jnl
Cargo Sherlock: An SMT-Based Checker for Software Trust Costs.
CoRR
Muhammad Hassnain, Anirudh Basu, Ethan Ng, Caleb Stanford
2024 — conf
Counterexamples in Safe Rust.
ASE Workshops
Muhammad Hassnain, Caleb Stanford
2024 J jnl
GlucOS: Security, correctness, and simplicity for automated insulin delivery.
CoRR
Hari Venugopalan, Shreyas Madhav Ambattur Vijayanand, Caleb Stanford, Stephanie Crossen, Samuel T. King
2024 J jnl
Stream Types.
Proc. ACM Program. Lang.
Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
2024 — conf
Vision Paper: Proof-Carrying Code Completions.
ASE Workshops
Parnian Shabani Kamran, Premkumar T. Devanbu, Caleb Stanford
2023 J jnl
A Robust Theory of Series Parallel Graphs.
Proc. ACM Program. Lang.
Rajeev Alur, Caleb Stanford, Christopher Watson
2023 — conf
Incremental Dead State Detection in Logarithmic Time.
CAV (2)
Caleb Stanford, Margus Veanes
2023 J jnl
Incremental Dead State Detection in Logarithmic Time.
CoRR
Caleb Stanford, Margus Veanes
2023 J jnl
Stream Types.
CoRR
Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
2022 A conf
Correctness in Stream Processing: Challenges and Opportunities.
CIDR
Caleb Stanford, Konstantinos Kallas, Rajeev Alur
2022 J jnl
FP4: Line-rate Greybox Fuzz Testing for P4 Switches.
CoRR
Nofel Yaseen, Liangcheng Yu, Caleb Stanford, Ryan Beckett, Vincent Liu
2022 B conf
Stream processing with dependency-guided synchronization.
PPoPP
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
2021 J jnl
Stream Processing With Dependency-Guided Synchronization.
CoRR
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
2021 A* conf
Symbolic Boolean derivatives for efficiently solving extended regular expression constraints.
PLDI
Caleb Stanford, Margus Veanes, Nikolaj S. Bjørner
2021 A* conf
Synchronization Schemas.
PODS
Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue
2020 J jnl
DiffStream: differential output testing for stream processing programs.
Proc. ACM Program. Lang.
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
2020 J jnl
Streamable regular transductions.
Theor. Comput. Sci.
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
2019 A* conf
Data-trace types for distributed stream processing systems.
PLDI
Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen
2019 J jnl
Modular quantitative monitoring.
Proc. ACM Program. Lang.
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford
2018 — conf
Interfaces for Stream Processing Systems.
Principles of Modeling
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen
2018 J jnl
Streamable Regular Transductions.
CoRR
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
2017 A* conf
Automata-Based Stream Processing.
ICALP
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford