Barbara G. Ryder

	2012
102		Barbara G. Ryder, Ben Wiedermann: Language design and analyzability: a retrospective. Softw., Pract. Exper. 42(1): 3-18 (2012)
	2011
101		Marc Fisher II, Jan Wloka, Frank Tip, Barbara G. Ryder, Alexander Luchansky: An evaluation of change-based coverage criteria. PASTE 2011: 21-28
	2010
100		Marc Fisher II, Bruno Dufour, Shrutarshi Basu, Barbara G. Ryder: Exploring the impact of context sensitivity on blended analysis. ICSM 2010: 1-10
99		Marc Fisher II, Luke Marrs, Barbara G. Ryder: HI-C: diagnosing object churn in framework-based applications. SIGSOFT FSE 2010: 379-380
98		Jan Wloka, Einar Hoest, Barbara G. Ryder: Tool Support for Change-Centric Test Development. IEEE Software 27(3): 66-71 (2010)
97		Barbara G. Ryder, Andreas Zeller: Introduction: The Best Papers of ISSTA. IEEE Trans. Software Eng. 36(4): 451-452 (2010)
	2009
96		Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby: Modular string-sensitive permission analysis with demand-driven precision. ICSE 2009: 177-187
95		Jan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren: Safe-commit analysis to facilitate team software development. ICSE 2009: 507-517
94		Jan Wloka, Barbara G. Ryder, Frank Tip: JUnitMX - A change-aware unit testing tool. ICSE 2009: 567-570
93		Susan Horwitz, Susan H. Rodger, Maureen Biggers, David Binkley, C. Kolin Frantz, Dawn Gundermann, Susanne E. Hambrusch, Steven Huss-Lederman, Ethan V. Munson, Barbara G. Ryder, Monica Sweat: Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. SIGCSE 2009: 163-167
	2008
92		Barbara G. Ryder, Andreas Zeller: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008 ACM 2008
91		Bruno Dufour, Barbara G. Ryder, Gary Sevitsky: A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications. SIGSOFT FSE 2008: 59-70
	2007
90		Barbara G. Ryder, Brent Hailpern: Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007 ACM 2007
89		Chen Fu, Barbara G. Ryder: Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications. ICSE 2007: 230-239
88		Ophelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip: Crisp--A Fault Localization Tool for Java Programs. ICSE 2007: 775-779
87		Bruno Dufour, Barbara G. Ryder, Gary Sevitsky: Blended analysis for performance understanding of framework-based applications. ISSTA 2007: 118-128
86		Xiaoxia Ren, Barbara G. Ryder: Heuristic ranking of java program edits for fault localization. ISSTA 2007: 239-249
85		Weilei Zhang, Barbara G. Ryder: Discovering accurate interclass test dependences. PASTE 2007: 55-62
84		Weilei Zhang, Barbara G. Ryder: Automatic construction of accurate application call graph with library call abstraction for Java. Journal of Software Maintenance 19(4): 231-252 (2007)
	2006
83		Weilei Zhang, Barbara G. Ryder: Constructing Accurate Application Call Graphs For Java To Model Library Callbacks. SCAM 2006: 63-74
82		Maximilian Störzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip: Finding failure-inducing changes in java programs using change classification. SIGSOFT FSE 2006: 57-68
81		Xiaoxia Ren, Ophelia Chesley, Barbara G. Ryder: Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis. IEEE Trans. Software Eng. 32(9): 718-732 (2006)
	2005
80		Chen Fu, Barbara G. Ryder: Navigating error recovery code in Java applications. ETX 2005: 40-44
79		Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip: Chianti: a change impact analysis tool for java programs. ICSE 2005: 664-665
78		Ana Milanova, Barbara G. Ryder: Annotated Inclusion Constraints for Precise Flow Analysis. ICSM 2005: 187-196
77		Ophelia Chesley, Xiaoxia Ren, Barbara G. Ryder: Crisp: A Debugging Tool for Java Programs. ICSM 2005: 401-410
76		Ana Milanova, Atanas Rountev, Barbara G. Ryder: Parameterized object sensitivity for points-to analysis for Java. ACM Trans. Softw. Eng. Methodol. 14(1): 1-41 (2005)
75		Barbara G. Ryder, Mary Lou Soffa, Margaret M. Burnett: The impact of software engineering research on modern progamming languages. ACM Trans. Softw. Eng. Methodol. 14(4): 431-477 (2005)
74		Chen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott: Robustness Testing of Java Server Applications. IEEE Trans. Software Eng. 31(4): 292-311 (2005)
	2004
