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