Concepedia

Caleb Stanford

CS

Statistics

Publications

5

Citations

92

H-Index

5

Active since

2017

Affiliations

California University of Pennsylvania(Current)

Rice University

Caleb Stanford is an author at California University of Pennsylvania specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringData ScienceFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingFormal VerificationComputer EngineeringParallel Programming

Publications per year

2017–2021

5

Publications

5

Symbolic Boolean derivatives for efficiently solving extended regular expression constraints

Caleb Stanford, Margus Veanes, Nikolaj Bjørner · 2021 · 32 citations

Mathematical Programming, Symbolic Boolean Derivatives, Engineering +24

Modular quantitative monitoring

Rajeev Alur, Konstantinos Mamouras, Caleb Stanford · Proceedings of the ACM on Programming Languages · 2019 · 18 citations · Full text

Engineering, Data Transducers Coincides, Measurement +25

DiffStream: differential output testing for stream processing programs

Filip Niksic, Caleb Stanford, Rajeev Alur · Proceedings of the ACM on Programming Languages · 2020 · 16 citations · Full text

Cluster Computing, Engineering, Computer Architecture +20

Data-trace types for distributed stream processing systems

Konstantinos Mamouras, Caleb Stanford, Rajeev Alur et al. · 2019 · 14 citations · Full text

Automata-Based Stream Processing

Rajeev Alur, Konstantinos Mamouras, Caleb Stanford · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 12 citations · Full text

Engineering, Automaton Model, Automata-based Stream Processing +17

1–5 of 5