Publications

2024

• CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing, Swaroopa Dola, Matthew Dwyer, Mary Lou Soffa, ICSE 2024

2023

• Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing, Swaroopa Dola, Matthew Dwyer, Mary Lou Soffa, IEEE Transactions of Software Engineering and ESEC/FSE 2023 (journal first)

2021

• Distribution-Aware testing of Neural Networks using Generative Models Swaroopa Dola, Mary Lou Soffa and Matthew Dwyer, ICSE 2021

2020

• Does Rust's Design Make Software Actually Memory Safe? Nora Evans, Brad Campbell, Mary Lou Soffa Internatonal Conference on Software Engineering, 2020>

2019

• A Statistics-based Performance Based Testing Methodology for Cloud Applications, Sen He, Glenna Manns, John Saunders, Wei Wang, Lori Pollock and Mary Lou Soffa, ESEC/FSE, Estonia, August, i2019  Selected as a Distinguished Paper
  

2018

• Testing Compiler Safety Property Instrumentation, Nora Evans and Mary Lou Soffa, submitted

• Testing Cloud Applications under Cloud-Uncertainty Performance Effects, Wei Wang, Ningjing Tian, Sunzhou Huang, Sen He, Abhijeet, Mary Lou Soffa and Lori Pollock, Testing Cloud Applications under Cloud-Uncertainty Performance Effect, International Conference on Software Testing, April, 2018

• Black-box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers, Ji Gao, Jack Lanchantin, Mary Lou Soffa and Yanjun Qi, First DEEP LEARNING AND SECURITY WORKSHOP (DLS18, co-located with the 39th IEEE Symposium on Security and Privacy,  

• Predicting  the Memory Bandwidth and Optimal Core Allocations for Multi-threaded Applications on Large-scale NUMA Machines,  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, Wei Wang,  Dey Tanima Dey, Jack Davidson  and  Mary Lou Soffa, Proceedings of the 20th IEEE International Symposium on High Performance Computer Architecture, Orlando, FL, USA, (2014)

• ReSense: Mapping Dynamic Workloads of Co-located Multi-threaded Applications using Resource Sensitivity, Tanima Dey,  Wei Wang, Jack  Davidson and Mary Lou Soffa   HiPEAC, ACM Transactions on Architecture and Code Optimization (TACO), Vienna, Austria, (2014)

2013

• Wei Le and Mary Lou Soffa, Marple: “Detecting Faults in Path Segments Using Automatically Generated Analyses,” Transactions of Software Engineering and Methodology, Volume 22,Issue 3, July 2013.

• Educating Diverse Computing Students at the University of Virginia, Jim Cohoon, Joanne Cohoon, Mary Lou Soffa, “Computer,, March, 2013.

• ReQoS: Reactive Static/Dynamic Compilation for QoS in Warehouse Scale Computers, Lingjia Tang, Jason Mars, Wei Wang, Tanima Dey, and Mary Lou Soffa, ASPLOS, 2013,

2012

• Memory Optimization of Dynamic Binary Translators for Embedded Systems,” Apala Guha, Kim Hazelwood and Mary Lou Soffa, Transactions in Architecture and Code Optimization,  Vol. 9, Issue 3, September, 2012

• THeME:  A System for Testing by Hardware monitoring Events Kristen Walcott-Justice, Jason Mars and Mary Lou Soffa,  International Symposium on Software Testing and Analyses, July, 2012

•  Increasing Utilization in Warehouse Scale Computers Using Bubble-Up! Jason Mars, Lingjia Tang, Robert Hundt, Kevin Skadron, Mary Lou Soffa. Special Issue: IEEE Micro’s Top Picks from 2011 Computer Architecture Conferences (MICRO TOP PICKS) 2012. pdf

• Compiling For Niceness: Mitigating Contention for QoS in Warehouse Scale Computers Lingjia Tang, Jason Mars, Mary Lou Soffa, Proceedings of the ACM/IEEE International Symposium on Code Generation and Optimization (CGO) 2012  BEST PAPER Award

• Bubble-Up: Increasing Utilization in Modern Warehouse Scale Computers via Sensible Co-locations, Jason Mars, Lingjia Tang, Robert Hundt, Kevin Skadron, Mary Lou Soffa, Proceedings of The 44th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) 2011 selected as an IEEE MICRO Top Picks 2012

2011

