معرفی
Caleb Stanford is an Assistant Professor at the University of California, Davis, specializing in Programming Languages, Formal Methods, and Systems. He actively contributes to research in Rust security, stream processing, and graph algorithms.
- Key projects: GID (Guided Incremental Digraphs) for dead state detection, Regex SMT Benchmarks, and Cargo-Scan for Rust crate auditing
- Conference roles: Committee Member for OOPSLA Review Committee (2025), PLDI Review Committee (2024), POPL Artifact Evaluation Co-Chair (2024)
Research focuses on improving software correctness through differential testing, incremental algorithms, and formal verification in systems like Apache Flink and Rust ecosystems.
۰مقاله منتشرشده
