| 2024 | ICSE | CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing. | Swaroopa Dola, Rory McDaniel, Matthew B. Dwyer, Mary Lou Soffa |
| 2021 | CGO | Message from the Program Chairs. | Mary Lou Soffa, Ayal Zaks |
| 2021 | ICSE | Distribution-Aware Testing of Neural Networks Using Generative Models. | Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa |
| 2021 | ICSE | Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models. | Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa |
| 2020 | ICSE | Is rust used safely by software developers? | Ana Nora Evans, Bradford Campbell, Mary Lou Soffa |
| 2018 | ICST | Testing Cloud Applications under Cloud-Uncertainty Performance Effects. | Wei Wang, Ningjing Tian, Sunzhou Huang, Sen He, Abhijeet Srivastava, Mary Lou Soffa, Lori L. Pollock |
| 2018 | SP | Black-Box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers. | Ji Gao, Jack Lanchantin, Mary Lou Soffa, Yanjun Qi |
| 2016 | HPCA | Predicting the memory bandwidth and optimal core allocations for multi-threaded applications on large-scale NUMA machines. | Wei Wang, Jack W. Davidson, Mary Lou Soffa |
| 2014 | HPCA | DraMon: Predicting memory bandwidth usage of multi-threaded programs with high accuracy and low overhead. | Wei Wang, Tanima Dey, Jack W. Davidson, Mary Lou Soffa |
| 2013 | ASPLOS | ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers. | Lingjia Tang, Jason Mars, Wei Wang, Tanima Dey, Mary Lou Soffa |
| 2012 | CGO | Compiling for niceness: mitigating contention for QoS in warehouse scale computers. | Lingjia Tang, Jason Mars, Mary Lou Soffa |
| 2012 | ISPASS | Performance analysis of thread mappings with a holistic view of the hardware resources. | Wei Wang, Tanima Dey, Jason Mars, Lingjia Tang, Jack W. Davidson, Mary Lou Soffa |
| 2012 | ISSTA | THeME: a system for testing by hardware monitoring events. | Kristen Walcott-Justice, Jason Mars, Mary Lou Soffa |
| 2012 | VEE | REEact: a customizable virtual execution manager for multicore platforms. | Wei Wang, Tanima Dey, Ryan W. Moore, Mahmut Aktasoglu, Bruce R. Childers, Jack W. Davidson, Mary Jane Irwin, Mahmut T. Kandemir, Mary Lou Soffa |
| 2011 | FIE | Focusing high school teachers on attracting diverse students to computer science and engineering. | James P. Cohoon, Joanne McGrath Cohoon, Mary Lou Soffa |
| 2011 | ISCA | The impact of memory subsystem resource sharing on datacenter applications. | Lingjia Tang, Jason Mars, Neil Vachharajani, Robert Hundt, Mary Lou Soffa |
| 2011 | ICSE | Lazy preemption to enable path-based analysis of interrupt-driven code. | Wei Le, Jing Yang, Mary Lou Soffa, Kamin Whitehouse |
| 2011 | ICSE | Exploiting hardware advances for software testing and debugging. | Mary Lou Soffa, Kristen R. Walcott, Jason Mars |
| 2011 | ISPASS | Characterizing multi-threaded applications based on shared-resource contention. | Tanima Dey, Wei Wang, Jack W. Davidson, Mary Lou Soffa |
| 2011 | ISSTA | Generating analyses for detecting faults in path segments. | Wei Le, Mary Lou Soffa |
| 2011 | MICRO | Bubble-Up: increasing utilization in modern warehouse scale computers via sensible co-locations. | Jason Mars, Lingjia Tang, Robert Hundt, Kevin Skadron, Mary Lou Soffa |
| 2010 | CASES | Balancing memory and performance through selective flushing of software code caches. | Apala Guha, Kim M. Hazelwood, Mary Lou Soffa |
| 2010 | CGO | Contention aware execution: online contention detection and response. | Jason Mars, Neil Vachharajani, Robert Hundt, Mary Lou Soffa |
| 2010 | VEE | DBT path selection for holistic memory efficiency and performance. | Apala Guha, Kim M. Hazelwood, Mary Lou Soffa |
| 2009 | CC | A Framework for Exploring Optimization Properties. | Min Zhao, Bruce R. Childers, Mary Lou Soffa |
| 2009 | CGO | Transparent Debugging of Dynamically Optimized Code. | Naveen Kumar, Bruce R. Childers, Mary Lou Soffa |
| 2007 | SENSYS | Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. | Jing Yang, Mary Lou Soffa, Leo Selavo, Kamin Whitehouse |
| 2007 | SENSYS | Effective source-level debugging of wireless sensor networks. | Jing Yang, Mary Lou Soffa, Kamin Whitehouse |
| 2006 | ISSTA | TimeAware test suite prioritization. | Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, Robert S. Roos |
| 2006 | SAS | Catching and Identifying Bugs in Register Allocation. | Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa |
| 2005 | CC | Jazz: A Tool for Demand-Driven Structural Testing. | Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa |
| 2005 | CGO | Model-Based Framework: An Approach for Profit-Driven Optimization. | Min Zhao, Bruce R. Childers, Mary Lou Soffa |
| 2005 | ICSE | Demand-driven structural testing with dynamic instrumentation. | Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa |
| 2005 | VEE | Planning for code buffer management in distributed virtual execution environments. | Shukang Zhou, Bruce R. Childers, Mary Lou Soffa |
| 2004 | CC | Developing a Foundation for Code Optimization. | Mary Lou Soffa |
| 2003 | CGO | Retargetable and Reconfigurable Software Dynamic Translation. | Kevin Scott, Naveen Kumar, S. Velusamy, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa |
| 2003 | ICSE | Report on the ICSE 2003 Doctoral Symposium. | Dick Hamlet, Mary Lou Soffa |
| 2003 | OOPSLA | 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 |
| 2003 | SBAC-PAD | The Limits of Speculative Trace Reuse on Deeply Pipelined Processors. | Maurcio L. Pilla, Amarildo T. da Costa, Felipe M. G. Frana, Bruce R. Childers, Mary Lou Soffa |
| 2000 | SAS | FULLDOC: A Full Reporting Debugger for Optimized Code. | Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa |
| 1999 | HPCA | Global Context-Based Value Prediction. | Tarun Nakra, Rajiv Gupta, Mary Lou Soffa |
| 1999 | ISCA | Value Prediction in VLIW Machines. | Tarun Nakra, Rajiv Gupta, Mary Lou Soffa |
| 1999 | ICSE | Using a Goal-Driven Approach to Generate Test Cases for GUIs. | Atif M. Memon, Martha E. Pollack, Mary Lou Soffa |
| 1999 | PLDI | Load-Reuse Analysis: Design and Evaluation. | Rastislav Bodk, Rajiv Gupta, Mary Lou Soffa |
| 1999 | SAS | Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. | Mary Lou Soffa |
| 1998 | PLDI | Complete Removal of Redundant Computations. | Rastislav Bodk, Rajiv Gupta, Mary Lou Soffa |
| 1998 | PLDI | Complete removal of redundant expressions (with retrospective) | Rastislav Bodk, Rajiv Gupta, Mary Lou Soffa |
| 1997 | PLDI | Interprocedural Conditional Branch Elimination. | Rastislav Bodk, Rajiv Gupta, Mary Lou Soffa |
| 1996 | ICSE | A Demand-Driven Analyzer for Data Flow Testing at the Integration Level. | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa |
| 1995 | POPL | Demand-driven Computation of Interprocedural Data Flow. | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa |
| 1994 | CC | Reducing the Cost of Data Flow Analysis By Congruence Partitioning. | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa |
| 1994 | CC | A Practical Approach to the Symbolic Debugging of Parallelized Code. | Patricia Prather Pineo, Mary Lou Soffa |
| 1994 | ICPADS | An Efficient Technique to Remove Transformations. | Chyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang |
| 1994 | ICPP | Undoing Code Transformations in an Independent Order. | Chyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang |
| 1994 | ISSTA | Debugging Optimized Code Via Tailoring (Abstract). | Lori L. Pollock, Mary P. Bivens, Mary Lou Soffa |
| 1993 | ICPP | Investigating Properties of Code Transformations. | Deborah Whitfield, Mary Lou Soffa |
| 1993 | PLDI | A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations. | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa |
| 1992 | AVI | A Visual Optimization Specification Language. | Chyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang |
| 1992 | CC | Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables. | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa |
| 1992 | ICCI | A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors. | Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa |
| 1992 | MICRO | A shape matching approach for scheduling fine-grained parallelism. | Brian A. Malloy, Rajiv Gupta, Mary Lou Soffa |
| 1992 | SC | A Visualization System for Parallelizing Programs. | Chyi-Ren Dow, Shi-Kuo Chang, Mary Lou Soffa |
| 1992 | SC | Techniques for Integrating Parallelizing Transformations and Compiler-Based Scheduling Methods. | Tia M. Watts, Mary Lou Soffa, Rajiv Gupta |
| 1991 | ISSTA | Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework. | Evelyn Duesterwald, Mary Lou Soffa |
| 1991 | OOPSLA | Parallel Generational Garbage Collection. | Ravi Sharma, Mary Lou Soffa |
| 1991 | PLDI | Automatic Generation of Global Optimizers. | Deborah Whitfield, Mary Lou Soffa |
| 1990 | PPoPP | An Approach to Ordering Optimizing Transformations. | Deborah Whitfield, Mary Lou Soffa |
| 1990 | SC | Architectural support for register allocation in the presence of aliasing. | Ben Heggy, Mary Lou Soffa |
| 1989 | ISSTA | Interprocedual Data Flow Testing. | Mary Jean Harrold, Mary Lou Soffa |
| 1989 | PLDI | Register Allocation via Clique Separators. | Rajiv Gupta, Mary Lou Soffa, Tim Steele |
| 1988 | PPoPP | Compile-time Techniques for Efficient Utilization of Parallel Memories. | Rajiv Gupta, Mary Lou Soffa |
| 1987 | ICPP | A Reconfigurable LIW Architecture. | Rajiv Gupta, Mary Lou Soffa |
| 1986 | WSC | SIMCAL: the merger of Simula and Pascal. | Brian A. Malloy, Mary Lou Soffa |
| 1985 | POPL | Incremental Compilation of Locally Optimized Code. | Lori L. Pollock, Mary Lou Soffa |
| 1980 | SIGCSE | An instructional aid for student programs. | Sally S. Robinson, Mary Lou Soffa |