Control Separation in programming languages. - Michael J. Lemon; Gary Lindstrom; Mary Lou Soffa (ACM Annual Conference, 1977)

An instructional aid for student programs. - Sally S. Robinson; Mary Lou Soffa (SIGCSE, 1980)

Coroutine Behaviour and Implementation. - W. Pauli; Mary Lou Soffa (Softw. Pract. Exp., 1980)

Referencing and Retention in Block-Structured Coroutines. - Gary Lindstrom; Mary Lou Soffa (ACM Trans. Program. Lang. Syst., 1981)

Control Discipline Necessity: Making the Language as General as the Implementation. - Mary Lou Soffa (BIT, 1982)

The Performance Evaluation of Control Implementations. - John P. Kearns; Carol J. Meier; Mary Lou Soffa (IEEE Trans. Software Eng., 1982)

The Implementation of Retention in a Coroutine Environment. - John P. Kearns; Mary Lou Soffa (Acta Informatica, 1983)

The Contraction of Control Implementations. - Lawrence A. Coon; John P. Kearns; Mary Lou Soffa (Comput. Lang., 1983)

Reverse Execution in a Generalized Control Regime. - Fernando Lafora; Mary Lou Soffa (Comput. Lang., 1984)

Incremental Compilation of Locally Optimized Code. - Lori L. Pollock; Mary Lou Soffa (POPL, 1985)

The efficiency of storage management schemes for Ada programs. - Rajiv Gupta 001; Mary Lou Soffa (SIGAda, 1985)

An optimistic implementation of the stack-heap. - Jean R. S. Blair; Phil Kearns; Mary Lou Soffa (J. Syst. Softw., 1985)

Efficient Storage Management for Temporary Values in Concurrent Programming Languages. - Donna J. Quammen; John P. Kearns; Mary Lou Soffa (IEEE Trans. Computers, 1985)

Eager Reclamation. - Ching-Chy Wang; Mary Lou Soffa (IEEE Trans. Software Eng., 1985)

Feedback Vertex Sets and Cyclically Reducible Graphs - Ching-Chy Wang; Errol L. Lloyd; Mary Lou Soffa (J. ACM, 1985)

SHAPE: a highly adaptable and parallel system. - Rajiv Gupta 001; Mary Lou Soffa (ACM Conference on Computer Science, 1986)

SIMCAL: the merger of Simula and Pascal. - Brian A. Malloy; Mary Lou Soffa (WSC, 1986)

A Reconfigurable LIW Architecture. - Rajiv Gupta 001; Mary Lou Soffa (ICPP, 1987)

An incremental approach to unit testing during maintenance. - Mary Jean Harrold; Mary Lou Soffa (ICSM, 1988)

Compile-time Techniques for Efficient Utilization of Parallel Memories. - Rajiv Gupta 001; Mary Lou Soffa (PPOPP/PPEALS, 1988)

On Locating Minimum Feedback Vertex Sets. - Errol L. Lloyd; Mary Lou Soffa (J. Comput. Syst. Sci., 1988)

Reuse of Compiler Analysis in a Programming Environment. - M. P. Blivens; Mary Lou Soffa (ACM Conference on Computer Science, 1989)

Interprocedual Data Flow Testing. - Mary Jean Harrold; Mary Lou Soffa (Symposium on Testing, Analysis, and Verification, 1989)

Register Allocation via Clique Separators. - Rajiv Gupta 001; Mary Lou Soffa; Tim Steele (PLDI, 1989)

Compilation techniques for a reconfigurable LIW architecture. - Rajiv Gupta 001; Mary Lou Soffa (J. Supercomput., 1989)

An Incremental Version of Iterative Data Flow Analysis. - Lori L. Pollock; Mary Lou Soffa (IEEE Trans. Software Eng., 1989)

Computation of Interprocedural Definition and Use Dependencies. - Mary Jean Harrold; Mary Lou Soffa (ICCL, 1990)

