Mary Lou Soffa

According to our database1, Mary Lou Soffa
  • authored at least 174 papers between 1977 and 2016.
  • has a "Dijkstra number"2 of four.

Awards

ACM Fellow

ACM Fellow 1999, "For the development and enhancement of code improving transformations and the efficient design of program analysis algorithms for use in compilers and software engineering tools.".

IEEE Fellow

IEEE Fellow 2013, "For contributions to improved efficiency and robustness of software".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2016
Predicting the memory bandwidth and optimal core allocations for multi-threaded applications on large-scale NUMA machines.
Proceedings of the 2016 IEEE International Symposium on High Performance Computer Architecture, 2016

2014
DraMon: Predicting memory bandwidth usage of multi-threaded programs with high accuracy and low overhead.
Proceedings of the 20th IEEE International Symposium on High Performance Computer Architecture, 2014

2013
Marple: Detecting faults in path segments using automatically generated analyses.
ACM Trans. Softw. Eng. Methodol., 2013

ReSense: Mapping dynamic workloads of colocated multithreaded applications using resource sensitivity.
TACO, 2013

Educating Diverse Computing Students at the University of Virginia.
IEEE Computer, 2013

ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012
Memory optimization of dynamic binary translators for embedded systems.
TACO, 2012

Increasing Utilization in Modern Warehouse-Scale Computers Using Bubble-Up.
IEEE Micro, 2012

REEact: a customizable virtual execution manager for multicore platforms.
Proceedings of the 8th International Conference on Virtual Execution Environments, 2012

THeME: a system for testing by hardware monitoring events.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

Performance analysis of thread mappings with a holistic view of the hardware resources.
Proceedings of the 2012 IEEE International Symposium on Performance Analysis of Systems & Software, 2012

Compiling for niceness: mitigating contention for QoS in warehouse scale computers.
Proceedings of the 10th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2012

2011
Jazz2: a flexible and extensible framework for structural testing in a Java VM.
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011

Bubble-Up: increasing utilization in modern warehouse scale computers via sensible co-locations.
Proceedings of the 44rd Annual IEEE/ACM International Symposium on Microarchitecture, 2011

Generating analyses for detecting faults in path segments.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Characterizing multi-threaded applications based on shared-resource contention.
Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2011

The impact of memory subsystem resource sharing on datacenter applications.
Proceedings of the 38th International Symposium on Computer Architecture (ISCA 2011), 2011

Exploiting hardware advances for software testing and debugging.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Lazy preemption to enable path-based analysis of interrupt-driven code.
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, 2011

Directly characterizing cross core interference through contention synthesis.
Proceedings of the High Performance Embedded Architectures and Compilers, 2011

Focusing high school teachers on attracting diverse students to computer science and engineering.
Proceedings of the 2011 Frontiers in Education Conference, 2011

2010
Detecting bugs in register allocation.
ACM Trans. Program. Lang. Syst., 2010

DBT path selection for holistic memory efficiency and performance.
Proceedings of the 6th International Conference on Virtual Execution Environments, 2010

Path-based fault correlations.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Contention aware execution: online contention detection and response.
Proceedings of the CGO 2010, 2010

Balancing memory and performance through selective flushing of software code caches.
Proceedings of the 2010 International Conference on Compilers, 2010

2009
Transparent Debugging of Dynamically Optimized Code.
Proceedings of the CGO 2009, 2009

A Framework for Exploring Optimization Properties.
Proceedings of the Compiler Construction, 18th International Conference, 2009

2008
Marple: a demand-driven path-sensitive buffer overflow detector.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Database-aware test coverage monitoring.
Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

Path Sensitive Analysis for Security Flaws.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

08441 Abstracts Collection - Emerging Uses and Paradigms for Dynamic Binary Translation.
Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008

08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation.
Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008

2007
Program representations for testing wireless sensor network applications.
Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, 2007

Effective source-level debugging of wireless sensor networks.
Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

Clairvoyant: a comprehensive source-level debugger for wireless sensor networks.
Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

Refining buffer overflow detection via demand-driven path-sensitive analysis.
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

Test suite reduction and prioritization with call trees.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Virtual Execution Environments: Support and Tools.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Reducing Exit Stub Memory Consumption in Code Caches.
Proceedings of the High Performance Embedded Architectures and Compilers, 2007

2006
An approach toward profit-driven optimization.
TACO, 2006

Gender, achievement, and persistence in an undergraduate computer science program.
DATA BASE, 2006

Catching and Identifying Bugs in Register Allocation.
Proceedings of the Static Analysis, 13th International Symposium, 2006

TimeAware test suite prioritization.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Techniques and tools for dynamic optimization.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005
The impact of software engineering research on modern programming languages.
ACM Trans. Softw. Eng. Methodol., 2005

Compile-Time Planning for Overhead Reduction in Software Dynamic Translators.
International Journal of Parallel Programming, 2005

Planning for code buffer management in distributed virtual execution environments.
Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

Low overhead program monitoring and profiling.
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

Testing in resource constrained execution environments.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Demand-driven structural testing with dynamic instrumentation.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Model-Based Framework: An Approach for Profit-Driven Optimization.
Proceedings of the 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 2005

Jazz: A Tool for Demand-Driven Structural Testing.
Proceedings of the Compiler Construction, 14th International Conference, 2005

Tdb: a source-level debugger for dynamically translated programs.
Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2004
Instrumentation in software dynamic translators for self-managed systems.
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004

Overhead Reduction Techniques for Software Dynamic Translation.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Developing a Foundation for Code Optimization.
Proceedings of the Compiler Construction, 13th International Conference, 2004

2003
Editorial.
ACM Trans. Softw. Eng. Methodol., 2003

Gender and race in predicting achievement in computer science.
IEEE Technol. Soc. Mag., 2003

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, 2003

Influences on the design of exception handling: ACM SIGSOFT project on the impact of software engineering research on programming language design.
SIGPLAN Notices, 2003

Regression testing of GUIs.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

A family of test adequacy criteria for database-driven applications.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

A study to identify predictors of achievement in an introductory computer science course.
Proceedings of the 2003 SIGMIS Conference on Computer Personnel Research: Freedom in Philadelphia, 2003

The Limits of Speculative Trace Reuse on Deeply Pipelined Processors.
Proceedings of the 15th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2003), 2003

SoftTest: a framework for software testing of Java programs.
Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003

Predicting the impact of optimizations for embedded systems.
Proceedings of the 2003 Conference on Languages, 2003

Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Report on the ICSE 2003 Doctoral Symposium.
Proceedings of the 25th International Conference on Software Engineering, 2003

Retargetable and Reconfigurable Software Dynamic Translation.
Proceedings of the 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 2003

2002
Shortchanging the future of information technology: the untapped resource.
SIGCSE Bulletin, 2002

Debugging and Testing Optimizers through Comparison Checking.
Electr. Notes Theor. Comput. Sci., 2002

2001
Hierarchical GUI Test Case Generation Using Automated Planning.
IEEE Trans. Software Eng., 2001

Coverage criteria for GUI testing.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Using Component Metacontent to Support the Regression Testing of Component-Based Software.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

2000
1999 SIGPLAN Awards.
SIGPLAN Notices, 2000

Automated test oracles for GUIs.
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

FULLDOC: A Full Reporting Debugger for Optimized Code.
Proceedings of the Static Analysis, 7th International Symposium, 2000

Generating Test Data for Branch Coverage.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Plan Generation for GUI Testing.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis.
Proceedings of the Static Analysis, 6th International Symposium, 1999

Load-Reuse Analysis: Design and Evaluation.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

UNA Based Iterative Test Data Generation and Its Evaluation.
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Value Prediction in VLIW Machines.
Proceedings of the 26th Annual International Symposium on Computer Architecture, 1999

Using a Goal-Driven Approach to Generate Test Cases for GUIs.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Global Context-Based Value Prediction.
Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, 1999

Comparison Checking: An Approach to Avoid Debugging of Optimized Code.
Proceedings of the Software Engineering, 1999

1998
SIGPLAN and SIGSOFT Joint Efforts.
SIGPLAN Notices, 1998

