dblp.uni-trier.dewww.uni-trier.de

Barbara G. Ryder Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
91EEEmmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby: Modular string-sensitive permission analysis with demand-driven precision. ICSE 2009: 177-187
90EEJan Wloka, Barbara G. Ryder, Frank Tip, Xiaoxia Ren: Safe-commit analysis to facilitate team software development. ICSE 2009: 507-517
89EEJan Wloka, Barbara G. Ryder, Frank Tip: JUnitMX - A change-aware unit testing tool. ICSE 2009: 567-570
88EESusan 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
87 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
86EEBruno 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
85 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
84EEChen Fu, Barbara G. Ryder: Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications. ICSE 2007: 230-239
83EEOphelia C. Chesley, Xiaoxia Ren, Barbara G. Ryder, Frank Tip: Crisp--A Fault Localization Tool for Java Programs. ICSE 2007: 775-779
82EEBruno Dufour, Barbara G. Ryder, Gary Sevitsky: Blended analysis for performance understanding of framework-based applications. ISSTA 2007: 118-128
81EEXiaoxia Ren, Barbara G. Ryder: Heuristic ranking of java program edits for fault localization. ISSTA 2007: 239-249
80EEWeilei Zhang, Barbara G. Ryder: Discovering accurate interclass test dependences. PASTE 2007: 55-62
79EEWeilei 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
78EEWeilei Zhang, Barbara G. Ryder: Constructing Accurate Application Call Graphs For Java To Model Library Callbacks. SCAM 2006: 63-74
77EEMaximilian Störzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip: Finding failure-inducing changes in java programs using change classification. SIGSOFT FSE 2006: 57-68
76EEXiaoxia 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
75EEChen Fu, Barbara G. Ryder: Navigating error recovery code in Java applications. ETX 2005: 40-44
74EEXiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip: Chianti: a change impact analysis tool for java programs. ICSE 2005: 664-665
73EEAna Milanova, Barbara G. Ryder: Annotated Inclusion Constraints for Precise Flow Analysis. ICSM 2005: 187-196
72EEOphelia Chesley, Xiaoxia Ren, Barbara G. Ryder: Crisp: A Debugging Tool for Java Programs. ICSM 2005: 401-410
71EEAna 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)
70EEBarbara 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)
69EEChen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott: Robustness Testing of Java Server Applications. IEEE Trans. Software Eng. 31(4): 292-311 (2005)
2004
68EEChen Fu, Barbara G. Ryder, Ana Milanova, David Wonnacott: Testing of java web services for robustness. ISSTA 2004: 23-34
67EEXiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley: Chianti: a tool for change impact analysis of java programs. OOPSLA 2004: 432-448
66EEAna Milanova, Atanas Rountev, Barbara G. Ryder: Precise Call Graphs for C Programs with Function Pointers. Autom. Softw. Eng. 11(1): 7-26 (2004)
65EEAtanas 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
64EEBarbara G. Ryder: Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages. CC 2003: 126-137
63EEChen 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
62EEAtanas Rountev, Ana Milanova, Barbara G. Ryder: Fragment Class Analysis for Testing of Polymorphism in Java Software. ICSE 2003: 210-220
61EEBarbara 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)
60EEBarbara 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
59EEMatthew Arnold, Barbara G. Ryder: Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading. ECOOP 2002: 498-524
58EEAna Milanova, Atanas Rountev, Barbara G. Ryder: Constructing Precise Object Relation Diagrams. ICSM 2002: 586-595
57EEAna Milanova, Atanas Rountev, Barbara G. Ryder: Parameterized object sensitivity for points-to and side-effect analyses for Java. ISSTA 2002: 1-11
56EEMatthew Arnold, Michael Hind, Barbara G. Ryder: Online feedback-directed optimization of Java. OOPSLA 2002: 111-129
55EEAna Milanova, Atanas Rountev, Barbara G. Ryder: Precise Call Graph Construction in the Presence of Function Pointers. SCAM 2002: 155-162
2001
54EEAtanas Rountev, Barbara G. Ryder: Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. CC 2001: 20-36
53 Atanas Rountev, Ana Milanova, Barbara G. Ryder: Points-To Analysis for Java using Annotated Constraints. OOPSLA 2001: 43-55
52EEBarbara G. Ryder, Frank Tip: Change impact analysis for object-oriented programs. PASTE 2001: 46-53
51 Matthew Arnold, Barbara G. Ryder: A Framework for Reducing the Cost of Instrumented Code. PLDI 2001: 168-179
50EEBarbara 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)
49EERamkrishna 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)
48 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
47EEBarbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah: A Static Study of Java Exceptions Using JESP. CC 2000: 67-81
46EEMatthew Arnold, Michael Hind, Barbara G. Ryder: An Empirical Study of Selective Optimization. LCPC 2000: 49-67
45 Barbara G. Ryder: PLDI '99: Programming Language Design and Implementation (Report). SIGPLAN Notices 35(2): 9 (2000)
1999
44EEAtanas Rountev, Barbara G. Ryder, William Landi: Data-Flow Analysis of Program Fragments. ESEC / SIGSOFT FSE 1999: 235-252
43EEJyh-Shiarn Yur, Barbara G. Ryder, William Landi: An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis. ICSE 1999: 442-451
42EEMatthew Arnold, Michael S. Hsiao, Ulrich Kremer, Barbara G. Ryder: Instruction Scheduling in the Presence of Java's Runtime Exceptions. LCPC 1999: 18-34
41EERamkrishna Chatterjee, Barbara G. Ryder, William Landi: Relevant Context Inference. POPL 1999: 133-146
1998
40EERamkrishna Chatterjee, Barbara G. Ryder, William Landi: Complexity of Concrete Type-Inference in the Presence of Exceptions. ESOP 1998: 57-74
39EEPhil Stocks, Barbara G. Ryder, William Landi, Sean Zhang: Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. ISSTA 1998: 21-31
38EESean Zhang, Barbara G. Ryder, William Landi: Experiments with Combined Analysis for Pointer Aliasing. PASTE 1998: 11-18
37 Barbara G. Ryder: MASPLAS '98 - Conference Report. SIGPLAN Notices 33(6): 16 (1998)
1997
36EEJyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks: Incremental Analysis of Side Effects for C Software System. ICSE 1997: 422-432
35 Barbara G. Ryder: Practical Compile-Time Analysis. SAS 1997: 406-412
34 Barbara G. Ryder: A Position Paper on Compile-time Program Analysis. SIGPLAN Notices 32(1): 110-114 (1997)
1996
33 Hemant D. Pande, Barbara G. Ryder: Data-Flow-Based Virtual Function Resolution. SAS 1996: 238-254
32EESean Zhang, Barbara G. Ryder, William Landi: Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses. SIGSOFT FSE 1996: 81-92
31 Barbara G. Ryder: The Future of Program Analysis. ACM Comput. Surv. 28(4es): 174 (1996)
1995
30EEStephen 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)
29EEYong-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
28EEHemant D. Pande, Barbara G. Ryder: Static Type Determination for C++. C++ Conference 1994: 85-98
27 Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski: Region Analysis: A Parallel Elimination Method for Data Flow Analysis. ICCL 1994: 31-42
26 Vincent Sgro, Barbara G. Ryder: Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs. LCPC 1994: 217-233
25EEHemant 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)
1993
24 William Landi, Barbara G. Ryder, Sean Zhang: Interprocedural Side Effect Analysis With Pointer Aliasing. PLDI 1993: 56-67
23 Stephen P. Masticola, Barbara G. Ryder: Non-concurrency Analysis. PPOPP 1993: 129-138
22 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
21EEWilliam Landi, Barbara G. Ryder: A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) Best of PLDI 1992: 473-489
20 Emmi Schatz, Barbara G. Ryder: Directed Tracing to Detect Race Conditions. ICPP (2) 1992: 247-250
19EEYong-Fong Lee, Barbara G. Ryder: A comprehensive approach to parallel data flow analysis. ICS 1992: 236-247
18 Yong-Fong Lee, Barbara G. Ryder: Parallel Hybrid Data Flow Algorithms: A Case Study. LCPC 1992: 296-310
17 William Landi, Barbara G. Ryder: A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. PLDI 1992: 235-248
1991
16 William Landi, Barbara G. Ryder: Pointer-Induced Aliasing: A Problem Classification. POPL 1991: 93-103
15 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
1990
14 Stephen P. Masticola, Barbara G. Ryder: Static Infinite Wait Anomaly Detection in Polynomial Time. ICPP (2) 1990: 78-87
13 Thomas J. Marlowe, Barbara G. Ryder: An Efficient Hybrid Algorithm for Incremental Data Flow Analysis. POPL 1990: 184-196
12EEYong-Fong Lee, Thomas J. Marlowe, Barbara G. Ryder: Performing data flow analysis in parallel. SC 1990: 942-951
11 Thomas J. Marlowe, Barbara G. Ryder: Properties of Data Flow Frameworks. Acta Inf. 28(2): 121-163 (1990)
10EEBarbara G. Ryder, William Landi, Hemant D. Pande: Profiling an Incremental Data Flow Analysis Algorithm. IEEE Trans. Software Eng. 16(2): 129-140 (1990)
9EEMichael 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
8 A. Michael Berman, Marvin C. Paull, Barbara G. Ryder: Proving Relative Lower Bounds for Incremental Algorithms. Acta Inf. 27(7): 665-683 (1989)
1988
7 Martin D. Carroll, Barbara G. Ryder: Incremental Data Flow Analysis via Dominator and Attribute Updates. POPL 1988: 274-284
6EEBarbara G. Ryder, Marvin C. Paull: Incremental Data-Flow Analysis. ACM Trans. Program. Lang. Syst. 10(1): 1-50 (1988)
5EEBarbara G. Ryder: Experiments in Optimizing FP. IEEE Trans. Software Eng. 14(4): 444-454 (1988)
1986
4EEBarbara 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)