Efficient implementation of Java interfaces: Invokeinterface considered harmless
- Bowen Alpern
- Anthony Cocchi
- et al.
- 2011
- ACM SIGPLAN Notices
Publications
Date
Featured collections
Popular topics
34 results for Stephen J. Fink
Adaptive optimization in the Jalapeño JVM
- Matthew Arnold
- Stephen Fink
- et al.
- 2011
- ACM SIGPLAN Notices
Performance analysis of idle programs
- Erik Altman
- Matthew Arnold
- et al.
- 2010
- OOPSLA 2010
Snugglebug: A powerful approach to weakest preconditions
- Satish Chandra
- Stephen J. Fink
- et al.
- 2009
- PLDI 2009
TAJ: Effective taint analysis of web applications
- Omer Tripp
- Marco Pistoia
- et al.
- 2009
- PLDI 2009
Static specification mining using automata-based abstractions
- Sharon Shoham
- Eran Yahav
- et al.
- 2008
- IEEE Transactions on Software Engineering
Verifying dereference safety via expanding-scope analysis
- A. Loginov
- E. Yahav
- et al.
- 2008
- ISSTA 2008
Effective typestate verification in the presence of aliasing
- Stephen J. Fink
- Eran Yahav
- et al.
- 2008
- ACM TOSEM
Thin slicing
- Manu Sridharan
- Stephen J. Fink
- et al.
- 2007
- PLDI 2007
When role models have flaws: Static validation of enterprise security policies
- Marco Pistoia
- Stephen J. Fink
- et al.
- 2007
- ICSE 2007