UCSB Programming Languages Lab
Research
Publications
CV
Ben Hardekopf
Professor, UC Santa Barbara Computer Science Department
Follow
Email
Fuzzing the Rust Typechecker Using CLP
Previous
Next