Incremental Global Optimization for Faster Recompilations. - Lori L. Pollock; Mary Lou Soffa (ICCL, 1990)

A methodology for controlling the size of a test suite. - Mary Jean Harrold; Rajiv Gupta 001; Mary Lou Soffa (ICSM, 1990)

An Approach to Ordering Optimizing Transformations. - Deborah Whitfield; Mary Lou Soffa (PPoPP, 1990)

Architectural support for register allocation in the presence of aliasing. - Ben Heggy; Mary Lou Soffa (SC, 1990)

Incremental Register Reallocation. - Mary P. Bivens; Mary Lou Soffa (Softw. Pract. Exp., 1990)

Conversion of Simulation Processes to Pascal Constructs. - Brian A. Malloy; Mary Lou Soffa (Softw. Pract. Exp., 1990)

Region Scheduling: An Approach for Detecting and Redistributing Parallelism. - Rajiv Gupta 001; Mary Lou Soffa (IEEE Trans. Software Eng., 1990)

Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework. - Evelyn Duesterwald; Mary Lou Soffa (Symposium on Testing, Analysis, and Verification, 1991)

Parallel Generational Garbage Collection. - Ravi Sharma; Mary Lou Soffa (OOPSLA, 1991)

Debugging Parallelized Code Using Code Liberation Techniques. - Patricia Prather Pineo; Mary Lou Soffa (Workshop on Parallel and Distributed Debugging, 1991)

Automatic Generation of Global Optimizers. - Deborah Whitfield; Mary Lou Soffa (PLDI, 1991)

Selecting and Using Data fro Integration Testing. - Mary Jean Harrold; Mary Lou Soffa (IEEE Softw., 1991)

Compile-Time Techniques for Improving Scalar Access Performance in Parallel Memories. - Rajiv Gupta 001; Mary Lou Soffa (IEEE Trans. Parallel Distributed Syst., 1991)

A Visual Optimization Specification Language. - Chyi-Ren Dow; Mary Lou Soffa; Shi-Kuo Chang (Advanced Visual Interfaces, 1992)

Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables. - Evelyn Duesterwald; Rajiv Gupta 001; Mary Lou Soffa (CC, 1992)

A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors. - Brian A. Malloy; Errol L. Lloyd; Mary Lou Soffa (ICCI, 1992)

An approach to regression testing using slicing. - Rajiv Gupta 001; Mary Jean Harrold; Mary Lou Soffa (ICSM, 1992)

Automatic Generation of a Compact Test Suit. - Rajiv Gupta 001; Mary Lou Soffa (IFIP Congress (1), 1992)

The Combining Dag: A Technique for Parallel DataMow Analysis. - Robert Kramer; Rajiv Gupta 001; Mary Lou Soffa (IPPS, 1992)

Distributed Slicing and Partial Re-execution for Distributed Programs. - Evelyn Duesterwald; Rajiv Gupta 001; Mary Lou Soffa (LCPC, 1992)

A shape matching approach for scheduling fine-grained parallelism. - Brian A. Malloy; Rajiv Gupta 001; Mary Lou Soffa (MICRO, 1992)

Parallel Task Assignment by Graph Partitioning. - Shan Fan Liu; Mary Lou Soffa (PARLE, 1992)

A Visualization System for Parallelizing Programs. - Chyi-Ren Dow; Shi-Kuo Chang; Mary Lou Soffa (SC, 1992)

Techniques for Integrating Parallelizing Transformations and Compiler-Based Scheduling Methods. - Tia M. Watts; Mary Lou Soffa; Rajiv Gupta 001 (SC, 1992)

Incremental Global Reoptimization of Programs. - Lori L. Pollock; Mary Lou Soffa (ACM Trans. Program. Lang. Syst., 1992)

Investigating Properties of Code Transformations. - Deborah Whitfield; Mary Lou Soffa (ICPP (2), 1993)

