Finding and Understanding Bugs in C Compilers (2011) [pdf](users.cs.utah.edu)23 points by djoldman 1 year ago | 3 comments
The Story of Mel, A Real Programmer, Annotated (1996)(users.cs.utah.edu)128 points by fanf2 1 year ago | 35 comments
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer [pdf](users.cs.utah.edu)51 points by luu 2 years ago | 1 comments
Screenshot pending…Hydra: Generalizing peephole optimizations with program synthesis [pdf](users.cs.utah.edu)26 points by luu 2 years ago | 2 comments
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf](users.cs.utah.edu)73 points by luu 2 years ago | 8 comments
![Screenshot of users.cs.utah.edu: Finding and Understanding Bugs in C Compilers (2011) [pdf]](https://hn.urlbox.com/shots/renders/2025/9/30/5edac97a-385c-4174-8ab5-c8100d3249aa.jpg)
![Screenshot of users.cs.utah.edu: Minotaur: A SIMD-Oriented Synthesizing Superoptimizer [pdf]](https://hn.urlbox.com/shots/renders/2024/10/28/bcf6d83d-ef1e-4538-a042-68e7b809e60b.jpg)
![Screenshot of users.cs.utah.edu: High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf]](https://hn.urlbox.com/shots/renders/2024/1/12/78d1c585-675c-4c2c-aedb-70347a6f1cea.jpg)