73		Chen Fu, Barbara G. Ryder, Ana Milanova, David Wonnacott: Testing of java web services for robustness. ISSTA 2004: 23-34
72		Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley: Chianti: a tool for change impact analysis of java programs. OOPSLA 2004: 432-448
71		Ana Milanova, Atanas Rountev, Barbara G. Ryder: Precise Call Graphs for C Programs with Function Pointers. Autom. Softw. Eng. 11(1): 7-26 (2004)
70		Atanas Rountev, Ana Milanova, Barbara G. Ryder: Fragment Class Analysis for Testing of Polymorphism in Java Software. IEEE Trans. Software Eng. 30(6): 372-387 (2004)
	2003
69		Barbara G. Ryder: Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages. CC 2003: 126-137
68		Chen Fu, Richard P. Martin, Kiran Nagaraja, Thu D. Nguyen, Barbara G. Ryder, David Wonnacott: Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services. DSN 2003: 595-604
67		Atanas Rountev, Ana Milanova, Barbara G. Ryder: Fragment Class Analysis for Testing of Polymorphism in Java Software. ICSE 2003: 210-220
66		Barbara G. Ryder, Mary Lou Soffa: Influences on the design of exception handling ACM SIGSOFT project on the impact of software engineering research on programming language design. ACM SIGSOFT Software Engineering Notes 28(4): 29-35 (2003)
65		Barbara G. Ryder, Mary Lou Soffa: Influences on the design of exception handling: ACM SIGSOFT project on the impact of software engineering research on programming language design. SIGPLAN Notices 38(6): 16-22 (2003)
	2002
64		Matthew Arnold, Barbara G. Ryder: Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading. ECOOP 2002: 498-524
63		Ana Milanova, Atanas Rountev, Barbara G. Ryder: Constructing Precise Object Relation Diagrams. ICSM 2002: 586-595
62		Ana Milanova, Atanas Rountev, Barbara G. Ryder: Parameterized object sensitivity for points-to and side-effect analyses for Java. ISSTA 2002: 1-11
61		Matthew Arnold, Michael Hind, Barbara G. Ryder: Online feedback-directed optimization of Java. OOPSLA 2002: 111-129
60		Ana Milanova, Atanas Rountev, Barbara G. Ryder: Precise Call Graph Construction in the Presence of Function Pointers. SCAM 2002: 155-162
	2001
59		Atanas Rountev, Barbara G. Ryder: Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. CC 2001: 20-36
58		Atanas Rountev, Ana Milanova, Barbara G. Ryder: Points-To Analysis for Java using Annotated Constraints. OOPSLA 2001: 43-55
57		Barbara G. Ryder, Frank Tip: Change impact analysis for object-oriented programs. PASTE 2001: 46-53
56		Matthew Arnold, Barbara G. Ryder: A Framework for Reducing the Cost of Instrumented Code. PLDI 2001: 168-179
55		Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Altucher: A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Trans. Program. Lang. Syst. 23(2): 105-186 (2001)
54		Ramkrishna Chatterjee, Barbara G. Ryder, William Landi: Complexity of Points-To Analysis of Java in the Presence of Exceptions. IEEE Trans. Software Eng. 27(6): 481-512 (2001)
53		Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder: Exploring the Interaction between Java?s Implicitly Thrown Exceptions and Instruction Scheduling. International Journal of Parallel Programming 29(2): 111-137 (2001)
	2000
52		Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah: A Static Study of Java Exceptions Using JESP. CC 2000: 67-81
51		Matthew Arnold, Michael Hind, Barbara G. Ryder: An Empirical Study of Selective Optimization. LCPC 2000: 49-67
50		Barbara G. Ryder: PLDI '99: Programming Language Design and Implementation (Report). SIGPLAN Notices 35(2): 9 (2000)
	1999
49		Barbara G. Ryder, Benjamin G. Zorn: Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, May 1-4, 1999 ACM 1999
48		Atanas Rountev, Barbara G. Ryder, William Landi: Data-Flow Analysis of Program Fragments. ESEC / SIGSOFT FSE 1999: 235-252
47		Jyh-Shiarn Yur, Barbara G. Ryder, William Landi: An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis. ICSE 1999: 442-451
46		Matthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder: Instruction Scheduling in the Presence of Java's Runtime Exceptions. LCPC 1999: 18-34
45		Ramkrishna Chatterjee, Barbara G. Ryder, William Landi: Relevant Context Inference. POPL 1999: 133-146
	1998
44		Ramkrishna Chatterjee, Barbara G. Ryder, William Landi: Complexity of Concrete Type-Inference in the Presence of Exceptions. ESOP 1998: 57-74
43		Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang: Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. ISSTA 1998: 21-31
42		Sean Zhang, Barbara G. Ryder, William Landi: Experiments with Combined Analysis for Pointer Aliasing. PASTE 1998: 11-18
41		Barbara G. Ryder: MASPLAS '98 - Conference Report. SIGPLAN Notices 33(6): 16 (1998)
	1997