URSA: A Unified ReSource Allocator for Registers and Functional Units in VLIW Architectures. - David A. Berson; Rajiv Gupta 001; Mary Lou Soffa (Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, 1993)

A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations. - Evelyn Duesterwald; Rajiv Gupta 001; Mary Lou Soffa (PLDI, 1993)

Employing Static Information in the Generation of Test Cases. - Rajiv Gupta 001; Mary Lou Soffa (Softw. Test. Verification Reliab., 1993)

Reducing the Cost of Data Flow Analysis By Congruence Partitioning. - Evelyn Duesterwald; Rajiv Gupta 001; Mary Lou Soffa (CC, 1994)

A Practical Approach to the Symbolic Debugging of Parallelized Code. - Patricia Prather Pineo; Mary Lou Soffa (CC, 1994)

An Efficient Technique to Remove Transformations. - Chyi-Ren Dow; Mary Lou Soffa; Shi-Kuo Chang (ICPADS, 1994)

Undoing Code Transformations in an Independent Order. - Chyi-Ren Dow; Mary Lou Soffa; Shi-Kuo Chang (ICPP (2), 1994)

A Framework for Partial Data Flow Analysis. - Rajiv Gupta 001; Mary Lou Soffa (ICSM, 1994)

Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers. - David A. Berson; Rajiv Gupta 001; Mary Lou Soffa (IFIP PACT, 1994)

Debugging Optimized Code Via Tailoring (Abstract). - Lori L. Pollock; Mary P. Bivens; Mary Lou Soffa (ISSTA, 1994)

The Design and Implementation of Genesis. - Deborah Whitfield; Mary Lou Soffa (Softw. Pract. Exp., 1994)

Efficient Register Allocation via Coloring Using Clique Separators. - Rajiv Gupta 001; Mary Lou Soffa; Denise Ombres (ACM Trans. Program. Lang. Syst., 1994)

Efficient Computation of Interprocedural Definition-Use Chains. - Mary Jean Harrold; Mary Lou Soffa (ACM Trans. Program. Lang. Syst., 1994)

The Combining DAG: A Technique for Parallel Data Flow Analysis. - Robert Kramer; Rajiv Gupta 001; Mary Lou Soffa (IEEE Trans. Parallel Distributed Syst., 1994)

Scheduling DAG's for Asynchronous Multiprocessor Execution. - Brian A. Malloy; Errol L. Lloyd; Mary Lou Soffa (IEEE Trans. Parallel Distributed Syst., 1994)

Practical approach to single assignment code. - Patricia Prather Pineo; Mary Lou Soffa (PACT, 1995)

Priority based data flow testing. - Rajiv Gupta 001; Mary Lou Soffa (ICSM, 1995)

GURRR: A Global Unified Resource Requirements Representation. - David A. Berson; Rajiv Gupta 001; Mary Lou Soffa (Intermediate Representations Workshop, 1995)

Demand-driven Computation of Interprocedural Data Flow. - Evelyn Duesterwald; Rajiv Gupta 001; Mary Lou Soffa (POPL, 1995)

Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information. - Rajiv Gupta 001; Mary Lou Soffa (SIGSOFT FSE, 1995)

Introduction to the Special Section. - Henri E. Bal; Boumediene Belkhouche; Mary Lou Soffa (IEEE Trans. Software Eng., 1995)

A Demand-Driven Analyzer for Data Flow Testing at the Integration Level. - Evelyn Duesterwald; Rajiv Gupta 001; Mary Lou Soffa (ICSE, 1996)

Integrating Program Optimizations and Transformations with the Scheduling of Instruction Level Parallelism. - David A. Berson; Pohua P. Chang; Rajiv Gupta 001; Mary Lou Soffa (LCPC, 1996)

Program Slicing-Based Regression Testing Techniques. - Rajiv Gupta 001; Mary Jean Harrold; Mary Lou Soffa (Softw. Test. Verification Reliab., 1996)

Refining Data Flow Information Using Infeasible Paths. - Rastislav Bodík; Rajiv Gupta 001; Mary Lou Soffa (ESEC / SIGSOFT FSE, 1997)

