Barbara G. Ryder
Barbara G. Ryder
Emerita Professor of Computer Science, J Byron Maupin Emerita Professor of Engineering, Virginia
Verified email at vt.edu - Homepage
Title
Cited by
Cited by
Year
A safe approximate algorithm for interprocedural aliasing
W Landi, BG Ryder
ACM SIGPLAN Notices 27 (7), 235-248, 1992
6631992
Chianti: a tool for change impact analysis of java programs
X Ren, F Shah, F Tip, BG Ryder, O Chesley
Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
4892004
A framework for reducing the cost of instrumented code
M Arnold, BG Ryder
Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001
4312001
Parameterized object sensitivity for points-to analysis for Java
A Milanova, A Rountev, BG Ryder
ACM Transactions on Software Engineering and Methodology (TOSEM) 14 (1), 1-41, 2005
4222005
Constructing the call graph of a program
BG Ryder
IEEE Transactions on Software Engineering, 216-226, 1979
3241979
Pointer-induced aliasing: A problem classification
W Landi, BG Ryder
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991
3081991
Change impact analysis for object-oriented programs
BG Ryder, F Tip
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2001
2922001
The PFORT verifier
BG Ryder
Software: Practice and Experience 4 (4), 359-377, 1974
2661974
Relevant context inference
R Chatterjee, BG Ryder, WA Landi
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
2471999
Properties of data flow frameworks
TJ Marlowe, BG Ryder
Acta Informatica 28 (2), 121-163, 1990
2321990
Interprocedural modification side effect analysis with pointer aliasing
W Landi, BG Ryder, S Zhang
ACM SIGPLAN Notices 28 (6), 56-67, 1993
2241993
Points-to analysis for Java using annotated constraints
A Rountev, A Milanova, BG Ryder
ACM SIGPLAN Notices 36 (11), 43-55, 2001
2232001
Parameterized object sensitivity for points-to and side-effect analyses for Java
A Milanova, A Rountev, BG Ryder
Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002
2152002
Interprocedural def-use associations for C systems with single level pointers
HD Pande, WA Landi, BG Ryder
IEEE Transactions on Software Engineering 20 (5), 385-403, 1994
1861994
Dimensions of precision in reference analysis of object-oriented programming languages
BG Ryder
International Conference on Compiler Construction, 126-137, 2003
1782003
Elimination algorithms for data flow analysis
BG Ryder, MC Paull
ACM Computing Surveys (CSUR) 18 (3), 277-316, 1986
1741986
Online feedback-directed optimization of Java
M Arnold, M Hind, BG Ryder
ACM SIGPLAN Notices 37 (11), 111-129, 2002
1712002
Non-concurrency analysis
SP Masticola, BG Ryder
ACM SIGPLAN Notices 28 (7), 129-138, 1993
1421993
Program decomposition for pointer aliasing: A step toward practical analyses
S Zhang, BG Ryder, W Landi
Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software …, 1996
1321996
Incremental data-flow analysis algorithms
BG Ryder, MC Paull
ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (1), 1-50, 1988
1321988
The system can't perform the operation now. Try again later.
Articles 1–20