Folgen
Caleb Stanford
Caleb Stanford
Assistant professor, UC Davis
Bestätigte E-Mail-Adresse bei ucdavis.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Symbolic Boolean derivatives for efficiently solving extended regular expression constraints
C Stanford, M Veanes, N Bjørner
PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on …, 2021
492021
Modular quantitative monitoring
R Alur, K Mamouras, C Stanford
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
292019
Automata-based stream processing
R Alur, K Mamouras, C Stanford
44th International Colloquium on Automata, Languages, and Programming (ICALP …, 2017
262017
Streamable regular transductions
R Alur, D Fisman, K Mamouras, M Raghothaman, C Stanford
Theoretical Computer Science 807, 15-41, 2020
242020
DiffStream: differential output testing for stream processing programs
K Kallas, F Niksic, C Stanford, R Alur
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
232020
Data-trace types for distributed stream processing systems
K Mamouras, C Stanford, R Alur, ZG Ives, V Tannen
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
212019
Interfaces for stream processing systems
R Alur, K Mamouras, C Stanford, V Tannen
Principles of modeling: essays dedicated to Edward A. Lee on the occasion of …, 2018
132018
Stream processing with dependency-guided synchronization
K Kallas, F Niksic, C Stanford, R Alur
Principles and Practice of Parallel Programming (PPoPP) 27, 2022
62022
A robust theory of series parallel graphs
R Alur, C Stanford, C Watson
Proceedings of the ACM on Programming Languages 7 (POPL), 1058-1088, 2023
52023
Synchronization schemas
R Alur, P Hilliard, ZG Ives, K Kallas, K Mamouras, F Niksic, C Stanford, ...
Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2021
52021
FP4: Line-rate greybox fuzz testing for p4 switches
N Yaseen, L Yu, C Stanford, R Beckett, V Liu
arXiv preprint arXiv:2207.13147, 2022
32022
Stream types
JW Cutler, C Watson, E Nkurumeh, P Hilliard, H Goldstein, C Stanford, ...
Proceedings of the ACM on Programming Languages 8 (PLDI), 1412-1436, 2024
22024
Incremental Dead State Detection in Logarithmic Time
C Stanford, M Veanes
Computer Aided Verification (CAV) 2023, 2023
22023
Vision Paper: Proof-Carrying Code Completions
P Kamran, P Devanbu, C Stanford
Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024
12024
Auditing Rust crates effectively
L Zoghbi, D Thien, R Jhala, D Stefan, C Stanford
Unpublished draft, 2024
12024
Safe Programming over Distributed Streams
C Stanford
University of Pennsylvania, 2022
12022
Correctness in Stream Processing: Challenges and Opportunities.
C Stanford, K Kallas, R Alur
CIDR, 2022
12022
Geo-distributed stream processing
C Stanford
Survey for the UPenn WPE II, 2020
12020
Counterexamples in Safe Rust
M Hassnain, C Stanford
Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024
2024
Puzzle and Proof: A Decade of Problems from the Utah Math Olympiad
S Dittmer, H Golze, G Molnar, C Stanford
CRC Press, 2024
2024
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20