☰

Caleb D Stanford

Affiliations: 
2022 University of Pennsylvania, Philadelphia, PA, United States 
 2023- University of California, Davis, Davis, CA 
Area:
formal methods, theory of computation, logic
Website:
https://web.cs.ucdavis.edu/~cdstanford/
Google:
"Caleb Stanford"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Rajeev Alur grad student 2002 Penn
 (Safe programming over distributed streams)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Alur R, Fisman D, Mamouras K, et al. (2020) Streamable regular transductions Theoretical Computer Science. 807: 15-41
Mamouras K, Stanford C, Alur R, et al. (2019) Data-Trace Types for Distributed Stream Processing Systems. Proceedings of the Acm Sigplan ... Conference On Programming Language Design and Implementation. Acm Sigplan Conference On Programming Language Design and Implementation. 2019: 670-685
See more...