Samuel Z. Guyer
Tufts University(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Software Engineering Research, Security and Verification in Computing, Software Testing and Debugging Techniques
Most-Cited Works
- → The DaCapo benchmarks(2006)1,583 cited
- → In defense of soundiness(2015)223 cited
- → Wake up and smell the coffee(2008)143 cited
- → An annotation language for optimizing software libraries(1999)111 cited
- → Tracking bad apples(2007)61 cited
- → Free-Me(2006)61 cited
- → Heapviz(2010)59 cited
- → Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries(2005)56 cited