• Focusing HS Teachers on Attracting Diverse Students in CS, Jim Cohoon, Joanne M. Cohoon, and Mary Lou Soffa,  41st ASEE/IEEE Frontiers on Education Conference, October, 2011
• Jazz2:  A Flexible and Extensible Framework for Structural Testing in a Java VM, Jonathan Misurda, Bruce R. Childers and Mary Lou Soffa, 9th International Conference on the Principles and Practice of Programming in Java, August, 2011
• Generating Analyses for Detecting Faults in Path Segments, Wei Le and Mary Lou Soffa, International Symposium on Software Testing and Analysis, July, 2011.
• The Impact of Memory Subsystem Resource Sharing on Datacenter Applications, Lingjia Tang, Jason Mars, Neil Vachharajani, Robert Hundt, Mary Lou Soffa, Proceedings of the 37th Annual International Symposium on Computer Architecture (ISCA) June, 2011
• Contentiousness vs. Sensitivity:  Improving Contention Aware Runtime Systems on Multicore Architectures, Lingjia Tang, Jason Mars and Mary Lou Soffa, ACM SIGPLAN International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era (EXADAPT), co-located with PLDI, June 2011
  
• Loaf:  A Framework and Infrastrcutre for Creating Online Adaptive Solutions, Jason Mars and Mary Lou Soffa, ACM SIGPLAN International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era (EXADAPT), co-located with PLDI, June 2011
  
• Lazy Preemption to Enable Path-Based Analysis of Interrupt-Driven Code, Wei Le, Jing Yang, Mary Lou Soffa and Kamin Whitehouse,  2nd International Workshop on Software Engineering for Sensor Network Applications, May, 2011
• Exploiting Hardware Advances for Software Testing and Debugging, Mary Lou Soffa, Kristen Walcott, and Jason Mars,  New Ideas and Emerging Results Track, International Conference on Software Engineering, May, 2011
• Characterizing Multi-threaded Applications based on Shared-Resource Contention,  Tanima Dey, Wei Wang, Jack Davidson, Mary Lou Soffa,  IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), Austin, Texas, April 2011.
• Directly Characterizing Cross Core Interference Through Contention Synthesis, Jason Mars, Lingjia Tang, Mary Lou Soffa, Proceedings of the International Conference on High Performance Embedded Architectures & Compilers (HiPEAC) 2011

2010

• Path-Based Fault Correlations, Wei Le and Mary Lou Soffa, 18th Internattional Symposium of Software Engineering, November, 2010
• Balancing Memory and Performance through Software Flushing of Software Code Cache,  Apala Guha, Kim Hazelwood, Mary Lou Soffa, International Conference on Compilers Architecture and Synthesis for Embedded Systems (CASES), Scottsdale, AZ, October 2010
• Detecting Bugs in Register Allocation, Yuqiang Huang, Bruce Childers, Mary Lou Soffa, ACM Transactions on Programming Languages and Systems, Vol. 32, No. 4, Article 15,  April 2010
• Contention Aware Execution: Online Contention Detection and Response, Jason Mars, Neil Vachharajani, Robert Hundt and Mary Lou Soffa, ACM/IEEE International Symposium on Code Generation and Optimization (GCO), April 2010
• DBT Path Selection for Holistic Memory Efficiency and Performance, Apala Guha, Kim Hazelwood and Mary Lou Soffa, ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE), Pittsburgh, PA, March 2010.

2009

• A Framework for Exploring Optimization Properties, Min Zhao, Bruce Childers and Mary Lou Soffa, Compiler Conference, March 2009
• Transparent Debugging of Dynamically Optimized Code, Naveen Kumar,  Bruce Childers and Mary Lou Soffa, Code Generation and Optimization Conference, March 2009

2008

• Marple: a Demand-driven Path-sensitive Buffer Overflow Detector, Wei Le and Mary Lou Soffa, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of  Software Engineering, November 2008
• Code Lifetime Based Memory Reduction for Virtual Execution Environments, Apala Guha, Kim Hazelwood, Mary Lou Soffa., Proceedings of the 6th Workshop on Optimizations for DSP and Embedded Systems (ODES) Boston, Massachusetts, April 2008
• Mats:  MultiCore Adaptive Trace Selection, Jason Mars and Mary Lou Soffa, Third Workshop on Software Tools for MultiCore Sysems (STMCS 2008), collocated with Code Generation and Optimization (CGO), April  2008
• Database-Aware Test Coverage Monitoring, Gregory M. Kapfhammer and Mary Lou Soffa, In the Proceedings of the ACM India Software Engineering Conference, Hyderabad, India, February 2008
• Path Sensitive Analysis for Security Flaws, 11th IEEE High Assurance Systems Engineering Symposium (HASE), Nanjing, China, 2008, 3

