• Sign in
  • Sign up
conf.researchr.org / Caleb Stanford
  • PLDI 2019 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • POPL 2019 profile
  • POPL 2021 profile
  • PPoPP 2022 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
Caleb Stanford

Registered user since Mon 18 Jun 2018

Name:Caleb Stanford
Affiliation:University of Pennsylvania
Personal website:https://cis.upenn.edu/~castan/
Research interests:Formal Methods, Programming Languages, Stream Processing

Contributions

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 2022 Committee Member in Reviewers/Judges within the Student Research Competition-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

Share
xMon 23 May 07:45
using conf.researchr.org (v1.55.6)
Support page
Sign Up