|
СТ |
Balancing Runtime and Replay Costs in a Trace-and-Replay System |
1991 |
Choi J. -D., Stone J. M. |
|
|
|
SIGPLAN Notices |
25.02.1992 |
|
СТ |
Static Slicing in the Presence of Goto Statements |
1994 |
Choi J. -D., Ferrante J. |
|
|
|
ACM Trans. Programming Languages and Systems |
15.11.1994 |
|
СТ |
Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers |
1995 |
Burke M., Carini P., Choi J. -D., Hind M. |
|
|
|
Lecture Notes in Computer Science |
29.03.1995 |
|
СТ |
Incremental Computation of Static Single Assignment Form |
1996 |
Choi J. -D., Sarkar V., Schonberg E. |
|
|
|
Lecture Notes in Computer Science |
21.05.1996 |
|
СТ |
Global Communication Analysis and Optimization |
1996 |
Chakrabarti S., Gupta M., Choi J. -D. |
|
|
|
SIGPLAN Notices |
16.10.1996 |
|
СТ |
Slicing Class Hierarchies in C++ |
1996 |
Tip F., Choi J. -D., Field J., Ramalingam G. |
|
|
|
SIGPLAN Notices |
20.02.1997 |
|
П |
Interprocedural Pointer Alias Analysis |
1997 |
Burke M., Carini P. R., Choi J. -D., Hind M. |
|
|
IBM Research Division |
Кибернетика и системный анализ |
15.10.1998 |
|
СТ |
Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs |
1999 |
Choi J. -D., Grove D., Hind M., Sarkar V. |
|
|
|
Software Engineering Notes |
02.11.1999 |
|
СТ |
Escape Analysis for Java |
1999 |
Choi J. -D., Gupta M., Serrano M., Sreedhar V. C., Midkiff S. |
|
|
|
SIGPLAN Notices |
21.12.1999 |
|
СТ |
Inteprocedural Pointer Alias Analysis |
1999 |
Hind M., Burke M., Carini P., Choi J. -D. |
|
|
|
ACM Trans. on Programming Languages and Systems |
17.03.2000 |
|
СТ |
Optimizing Java Programs in the Presence of Exceptions |
2000 |
Gupta M., Choi J. -D., Hind M. |
|
|
|
Lecture Notes in Computer Science |
20.07.2000 |
|
СТ |
Finding and Removing Performance Bottlenecks in Large Systems |
2004 |
Ammons G., Choi J. -D., Gupta M., Swamy N. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.07.2004 |
|
СТ |
Thread-Sensitive Points-to Analysis for Multithreased Java Programs |
2004 |
Chang B. -M., Choi J. -D. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.12.2004 |
