This web page contains links to postscript versions of papers that may be covered by copyright (e.g., ACM Copyright).
-
An incremental flow- and context-sensitive pointer aliasing analysisJyh-shiarn Yur, Barbara G. Ryder, William A. Landi
ICSE '99 Proceedings of the 21st international conference on Software engineering, 1999Note: © Copyright 1999 ACM.
-
Jyh-shiarn Yur, Barbara G. Ryder, William Landi, and Phil Stocks,
"Incremental Analysis of Side Effects for C Software Systems",
Proceedings of the 19th International Conference on Software Engineering (ICSE'97),
May,
1997.
Note: © Copyright 1997 ACM.
-
Jyh-shiarn Yur and Barbara G. Ryder,
"Incremental Analysis of MOD Problem for C",
Laboratory of Computer Science Research Technical Report,
Number LCSR-TR-254,
August,
1995.
-
T. J. Marlowe and B. G. Ryder,
"Hybrid Incremental Alias Algorithms",
Proceedings of the Twentyfourth Hawaii International Conference on System Sciences, Volume II, Software,
January,
1991.
-
M. Burke and B. G. Ryder,
"A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms",
IEEE Transactions on Software Engineering,
Volume 16,
Number 7,
July,
1990.
See also: LCSR-TR-096.
-
B. G. Ryder, W. Landi, and H. Pande,
"Profiling an Incremental Data Flow Analysis Algorithm",
IEEE Transactions on Software Engineering,
Volume 16,
Number 2,
Pages 129-140,
February,
1990.
See also: CAIP-TR-098.
-
An efficient hybrid algorithm for incremental data flow analysisThomas J. Marlowe, Barbara G. Ryder
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1989 -
B. G. Ryder,
"ISMM: Incremental Software Maintenance Manager",
Proceedings of the IEEE Computer Society Conference on Software Maintenance,
Pages 142-164,
October,
1989.
-
Thomas J. Marlowe,
"Data Flow Analysis and Incremental Iteration",
Rutgers University, Ph.D. Thesis,
August,
1989.
Note: Also available as DCS-TR-255.
-
Martin D. Carroll,
"Dataflow Update via Attribute and Dominator Update",
Rutgers University, Ph.D. Thesis,
May,
1988.
Note: Also available as LCSR-TR-111.
-
Incremental data flow analysis via dominator and attribute updateM. D. Carroll, B. G. Ryder
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1988 -
Incremental data-flow analysis algorithmsBarbara G. Ryder, Marvin C. Paull
ACM Transactions on Programming Languages and Systems (TOPLAS), 1988 -
B. G. Ryder, T.J. Marlowe, and M. C. Paull,
"Conditions for Incremental Iteration: Examples and Counterexamples",
Science of Computer Programming,
Volume 11,
Pages 1-15,
1988.
Note: Also available as LCSR-TR-89.
-
B. G. Ryder,
"An Application of Static Program Analysis to Software Maintenance",
Proceedings of the Twentieth Hawaii International Conference on System Sciences, Volume II, Software,
Pages 82-91,
January,
1987.
-
An incremental algorithm for software analysisMartin Carroll, Barbara G Ryder
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, 1987 -
Incremental data flow analysisBarbara G. Ryder
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, 1983