40		Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks: Incremental Analysis of Side Effects for C Software System. ICSE 1997: 422-432
39		Barbara G. Ryder: Practical Compile-Time Analysis. SAS 1997: 406-412
38		Barbara G. Ryder: A Position Paper on Compile-time Program Analysis. SIGPLAN Notices 32(1): 110-114 (1997)
	1996
37		Hemant D. Pande, Barbara G. Ryder: Data-Flow-Based Virtual Function Resolution. SAS 1996: 238-254
36		Sean Zhang, Barbara G. Ryder, William Landi: Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses. SIGSOFT FSE 1996: 81-92
35		Barbara G. Ryder: The Future of Program Analysis. ACM Comput. Surv. 28(4es): 174 (1996)
	1995
34		Stephen P. Masticola, Thomas J. Marlowe, Barbara G. Ryder: Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems. ACM Trans. Program. Lang. Syst. 17(5): 777-803 (1995)
33		Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski: Region Analysis: A Parallel Elimination Method for Data Flow Analysis. IEEE Trans. Software Eng. 21(11): 913-926 (1995)
	1994
32		Vivek Sarkar, Barbara G. Ryder, Mary Lou Soffa: Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994 ACM 1994
31		Hemant D. Pande, Barbara G. Ryder: Static Type Determination for C++. C++ Conference 1994: 85-98
30		Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski: Region Analysis: A Parallel Elimination Method for Data Flow Analysis. ICCL 1994: 31-42
29		Vincent Sgro, Barbara G. Ryder: Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs. LCPC 1994: 217-233
28		Hemant D. Pande, William Landi, Barbara G. Ryder: Interprocedural Def-Use Associations for C Systems with Single Level Pointers. IEEE Trans. Software Eng. 20(5): 385-403 (1994)
27		Yong-Fong Lee, Barbara G. Ryder: Effectively exploiting parallelism in data flow analysis. The Journal of Supercomputing 8(3): 233-262 (1994)
	1993
26		William Landi, Barbara G. Ryder, Sean Zhang: Interprocedural Side Effect Analysis With Pointer Aliasing. PLDI 1993: 56-67
25		Stephen P. Masticola, Barbara G. Ryder: Non-concurrency Analysis. PPOPP 1993: 129-138
24		Thomas J. Marlowe, Jong-Deok Choi, William Landi, Michael G. Burke, Barbara G. Ryder, Paul R. Carini: Pointer-Induced Aliasing: A Clarification. SIGPLAN Notices 28(9): 67-70 (1993)
	1992
23		William Landi, Barbara G. Ryder: A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) Best of PLDI 1992: 473-489
22		Emmi Schatz, Barbara G. Ryder: Directed Tracing to Detect Race Conditions. ICPP (2) 1992: 247-250
21		Yong-Fong Lee, Barbara G. Ryder: A comprehensive approach to parallel data flow analysis. ICS 1992: 236-247
20		Yong-Fong Lee, Barbara G. Ryder: Parallel Hybrid Data Flow Algorithms: A Case Study. LCPC 1992: 296-310
19		William Landi, Barbara G. Ryder: A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. PLDI 1992: 235-248
	1991
18		William Landi, Barbara G. Ryder: Pointer-Induced Aliasing: A Problem Classification. POPL 1991: 93-103
17		Stephen P. Masticola, Barbara G. Ryder: A Model of Ada Programs for Static Deadlock Detection in Polynomial Time. Workshop on Parallel and Distributed Debugging 1991: 97-107
16		Yong-Fong Lee, Barbara G. Ryder, Thomas J. Marlowe: Experiences with a parallel algorithm for data flow analysis. The Journal of Supercomputing 5(2-3): 163-188 (1991)
	1990
15		Stephen P. Masticola, Barbara G. Ryder: Static Infinite Wait Anomaly Detection in Polynomial Time. ICPP (2) 1990: 78-87
14		Thomas J. Marlowe, Barbara G. Ryder: An Efficient Hybrid Algorithm for Incremental Data Flow Analysis. POPL 1990: 184-196
13		Yong-Fong Lee, Thomas J. Marlowe, Barbara G. Ryder: Performing data flow analysis in parallel. SC 1990: 942-951
12		Thomas J. Marlowe, Barbara G. Ryder: Properties of Data Flow Frameworks. Acta Inf. 28(2): 121-163 (1990)
11		Barbara G. Ryder, William Landi, Hemant D. Pande: Profiling an Incremental Data Flow Analysis Algorithm. IEEE Trans. Software Eng. 16(2): 129-140 (1990)
10		Michael G. Burke, Barbara G. Ryder: A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms. IEEE Trans. Software Eng. 16(7): 723-728 (1990)
	1989
9		A. Michael Berman, Marvin C. Paull, Barbara G. Ryder: Proving Relative Lower Bounds for Incremental Algorithms. Acta Inf. 27(7): 665-683 (1989)
	1988