2007

• Test Suite Reduction and Prioritization with Call Trees, Adam Smith, Joshua Geiger, Gregory M. Kapfhammer and Mary Lou Soffa, Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, Atlanta, Georgia, November 2007
• Using Coverage Effectiveness to Evaluate Test Suite Prioritizations, Gregory M. Kapfhammer and Mary Lou Soffa, in the Proceedings of the ACM International Workshop on Empirical Assessment of Software Engineering   Languages and Technologies, Atlanta, Georgia, November 2007
• Efficient Time-Aware Prioritization With Knapsack Solvers, Sara Alspaugh, Kristen R. Walcott, Michael Belanich, Gregory M. Kapfhammer, and Mary Lou Soffa, In the Proceedings of the ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies, Atlanta, Georgia, November 2007
• Program Representations for Testing Wireless Sensor Network Applications, Nguyet T.M. Nguyen, Mary Lou Soffa, DOSTA’07, Workshop on Domain Specific Approaches to Software Test Automation, in conjunction with the 6^th ESEC./FSE conference, September 2007
• Refining Buffer Overflow Detection Via Path Sensitive, Demand Driven Analysis, Wei Le and Mary Lou Soffa, PASTE, June 2007
• Reducing Exit Stub Memory Consumption in Code Caches, Apala Guha, Kim Hazelwood, Mary Lou Soffa,  International Symposium on High Performance Embedded Architectures and Compilers (HiPEAC), Ghent, Belgium, January 2007, pg. 87-101
• Virtual Execution Environments: Support and Tools, Apala Guha, Jason Hiser, Naveen Kumar, Jing Yang, Min Zhao, Shukang Zhou, Bruce R. Childers, Jack W. Davidson, Kim M. Hazelwood and Mary Lou Soffa, in Proceedings of the NSF Next Generation Software Program Workshop held in conjunction with the International Parallel and Distributed Processing Symposium, Long Beach, California, March 2007, 1-6
• Clairvoyant: A Comprehensive Source-Level Debugger For Wireless Sensor Networks, Jing Yang, Mary Lou Soffa, Leo Selavo and Kamin Whitehouse,  The 5th AMC Conference on Embedded Networked Sensor Systems (Synsys), Sydnes, Australia, November 2007, 189-203

2006

• An Approach Toward Profit-driven Optimization, Min Zhao, Bruce R. Childers, and Mary Lou Soffa,  ACM Transactions on Architecture and Compiler Optimization,  Vol. 3, No. 3, September, 2006
• Catching and Identifying Bugs in Register Allocation, Yuqiang Huang, Bruce R. Childers, and Mary Lou Soffa, Symposium on Static Analysis,  Korea, August 28-30, 2006
• Time-Aware Test Suite Prioritization, Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, and Robert S.  Roos,  ACM  SIGSOFT/SIGPLAN International Symposium on Software Testing and Analysis, Portland, Maine, July 2006
• Techniques and Tools for Dynamic Optimization, Jason D. Hiser, Naveen Kumar, Min Zhao, Shukang Zhou, Bruce R. Childers, Jack W. Davidson, and Mary Lou Soffa,  NSF Next Generation Software Workshop, during the International Parallel and Distributed Processing Symposium (NSFNGS ’06). Rhodes Island, Greece, April 2006
• Dimension: an Instrumentation Tool for Virtual Execution Environments, Jing Yang, Shukang Zhou, and Mary Lou Soffa, Second International Conference on Virtual Execution Environments (VEE ’06). Ottawa, Canada, June 2006
• Gender, Achievement, and Persistence in an Undergraduate Computer Science Program, Sandra Katz, David Allbritton, John Aronis, Christine Wilson and Mary Lou Soffa, ACM SIGMIS Database 37(4): 42-57, 2006

2005

