A survey of static analysis methods for identifying security vulnerabilities in software systems
- Marco Pistoia
- Satish Chandra
- et al.
- 2007
- IBM Systems Journal
Publications
Date
Featured collections
Popular topics
34 results for Stephen J. Fink
Thin slicing
- Manu Sridharan
- Stephen J. Fink
- et al.
- 2007
- ACM SIGPLAN Notices
Role-based access control consistency validation
- Paolina Centonze
- Gleb Naumovich
- et al.
- 2006
- ISSTA 2006
Continuous code-quality assurance with SAFE
- Emmanuel Geay
- Eran Yahav
- et al.
- 2006
- PEPM 2006
Effective typestate verification in the presence of aliasing
- Stephen Fink
- Eran Yahav
- et al.
- 2006
- ISSTA 2006
A survey of adaptive optimization in virtual machines
- Matthew Arnold
- Stephen J. Fink
- et al.
- 2005
- Proceedings of the IEEE
The Jikes Research Virtual Machine project: Building an open-source research community
- Bowen Alpern
- Steven Augart
- et al.
- 2005
- IBM Systems Journal
Design, implementation and evaluation of adaptive recompilation with on-stack replacement
- S. Fink
- Feng Qian
- 2003
- CGO 2003
Experiences porting the jikes RVM to Linux/IA32
- Bowen Alpern
- María Butrico
- et al.
- 2002
- JAVA VM 2002
Efficient implementation of Java interfaces: Invokeinterface considered harmless
- Bowen Alpern
- Anthony Cocchi
- et al.
- 2001
- OOPSLA 2001