Search the dblp DataBase
Mary Lou Soffa :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Ravi Sharma , Mary Lou Soffa Parallel Generational Garbage Collection. [Citation Graph (1, 0)][DBLP ] OOPSLA, 1991, pp:16-32 [Conf ] Clara Jaramillo , Rajiv Gupta , Mary Lou Soffa Capturing the Effects of Code Improving Transformations. [Citation Graph (0, 0)][DBLP ] IEEE PACT, 1998, pp:118-123 [Conf ] Naveen Kumar , Bruce R. Childers , Mary Lou Soffa Tdb: a source-level debugger for dynamically translated programs. [Citation Graph (0, 0)][DBLP ] AADEBUG, 2005, pp:123-132 [Conf ] M. P. Blivens , Mary Lou Soffa Reuse of Compiler Analysis in a Programming Environment. [Citation Graph (0, 0)][DBLP ] ACM Conference on Computer Science, 1989, pp:368-373 [Conf ] Rajiv Gupta , Mary Lou Soffa SHAPE: a highly adaptable and parallel system. [Citation Graph (0, 0)][DBLP ] ACM Conference on Computer Science, 1986, pp:107-114 [Conf ] Atif M. Memon , Martha E. Pollack , Mary Lou Soffa Plan Generation for GUI Testing. [Citation Graph (0, 0)][DBLP ] AIPS, 2000, pp:226-235 [Conf ] Chyi-Ren Dow , Mary Lou Soffa , Shi-Kuo Chang A Visual Optimization Specification Language. [Citation Graph (0, 0)][DBLP ] Advanced Visual Interfaces, 1992, pp:289-303 [Conf ] Evelyn Duesterwald , Rajiv Gupta , Mary Lou Soffa Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables. [Citation Graph (0, 0)][DBLP ] CC, 1992, pp:192-206 [Conf ] Evelyn Duesterwald , Rajiv Gupta , Mary Lou Soffa Reducing the Cost of Data Flow Analysis By Congruence Partitioning. [Citation Graph (0, 0)][DBLP ] CC, 1994, pp:357-373 [Conf ] Mary Lou Soffa Developing a Foundation for Code Optimization. [Citation Graph (0, 0)][DBLP ] CC, 2004, pp:1-4 [Conf ] Jonathan Misurda , James A. Clause , Juliya L. Reed , Bruce R. Childers , Mary Lou Soffa Jazz: A Tool for Demand-Driven Structural Testing. [Citation Graph (0, 0)][DBLP ] CC, 2005, pp:242-245 [Conf ] Patricia Prather Pineo , Mary Lou Soffa A Practical Approach to the Symbolic Debugging of Parallelized Code. [Citation Graph (0, 0)][DBLP ] CC, 1994, pp:339-356 [Conf ] Min Zhao , Bruce R. Childers , Mary Lou Soffa Model-Based Framework: An Approach for Profit-Driven Optimization. [Citation Graph (0, 0)][DBLP ] CGO, 2005, pp:317-327 [Conf ] Kevin Scott , Naveen Kumar , S. Velusamy , Bruce R. Childers , Jack W. Davidson , Mary Lou Soffa Retargetable and Reconfigurable Software Dynamic Translation. [Citation Graph (0, 0)][DBLP ] CGO, 2003, pp:36-47 [Conf ] Clara Jaramillo , Rajiv Gupta , Mary Lou Soffa Comparison Checking: An Approach to Avoid Debugging of Optimized Code. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 1999, pp:268-284 [Conf ] Rastislav Bodík , Rajiv Gupta , Mary Lou Soffa Refining Data Flow Information Using Infeasible Paths. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 1997, pp:361-377 [Conf ] Tarun Nakra , Rajiv Gupta , Mary Lou Soffa Global Context-Based Value Prediction. [Citation Graph (0, 0)][DBLP ] HPCA, 1999, pp:4-12 [Conf ] Brian A. Malloy , Errol L. Lloyd , Mary Lou Soffa A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors. [Citation Graph (0, 0)][DBLP ] ICCI, 1992, pp:139-142 [Conf ] Lori L. Pollock , Mary Lou Soffa Incremental Global Optimization for Faster Recompilations. [Citation Graph (0, 0)][DBLP ] ICCL, 1990, pp:281-290 [Conf ] Mary Jean Harrold , Mary Lou Soffa Computation of Interprocedural Definition and Use Dependencies. [Citation Graph (0, 0)][DBLP ] ICCL, 1990, pp:297-306 [Conf ] Chyi-Ren Dow , Mary Lou Soffa , Shi-Kuo Chang An Efficient Technique to Remove Transformations. [Citation Graph (0, 0)][DBLP ] ICPADS, 1994, pp:392-397 [Conf ] Chyi-Ren Dow , Mary Lou Soffa , Shi-Kuo Chang Undoing Code Transformations in an Independent Order. [Citation Graph (0, 0)][DBLP ] ICPP, 1994, pp:108-115 [Conf ] Rajiv Gupta , Mary Lou Soffa A Reconfigurable LIW Architecture. [Citation Graph (0, 0)][DBLP ] ICPP, 1987, pp:893-900 [Conf ] Deborah Whitfield , Mary Lou Soffa Investigating Properties of Code Transformations. [Citation Graph (0, 0)][DBLP ] ICPP, 1993, pp:156-160 [Conf ] Evelyn Duesterwald , Rajiv Gupta , Mary Lou Soffa A Demand-Driven Analyzer for Data Flow Testing at the Integration Level. [Citation Graph (0, 0)][DBLP ] ICSE, 1996, pp:575-584 [Conf ] Dick Hamlet , Mary Lou Soffa Report on the ICSE 2003 Doctoral Symposium. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:762-766 [Conf ] Atif M. Memon , Martha E. Pollack , Mary Lou Soffa Using a Goal-Driven Approach to Generate Test Cases for GUIs. [Citation Graph (0, 0)][DBLP ] ICSE, 1999, pp:257-266 [Conf ] Jonathan Misurda , James A. Clause , Juliya L. Reed , Bruce R. Childers , Mary Lou Soffa Demand-driven structural testing with dynamic instrumentation. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:156-165 [Conf ] Rajiv Gupta , Mary Lou Soffa A Framework for Partial Data Flow Analysis. [Citation Graph (0, 0)][DBLP ] ICSM, 1994, pp:4-13 [Conf ] Rajiv Gupta , Mary Lou Soffa Priority based data flow testing. [Citation Graph (0, 0)][DBLP ] ICSM, 1995, pp:348-357 [Conf ] Alessandro Orso , Mary Jean Harrold , David S. Rosenblum , Gregg Rothermel , Mary Lou Soffa , Hyunsook Do Using Component Metacontent to Support the Regression Testing of Component-Based Software. [Citation Graph (0, 0)][DBLP ] ICSM, 2001, pp:716-725 [Conf ] Rajiv Gupta , Mary Lou Soffa Automatic Generation of a Compact Test Suit. [Citation Graph (0, 0)][DBLP ] IFIP Congress (1), 1992, pp:237-243 [Conf ] David A. Berson , Rajiv Gupta , Mary Lou Soffa URSA: A Unified ReSource Allocator for Registers and Functional Units in VLIW Architectures. [Citation Graph (0, 0)][DBLP ] Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, 1993, pp:243-254 [Conf ] David A. Berson , Rajiv Gupta , Mary Lou Soffa Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers. [Citation Graph (0, 0)][DBLP ] IFIP PACT, 1994, pp:135-146 [Conf ] Bruce R. Childers , Jack W. Davidson , Mary Lou Soffa Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation. [Citation Graph (0, 0)][DBLP ] IPDPS, 2003, pp:205- [Conf ] Robert Kramer , Rajiv Gupta , Mary Lou Soffa The Combining Dag: A Technique for Parallel DataMow Analysis. [Citation Graph (0, 0)][DBLP ] IPPS, 1992, pp:652-655 [Conf ] Kevin Scott , Naveen Kumar , Bruce R. Childers , Jack W. Davidson , Mary Lou Soffa Overhead Reduction Techniques for Software Dynamic Translation. [Citation Graph (0, 0)][DBLP ] IPDPS Next Generation Software Program - NSFNGS - PI Workshop, 2004, pp:- [Conf ] Jason Hiser , Naveen Kumar , Min Zhao , Shukang Zhou , Bruce R. Childers , Jack W. Davidson , Mary Lou Soffa Techniques and tools for dynamic optimization. [Citation Graph (0, 0)][DBLP ] IPDPS, 2006, pp:- [Conf ] David A. Berson , Rajiv Gupta , Mary Lou Soffa GURRR: A Global Unified Resource Requirements Representation. [Citation Graph (0, 0)][DBLP ] Intermediate Representations Workshop, 1995, pp:23-34 [Conf ] Tarun Nakra , Rajiv Gupta , Mary Lou Soffa Value Prediction in VLIW Machines. [Citation Graph (0, 0)][DBLP ] ISCA, 1999, pp:258-269 [Conf ] Evelyn Duesterwald , Mary Lou Soffa Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework. [Citation Graph (0, 0)][DBLP ] Symposium on Testing, Analysis, and Verification, 1991, pp:36-48 [Conf ] Mary Jean Harrold , Mary Lou Soffa Interprocedual Data Flow Testing. [Citation Graph (0, 0)][DBLP ] Symposium on Testing, Analysis, and Verification, 1989, pp:158-167 [Conf ] Lori L. Pollock , Mary P. Bivens , Mary Lou Soffa Debugging Optimized Code Via Tailoring (Abstract). [Citation Graph (0, 0)][DBLP ] ISSTA, 1994, pp:201- [Conf ] Kristen R. Walcott , Mary Lou Soffa , Gregory M. Kapfhammer , Robert S. Roos TimeAware test suite prioritization. [Citation Graph (0, 0)][DBLP ] ISSTA, 2006, pp:1-12 [Conf ] Neelam Gupta , Aditya P. Mathur , Mary Lou Soffa Generating Test Data for Branch Coverage. [Citation Graph (0, 0)][DBLP ] ASE, 2000, pp:219-228 [Conf ] Neelam Gupta , Aditya P. Mathur , Mary Lou Soffa UNA Based Iterative Test Data Generation and Its Evaluation. [Citation Graph (0, 0)][DBLP ] ASE, 1999, pp:224-0 [Conf ] Gregory M. Kapfhammer , Mary Lou Soffa , Daniel Mossé Testing in resource constrained execution environments. [Citation Graph (0, 0)][DBLP ] ASE, 2005, pp:418-422 [Conf ] David A. Berson , Pohua P. Chang , Rajiv Gupta , Mary Lou Soffa Integrating Program Optimizations and Transformations with the Scheduling of Instruction Level Parallelism. [Citation Graph (0, 0)][DBLP ] LCPC, 1996, pp:207-221 [Conf ] David A. Berson , Rajiv Gupta , Mary Lou Soffa Integrated Instruction Scheduling and Register Allocation Techniques. [Citation Graph (0, 0)][DBLP ] LCPC, 1998, pp:247-262 [Conf ] Evelyn Duesterwald , Rajiv Gupta , Mary Lou Soffa Distributed Slicing and Partial Re-execution for Distributed Programs. [Citation Graph (0, 0)][DBLP ] LCPC, 1992, pp:497-511 [Conf ] Jodi Tims , Rajiv Gupta , Mary Lou Soffa Data Flow Analysis Driven Dynamic Data Partitioning. [Citation Graph (0, 0)][DBLP ] LCR, 1998, pp:75-90 [Conf ] Min Zhao , Bruce R. Childers , Mary Lou Soffa Predicting the impact of optimizations for embedded systems. [Citation Graph (0, 0)][DBLP ] LCTES, 2003, pp:1-11 [Conf ] Brian A. Malloy , Rajiv Gupta , Mary Lou Soffa A shape matching approach for scheduling fine-grained parallelism. [Citation Graph (0, 0)][DBLP ] MICRO, 1992, pp:264-267 [Conf ] Bruce R. Childers , Mary Lou Soffa , J. Beaver , L. Ber , K. Cammarata , T. Kane , J. Litman , Jonathan Misurda SoftTest: a framework for software testing of Java programs. [Citation Graph (0, 0)][DBLP ] OOPSLA Workshop on Eclipse Technology eXchange, 2003, pp:79-83 [Conf ] Shan Fan Liu , Mary Lou Soffa Parallel Task Assignment by Graph Partitioning. [Citation Graph (0, 0)][DBLP ] PARLE, 1992, pp:965-966 [Conf ] Naveen Kumar , Bruce R. Childers , Mary Lou Soffa Low overhead program monitoring and profiling. [Citation Graph (0, 0)][DBLP ] PASTE, 2005, pp:28-34 [Conf ] Patricia Prather Pineo , Mary Lou Soffa Debugging Parallelized Code Using Code Liberation Techniques. [Citation Graph (0, 0)][DBLP ] Workshop on Parallel and Distributed Debugging, 1991, pp:108-119 [Conf ] Rastislav Bodík , Rajiv Gupta , Mary Lou Soffa Interprocedural Conditional Branch Elimination. [Citation Graph (0, 0)][DBLP ] PLDI, 1997, pp:146-158 [Conf ] Rastislav Bodík , Rajiv Gupta , Mary Lou Soffa Complete Removal of Redundant Computations. [Citation Graph (0, 0)][DBLP ] PLDI, 1998, pp:1-14 [Conf ] Rastislav Bodík , Rajiv Gupta , Mary Lou Soffa Complete removal of redundant expressions (with retrospective) [Citation Graph (0, 0)][DBLP ] Best of PLDI, 1998, pp:596-611 [Conf ] Rastislav Bodík , Rajiv Gupta , Mary Lou Soffa Load-Reuse Analysis: Design and Evaluation. [Citation Graph (0, 0)][DBLP ] PLDI, 1999, pp:64-76 [Conf ] Evelyn Duesterwald , Rajiv Gupta , Mary Lou Soffa A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations. [Citation Graph (0, 0)][DBLP ] PLDI, 1993, pp:68-77 [Conf ] Rajiv Gupta , Mary Lou Soffa , Tim Steele Register Allocation via Clique Separators. [Citation Graph (0, 0)][DBLP ] PLDI, 1989, pp:264-274 [Conf ] Deborah Whitfield , Mary Lou Soffa Automatic Generation of Global Optimizers. [Citation Graph (0, 0)][DBLP ] PLDI, 1991, pp:120-129 [Conf ] Evelyn Duesterwald , Rajiv Gupta , Mary Lou Soffa Demand-driven Computation of Interprocedural Data Flow. [Citation Graph (0, 0)][DBLP ] POPL, 1995, pp:37-48 [Conf ] Lori L. Pollock , Mary Lou Soffa Incremental Compilation of Locally Optimized Code. [Citation Graph (0, 0)][DBLP ] POPL, 1985, pp:152-164 [Conf ] Rajiv Gupta , Mary Lou Soffa Compile-time Techniques for Efficient Utilization of Parallel Memories. [Citation Graph (0, 0)][DBLP ] PPOPP/PPEALS, 1988, pp:235-246 [Conf ] Deborah Whitfield , Mary Lou Soffa An Approach to Ordering Optimizing Transformations. [Citation Graph (0, 0)][DBLP ] PPOPP, 1990, pp:137-146 [Conf ] Clara Jaramillo , Rajiv Gupta , Mary Lou Soffa FULLDOC: A Full Reporting Debugger for Optimized Code. [Citation Graph (0, 0)][DBLP ] SAS, 2000, pp:240-259 [Conf ] Yuqiang Huang , Bruce R. Childers , Mary Lou Soffa Catching and Identifying Bugs in Register Allocation. [Citation Graph (0, 0)][DBLP ] SAS, 2006, pp:281-300 [Conf ] Mary Lou Soffa Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. [Citation Graph (0, 0)][DBLP ] SAS, 1999, pp:355-356 [Conf ] Maurício L. Pilla , Amarildo T. da Costa , Felipe M. G. França , Bruce R. Childers , Mary Lou Soffa The Limits of Speculative Trace Reuse on Deeply Pipelined Processors. [Citation Graph (0, 0)][DBLP ] SBAC-PAD, 2003, pp:36-45 [Conf ] Chyi-Ren Dow , Shi-Kuo Chang , Mary Lou Soffa A Visualization System for Parallelizing Programs. [Citation Graph (0, 0)][DBLP ] SC, 1992, pp:194-203 [Conf ] Ben Heggy , Mary Lou Soffa Architectural support for register allocation in the presence of aliasing. [Citation Graph (0, 0)][DBLP ] SC, 1990, pp:730-739 [Conf ] Tia M. Watts , Mary Lou Soffa , Rajiv Gupta Techniques for Integrating Parallelizing Transformations and Compiler-Based Scheduling Methods. [Citation Graph (0, 0)][DBLP ] SC, 1992, pp:830-839 [Conf ] Sandra Katz , John M. Aronis , David Allbritton , Christine Wilson , Mary Lou Soffa A study to identify predictors of achievement in an introductory computer science course. [Citation Graph (0, 0)][DBLP ] CPR, 2003, pp:157-161 [Conf ] Neelam Gupta , Aditya P. Mathur , Mary Lou Soffa Automated Test Data Generation Using an Iterative Relaxation Method. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1998, pp:231-244 [Conf ] Rajiv Gupta , Mary Lou Soffa Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1995, pp:29-40 [Conf ] Gregory M. Kapfhammer , Mary Lou Soffa A family of test adequacy criteria for database-driven applications. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2003, pp:98-107 [Conf ] Atif M. Memon , Martha E. Pollack , Mary Lou Soffa Automated test oracles for GUIs. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2000, pp:30-39 [Conf ] Atif M. Memon , Mary Lou Soffa Regression testing of GUIs. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2003, pp:118-127 [Conf ] Atif M. Memon , Mary Lou Soffa , Martha E. Pollack Coverage criteria for GUI testing. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2001, pp:256-267 [Conf ] Naveen Kumar , Jonathan Misurda , Bruce R. Childers , Mary Lou Soffa Instrumentation in software dynamic translators for self-managed systems. [Citation Graph (0, 0)][DBLP ] WOSS, 2004, pp:90-94 [Conf ] Shukang Zhou , Bruce R. Childers , Mary Lou Soffa Planning for code buffer management in distributed virtual execution environments. [Citation Graph (0, 0)][DBLP ] VEE, 2005, pp:100-109 [Conf ] John P. Kearns , Mary Lou Soffa The Implementation of Retention in a Coroutine Environment. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:19, n:, pp:221-233 [Journal ] Mary Lou Soffa Control Discipline Necessity: Making the Language as General as the Implementation. [Citation Graph (0, 0)][DBLP ] BIT, 1982, v:22, n:2, pp:169-182 [Journal ] Lawrence A. Coon , John P. Kearns , Mary Lou Soffa The Contraction of Control Implementations. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1983, v:8, n:1, pp:15-25 [Journal ] Fernando Lafora , Mary Lou Soffa Reverse Execution in a Generalized Control Regime. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1984, v:9, n:3/4, pp:183-192 [Journal ] Clara Jaramillo , Rajiv Gupta , Mary Lou Soffa Debugging and Testing Optimizers through Comparison Checking. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal ] Naveen Kumar , Bruce R. Childers , Daniel Williams , Jack W. Davidson , Mary Lou Soffa Compile-Time Planning for Overhead Reduction in Software Dynamic Translators. [Citation Graph (0, 0)][DBLP ] International Journal of Parallel Programming, 2005, v:33, n:2-3, pp:103-114 [Journal ] Ching-Chy Wang , Errol L. Lloyd , Mary Lou Soffa Feedback Vertex Sets and Cyclically Reducible Graphs [Citation Graph (0, 0)][DBLP ] J. ACM, 1985, v:32, n:2, pp:296-313 [Journal ] Errol L. Lloyd , Mary Lou Soffa On Locating Minimum Feedback Vertex Sets. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1988, v:37, n:3, pp:292-311 [Journal ] Jean R. S. Blair , Phil Kearns , Mary Lou Soffa An optimistic implementation of the stack-heap. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1985, v:5, n:3, pp:193-202 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 2003, v:38, n:6, pp:16-22 [Journal ] Mary Lou Soffa 1999 SIGPLAN Awards. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 2000, v:35, n:3, pp:2-3 [Journal ] Mary Lou Soffa 1998 SIGPLAN Awards. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1998, v:33, n:9, pp:1-3 [Journal ] Mary Lou Soffa , David Notkin SIGPLAN and SIGSOFT Joint Efforts. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1998, v:33, n:12, pp:1- [Journal ] Mary Jean Harrold , Mary Lou Soffa Selecting and Using Data fro Integration Testing. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1991, v:8, n:2, pp:58-65 [Journal ] Mary P. Bivens , Mary Lou Soffa Incremental Register Reallocation. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1990, v:20, n:10, pp:1015-1047 [Journal ] Brian A. Malloy , Mary Lou Soffa Conversion of Simulation Processes to Pascal Constructs. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1990, v:20, n:2, pp:191-207 [Journal ] W. Pauli , Mary Lou Soffa Coroutine Behaviour and Implementation. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1980, v:10, n:3, pp:189-204 [Journal ] Deborah Whitfield , Mary Lou Soffa The Design and Implementation of Genesis. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1994, v:24, n:3, pp:307-325 [Journal ] Rajiv Gupta , Mary Jean Harrold , Mary Lou Soffa Program Slicing-Based Regression Testing Techniques. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 1996, v:6, n:2, pp:83-111 [Journal ] Rajiv Gupta , Mary Lou Soffa Employing Static Information in the Generation of Test Cases. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 1993, v:3, n:1, pp:29-48 [Journal ] Min Zhao , Bruce R. Childers , Mary Lou Soffa An approach toward profit-driven optimization. [Citation Graph (0, 0)][DBLP ] TACO, 2006, v:3, n:3, pp:231-262 [Journal ] Donna J. Quammen , John P. Kearns , Mary Lou Soffa Efficient Storage Management for Temporary Values in Concurrent Programming Languages. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1985, v:34, n:9, pp:832-840 [Journal ] Evelyn Duesterwald , Rajiv Gupta , Mary Lou Soffa A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1997, v:19, n:6, pp:992-1030 [Journal ] Rajiv Gupta , Mary Lou Soffa , Denise Ombres Efficient Register Allocation via Coloring Using Clique Separators. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:370-386 [Journal ] Mary Jean Harrold , Mary Lou Soffa Efficient Computation of Interprocedural Definition-Use Chains. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:2, pp:175-204 [Journal ] Gary Lindstrom , Mary Lou Soffa Referencing and Retention in Block-Structured Coroutines. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1981, v:3, n:3, pp:263-292 [Journal ] Lori L. Pollock , Mary Lou Soffa Incremental Global Reoptimization of Programs. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1992, v:14, n:2, pp:173-200 [Journal ] Deborah Whitfield , Mary Lou Soffa An Approach for Exploring Code-Improving Transformations. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1997, v:19, n:6, pp:1053-1084 [Journal ] Carlo Ghezzi , Jeff Magee , H. Dieter Rombach , Mary Lou Soffa Editorial. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:1, pp:1-2 [Journal ] Rajiv Gupta , Mary Lou Soffa , John Howard Hybrid Slicing: Integrating Dynamic Information with Static Analysis. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1997, v:6, n:4, pp:370-397 [Journal ] Mary Jean Harrold , Rajiv Gupta , Mary Lou Soffa A Methodology for Controlling the Size of a Test Suite. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1993, v:2, n:3, pp:270-285 [Journal ] Barbara G. Ryder , Mary Lou Soffa , Margaret M. Burnett The impact of software engineering research on modern progamming languages. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:4, pp:431-477 [Journal ] Rajiv Gupta , Mary Lou Soffa Compile-Time Techniques for Improving Scalar Access Performance in Parallel Memories. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1991, v:2, n:2, pp:138-148 [Journal ] Robert Kramer , Rajiv Gupta , Mary Lou Soffa The Combining DAG: A Technique for Parallel Data Flow Analysis. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1994, v:5, n:8, pp:805-813 [Journal ] Brian A. Malloy , Errol L. Lloyd , Mary Lou Soffa Scheduling DAG's for Asynchronous Multiprocessor Execution. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1994, v:5, n:5, pp:498-508 [Journal ] Henri E. Bal , Boumediene Belkhouche , Mary Lou Soffa Introduction to the Special Section. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1995, v:21, n:11, pp:881-882 [Journal ] Rajiv Gupta , Mary Lou Soffa Region Scheduling: An Approach for Detecting and Redistributing Parallelism. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1990, v:16, n:4, pp:421-431 [Journal ] John P. Kearns , Carol J. Meier , Mary Lou Soffa The Performance Evaluation of Control Implementations. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1982, v:8, n:2, pp:89-96 [Journal ] Atif M. Memon , Martha E. Pollack , Mary Lou Soffa Hierarchical GUI Test Case Generation Using Automated Planning. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2001, v:27, n:2, pp:144-155 [Journal ] Lori L. Pollock , Mary Lou Soffa An Incremental Version of Iterative Data Flow Analysis. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1989, v:15, n:12, pp:1537-1549 [Journal ] Ching-Chy Wang , Mary Lou Soffa Eager Reclamation. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1985, v:11, n:4, pp:437-439 [Journal ] Apala Guha , Kim M. Hazelwood , Mary Lou Soffa Reducing Exit Stub Memory Consumption in Code Caches. [Citation Graph (0, 0)][DBLP ] HiPEAC, 2007, pp:87-101 [Conf ] Apala Guha , Jason Hiser , Naveen Kumar , Jing Yang , Min Zhao , Shukang Zhou , Bruce R. Childers , Jack W. Davidson , Kim M. Hazelwood , Mary Lou Soffa Virtual Execution Environments: Support and Tools. [Citation Graph (0, 0)][DBLP ] IPDPS, 2007, pp:1-6 [Conf ] Wei Le , Mary Lou Soffa Refining buffer overflow detection via demand-driven path-sensitive analysis. [Citation Graph (0, 0)][DBLP ] PASTE, 2007, pp:63-68 [Conf ] A Framework for Exploring Optimization Properties. [Citation Graph (, )][DBLP ] Transparent Debugging of Dynamically Optimized Code. [Citation Graph (, )][DBLP ] Contention aware execution: online contention detection and response. [Citation Graph (, )][DBLP ] Path Sensitive Analysis for Security Flaws. [Citation Graph (, )][DBLP ] Test suite reduction and prioritization with call trees. [Citation Graph (, )][DBLP ] Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. [Citation Graph (, )][DBLP ] Effective source-level debugging of wireless sensor networks. [Citation Graph (, )][DBLP ] Marple: a demand-driven path-sensitive buffer overflow detector. [Citation Graph (, )][DBLP ] Program representations for testing wireless sensor network applications. [Citation Graph (, )][DBLP ] DBT path selection for holistic memory efficiency and performance. [Citation Graph (, )][DBLP ] Database-aware test coverage monitoring. [Citation Graph (, )][DBLP ] Search in 0.214secs, Finished in 0.221secs