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
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