Interprocedural Conditional Branch Elimination. - Rastislav Bodík; Rajiv Gupta 001; Mary Lou Soffa (PLDI, 1997)

A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis. - Evelyn Duesterwald; Rajiv Gupta 001; Mary Lou Soffa (ACM Trans. Program. Lang. Syst., 1997)

An Approach for Exploring Code-Improving Transformations. - Deborah Whitfield; Mary Lou Soffa (ACM Trans. Program. Lang. Syst., 1997)

Hybrid Slicing: Integrating Dynamic Information with Static Analysis. - Rajiv Gupta 001; Mary Lou Soffa; John Howard (ACM Trans. Softw. Eng. Methodol., 1997)

Capturing the Effects of Code Improving Transformations. - Clara Jaramillo; Rajiv Gupta 001; Mary Lou Soffa (IEEE PACT, 1998)

Integrated Instruction Scheduling and Register Allocation Techniques. - David A. Berson; Rajiv Gupta 001; Mary Lou Soffa (LCPC, 1998)

Data Flow Analysis Driven Dynamic Data Partitioning. - Jodi L. Tims; Rajiv Gupta 001; Mary Lou Soffa (LCR, 1998)

Complete Removal of Redundant Computations. - Rastislav Bodík; Rajiv Gupta 001; Mary Lou Soffa (PLDI, 1998)

Complete removal of redundant expressions (with retrospective) - Rastislav Bodík; Rajiv Gupta 001; Mary Lou Soffa (Best of PLDI, 1998)

Automated Test Data Generation Using an Iterative Relaxation Method. - Neelam Gupta; Aditya P. Mathur; Mary Lou Soffa (SIGSOFT FSE, 1998)

1998 SIGPLAN Awards. - Mary Lou Soffa (ACM SIGPLAN Notices, 1998)

SIGPLAN and SIGSOFT Joint Efforts. - Mary Lou Soffa; David Notkin (ACM SIGPLAN Notices, 1998)

Comparison Checking: An Approach to Avoid Debugging of Optimized Code. - Clara Jaramillo; Rajiv Gupta 001; Mary Lou Soffa (ESEC / SIGSOFT FSE, 1999)

Global Context-Based Value Prediction. - Tarun Nakra; Rajiv Gupta 001; Mary Lou Soffa (HPCA, 1999)

Using a Goal-Driven Approach to Generate Test Cases for GUIs. - Atif M. Memon; Martha E. Pollack; Mary Lou Soffa (ICSE, 1999)

Value Prediction in VLIW Machines. - Tarun Nakra; Rajiv Gupta 001; Mary Lou Soffa (ISCA, 1999)

UNA Based Iterative Test Data Generation and Its Evaluation. - Neelam Gupta; Aditya P. Mathur; Mary Lou Soffa (ASE, 1999)

Load-Reuse Analysis: Design and Evaluation. - Rastislav Bodík; Rajiv Gupta 001; Mary Lou Soffa (PLDI, 1999)

Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. - Mary Lou Soffa (SAS, 1999)

Plan Generation for GUI Testing. - Atif M. Memon; Martha E. Pollack; Mary Lou Soffa (AIPS, 2000)

Generating Test Data for Branch Coverage. - Neelam Gupta; Aditya P. Mathur; Mary Lou Soffa (ASE, 2000)

FULLDOC: A Full Reporting Debugger for Optimized Code. - Clara Jaramillo; Rajiv Gupta 001; Mary Lou Soffa (SAS, 2000)

Automated test oracles for GUIs. - Atif M. Memon; Martha E. Pollack; Mary Lou Soffa (SIGSOFT FSE, 2000)

1999 SIGPLAN Awards. - Mary Lou Soffa (ACM SIGPLAN Notices, 2000)

