Seguir
Caleb Stanford
Caleb Stanford
Assistant professor, UC Davis
Dirección de correo verificada de ucdavis.edu - Página principal
Título
Citado por
Citado por
Año
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
352021
Modular quantitative monitoring
R Alur, K Mamouras, C Stanford
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
252019
Automata-based stream processing
R Alur, K Mamouras, C Stanford
44th International Colloquium on Automata, Languages, and Programming (ICALP …, 2017
232017
Streamable regular transductions
R Alur, D Fisman, K Mamouras, M Raghothaman, C Stanford
Theoretical Computer Science 807, 15-41, 2020
192020
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
182019
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
172020
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
102018
Stream processing with dependency-guided synchronization
K Kallas, F Niksic, C Stanford, R Alur
Principles and Practice of Parallel Programming (PPoPP) 27, 2022
52022
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
42021
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
22022
Incremental Dead State Detection in Logarithmic Time
C Stanford, M Veanes
Computer Aided Verification (CAV) 2023, 2023
12023
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
12023
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
Stream Types
JW Cutler, C Watson, P Hilliard, H Goldstein, C Stanford, BC Pierce
arXiv preprint arXiv:2307.09553, 2023
2023
No-Regret Learning on Possibly Infinite Sets of Experts
K Jothimurugan, C Stanford
2018
Signed Permutations and Two-Rooted Graphs
H Li, J Ramsey, H Schilling, C Stanford, M Scheepers
2015
Context Directed Reversals on Permutations and Graphs
H Li, J Ramsey, H Schilling, C Stanford
2015
Context-Directed Reversals of Signed Permutations
H Li, J Ramsey, M Scheepers, H Schilling, C Stanford
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20