Caleb Stanford
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Auditing Rust Crates Effectively. | Lydia Zoghbi, David Thien, Ranjit Jhala, Deian Stefan, Caleb Stanford |
| 2026 | Mobisys | GlucOS: Security, correctness, and simplicity for automated insulin delivery. | Hari Venugopalan, Shreyas Madhav Ambattur Vijayanand, Caleb Stanford, Stephanie Crossen, Samuel T. King |
| 2023 | CAV | Incremental Dead State Detection in Logarithmic Time. | Caleb Stanford, Margus Veanes |
| 2022 | CIDR | Correctness in Stream Processing: Challenges and Opportunities. | Caleb Stanford, Konstantinos Kallas, Rajeev Alur |
| 2022 | PPoPP | Stream processing with dependency-guided synchronization. | Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur |
| 2021 | PLDI | Symbolic Boolean derivatives for efficiently solving extended regular expression constraints. | Caleb Stanford, Margus Veanes, Nikolaj S. Bjrner |
| 2021 | PODS | Synchronization Schemas. | Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue |
| 2019 | PLDI | Data-trace types for distributed stream processing systems. | Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen |
| 2017 | ICALP | Automata-Based Stream Processing. | Rajeev Alur, Konstantinos Mamouras, Caleb Stanford |