Using Component Metacontent to Support the Regression Testing of Component-Based Software. - Alessandro Orso; Mary Jean Harrold; David S. Rosenblum; Gregg Rothermel; Mary Lou Soffa; Hyunsook Do (ICSM, 2001)

Coverage criteria for GUI testing. - Atif M. Memon; Mary Lou Soffa; Martha E. Pollack (ESEC / SIGSOFT FSE, 2001)

Hierarchical GUI Test Case Generation Using Automated Planning. - Atif M. Memon; Martha E. Pollack; Mary Lou Soffa (IEEE Trans. Software Eng., 2001)

Debugging and Testing Optimizers through Comparison Checking. - Clara Jaramillo; Rajiv Gupta 001; Mary Lou Soffa (COCV@ETAPS, 2002)

Shortchanging the future of information technology: the untapped resource. - Angela M. Balcita; Doris L. Carver; Mary Lou Soffa (ACM SIGCSE Bull., 2002)

Retargetable and Reconfigurable Software Dynamic Translation. - Kevin Scott; Naveen Kumar 002; S. Velusamy; Bruce R. Childers; Jack W. Davidson; Mary Lou Soffa (CGO, 2003)

Report on the ICSE 2003 Doctoral Symposium. - Dick Hamlet; Mary Lou Soffa (ICSE, 2003)

Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation. - Bruce R. Childers; Jack W. Davidson; Mary Lou Soffa (IPDPS, 2003)

Predicting the impact of optimizations for embedded systems. - Min Zhao 009; Bruce R. Childers; Mary Lou Soffa (LCTES, 2003)

SoftTest: a framework for software testing of Java programs. - Bruce R. Childers; Mary Lou Soffa; Jon Beaver; Lidiya Ber; Kevin Cammarata; Tom Kane; Juliya Litman; Jonathan Misurda (eTX, 2003)

The Limits of Speculative Trace Reuse on Deeply Pipelined Processors. - Maurício L. Pilla; Amarildo T. da Costa; Felipe M. G. França; Bruce R. Childers; Mary Lou Soffa (SBAC-PAD, 2003)

A study to identify predictors of achievement in an introductory computer science course. - Sandra Katz; John M. Aronis; David Allbritton; Christine Wilson; Mary Lou Soffa (CPR, 2003)

A family of test adequacy criteria for database-driven applications. - Gregory M. Kapfhammer; Mary Lou Soffa (ESEC / SIGSOFT FSE, 2003)

Regression testing of GUIs. - Atif M. Memon; Mary Lou Soffa (ESEC / SIGSOFT FSE, 2003)

Influences on the design of exception handling ACM SIGSOFT project on the impact of software engineering research on programming language design. - Barbara G. Ryder; Mary Lou Soffa (ACM SIGSOFT Softw. Eng. Notes, 2003)

Gender and race in predicting achievement in computer science. - Sandra Katz; John M. Aronis; David Allbritton; Christine Wilson; Mary Lou Soffa (IEEE Technol. Soc. Mag., 2003)

Editorial. - Carlo Ghezzi; Jeff Magee; H. Dieter Rombach; Mary Lou Soffa (ACM Trans. Softw. Eng. Methodol., 2003)

Developing a Foundation for Code Optimization. - Mary Lou Soffa (CC, 2004)

Increasing Diversity in the Information Technology Workforce: Implications from a Study of Factors that Predict Achievement in CS. - Sandra Katz; David Allbritton; John M. Aronis; Christine Wilson; Mary Lou Soffa (ICLS, 2004)

Overhead Reduction Techniques for Software Dynamic Translation. - Kevin Scott; Naveen Kumar 002; Bruce R. Childers; Jack W. Davidson; Mary Lou Soffa (IPDPS Next Generation Software Program - NSFNGS - PI Workshop, 2004)

Instrumentation in software dynamic translators for self-managed systems. - Naveen Kumar 002; Jonathan Misurda; Bruce R. Childers; Mary Lou Soffa (WOSS, 2004)

