Caleb Stanford -

Registered user since Mon 18 Jun 2018

Name:Caleb Stanford

Country:United States

Affiliation:University of California, San Diego; University of California, Davis

Personal website:https://web.cs.ucdavis.edu/~cdstanford/

Twitter:https://twitter.com/calebstanford4

GitHub:https://github.com/cdstanford

Research interests:Programming Languages, Systems, Logic

Contributions

SPLASH 2023	Committee Member in Reviewers within the Student Research Competition-track
PLDI 2023	Committee Member in SRC Reviewers within the SRC-track
POPL 2023	Speaker of Logic & Decidability II: Session Preview within the Session Previews-track Author of A Robust Theory of Series Parallel Graphs within the POPL-track
SPLASH 2022	Committee Member in Reviewers within the Student Research Competition-track
PPoPP 2022	Author of Stream Processing with Dependency-Guided Synchronization within the Main Conference-track
SPLASH 2021	Author of DiffStream: Differential Output Testing for Stream Processing Programs within the SIGPLAN Papers-track Author of Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints within the SIGPLAN Papers-track
PLDI 2021	Author of Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints within the PLDI-track
POPL 2021	Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2020	Author of DiffStream: Differential Output Testing for Stream Processing Programs within the OOPSLA-track Author of DiffStream: Differential Output Testing for Stream Processing Programs within the OOPSLA Artifacts-track
PLDI 2020	Presenter of Symbolic Extended Regular Expressions Matching and Analysis within the Sponsors-track
PLDI 2019	Author of Data-Trace Types for Distributed Stream Processing Systems within the PLDI Research Papers-track
POPL 2019	Author of Modular Quantitative Monitoring within the Research Papers-track