Jinn: Synthesizing dynamic bug detectors for foreign language interfaces
- Byeongcheol Lee
- Ben Wiedermann
- et al.
- 2010
- PLDI 2010
Publications
Date
Featured collections
Popular topics
3 results for Ben Wiedermann
The DaCapo benchmarks: Java benchmarking development and analysis
- Stephen M. Blackburn
- Robin Garner
- et al.
- 2006
- OOPSLA 2006
The DaCapo benchmarks: Java benchmarking development and analysis
- Stephen M. Blackburn
- Robin Garner
- et al.
- 2006
- ACM SIGPLAN Notices