1998 SIGPLAN Awards.
SIGPLAN Notices, 1998

Automated Test Data Generation Using an Iterative Relaxation Method.
Proceedings of the SIGSOFT '98, 1998

Complete removal of redundant expressions (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1998

Complete Removal of Redundant Computations.
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

Data Flow Analysis Driven Dynamic Data Partitioning.
Proceedings of the Languages, 1998

Integrated Instruction Scheduling and Register Allocation Techniques.
Proceedings of the Languages and Compilers for Parallel Computing, 1998

Capturing the Effects of Code Improving Transformations.
Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998

1997
Hybrid Slicing: Integrating Dynamic Information with Static Analysis.
ACM Trans. Softw. Eng. Methodol., 1997

An Approach for Exploring Code-Improving Transformations.
ACM Trans. Program. Lang. Syst., 1997

A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis.
ACM Trans. Program. Lang. Syst., 1997

Interprocedural Conditional Branch Elimination.
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

Refining Data Flow Information Using Infeasible Paths.
Proceedings of the Software Engineering, 1997

1996
Program Slicing-Based Regression Testing Techniques.
Softw. Test., Verif. Reliab., 1996

Integrating Program Optimizations and Transformations with the Scheduling of Instruction Level Parallelism.
Proceedings of the Languages and Compilers for Parallel Computing, 1996

A Demand-Driven Analyzer for Data Flow Testing at the Integration Level.
Proceedings of the 18th International Conference on Software Engineering, 1996

1995
Introduction to the Special Section.
IEEE Trans. Software Eng., 1995

Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information.
Proceedings of the SIGSOFT '95, 1995

Demand-driven Computation of Interprocedural Data Flow.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

GURRR: A Global Unified Resource Requirements Representation.
Proceedings of the Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), 1995

Priority based data flow testing.
Proceedings of the International Conference on Software Maintenance, 1995

Practical approach to single assignment code.
Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, 1995

1994
Scheduling DAG's for Asynchronous Multiprocessor Execution.
IEEE Trans. Parallel Distrib. Syst., 1994

The Combining DAG: A Technique for Parallel Data Flow Analysis.
IEEE Trans. Parallel Distrib. Syst., 1994

Efficient Computation of Interprocedural Definition-Use Chains.
ACM Trans. Program. Lang. Syst., 1994

Efficient Register Allocation via Coloring Using Clique Separators.
ACM Trans. Program. Lang. Syst., 1994

The Design and Implementation of Genesis.
Softw., Pract. Exper., 1994

Debugging Optimized Code Via Tailoring (Abstract).
Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers.
Proceedings of the Parallel Architectures and Compilation Techniques, 1994

A Framework for Partial Data Flow Analysis.
Proceedings of the International Conference on Software Maintenance, 1994

Undoing Code Transformations in an Independent Order.
Proceedings of the 1994 International Conference on Parallel Processing, 1994

An Efficient Technique to Remove Transformations.
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

A Practical Approach to the Symbolic Debugging of Parallelized Code.
Proceedings of the Compiler Construction, 5th International Conference, 1994

Reducing the Cost of Data Flow Analysis By Congruence Partitioning.
Proceedings of the Compiler Construction, 5th International Conference, 1994

1993
A Methodology for Controlling the Size of a Test Suite.
ACM Trans. Softw. Eng. Methodol., 1993

Employing Static Information in the Generation of Test Cases.
Softw. Test., Verif. Reliab., 1993

A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations.
Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

URSA: A Unified ReSource Allocator for Registers and Functional Units in VLIW Architectures.
Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, 1993

Investigating Properties of Code Transformations.
Proceedings of the 1993 International Conference on Parallel Processing, 1993

1992
Incremental Global Reoptimization of Programs.
ACM Trans. Program. Lang. Syst., 1992

Techniques for Integrating Parallelizing Transformations and Compiler-Based Scheduling Methods.
Proceedings of the Proceedings Supercomputing '92, 1992

A Visualization System for Parallelizing Programs.
Proceedings of the Proceedings Supercomputing '92, 1992

Parallel Task Assignment by Graph Partitioning.
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