Tdb: a source-level debugger for dynamically translated programs. - Naveen Kumar 002; Bruce R. Childers; Mary Lou Soffa (AADEBUG, 2005)

Jazz: A Tool for Demand-Driven Structural Testing. - Jonathan Misurda; James A. Clause; Juliya L. Reed; Bruce R. Childers; Mary Lou Soffa (CC, 2005)

Model-Based Framework: An Approach for Profit-Driven Optimization. - Min Zhao 009; Bruce R. Childers; Mary Lou Soffa (CGO, 2005)

Demand-driven structural testing with dynamic instrumentation. - Jonathan Misurda; James A. Clause; Juliya L. Reed; Bruce R. Childers; Mary Lou Soffa (ICSE, 2005)

Testing in resource constrained execution environments. - Gregory M. Kapfhammer; Mary Lou Soffa; Daniel Mossé (ASE, 2005)

Low overhead program monitoring and profiling. - Naveen Kumar 002; Bruce R. Childers; Mary Lou Soffa (PASTE, 2005)

Planning for code buffer management in distributed virtual execution environments. - Shukang Zhou; Bruce R. Childers; Mary Lou Soffa (VEE, 2005)

Compile-Time Planning for Overhead Reduction in Software Dynamic Translators. - Naveen Kumar 002; Bruce R. Childers; Daniel W. Williams; Jack W. Davidson; Mary Lou Soffa (Int. J. Parallel Program., 2005)

The impact of software engineering research on modern programming languages. - Barbara G. Ryder; Mary Lou Soffa; Margaret M. Burnett (ACM Trans. Softw. Eng. Methodol., 2005)

Techniques and tools for dynamic optimization. - Jason Hiser; Naveen Kumar 002; Min Zhao 009; Shukang Zhou; Bruce R. Childers; Jack W. Davidson; Mary Lou Soffa (IPDPS, 2006)

TimeAware test suite prioritization. - Kristen R. Walcott; Mary Lou Soffa; Gregory M. Kapfhammer; Robert S. Roos (ISSTA, 2006)

Catching and Identifying Bugs in Register Allocation. - Yuqiang Huang; Bruce R. Childers; Mary Lou Soffa (SAS, 2006)

Gender, achievement, and persistence in an undergraduate computer science program. - Sandra Katz; David Allbritton; John M. Aronis; Christine Wilson; Mary Lou Soffa (Data Base, 2006)

An approach toward profit-driven optimization. - Min Zhao 009; Bruce R. Childers; Mary Lou Soffa (ACM Trans. Archit. Code Optim., 2006)

Reducing Exit Stub Memory Consumption in Code Caches. - Apala Guha; Kim M. Hazelwood; Mary Lou Soffa (HiPEAC, 2007)

Virtual Execution Environments: Support and Tools. - Apala Guha; Jason Hiser; Naveen Kumar 002; Jing Yang 003; Min Zhao 009; Shukang Zhou; Bruce R. Childers; Jack W. Davidson; Kim M. Hazelwood; Mary Lou Soffa (IPDPS, 2007)

Test suite reduction and prioritization with call trees. - Adam M. Smith 002; Joshua Geiger; Gregory M. Kapfhammer; Mary Lou Soffa (ASE, 2007)

Refining buffer overflow detection via demand-driven path-sensitive analysis. - Wei Le; Mary Lou Soffa (PASTE, 2007)

Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. - Jing Yang 003; Mary Lou Soffa; Leo Selavo; Kamin Whitehouse (SenSys, 2007)

Effective source-level debugging of wireless sensor networks. - Jing Yang 003; Mary Lou Soffa; Kamin Whitehouse (SenSys, 2007)

Program representations for testing wireless sensor network applications. - Nguyet T. M. Nguyen; Mary Lou Soffa (DOSTA, 2007)

08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. - Erik R. Altman; Bruce R. Childers; Robert S. Cohn; Jack W. Davidson; Koen De Bosschere; Bjorn De Sutter; M. Anton Ertl; Michael Franz; Yuan Xiang Gu; Matthias Hauswirth; Thomas Heinz 001; Wei-Chung Hsu; et al. (Emerging Uses and Paradigms for Dynamic Binary Translation, 2008)

