Mary Lou Soffa

ORCID

Publication Activity (10 Years)

Years Active: 1977-2024
Publications (10 Years): 15

Top Venues

Publications

Swaroopa Dola, Rory McDaniel, Matthew B. Dwyer, Mary Lou Soffa
CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing. ICSE (2024)
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
Distribution-Aware Testing of Neural Networks Using Generative Models. CoRR (2021)
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models. ICSE (Companion Volume) (2021)
Mary Lou Soffa, Ayal Zaks
Message from the Program Chairs. CGO (2021)
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
Distribution-Aware Testing of Neural Networks Using Generative Models. ICSE (2021)
Ana Nora Evans, Bradford Campbell, Mary Lou Soffa
Is Rust Used Safely by Software Developers? CoRR (2020)
Ana Nora Evans, Bradford Campbell, Mary Lou Soffa
Is rust used safely by software developers? ICSE (2020)
Mary Lou Soffa
Testing deep neural networks (keynote). SPLASH (Companion) (2020)
Ana Nora Evans, Mary Lou Soffa, Sebastian G. Elbaum
A Language for Autonomous Vehicles Testing Oracles. CoRR (2020)
Sen He, Glenna Manns, John Saunders, Wei Wang, Lori L. Pollock, Mary Lou Soffa
A statistics-based performance testing methodology for cloud applications. ESEC/SIGSOFT FSE (2019)
Ji Gao, Jack Lanchantin, Mary Lou Soffa, Yanjun Qi
Black-box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers. CoRR (2018)
Wei Wang, Ningjing Tian, Sunzhou Huang, Sen He, Abhijeet Srivastava, Mary Lou Soffa, Lori L. Pollock
Testing Cloud Applications under Cloud-Uncertainty Performance Effects. ICST (2018)
Ji Gao, Jack Lanchantin, Mary Lou Soffa, Yanjun Qi
Black-Box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers. IEEE Symposium on Security and Privacy Workshops (2018)
Wei Wang, Jack W. Davidson, Mary Lou Soffa
Predicting the memory bandwidth and optimal core allocations for multi-threaded applications on large-scale NUMA machines. HPCA (2016)
Wei Wang, Tanima Dey, Jack W. Davidson, Mary Lou Soffa
DraMon: Predicting memory bandwidth usage of multi-threaded programs with high accuracy and low overhead. HPCA (2014)
Lingjia Tang, Jason Mars, Wei Wang, Tanima Dey, Mary Lou Soffa
ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers. ASPLOS (2013)
Tanima Dey, Wei Wang, Jack W. Davidson, Mary Lou Soffa
ReSense: Mapping dynamic workloads of colocated multithreaded applications using resource sensitivity. ACM Trans. Archit. Code Optim. 10 (4) (2013)
Wei Le, Mary Lou Soffa
Marple: Detecting faults in path segments using automatically generated analyses. ACM Trans. Softw. Eng. Methodol. 22 (3) (2013)
James P. Cohoon, Joanne McGrath Cohoon, Mary Lou Soffa
Educating Diverse Computing Students at the University of Virginia. Computer 46 (3) (2013)
Wei Wang, Tanima Dey, Jason Mars, Lingjia Tang, Jack W. Davidson, Mary Lou Soffa
Performance analysis of thread mappings with a holistic view of the hardware resources. ISPASS (2012)
Apala Guha, Kim M. Hazelwood, Mary Lou Soffa
Memory optimization of dynamic binary translators for embedded systems. ACM Trans. Archit. Code Optim. 9 (3) (2012)
Wei Wang, Tanima Dey, Ryan W. Moore, Mahmut Aktasoglu, Bruce R. Childers, Jack W. Davidson, Mary Jane Irwin, Mahmut T. Kandemir, Mary Lou Soffa
REEact: a customizable virtual execution manager for multicore platforms. VEE (2012)
Kristen Walcott-Justice, Jason Mars, Mary Lou Soffa
THeME: a system for testing by hardware monitoring events. ISSTA (2012)
Lingjia Tang, Jason Mars, Mary Lou Soffa
Compiling for niceness: mitigating contention for QoS in warehouse scale computers. CGO (2012)
Jason Mars, Lingjia Tang, Kevin Skadron, Mary Lou Soffa, Robert Hundt
Increasing Utilization in Modern Warehouse-Scale Computers Using Bubble-Up. IEEE Micro 32 (3) (2012)
Mary Lou Soffa, Kristen R. Walcott, Jason Mars
Exploiting hardware advances for software testing and debugging. ICSE (2011)
Jason Mars, Lingjia Tang, Mary Lou Soffa
Directly characterizing cross core interference through contention synthesis. HiPEAC (2011)
James P. Cohoon, Joanne McGrath Cohoon, Mary Lou Soffa
Focusing high school teachers on attracting diverse students to computer science and engineering. FIE (2011)
Wei Le, Jing Yang, Mary Lou Soffa, Kamin Whitehouse
Lazy preemption to enable path-based analysis of interrupt-driven code. SESENA@ICSE (2011)
Lingjia Tang, Jason Mars, Neil Vachharajani, Robert Hundt, Mary Lou Soffa
The impact of memory subsystem resource sharing on datacenter applications. ISCA (2011)
Jason Mars, Lingjia Tang, Robert Hundt, Kevin Skadron, Mary Lou Soffa
Bubble-Up: increasing utilization in modern warehouse scale computers via sensible co-locations. MICRO (2011)
Tanima Dey, Wei Wang, Jack W. Davidson, Mary Lou Soffa
Characterizing multi-threaded applications based on shared-resource contention. ISPASS (2011)
Wei Le, Mary Lou Soffa
Generating analyses for detecting faults in path segments. ISSTA (2011)
Jonathan Misurda, Bruce R. Childers, Mary Lou Soffa
Jazz2: a flexible and extensible framework for structural testing in a Java VM. PPPJ (2011)
Wei Le, Mary Lou Soffa
Path-based fault correlations. SIGSOFT FSE (2010)
Apala Guha, Kim M. Hazelwood, Mary Lou Soffa
Balancing memory and performance through selective flushing of software code caches. CASES (2010)
Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa
Detecting bugs in register allocation. ACM Trans. Program. Lang. Syst. 32 (4) (2010)
Jason Mars, Neil Vachharajani, Robert Hundt, Mary Lou Soffa
Contention aware execution: online contention detection and response. CGO (2010)
Apala Guha, Kim M. Hazelwood, Mary Lou Soffa
DBT path selection for holistic memory efficiency and performance. VEE (2010)
Naveen Kumar, Bruce R. Childers, Mary Lou Soffa
Transparent Debugging of Dynamically Optimized Code. CGO (2009)
Min Zhao, Bruce R. Childers, Mary Lou Soffa
A Framework for Exploring Optimization Properties. CC (2009)
Mary Lou Soffa
Path Sensitive Analysis for Security Flaws. HASE (2008)
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, Wei-Chung Hsu, Jens Knoop, Andreas Krall, Naveen Kumar, Jonas Maebe, Robert Muth, Xavier Rival, Erven Rohou, Roni Rosner, Mary Lou Soffa, Jens Tröger, Christopher A. Vick
08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. Emerging Uses and Paradigms for Dynamic Binary Translation (2008)
Gregory M. Kapfhammer, Mary Lou Soffa
Database-aware test coverage monitoring. ISEC (2008)
Wei Le, Mary Lou Soffa
Marple: a demand-driven path-sensitive buffer overflow detector. SIGSOFT FSE (2008)
Bruce R. Childers, Jack W. Davidson, Koen De Bosschere, Mary Lou Soffa
08441 Abstracts Collection - Emerging Uses and Paradigms for Dynamic Binary Translation. Emerging Uses and Paradigms for Dynamic Binary Translation (2008)
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)
Adam M. Smith, Joshua Geiger, Gregory M. Kapfhammer, Mary Lou Soffa
Test suite reduction and prioritization with call trees. ASE (2007)
Nguyet T. M. Nguyen, Mary Lou Soffa
Program representations for testing wireless sensor network applications. DOSTA (2007)
Wei Le, Mary Lou Soffa
Refining buffer overflow detection via demand-driven path-sensitive analysis. PASTE (2007)
Jing Yang, Mary Lou Soffa, Leo Selavo, Kamin Whitehouse
Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. SenSys (2007)
Jing Yang, Mary Lou Soffa, Kamin Whitehouse
Effective source-level debugging of wireless sensor networks. SenSys (2007)
Apala Guha, Kim M. Hazelwood, Mary Lou Soffa
Reducing Exit Stub Memory Consumption in Code Caches. HiPEAC (2007)
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)
Sandra Katz, David Allbritton, John M. Aronis, Christine Wilson, Mary Lou Soffa
Gender, achievement, and persistence in an undergraduate computer science program. Data Base 37 (4) (2006)
Min Zhao, Bruce R. Childers, Mary Lou Soffa
An approach toward profit-driven optimization. ACM Trans. Archit. Code Optim. 3 (3) (2006)
Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, Robert S. Roos
TimeAware test suite prioritization. ISSTA (2006)
Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa
Catching and Identifying Bugs in Register Allocation. SAS (2006)
Shukang Zhou, Bruce R. Childers, Mary Lou Soffa
Planning for code buffer management in distributed virtual execution environments. VEE (2005)
Gregory M. Kapfhammer, Mary Lou Soffa, Daniel Mossé
Testing in resource constrained execution environments. ASE (2005)
Naveen Kumar, Bruce R. Childers, Daniel W. Williams, Jack W. Davidson, Mary Lou Soffa
Compile-Time Planning for Overhead Reduction in Software Dynamic Translators. Int. J. Parallel Program. 33 (2-3) (2005)
Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa
Jazz: A Tool for Demand-Driven Structural Testing. CC (2005)
Min Zhao, Bruce R. Childers, Mary Lou Soffa
Model-Based Framework: An Approach for Profit-Driven Optimization. CGO (2005)
Barbara G. Ryder, Mary Lou Soffa, Margaret M. Burnett
The impact of software engineering research on modern programming languages. ACM Trans. Softw. Eng. Methodol. 14 (4) (2005)
Naveen Kumar, Bruce R. Childers, Mary Lou Soffa
Tdb: a source-level debugger for dynamically translated programs. AADEBUG (2005)
Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa
Demand-driven structural testing with dynamic instrumentation. ICSE (2005)
Naveen Kumar, Bruce R. Childers, Mary Lou Soffa
Low overhead program monitoring and profiling. PASTE (2005)
Naveen Kumar, Jonathan Misurda, Bruce R. Childers, Mary Lou Soffa
Instrumentation in software dynamic translators for self-managed systems. WOSS (2004)
Mary Lou Soffa
Developing a Foundation for Code Optimization. CC (2004)
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)
Sandra Katz, David Allbritton, John M. Aronis, Christine Wilson, Mary Lou Soffa
Increasing Diversity in the Information Technology Workforce: Implications from a Study of Factors that Predict Achievement in CS. ICLS (2004)
Min Zhao, Bruce R. Childers, Mary Lou Soffa
Predicting the impact of optimizations for embedded systems. LCTES (2003)
Bruce R. Childers, Mary Lou Soffa, Jon Beaver, Lidiya Ber, Kevin Cammarata, Tom Kane, Juliya Litman, Jonathan Misurda
SoftTest: a framework for software testing of Java programs. eTX (2003)
Kevin Scott, Naveen Kumar, S. Velusamy, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa
Retargetable and Reconfigurable Software Dynamic Translation. CGO (2003)
Atif M. Memon, Mary Lou Soffa
Regression testing of GUIs. ESEC / SIGSOFT FSE (2003)
Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa
Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation. IPDPS (2003)
Sandra Katz, John M. Aronis, David Allbritton, Christine Wilson, Mary Lou Soffa
Gender and race in predicting achievement in computer science. IEEE Technol. Soc. Mag. 22 (3) (2003)
Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa
Editorial. ACM Trans. Softw. Eng. Methodol. 12 (1) (2003)
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 SIGPLAN Notices 38 (6) (2003)
Dick Hamlet, Mary Lou Soffa
Report on the ICSE 2003 Doctoral Symposium. ICSE (2003)
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)
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 Softw. Eng. Notes 28 (4) (2003)
Gregory M. Kapfhammer, Mary Lou Soffa
A family of test adequacy criteria for database-driven applications. ESEC / SIGSOFT FSE (2003)
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)
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
Debugging and Testing Optimizers through Comparison Checking. Electron. Notes Theor. Comput. Sci. 65 (2) (2002)
Angela M. Balcita, Doris L. Carver, Mary Lou Soffa
Shortchanging the future of information technology: the untapped resource. ACM SIGCSE Bull. 34 (2) (2002)
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)
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa
Hierarchical GUI Test Case Generation Using Automated Planning. IEEE Trans. Software Eng. 27 (2) (2001)
Atif M. Memon, Mary Lou Soffa, Martha E. Pollack
Coverage criteria for GUI testing. ESEC / SIGSOFT FSE (2001)
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa
Automated test oracles for GUIs. SIGSOFT FSE (2000)
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
FULLDOC: A Full Reporting Debugger for Optimized Code. SAS (2000)
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa
Plan Generation for GUI Testing. AIPS (2000)
Mary Lou Soffa
1999 SIGPLAN Awards. ACM SIGPLAN Notices 35 (3) (2000)
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa
Generating Test Data for Branch Coverage. ASE (2000)
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa
Using a Goal-Driven Approach to Generate Test Cases for GUIs. ICSE (1999)
Mary Lou Soffa
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. SAS (1999)
Tarun Nakra, Rajiv Gupta, Mary Lou Soffa
Value Prediction in VLIW Machines. ISCA (1999)
Tarun Nakra, Rajiv Gupta, Mary Lou Soffa
Global Context-Based Value Prediction. HPCA (1999)
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa
UNA Based Iterative Test Data Generation and Its Evaluation. ASE (1999)

Mary Lou Soffa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mary Lou Soffa