Alex Aiken
Stanford University(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Formal Methods in Verification, Software Testing and Debugging Techniques, Software Engineering Research
Most-Cited Works
- → Winnowing(2003)1,096 cited
- → Scalable statistical bug isolation(2005)727 cited
- A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.(2000)
- → Bug isolation via remote program sampling(2003)508 cited
- → Titanium: a high-performance Java dialect(1998)452 cited
- → Apposcopy: semantics-based detection of Android malware through static analysis(2014)434 cited
- → Legion: Expressing locality and independence with logical regions(2012)426 cited
- →