08441 Abstracts Collection - Emerging Uses and Paradigms for Dynamic Binary Translation. - Bruce R. Childers; Jack W. Davidson; Koen De Bosschere; Mary Lou Soffa (Emerging Uses and Paradigms for Dynamic Binary Translation, 2008)

Path Sensitive Analysis for Security Flaws. - Mary Lou Soffa (HASE, 2008)

Database-aware test coverage monitoring. - Gregory M. Kapfhammer; Mary Lou Soffa (ISEC, 2008)

Marple: a demand-driven path-sensitive buffer overflow detector. - Wei Le; Mary Lou Soffa (SIGSOFT FSE, 2008)

A Framework for Exploring Optimization Properties. - Min Zhao 009; Bruce R. Childers; Mary Lou Soffa (CC, 2009)

Transparent Debugging of Dynamically Optimized Code. - Naveen Kumar 002; Bruce R. Childers; Mary Lou Soffa (CGO, 2009)

Balancing memory and performance through selective flushing of software code caches. - Apala Guha; Kim M. Hazelwood; Mary Lou Soffa (CASES, 2010)

Contention aware execution: online contention detection and response. - Jason Mars; Neil Vachharajani; Robert Hundt; Mary Lou Soffa (CGO, 2010)

Path-based fault correlations. - Wei Le; Mary Lou Soffa (SIGSOFT FSE, 2010)

DBT path selection for holistic memory efficiency and performance. - Apala Guha; Kim M. Hazelwood; Mary Lou Soffa (VEE, 2010)

Detecting bugs in register allocation. - Yuqiang Huang; Bruce R. Childers; Mary Lou Soffa (ACM Trans. Program. Lang. Syst., 2010)

Focusing high school teachers on attracting diverse students to computer science and engineering. - James P. Cohoon; Joanne McGrath Cohoon; Mary Lou Soffa (FIE, 2011)

Directly characterizing cross core interference through contention synthesis. - Jason Mars; Lingjia Tang; Mary Lou Soffa (HiPEAC, 2011)

Lazy preemption to enable path-based analysis of interrupt-driven code. - Wei Le; Jing Yang 003; Mary Lou Soffa; Kamin Whitehouse (SESENA@ICSE, 2011)

Exploiting hardware advances for software testing and debugging. - Mary Lou Soffa; Kristen R. Walcott; Jason Mars (ICSE, 2011)

The impact of memory subsystem resource sharing on datacenter applications. - Lingjia Tang; Jason Mars; Neil Vachharajani; Robert Hundt; Mary Lou Soffa (ISCA, 2011)

Characterizing multi-threaded applications based on shared-resource contention. - Tanima Dey; Wei Wang 054; Jack W. Davidson; Mary Lou Soffa (ISPASS, 2011)

Generating analyses for detecting faults in path segments. - Wei Le; Mary Lou Soffa (ISSTA, 2011)

Bubble-Up: increasing utilization in modern warehouse scale computers via sensible co-locations. - Jason Mars; Lingjia Tang; Robert Hundt; Kevin Skadron; Mary Lou Soffa (MICRO, 2011)

Jazz2: a flexible and extensible framework for structural testing in a Java VM. - Jonathan Misurda; Bruce R. Childers; Mary Lou Soffa (PPPJ, 2011)

Compiling for niceness: mitigating contention for QoS in warehouse scale computers. - Lingjia Tang; Jason Mars; Mary Lou Soffa (CGO, 2012)

Performance analysis of thread mappings with a holistic view of the hardware resources. - Wei Wang 054; Tanima Dey; Jason Mars; Lingjia Tang; Jack W. Davidson; Mary Lou Soffa (ISPASS, 2012)

THeME: a system for testing by hardware monitoring events. - Kristen Walcott-Justice; Jason Mars; Mary Lou Soffa (ISSTA, 2012)