• Testing in Resource Constrained Execution Environments, Gregory M. Kapfhammer, Mary Lou Soffa and  Daniel Mosse,  ACM/IEEE International Conference on Automated Software Engineering, Long Beach, California, 2005
• Planning for Code Buffer Management in Distributed Virtual Execution Environments, Shukang Zhou, Bruce R. Childers and Mary Lou Soffa, ACM/USENIX Virtual Execution Environments Conference (VEE’05), Chicago, Illinois, June 2005
• Demand-Driven Structural Testing with Dynamic Instrumentation, Jonathan Misurda, James Clause, Juliya L. Reed, Bruce Childers and Mary Lou Soffa. ACM SIGSOFT Int’l. Conference on Software Engineering (ICSE’05), St. Louis, Missouri, June 2005
• Low Overhead Program Monitoring and Profiling, Naveen Kumar, Bruce R. Childers and Mary Lou Soffa,  ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE’05), Lisbon, Portugal, September 2005
• TDB: A Source-Level Debugger for Dynamically Translated Programs, Naveen Kumar, Bruce R. Childers and Mary Lou Soffa, ACM SIGPLAN/SIGSOFT Sixth Int’l. Symposium on Automated and Analysis-Driven Debugging (AADEBUG’05), Monterey, California, September 2005
• Compile-time Planning for Overhead Reduction in Software Dynamic Translators, Naveen Kumar, Bruce R. Childers, Dan Williams, Jack W. Davidson, and Mary Lou  Soffa,  International Journal on Parallel Programming, Vol. 33, Nos. 2-3, June 2005
• Jazz: A Tool for Demand-Driven Structural Testing, J Misurda, J Clause, J L Reed, P Gandra, B R Childers, M L Soffa, 14th ETAPS International Conference on Compiler Construction (CC’05), Edinburgh, Scotland, April 2005
• A Model-based Framework: An Approach for Profit-driven Optimization, Min Zhao, Bruce R. Childers, and Mary Lou Soffa  ACM SIGMICRO Int’l. Conference on Code Generation and Optimization (CGO’05), San Jose, California, March 2005
• The Impact of Software Engineering Research on Modern Programming Languages, Barbara Ryder, Mary Lou Soffa, and Margaret Burnett,  ACM Transactions on Software Engineering, Volume 14, Number 4, 431-477, October 2005

2004

• Overhead Reduction Techniques for Software Dynamic Translation, Kevin Scott, Naveen Kumar, Bruce R. Childers, Jack W. Davidson and Mary Lou Soffa , NSF Next Generation Software Workshop, collocated with  Int’l. Parallel and Distributed Processing Symposium, April 2004
• Developing a Foundation for Code Optimization, Mary Lou Soffa, in Compiler Construction (Ed. Evelyn Duesterwald), 13th International Conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Sotfware, ETAPS 2004, Barcelone, Spain, April 2004.
• Instrumentation in Software Dynamic Translators for Self-Managed Systems, Naveen Kumar, Jonathan Misurda, Bruce R. Childers and Mary Lou Soffa, ACM SIGSOFT Workshop on Self-Managing Systems (WOSS’04) during the ACM SIGSOFT Int’l Symposium Foundations of Software Engineering, 2004, 90-94

2003

• Predicting the Impact of Optimizations for Embedded Systems, Min Zhao, Bruce R. Childers, and Mary Lou Soffa, ACM SIGPLAN Symposium on Languages, Compilers, and Tools for Embedded Systems, San Diego, California, June 2003
• A Family of Test Adequacy Criteria for Database-Driven Applications, G. Kapfhammer and Mary Lou Soffa, ACM SIGSOFT Foundations of Software Engineering Conference, Septtember 2003, selected as a Distinguished Paper
• Regression Testing of GUIs, Memon and M. L. Soffa, ACM SIGSOFT Foundations of Software Engineering Conference, September 2003
• The Limits of Speculative Trace Reuse on Deeply Pipelined Processors,  M. L. Pilla, P. O. A. Navaux, A. T. da Costa, F. M. G. Franca, B. R. Childers and M. L. Soffa, The 15th Symposium on Computer Architecture and High Performance Computing, Sao Paulo/SP, Brazil, November 2003
• SoftTest: A Framework for Software Testing of Java Programs , B. R. Childers, M. L. Soffa, J. Beaver, L. Ber, K. Cammarata, T. Kane, J. Litman, and J. Misurda, Eclipse Technology Exchange (eTX) Workshop, during the ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications, October  2003
• Gender and Race in Predicting Achievement in Computer Science,  S. Katz,  J. Aronis, D. Allbritton, C. Wilson and M.L. Soffa, IEEE Technology and Society, Special Issue on Women and Minorities in Information Technology, Volume 22, 3, 20-27, 2003
• Continuous compilation: A new approach to aggressive and adaptive code transformation, Bruce Childers, Jack Davidson, and Mary Lou Soffa, NSF Next Generation Software Workshop, during the International Parallel and Distributed Processing Symposium (IPDPS), Nice, France, April 2003
• Retargetable and Reconfigurable Software Dynamic Translation,  K. Scott, N. Kumar, S. Velusamy, B. Childers, J. Davidson, and M. L. Soffa, International Conference on Code Generation and Optimization, San Francisco, California, March 2003
• A Study to Identify Predictors of Achievement in an Introductory Computer Science Course, S. Katz, J. Aronis, D. Allbritton, C. Wilson and M.L. Soffa,  ACM Conference on Computer Personnel Research, 2003

