Ben Blum
Carnegie Mellon University(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Software Testing and Debugging Techniques, Radiation Effects in Electronics, Formal Methods in Verification, Embedded Systems Design Techniques
Most-Cited Works
- → Parrot(2013)104 cited
- → Stateless model checking with data-race preemption points(2016)5 cited
- Landslide: Systematic Dynamic Race Detection in Kernel Space(2012)