СТ |
An Empirical Study of Selective Optimization |
2001 |
Arnold M., Hind M., Ryder B. G. |
|
|
|
Lecture Notes in Computer Science |
11.01.2002 |
СТ |
Assessting the Effects of Flow-Sensitivity on Pointer Alias Analyses |
1998 |
Hind M., Pioli A. |
|
|
|
Lecture Notes in Computer Science |
01.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 |
СТ |
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 |
СТ |
Flow-Sensitive Interprocedural Constant Propagation |
1995 |
Carini P. R., Hind M. |
|
|
|
ACM SIGPLAN Notices |
12.09.1995 |
СТ |
Inteprocedural Pointer Alias Analysis |
1999 |
Hind M., Burke M., Carini P., Choi J. -D. |
|
|
|
ACM Trans. on Programming Languages and Systems |
17.03.2000 |
П |
Interprocedural Pointer Alias Analysis |
1997 |
Burke M., Carini P. R., Choi J. -D., Hind M. |
|
|
IBM Research Division |
Кибернетика и системный анализ |
15.10.1998 |
СТ |
Optimizing Java Programs in the Presence of Exceptions |
2000 |
Gupta M., Choi J. -D., Hind M. |
|
|
|
Lecture Notes in Computer Science |
20.07.2000 |
СТ |
Pointer Analysis in the Presence of Dynamic Class Loading |
2004 |
Hirzel M., Diwan A., Hind M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.07.2004 |
СТ |
Which Pointer Analysis Should I Use? |
2000 |
Hind M., Pioli A. |
|
|
|
Software Engineering Notes |
14.12.2000 |