A shape matching approach for scheduling fine-grained parallelism.
Proceedings of the 25th Annual International Symposium on Microarchitecture, 1992

Distributed Slicing and Partial Re-execution for Distributed Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 1992

The Combining Dag: A Technique for Parallel DataMow Analysis.
Proceedings of the 6th International Parallel Processing Symposium, 1992

Automatic Generation of a Compact Test Suit.
Proceedings of the Algorithms, Software, Architecture, 1992

A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors.
Proceedings of the Computing and Information, 1992

Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables.
Proceedings of the Compiler Construction, 1992

A Visual Optimization Specification Language.
Proceedings of the Advanced Visual Interfaces - Proceedings of the International Workshop, 1992

1991
Compile-Time Techniques for Improving Scalar Access Performance in Parallel Memories.
IEEE Trans. Parallel Distrib. Syst., 1991

Selecting and Using Data fro Integration Testing.
IEEE Software, 1991

Automatic Generation of Global Optimizers.
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

Debugging Parallelized Code Using Code Liberation Techniques.
Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1991

Parallel Generational Garbage Collection.
Proceedings of the Conference on Object-Oriented Programming Systems, 1991

Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework.
Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1990
Region Scheduling: An Approach for Detecting and Redistributing Parallelism.
IEEE Trans. Software Eng., 1990

Conversion of Simulation Processes to Pascal Constructs.
Softw., Pract. Exper., 1990

Incremental Register Reallocation.
Softw., Pract. Exper., 1990

Architectural support for register allocation in the presence of aliasing.
Proceedings of the Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, 1990

An Approach to Ordering Optimizing Transformations.
Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), 1990

Incremental Global Optimization for Faster Recompilations.
Proceedings of the 1990 Internation Conference on Computer Languages, 1990

Computation of Interprocedural Definition and Use Dependencies.
Proceedings of the 1990 Internation Conference on Computer Languages, 1990

1989
An Incremental Version of Iterative Data Flow Analysis.
IEEE Trans. Software Eng., 1989

Compilation techniques for a reconfigurable LIW architecture.
The Journal of Supercomputing, 1989

Register Allocation via Clique Separators.
Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989

Interprocedual Data Flow Testing.
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

Reuse of Compiler Analysis in a Programming Environment.
Proceedings of the Computer Trends in the 1990s, 1989

1988
On Locating Minimum Feedback Vertex Sets.
J. Comput. Syst. Sci., 1988

Compile-time Techniques for Efficient Utilization of Parallel Memories.
Proceedings of the ACM/SIGPLAN PPEALS 1988, 1988

1987
A Reconfigurable LIW Architecture.
Proceedings of the International Conference on Parallel Processing, 1987

1986
SIMCAL: the merger of Simula and Pascal.
Proceedings of the 18th conference on Winter simulation, WSC 1986, 1986

SHAPE: a highly adaptable and parallel system.
Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985
Feedback Vertex Sets and Cyclically Reducible Graphs
J. ACM, April, 1985

Eager Reclamation.
IEEE Trans. Software Eng., 1985

Efficient Storage Management for Temporary Values in Concurrent Programming Languages.
IEEE Trans. Computers, 1985

The efficiency of storage management schemes for Ada programs.
SIGPLAN Notices, 1985

An optimistic implementation of the stack-heap.
Journal of Systems and Software, 1985

Incremental Compilation of Locally Optimized Code.
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

1984
Reverse Execution in a Generalized Control Regime.
Comput. Lang., 1984

1983
The Contraction of Control Implementations.
Comput. Lang., 1983

The Implementation of Retention in a Coroutine Environment.
Acta Inf., 1983

1982
The Performance Evaluation of Control Implementations.
IEEE Trans. Software Eng., 1982

Control Discipline Necessity: Making the Language as General as the Implementation.
BIT, 1982

1981
Referencing and Retention in Block-Structured Coroutines.
ACM Trans. Program. Lang. Syst., 1981

1980
Coroutine Behaviour and Implementation.
Softw., Pract. Exper., 1980

1977
Control Separation in programming languages.
Proceedings of the 1977 annual conference, 1977


  Loading...