• Sign in
  • Sign up
conf.researchr.org / Ben Caldwell
  • ICFP 2022 profile
  • PLDI 2024 profile
  • PLDI 2026 profile
  • SPLASH/ISSTA 2026 profile
Ben Caldwell

Registered user since Mon 8 Aug 2022

Name:Ben Caldwell
Country:United States
Affiliation:University of Chicago
Personal website: https://people.cs.uchicago.edu/~caldwellb/
GitHub: https://github.com/caldwellb
Research interests:Formal Verification, Quantum Computing

Contributions

2026

SPLASH

  • Author of TensorRocq: Enabling diagrammatic reasoning in Rocq within the OOPSLA-track

PLDI

  • Author of [TOPLAS] VyZX: Formal Verification of a Graphical Quantum Language within the PLDI Research Papers-track

2024

EGRAPHS

  • Author of Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs within the EGRAPHS 2024-track

2022

ICFP

  • Author of Verified Quantum Computing within the Tutorials-track
Share
xTue 8 Sep 08:09
using conf.researchr.org (v1.76.0)
Support page
Sign Up