2002

• Shortchanging the Future of Information Technology: The Untapped Resource, A. Balcita, D. Carver, M.L. Soffa,  ACM SIGCSE Inroads, Special Issue on Women and Computing, June 2002
• Verifying Optimizers Through Comparison Checking, C. Jaramillo, R. Gupta and M.L. Soffa,  International Workshop: Compiler Optimization Meets Compiler Verification, Grenoble, France, April 2002

2001

• Coverage Criteria for GUI Testing, A. Memon, M.L. Soffa, M. Pollack, European Software Engineering Conference/SIGSOFT Foundations of Software Engineering Conference, Vienna, Austria, September 2001
• Hierarchical GUI Test-Case Generation Using Automated Planning, A. Memon, M. Pollack, and M. L. Soffa,  IEEETransactions on Software Engineering, Vol. 27, No. 2, pages 144-155, February 2001
• Using Component Metadata to Support Regression Testing of Component-based Software, M.J. Harrold, A. Orso, D. Rosenblum, G. Rothemel, M.L. Soffa, H. Do,  International Conference on Software Maintenance, November 2001
• Width Sensitive Scheduling for Resource Contained VLIW processors, T. Nakra, B. Childers, and M.L.Soffa, ACM Workshop on Feedback Directed and Dynamic Optimizations, Monterey, Ca.,  Colocated with Micro33 December 2001

2000

• Automated Test Oracles for GUIs, A. Memon, M. Pollack, and M.L. Soffa,  Eighth International Symposium on the Foundations of Software Engineering (FSE2000), San Diego, CA, November 2000
• Automated Test Oracles for GUIs, A. Memon, M. Pollack, and M.L. Soffa,  Eighth International Symposium on the Foundations of Software Engineering (FSE2000), San Diego, CA, November 2000
• Generating Test Data for Branch Coverage, Neelam Gupta, Aditya Mathur and Mary Lou Soffa,  15th IEEE International Conference on Automated Software Engineering (ASE’2000), Grenoble, France, September 2000
• FULLDOC: A Full Reporting Debugger for Optimized Code, C. Jaramillo, R. Gupta, and M.L. Soffa,  International Static Analysis Symposium, LNCS, Springer Verlag, Santa Barbara, CA, July 2000
• Plan Generation for GUI Testing, A. Memon, M. Pollack, and M.L. Soffa,  Fifth International Conference on Artificial Intelligence Planning and Scheduling, Brackenridge, Co, April 2000

1999

• UNA Based Iterative Test Data Generation and its Evaluation, N. Gupta, A. Mathur, and M.L. Soffa, Proceedings of the IEEE Automated Software Engineering Conference, October 1999
• Comparison Checking: An Approach to Avoid Debugging of Optimized Code, Clara Jaramillo, Rajiv Gupta and Mary Lou Soffa,  The Joint 7th European Software Engineenering Conference (ESEC) and th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), Toulouse, France, September 1999
• Load-Reuse Analysis: Design and Evaluation,  R. Bodik, R. Gupta, and M.L. Soffa,  ACM SIGPLAN Conference on Programming Language Design and Implementation, Atlanta, Georgia, May 1999
• Using a Goal-driven Approach to Generate Test Cases for GUIs, Atif Memon, Martha Pollack, and Mary Lou Soffa,  International Conference on Software Engineering, Los Angeles, May 1999
• Global Context-based Value Prediction, T. Nakra, R. Gupta, and M.L. Soffa,  Fifth International Symposium on High Performance Computer Architecture, Orlando, Florida, January 1999