Mary Lou Soffa
#64,602
Most Influential Person Now
American computer scientist
Mary Lou Soffa's AcademicInfluence.com Rankings
Mary Lou Soffacomputer-science Degrees
Computer Science
#2633
World Rank
#2753
Historical Rank
Software Engineering
#160
World Rank
#161
Historical Rank
Database
#6219
World Rank
#6449
Historical Rank
Download Badge
Computer Science
Why Is Mary Lou Soffa Influential?
(Suggest an Edit or Addition)According to Wikipedia, Mary Lou Ehnot Soffa is an American computer scientist noted for her research on compilers, program optimization, system software and system engineering. She is also noted for her leadership in broadening participation in computing. She is on the CRA-W Board and was co-chair from 2000 to 2003. With Jan Cuny, she founded the CRA-W Graduate Cohort Program and the CRA-W Associate Professor Program.
Mary Lou Soffa's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- A methodology for controlling the size of a test suite (1990) (747)
- Bubble-up: Increasing utilization in modern warehouse scale computers via sensible co-locations (2011) (582)
- Black-Box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers (2018) (408)
- TimeAware test suite prioritization (2006) (391)
- Hierarchical GUI Test Case Generation Using Automated Planning (2001) (313)
- An approach to regression testing using slicing (1992) (280)
- Coverage criteria for GUI testing (2001) (274)
- The impact of memory subsystem resource sharing on datacenter applications (2011) (240)
- Retargetable and reconfigurable software dynamic translation (2003) (226)
- Automated test data generation using an iterative relaxation method (1998) (209)
- A comprehensive framework for testing graphical user interfaces (2001) (199)
- Regression testing of GUIs (2003) (189)
- Automated test oracles for GUIs (2000) (187)
- Clairvoyant: a comprehensive source-level debugger for wireless sensor networks (2007) (176)
- An incremental approach to unit testing during maintenance (1988) (170)
- Generating test data for branch coverage (2000) (143)
- Region Scheduling: An Approach for Detecting and Redistributing Parallelism (1990) (140)
- A family of test adequacy criteria for database-driven applications (2003) (138)
- Refining data flow information using infeasible paths (1997) (130)
- Using a goal-driven approach to generate test cases for GUIs (1999) (124)
- An approach for exploring code improving transformations (1997) (122)
- Using component metacontent to support the regression testing of component-based software (2001) (120)
- Gender, achievement, and persistence in an undergraduate computer science program (2006) (119)
- Efficient computation of interprocedural definition-use chains (1994) (114)
- Demand-driven computation of interprocedural data flow (1995) (113)
- Contention aware execution: online contention detection and response (2010) (110)
- Interprocedual data flow testing (1989) (109)
- An Incremental Version of Iterative Data Flow Analysis (1989) (104)
- Selecting and using data for integration testing (1991) (102)
- A practical framework for demand-driven interprocedural data flow analysis (1997) (102)
- Interprocedural conditional branch elimination (1997) (101)
- An approach to ordering optimizing transformations (1990) (97)
- Concurrency analysis in the presence of procedures using a data-flow framework (1991) (96)
- A practical data flow framework for array reference analysis and its use in optimizations (1993) (87)
- Feedback vertex sets and cyclically reducible graphs (1985) (86)
- Distributed Slicing and Partial Re-execution for Distributed Programs (1992) (77)
- Demand-driven structural testing with dynamic instrumentation (2005) (77)
- Global context-based value prediction (1999) (75)
- Hybrid slicing: integrating dynamic information with static analysis (1997) (73)
- Load-reuse analysis: design and evaluation (1999) (72)
- Complete removal of redundant expressions (2004) (70)
- Contentiousness vs. sensitivity: improving contention aware runtime systems on multicore architectures (2011) (69)
- Directly characterizing cross core interference through contention synthesis (2011) (69)
- Program Slicing‐Based Regression Testing Techniques (1996) (68)
- URSA: A Unified ReSource Allocator for Registers and Functional Units in VLIW Architectures (1993) (67)
- Compiling for niceness: mitigating contention for QoS in warehouse scale computers (2012) (67)
- Program Slicing-Based Regression Testing Techniques (1996) (64)
- Predicting the impact of optimizations for embedded systems (2003) (62)
- Marple: a demand-driven path-sensitive buffer overflow detector (2008) (60)
- ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers (2013) (59)
- The impact of software engineering research on modern programming languages (2005) (58)
- Hybrid slicing: an approach for refining static slices using dynamic information (1995) (56)
- Register allocation via clique separators (1989) (52)
- Characterizing multi-threaded applications based on shared-resource contention (2011) (52)
- Complete removal of redundant expressions (1998) (51)
- Test suite reduction and prioritization with call trees (2007) (50)
- A model-based framework: an approach for profit-driven optimization (2005) (47)
- Shortchanging the future of information technology: the untapped resource (2002) (46)
- Efficient time-aware prioritization with knapsack solvers (2007) (46)
- Low overhead program monitoring and profiling (2005) (46)
- Scheduling DAG's for Asynchronous Multiprocessor Execution (1994) (44)
- Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers (1994) (43)
- Automatic generation of global optimizers (1991) (42)
- Path-based fault correlations (2010) (41)
- Predicting the memory bandwidth and optimal core allocations for multi-threaded applications on large-scale NUMA machines (2016) (40)
- Gender and race in predicting achievement in computer science (2003) (40)
- The combining DAG: a technique for parallel data flow analysis (1992) (39)
- Overhead reduction techniques for software dynamic translation (2004) (39)
- Increasing Utilization in Modern Warehouse-Scale Computers Using Bubble-Up (2012) (39)
- Continuous compilation: a new approach to aggressive and adaptive code transformation (2003) (39)
- Comparison checking: an approach to avoid debugging of optimized code (1999) (39)
- UNA based iterative test data generation and its evaluation (1999) (38)
- Incremental global reoptimization of programs (1992) (35)
- Database-aware test coverage monitoring (2008) (34)
- Reducing the Cost of Data Flow Analysis By Congruence Partitioning (1994) (34)
- Efficient register allocation via coloring using clique separators (1994) (33)
- Plan Generation for GUI Testing (2000) (33)
- FULLDOC: A Full Reporting Debugger for Optimized Code (2000) (33)
- Integrated Instruction Scheduling and Register Allocation Techniques (1998) (32)
- Complete Removal of Redundant Computations (1998) (32)
- On Locating Minimum Feedback Vertex Sets (1988) (32)
- Value prediction in VLIW machines (1999) (31)
- Employing static information in the generation of test cases (1993) (30)
- DraMon: Predicting memory bandwidth usage of multi-threaded programs with high accuracy and low overhead (2014) (30)
- Is Rust Used Safely by Software Developers? (2020) (30)
- A statistics-based performance testing methodology for cloud applications (2019) (29)
- Using Component Metadata to Support the Regression Testing of Component-Based Software (2001) (29)
- Performance analysis of thread mappings with a holistic view of the hardware resources (2012) (28)
- Computation of interprocedural definition and use dependencies (1990) (27)
- A demand-driven analyzer for data flow testing at the integration level (1996) (27)
- Exploiting hardware advances for software testing and debugging: NIER track (2011) (27)
- Reducing Exit Stub Memory Consumption in Code Caches (2007) (25)
- A framework for partial data flow analysis (1994) (25)
- A Planning-based Approach to GUI Testing∗ (2000) (23)
- Distribution-Aware Testing of Neural Networks Using Generative Models (2021) (22)
- Planning for code buffer management in distributed virtual execution environments (2005) (22)
- High-level debugging with the aid of an incremental optimizer (1988) (22)
- Testing Cloud Applications under Cloud-Uncertainty Performance Effects (2018) (21)
- Techniques for integrating parallelizing transformations and compiler based scheduling methods (1992) (21)
- Instrumentation in software dynamic translators for self-managed systems (2004) (20)
- Capturing the effects of code improving transformations (1998) (20)
- Architectural support for register allocation in the presence of aliasing (1990) (20)
- ReSense: Mapping dynamic workloads of colocated multithreaded applications using resource sensitivity (2013) (19)
- GURRR: a global unified resource requirements representation (1995) (19)
- Feasibility of Dynamic Binary Parallelization (2011) (19)
- Debugging and Testing Optimizers through Comparison Checking (2002) (19)
- Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables (1992) (19)
- Generating analyses for detecting faults in path segments (2011) (18)
- Using coverage effectiveness to evaluate test suite prioritizations (2007) (18)
- Program representations for testing wireless sensor network applications (2007) (18)
- A visualization system for parallelizing programs (1992) (17)
- Compile-Time Techniques for Improving Scalar Access Performance in Parallel Memories (1991) (17)
- Parallel generational garbage collection (1991) (17)
- Catching and Identifying Bugs in Register Allocation (2006) (17)
- Influences on the design of exception handling: ACM SIGSOFT project on the impact of software engineering research on programming language design (2003) (17)
- A study to identify predictors of achievement in an introductory computer science course (2003) (16)
- Testing in resource constrained execution environments (2005) (15)
- Debugging parallelized code using code liberation techniques (1991) (15)
- Referencing and Retention in Block-Structured Coroutines (1981) (14)
- A Reconfigurable LIW Architecture (1987) (14)
- Balancing memory and performance through selective flushing of software code caches (2010) (13)
- Focusing high school teachers on attracting diverse students to computer science and engineering (2011) (13)
- Influences on the design of exception handling ACM SIGSOFT project on the impact of software engineering research on programming language design (2003) (13)
- Automatic Generation of a Compact Test Suit (1992) (13)
- An approach to incremental testing (1988) (13)
- Coroutine behaviour and implementation (1980) (13)
- Incremental Compilation of Locally Optimized Code. (1985) (13)
- Refining buffer overflow detection via demand-driven path-sensitive analysis (2007) (13)
- Incremental register reallocation (1990) (13)
- Jazz: A Tool for Demand-Driven Structural Testing (2005) (13)
- DBT path selection for holistic memory efficiency and performance (2010) (13)
- Compile-time techniques for efficient utilization of parallel memories (1988) (12)
- The limits of speculative trace reuse on deeply pipelined processors (2003) (12)
- Tdb: a source-level debugger for dynamically translated programs (2005) (12)
- Techniques and tools for dynamic optimization (2006) (11)
- Synthesizing contention (2009) (11)
- An Overview of Past and Projected Employment Changes in the Professional IT Occupations (11)
- Path-sensitive, value-flow optimizations of programs (program analysis) (1999) (11)
- A demand-driven approach for efficient interprocedural data flow analysis (1996) (11)
- Width-Sensitive Scheduling for Resource-Constrained VLIW Processors (2000) (11)
- Compile-Time Planning for Overhead Reduction in Software Dynamic Translators (2005) (11)
- An approach toward profit-driven optimization (2006) (11)
- THeME: a system for testing by hardware monitoring events (2012) (10)
- Dimension: an instrumentation tool for virtual execution environments (2006) (10)
- REEact: a customizable virtual execution manager for multicore platforms (2012) (10)
- Investigating Properties of Code Transformations (1993) (10)
- Source-level debugging techniques and tools for optimized code (2000) (9)
- SIMCAL: the merger of Simula and Pascal (1986) (9)
- Incremental compilation of optimized code (1985) (9)
- Educating Diverse Computing Students at the University of Virginia (2013) (9)
- The design and implementation of genesis (1994) (9)
- Conversion of simulation processes to pascal constructs (1990) (9)
- The Performance Evaluation of Control Implementations (1982) (8)
- Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation (2001) (8)
- Marple: Detecting faults in path segments using automatically generated analyses (2013) (8)
- A Practical Approach to the Symbolic Debugging of Parallelized Code (1994) (8)
- A Shape Matching Approach For Scheduling Fine-grained Parallelism (1992) (8)
- MATS : Multicore Adaptive Trace Selection (2008) (8)
- Virtual Execution Environments: Support and Tools (2007) (7)
- The efficiency of storage management schemes for Ada programs (1985) (7)
- Data Flow Analysis Driven Dynamic Data Partitioning (1998) (7)
- Priority based data flow testing (1995) (7)
- SHAPE: a highly adaptable and parallel system (1986) (6)
- A matching approach to utilizing fine-grained parallelism (1988) (6)
- Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation (1994) (6)
- Integrating Program Optimizations and Transformations with the Scheduling of Instruction Level Parallelism (1996) (6)
- Comparing Causal-Link and Propositional Planners : Tradeoffs between Plan Length and Domain Size (5)
- The Contraction of Control Implementations (1984) (5)
- Transparent Debugging of Dynamically Optimized Code (2009) (5)
- A fine grained approach to scheduling asynchronous multiprocessors (1992) (5)
- Traversing the Undergraduate Curriculum in Computer Science: Where Do Students Stumble? (2006) (5)
- Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization (2008) (5)
- SoftTest: a framework for software testing of Java programs (2003) (5)
- Jazz2: a flexible and extensible framework for structural testing in a Java VM (2011) (4)
- Verifying Optimizers through Comparison Checking (2002) (4)
- Memory optimization of dynamic binary translators for embedded systems (2012) (4)
- Integrating automatic data distribution and communication optimization (1998) (4)
- A Framework for Exploring Optimization Properties (2009) (4)
- Efficient Storage Management for Temporary Values in Concurrent Programming Languages (1985) (4)
- Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering (2002) (4)
- Effective source-level debugging of wireless sensor networks (2007) (4)
- FIST: A Framework for Instrumentation in Software Dynamic Translators (2003) (4)
- A framework for performing prediction in vliw architectures (2001) (3)
- The efficiency of storage management schemes for Ada programs (1985) (3)
- Incremental global optimization for faster recompilations (1990) (3)
- Debugging optimized code via tailoring (1994) (3)
- Lazy preemption to enable path-based analysis of interrupt-driven code (2011) (3)
- 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006 (2006) (3)
- Parallel Path-based Static Analysis (2012) (3)
- Undoing Code Transformations in an Independent Order (1994) (3)
- Compilation techniques for a reconfigurable LIW architecture (1989) (2)
- An optimistic implementation of the stack-heap (1985) (2)
- General, Scalable Path-Sensitive Fault Detection (2012) (2)
- Regression Testing of GUI's (2003) (2)
- Debugging of Optimized Code through Comparison Checking (1999) (2)
- Control Separation in programming languages (1977) (2)
- Toward a practical, path-based framework for detecting and diagnosing software faults (2010) (2)
- Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis (1999) (2)
- Proceedings of the 1996 ACM 24th annual conference on Computer science (1996) (2)
- Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis (1998) (2)
- A Language for Autonomous Vehicles Testing Oracles (2020) (2)
- Reverse Execution in a Generalized Control Regime (1984) (2)
- A Study of the Effect of Prefetching in Shared-Memory Resource Contention (2011) (1)
- INCOMINANT—an INCRemental Optimizer for Machine Independent Transformation (1985) (1)
- Emerging Technologies: Can Optimization Technology meet their Demands? (Dagstuhl Seminar 03071) (2021) (1)
- Practical approach to single assignment code (1995) (1)
- Computing: report leaps geographical barriers but stumbles over gender (2006) (1)
- MAGIC: Path-Guided Concolic Testing (2012) (1)
- Potential of Dynamic Binary Parallelization (2012) (1)
- Path Sensitive Analysis for Security Flaws (2008) (1)
- ReSense (2013) (1)
- Developing a Testing Framework for Security (2007) (1)
- Control discipline necessity: Making the language as general as the implementation (1982) (1)
- Scheduling DAG'S for Asynchronous (1994) (1)
- Increasing Diversity in the Information Technology Workforce: Implications from a Study of Factors that Predict Achievement in CS (2004) (1)
- FPO : A Framework for Predicting the Impact of Optimizations (2002) (1)
- Parallel Task Assignment by Graph Partitioning (1992) (1)
- An Overview of the PIVOT Environment for Program Restructuring† (2008) (0)
- Session details: Modelling approaches (2007) (0)
- Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models (2021) (0)
- Complete removal of redundant expressions (with retrospective) (1998) (0)
- DDP Development Facility Capabilities for Effective Acquisition of DDP Software and Hardware (1980) (0)
- Session details: Hardware/software partitioning and reconfigureability (2003) (0)
- 1999 SIGPLAN Awards (2000) (0)
- An Efficient Technique to Remove Transformations (1994) (0)
- Engineering Experts ' Panel : The Status and Future of SBSE in the Software Engineering Community (2009) (0)
- Data partitioning: an approach to parallel storage reclamation (1990) (0)
- Keynote abstract (2010) (0)
- An efficient technique to remove transformations [program codes] (1994) (0)
- Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009 (2009) (0)
- Keynote Speech (2022) (0)
- SIGPLAN and SIGSOFT Joint Efforts (1998) (0)
- Loaf: a framework and infrastructure for creating online adaptive solutions (2011) (0)
- 08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation (2008) (0)
- OS + Hardware Application Translation Engine Code Cache Application Code Request for Translation Translated Code Region Executable Code (2008) (0)
- X-REEact: Fighting Runtime Variances across Time and Space (2012) (0)
- 08441 Abstracts Collection - Emerging Uses and Paradigms for Dynamic Binary Translation (2008) (0)
- Detecting bugs in register allocation (2010) (0)
- Reuse of compiler analysis in a programming environment (1989) (0)
- PRECISELY PREDICTING PERFORMANCE DEGRADATION DUE TO COLOCATING MULTIPLE EXECUTING APPLICATIONS ON A SINGLE MACHINE IS CRITICAL FOR IMPROVING UTILIZATION IN MODERN (2012) (0)
- Examples of Overhead Reduction Techniques for Software Dynamic Translation (2004) (0)
- Demo Abstract : Effective Source-Level Debugging of Wireless Sensor Networks (2007) (0)
- Debugging Optimized Code Via Tailoring (Abstract). (1994) (0)
- Introduction to the Special Section (1995) (0)
- The implementation of retention in a coroutine environment (1983) (0)
- Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USA (2008) (0)
- Message from the Program Chairs (2021) (0)
- Testing deep neural networks (keynote) (2020) (0)
- A Visual Optimization Specification Language (1992) (0)
- Developing a Foundation for Code Optimization (2004) (0)
- \ AC 1 L Rigorous Data Flow Testing through Output Influences t (0)
- 1998 SIGPLAN Awards (1998) (0)
- Report on the ICSE 2003 doctoral symposium (2003) (0)
- Proceedings of the 14th international conference on Architectural support for programming languages and operating systems (2009) (0)
- Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing (2022) (0)
- Eager Reclamation (1985) (0)
- VISUAL TRANSFORMATION SPECIFICATIONS (1996) (0)
This paper list is powered by the following services:
Other Resources About Mary Lou Soffa
What Schools Are Affiliated With Mary Lou Soffa?
Mary Lou Soffa is affiliated with the following schools:
