Compiling a high-level language for GPUs: Via language support for architectures and compilers
- Christophe Dubach
- Perry Cheng
- et al.
- 2012
- PLDI 2012
Publications
Date
Featured collections
Popular topics
34 results for Stephen J. Fink
Performance analysis of idle programs
- Erik Altman
- Matthew Arnold
- et al.
- 2010
- OOPSLA 2010
TAJ: Effective taint analysis of web applications
- Omer Tripp
- Marco Pistoia
- et al.
- 2009
- PLDI 2009
Snugglebug: A powerful approach to weakest preconditions
- Satish Chandra
- Stephen J. Fink
- et al.
- 2009
- PLDI 2009
Verifying dereference safety via expanding-scope analysis
- A. Loginov
- E. Yahav
- et al.
- 2008
- ISSTA 2008
Thin slicing
- Manu Sridharan
- Stephen J. Fink
- et al.
- 2007
- PLDI 2007
Role-based access control consistency validation
- Paolina Centonze
- Gleb Naumovich
- et al.
- 2006
- ISSTA 2006
Effective typestate verification in the presence of aliasing
- Stephen Fink
- Eran Yahav
- et al.
- 2006
- ISSTA 2006
Continuous code-quality assurance with SAFE
- Emmanuel Geay
- Eran Yahav
- et al.
- 2006
- PEPM 2006
Design, implementation and evaluation of adaptive recompilation with on-stack replacement
- S. Fink
- Feng Qian
- 2003
- CGO 2003