default search action
Mary Lou Soffa
Person information
- affiliation: University of Virginia, Charlottesville, USA
- award (2011): Anita Borg Institute Women of Vision Awards
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c135]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: 118:1-118:13 - 2023
- [j53]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): 81:1-81:48 (2023) - 2021
- [c134]Mary Lou Soffa, Ayal Zaks:
Message from the Program Chairs. CGO 2021: v - [c133]Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa:
Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models. ICSE (Companion Volume) 2021: 205-206 - [c132]Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa:
Distribution-Aware Testing of Neural Networks Using Generative Models. ICSE 2021: 226-237 - [e9]Jae W. Lee, Mary Lou Soffa, Ayal Zaks:
IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2021, Seoul, South Korea, February 27 - March 3, 2021. IEEE 2021, ISBN 978-1-7281-8613-9 [contents] - [d1]Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa:
Distribution-aware testing of neural networks using generative models. Zenodo, 2021 - [i6]Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa:
Distribution-Aware Testing of Neural Networks Using Generative Models. CoRR abs/2102.13602 (2021) - 2020
- [c131]Ana Nora Evans, Bradford Campbell, Mary Lou Soffa:
Is rust used safely by software developers? ICSE 2020: 246-257 - [c130]Mary Lou Soffa:
Testing deep neural networks (keynote). SPLASH (Companion) 2020: 2 - [i5]Ana Nora Evans, Mary Lou Soffa, Sebastian G. Elbaum:
A Language for Autonomous Vehicles Testing Oracles. CoRR abs/2006.10177 (2020) - [i4]Ana Nora Evans, Bradford Campbell, Mary Lou Soffa:
Is Rust Used Safely by Software Developers? CoRR abs/2007.00752 (2020)
2010 – 2019
- 2019
- [c129]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: 188-199 - 2018
- [c128]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: 81-92 - [c127]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: 50-56 - [i3]Ji Gao, Jack Lanchantin, Mary Lou Soffa, Yanjun Qi:
Black-box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers. CoRR abs/1801.04354 (2018) - 2016
- [c126]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: 419-431 - 2014
- [c125]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: 380-391 - 2013
- [j52]James P. Cohoon, Joanne McGrath Cohoon, Mary Lou Soffa:
Educating Diverse Computing Students at the University of Virginia. Computer 46(3): 52-55 (2013) - [j51]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): 41:1-41:25 (2013) - [j50]Wei Le, Mary Lou Soffa:
Marple: Detecting faults in path segments using automatically generated analyses. ACM Trans. Softw. Eng. Methodol. 22(3): 18:1-18:38 (2013) - [c124]Lingjia Tang, Jason Mars, Wei Wang, Tanima Dey, Mary Lou Soffa:
ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers. ASPLOS 2013: 89-100 - 2012
- [j49]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): 88-99 (2012) - [j48]Apala Guha, Kim M. Hazelwood, Mary Lou Soffa:
Memory optimization of dynamic binary translators for embedded systems. ACM Trans. Archit. Code Optim. 9(3): 22:1-22:29 (2012) - [c123]Lingjia Tang, Jason Mars, Mary Lou Soffa:
Compiling for niceness: mitigating contention for QoS in warehouse scale computers. CGO 2012: 1-12 - [c122]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: 156-167 - [c121]Kristen Walcott-Justice, Jason Mars, Mary Lou Soffa:
THeME: a system for testing by hardware monitoring events. ISSTA 2012: 12-22 - [c120]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: 27-38 - 2011
- [c119]James P. Cohoon, Joanne McGrath Cohoon, Mary Lou Soffa:
Focusing high school teachers on attracting diverse students to computer science and engineering. FIE 2011: 2 - [c118]Jason Mars, Lingjia Tang, Mary Lou Soffa:
Directly characterizing cross core interference through contention synthesis. HiPEAC 2011: 167-176 - [c117]Wei Le, Jing Yang, Mary Lou Soffa, Kamin Whitehouse:
Lazy preemption to enable path-based analysis of interrupt-driven code. SESENA@ICSE 2011: 43-48 - [c116]Mary Lou Soffa, Kristen R. Walcott, Jason Mars:
Exploiting hardware advances for software testing and debugging. ICSE 2011: 888-891 - [c115]Lingjia Tang, Jason Mars, Neil Vachharajani, Robert Hundt, Mary Lou Soffa:
The impact of memory subsystem resource sharing on datacenter applications. ISCA 2011: 283-294 - [c114]Tanima Dey, Wei Wang, Jack W. Davidson, Mary Lou Soffa:
Characterizing multi-threaded applications based on shared-resource contention. ISPASS 2011: 76-86 - [c113]Wei Le, Mary Lou Soffa:
Generating analyses for detecting faults in path segments. ISSTA 2011: 320-330 - [c112]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: 248-259 - [c111]Jonathan Misurda, Bruce R. Childers, Mary Lou Soffa:
Jazz2: a flexible and extensible framework for structural testing in a Java VM. PPPJ 2011: 81-90 - 2010
- [j47]Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa:
Detecting bugs in register allocation. ACM Trans. Program. Lang. Syst. 32(4): 15:1-15:36 (2010) - [c110]Apala Guha, Kim M. Hazelwood, Mary Lou Soffa:
Balancing memory and performance through selective flushing of software code caches. CASES 2010: 1-10 - [c109]Jason Mars, Neil Vachharajani, Robert Hundt, Mary Lou Soffa:
Contention aware execution: online contention detection and response. CGO 2010: 257-265 - [c108]Wei Le, Mary Lou Soffa:
Path-based fault correlations. SIGSOFT FSE 2010: 307-316 - [c107]Apala Guha, Kim M. Hazelwood, Mary Lou Soffa:
DBT path selection for holistic memory efficiency and performance. VEE 2010: 145-156
2000 – 2009
- 2009
- [c106]Min Zhao, Bruce R. Childers, Mary Lou Soffa:
A Framework for Exploring Optimization Properties. CC 2009: 32-47 - [c105]Naveen Kumar, Bruce R. Childers, Mary Lou Soffa:
Transparent Debugging of Dynamically Optimized Code. CGO 2009: 275-286 - [e8]Mary Lou Soffa, Mary Jane Irwin:
Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009. ACM 2009, ISBN 978-1-60558-406-5 [contents] - 2008
- [c104]Mary Lou Soffa:
Path Sensitive Analysis for Security Flaws. HASE 2008: 3 - [c103]Gregory M. Kapfhammer, Mary Lou Soffa:
Database-aware test coverage monitoring. ISEC 2008: 77-86 - [c102]Wei Le, Mary Lou Soffa:
Marple: a demand-driven path-sensitive buffer overflow detector. SIGSOFT FSE 2008: 272-282 - [e7]Mary Lou Soffa, Evelyn Duesterwald:
Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USA. ACM 2008, ISBN 978-1-59593-978-4 [contents] - [e6]Bruce R. Childers, Jack W. Davidson, Koen De Bosschere, Mary Lou Soffa:
Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10. - 31.10.2008. Dagstuhl Seminar Proceedings 08441, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [i2]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 - [i1]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 - 2007
- [c101]Apala Guha, Kim M. Hazelwood, Mary Lou Soffa:
Reducing Exit Stub Memory Consumption in Code Caches. HiPEAC 2007: 87-101 - [c100]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: 1-6 - [c99]Adam M. Smith, Joshua Geiger, Gregory M. Kapfhammer, Mary Lou Soffa:
Test suite reduction and prioritization with call trees. ASE 2007: 539-540 - [c98]Wei Le, Mary Lou Soffa:
Refining buffer overflow detection via demand-driven path-sensitive analysis. PASTE 2007: 63-68 - [c97]Jing Yang, Mary Lou Soffa, Leo Selavo, Kamin Whitehouse:
Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. SenSys 2007: 189-203 - [c96]Jing Yang, Mary Lou Soffa, Kamin Whitehouse:
Effective source-level debugging of wireless sensor networks. SenSys 2007: 405-406 - [c95]Nguyet T. M. Nguyen, Mary Lou Soffa:
Program representations for testing wireless sensor network applications. DOSTA 2007: 20-26 - 2006
- [j46]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): 42-57 (2006) - [j45]Min Zhao, Bruce R. Childers, Mary Lou Soffa:
An approach toward profit-driven optimization. ACM Trans. Archit. Code Optim. 3(3): 231-262 (2006) - [c94]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 - [c93]Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, Robert S. Roos:
TimeAware test suite prioritization. ISSTA 2006: 1-12 - [c92]Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa:
Catching and Identifying Bugs in Register Allocation. SAS 2006: 281-300 - [e5]Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa:
28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006. ACM 2006, ISBN 1-59593-375-1 [contents] - 2005
- [j44]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): 103-114 (2005) - [j43]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): 431-477 (2005) - [c91]Naveen Kumar, Bruce R. Childers, Mary Lou Soffa:
Tdb: a source-level debugger for dynamically translated programs. AADEBUG 2005: 123-132 - [c90]Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa:
Jazz: A Tool for Demand-Driven Structural Testing. CC 2005: 242-245 - [c89]Min Zhao, Bruce R. Childers, Mary Lou Soffa:
Model-Based Framework: An Approach for Profit-Driven Optimization. CGO 2005: 317-327 - [c88]Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa:
Demand-driven structural testing with dynamic instrumentation. ICSE 2005: 156-165 - [c87]Gregory M. Kapfhammer, Mary Lou Soffa, Daniel Mossé:
Testing in resource constrained execution environments. ASE 2005: 418-422 - [c86]Naveen Kumar, Bruce R. Childers, Mary Lou Soffa:
Low overhead program monitoring and profiling. PASTE 2005: 28-34 - [c85]Shukang Zhou, Bruce R. Childers, Mary Lou Soffa:
Planning for code buffer management in distributed virtual execution environments. VEE 2005: 100-109 - 2004
- [c84]Mary Lou Soffa:
Developing a Foundation for Code Optimization. CC 2004: 1-4 - [c83]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 - [c82]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 - [c81]Naveen Kumar, Jonathan Misurda, Bruce R. Childers, Mary Lou Soffa:
Instrumentation in software dynamic translators for self-managed systems. WOSS 2004: 90-94 - 2003
- [j42]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): 16-22 (2003) - [j41]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): 29-35 (2003) - [j40]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): 20-27 (2003) - [j39]Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa:
Editorial. ACM Trans. Softw. Eng. Methodol. 12(1): 1-2 (2003) - [c80]Kevin Scott, Naveen Kumar, S. Velusamy, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa:
Retargetable and Reconfigurable Software Dynamic Translation. CGO 2003: 36-47 - [c79]Dick Hamlet, Mary Lou Soffa:
Report on the ICSE 2003 Doctoral Symposium. ICSE 2003: 762-766 - [c78]Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa:
Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation. IPDPS 2003: 205 - [c77]Min Zhao, Bruce R. Childers, Mary Lou Soffa:
Predicting the impact of optimizations for embedded systems. LCTES 2003: 1-11 - [c76]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: 79-83 - [c75]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: 36-45 - [c74]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: 157-161 - [c73]Gregory M. Kapfhammer, Mary Lou Soffa:
A family of test adequacy criteria for database-driven applications. ESEC / SIGSOFT FSE 2003: 98-107 - [c72]Atif M. Memon, Mary Lou Soffa:
Regression testing of GUIs. ESEC / SIGSOFT FSE 2003: 118-127 - 2002
- [j38]Angela M. Balcita, Doris L. Carver, Mary Lou Soffa:
Shortchanging the future of information technology: the untapped resource. ACM SIGCSE Bull. 34(2): 32-35 (2002) - [c71]Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa:
Debugging and Testing Optimizers through Comparison Checking. COCV@ETAPS 2002: 83-99 - 2001
- [j37]Atif M. Memon, Martha E. Pollack, Mary Lou Soffa:
Hierarchical GUI Test Case Generation Using Automated Planning. IEEE Trans. Software Eng. 27(2): 144-155 (2001) - [c70]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: 716-725 - [c69]Atif M. Memon, Mary Lou Soffa, Martha E. Pollack:
Coverage criteria for GUI testing. ESEC / SIGSOFT FSE 2001: 256-267 - [e4]Michael Burke, Mary Lou Soffa:
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001. ACM 2001, ISBN 1-58113-414-2 [contents] - 2000
- [j36]Mary Lou Soffa:
1999 SIGPLAN Awards. ACM SIGPLAN Notices 35(3): 2-3 (2000) - [c68]Atif M. Memon, Martha E. Pollack, Mary Lou Soffa:
Plan Generation for GUI Testing. AIPS 2000: 226-235 - [c67]Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa:
Generating Test Data for Branch Coverage. ASE 2000: 219-228 - [c66]Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa:
FULLDOC: A Full Reporting Debugger for Optimized Code. SAS 2000: 240-259 - [c65]Atif M. Memon, Martha E. Pollack, Mary Lou Soffa:
Automated test oracles for GUIs. SIGSOFT FSE 2000: 30-39
1990 – 1999
- 1999
- [c64]Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa:
Comparison Checking: An Approach to Avoid Debugging of Optimized Code. ESEC / SIGSOFT FSE 1999: 268-284 - [c63]Tarun Nakra, Rajiv Gupta, Mary Lou Soffa:
Global Context-Based Value Prediction. HPCA 1999: 4-12 - [c62]Atif M. Memon, Martha E. Pollack, Mary Lou Soffa:
Using a Goal-Driven Approach to Generate Test Cases for GUIs. ICSE 1999: 257-266 - [c61]Tarun Nakra, Rajiv Gupta, Mary Lou Soffa:
Value Prediction in VLIW Machines. ISCA 1999: 258-269 - [c60]Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa:
UNA Based Iterative Test Data Generation and Its Evaluation. ASE 1999: 224- - [c59]Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa:
Load-Reuse Analysis: Design and Evaluation. PLDI 1999: 64-76 - [c58]Mary Lou Soffa:
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. SAS 1999: 355-356 - 1998
- [j35]Mary Lou Soffa:
1998 SIGPLAN Awards. ACM SIGPLAN Notices 33(9): 1-3 (1998) - [j34]Mary Lou Soffa, David Notkin:
SIGPLAN and SIGSOFT Joint Efforts. ACM SIGPLAN Notices 33(12): 1 (1998) - [c57]Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa:
Capturing the Effects of Code Improving Transformations. IEEE PACT 1998: 118-123 - [c56]David A. Berson, Rajiv Gupta, Mary Lou Soffa:
Integrated Instruction Scheduling and Register Allocation Techniques. LCPC 1998: 247-262 - [c55]Jodi L. Tims, Rajiv Gupta, Mary Lou Soffa:
Data Flow Analysis Driven Dynamic Data Partitioning. LCR 1998: 75-90 - [c54]Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa:
Complete Removal of Redundant Computations. PLDI 1998: 1-14 - [c53]Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa:
Complete removal of redundant expressions (with retrospective). Best of PLDI 1998: 596-611 - [c52]