REEact: a customizable virtual execution manager for multicore platforms. - Wei Wang 054; Tanima Dey; Ryan W. Moore; Mahmut Aktasoglu; Bruce R. Childers; Jack W. Davidson; Mary Jane Irwin; Mahmut T. Kandemir; Mary Lou Soffa (VEE, 2012)

Increasing Utilization in Modern Warehouse-Scale Computers Using Bubble-Up. - Jason Mars; Lingjia Tang; Kevin Skadron; Mary Lou Soffa; Robert Hundt (IEEE Micro, 2012)

Memory optimization of dynamic binary translators for embedded systems. - Apala Guha; Kim M. Hazelwood; Mary Lou Soffa (ACM Trans. Archit. Code Optim., 2012)

ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers. - Lingjia Tang; Jason Mars; Wei Wang 054; Tanima Dey; Mary Lou Soffa (ASPLOS, 2013)

Educating Diverse Computing Students at the University of Virginia. - James P. Cohoon; Joanne McGrath Cohoon; Mary Lou Soffa (Computer, 2013)

ReSense: Mapping dynamic workloads of colocated multithreaded applications using resource sensitivity. - Tanima Dey; Wei Wang 054; Jack W. Davidson; Mary Lou Soffa (ACM Trans. Archit. Code Optim., 2013)

Marple: Detecting faults in path segments using automatically generated analyses. - Wei Le; Mary Lou Soffa (ACM Trans. Softw. Eng. Methodol., 2013)

DraMon: Predicting memory bandwidth usage of multi-threaded programs with high accuracy and low overhead. - Wei Wang 054; Tanima Dey; Jack W. Davidson; Mary Lou Soffa (HPCA, 2014)

Predicting the memory bandwidth and optimal core allocations for multi-threaded applications on large-scale NUMA machines. - Wei Wang 054; Jack W. Davidson; Mary Lou Soffa (HPCA, 2016)

Testing Cloud Applications under Cloud-Uncertainty Performance Effects. - Wei Wang 054; Ningjing Tian; Sunzhou Huang; Sen He 002; Abhijeet Srivastava; Mary Lou Soffa; Lori L. Pollock (ICST, 2018)

Black-Box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers. - Ji Gao; Jack Lanchantin; Mary Lou Soffa; Yanjun Qi (IEEE Symposium on Security and Privacy Workshops, 2018)

A statistics-based performance testing methodology for cloud applications. - Sen He 002; Glenna Manns; John Saunders; Wei Wang 054; Lori L. Pollock; Mary Lou Soffa (ESEC/SIGSOFT FSE, 2019)

Is rust used safely by software developers? - Ana Nora Evans; Bradford Campbell; Mary Lou Soffa (ICSE, 2020)

Testing deep neural networks (keynote). - Mary Lou Soffa (SPLASH (Companion), 2020)

A Language for Autonomous Vehicles Testing Oracles. - Ana Nora Evans; Mary Lou Soffa; Sebastian G. Elbaum (CoRR, 2020)

Message from the Program Chairs. - Mary Lou Soffa; Ayal Zaks (CGO, 2021)

Distribution-Aware Testing of Neural Networks Using Generative Models. - Swaroopa Dola; Matthew B. Dwyer; Mary Lou Soffa (ICSE, 2021)

Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models. - Swaroopa Dola; Matthew B. Dwyer; Mary Lou Soffa (ICSE (Companion Volume), 2021)

Distribution-aware testing of neural networks using generative models. - Swaroopa Dola; Matthew B. Dwyer; Mary Lou Soffa (Zenodo, 2021)

Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing. - Swaroopa Dola; Matthew B. Dwyer; Mary Lou Soffa (ACM Trans. Softw. Eng. Methodol., 2023)

CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing. - Swaroopa Dola; Rory McDaniel; Matthew B. Dwyer; Mary Lou Soffa (ICSE, 2024)