Hybrid dynamic data race detection
- Robert O'Callahan
- Jong-Deok Choi
- 2003
- ACM SIGPLAN Notices
Publications
Date
Featured collections
Popular topics
35 results for Jong-Deok Choi
A framework for interprocedural optimization in the presence of dynamic class loading
- Vugranam C. Sreedhar
- Michael Burke
- et al.
- 2000
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Static Slicing in the Presence of Goto Statements
- Jong-Deok Choi
- Jeanne Ferrante
- 1994
- ACM Transactions on Programming Languages and Systems (TOPLAS)
On the Efficient Engineering of Ambitious Program Analysis
- Jong-Deok Choi
- Ron Cytron
- et al.
- 1994
- IEEE Transactions on Software Engineering
Precise and Efficient Integration of Interprocedural Alias Information into Data-Flow Analysis
- Michael Burke
- Jong-Deok Choi
- 1992
- ACM Letters on Programming Languages and Systems (LOPLAS)