8		Martin D. Carroll, Barbara G. Ryder: Incremental Data Flow Analysis via Dominator and Attribute Updates. POPL 1988: 274-284
7		Barbara G. Ryder, Marvin C. Paull: Incremental Data-Flow Analysis. ACM Trans. Program. Lang. Syst. 10(1): 1-50 (1988)
6		Barbara G. Ryder: Experiments in Optimizing FP. IEEE Trans. Software Eng. 14(4): 444-454 (1988)
	1986
5		Martin D. Carroll, Barbara G. Ryder: An incremental algorithm for software analysis. SDE 1986: 171-179
4		Barbara G. Ryder, Marvin C. Paull: Elimination Algorithms for Data Flow Analysis. ACM Comput. Surv. 18(3): 277-316 (1986)
	1983
3		Barbara G. Ryder: Incremental Data Flow Analysis. POPL 1983: 167-176
	1979
2		Barbara G. Ryder: Constructing the Call Graph of a Program. IEEE Trans. Software Eng. 5(3): 216-226 (1979)
	1974
1		Barbara G. Ryder: The PFORT Verifier. Softw., Pract. Exper. 4(4): 359-377 (1974)

Coauthor Index

1	Rita Altucher	[55]
2	Matthew Arnold	[46] [51] [53] [56] [61] [64]
3	Shrutarshi Basu	[100]
4	A. Michael Berman	[9]
5	Maureen Biggers	[93]
6	David Binkley	[93]
7	Michael G. Burke	[10] [24]
8	Margaret M. Burnett	[75]
9	Paul R. Carini	[24]
10	Martin D. Carroll	[5] [8]
11	Ramkrishna Chatterjee	[44] [45] [54]
12	Ophelia Chesley	[72] [77] [81]
13	Ophelia C. Chesley	[88]
14	Jong-Deok Choi	[24]
15	Julian Dolby	[96]
16	Bruno Dufour	[87] [91] [100]
17	Marc Fisher II	[99] [100] [101]
18	Marc E. Fiuczynski	[30] [33]
19	C. Kolin Frantz	[93]
20	Chen Fu	[68] [73] [74] [80] [89]
21	Emmanuel Geay	[96]
22	Michael Gordon	[52]
23	Dawn Gundermann	[93]
24	Brent Hailpern	[90]
25	Susanne E. Hambrusch	[93]
26	Michael Hind	[51] [61]
27	Einar Hoest	[98]
28	Susan Horwitz	[93]
29	Michael S. Hsiao	[46] [53]
30	Steven Huss-Lederman	[93]
31	Ulrich Kremer	[46] [52] [53]
32	William Landi	[11] [18] [19] [23] [24] [26] [28] [36] [40] [42] [43] [44] [45] [47] [48] [54] [55]
33	Yong-Fong Lee	[13] [16] [20] [21] [27] [30] [33]
34	Alexander Luchansky	[101]
35	Thomas J. Marlowe	[12] [13] [14] [16] [24] [34]
36	Luke Marrs	[99]
37	Richard P. Martin	[68]
38	Stephen P. Masticola	[15] [17] [25] [34]
39	Ana Milanova	[58] [60] [62] [63] [67] [70] [71] [73] [74] [76] [78]
40	Ethan V. Munson	[93]
41	Kiran Nagaraja	[68]
42	Thu D. Nguyen (Thu Duc Nguyen)	[68]
43	Hemant D. Pande	[11] [28] [31] [37]
44	Marvin C. Paull	[4] [7] [9]
45	Marco Pistoia	[96]
46	Xiaoxia Ren	[72] [77] [79] [81] [82] [86] [88] [95]
47	Susan H. Rodger	[93]
48	Atanas Rountev	[48] [58] [59] [60] [62] [63] [67] [70] [71] [76]
49	Vivek Sarkar	[32]
50	Emmi Schatz	[22]
51	Gary Sevitsky	[87] [91]
52	Vincent Sgro	[29]
53	Fenil Shah	[72]
54	Nirav Shah	[52]
55	Donald Smith	[52]
56	Mary Lou Soffa	[32] [65] [66] [75]
57	Phil Stocks	[40] [43] [55]
58	Maximilian Störzer	[79] [82]
59	Monica Sweat	[93]
60	Takaaki Tateishi	[96]
61	Frank Tip	[57] [72] [79] [82] [88] [94] [95] [101]
62	Ben Wiedermann	[102]
63	Jan Wloka	[94] [95] [98] [101]
64	David Wonnacott	[68] [73] [74]
65	Jyh-Shiarn Yur	[40] [47]
66	Andreas Zeller	[92] [97]
67	Sean Zhang	[26] [36] [42] [43] [55]
68	Weilei Zhang	[83] [84] [85]
69	Benjamin G. Zorn	[49]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page