default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMary 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]Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa:
Automated Test Data Generation Using an Iterative Relaxation Method. SIGSOFT FSE 1998: 231-244 - [e3]Mary Lou Soffa, Michal Young, Will Tracz:
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998. ACM 1998, ISBN 0-89791-971-8 [contents] - 1997
- [j33]Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa:
A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis. ACM Trans. Program. Lang. Syst. 19(6): 992-1030 (1997) - [j32]Deborah Whitfield, Mary Lou Soffa:
An Approach for Exploring Code-Improving Transformations. ACM Trans. Program. Lang. Syst. 19(6): 1053-1084 (1997) - [j31]Rajiv Gupta, Mary Lou Soffa, John Howard:
Hybrid Slicing: Integrating Dynamic Information with Static Analysis. ACM Trans. Softw. Eng. Methodol. 6(4): 370-397 (1997) - [c51]Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa:
Refining Data Flow Information Using Infeasible Paths. ESEC / SIGSOFT FSE 1997: 361-377 - [c50]Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa:
Interprocedural Conditional Branch Elimination. PLDI 1997: 146-158 - 1996
- [j30]Rajiv Gupta, Mary Jean Harrold, Mary Lou Soffa:
Program Slicing-Based Regression Testing Techniques. Softw. Test. Verification Reliab. 6(2): 83-111 (1996) - [c49]Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa:
A Demand-Driven Analyzer for Data Flow Testing at the Integration Level. ICSE 1996: 575-584 - [c48]David A. Berson, Pohua P. Chang, Rajiv Gupta, Mary Lou Soffa:
Integrating Program Optimizations and Transformations with the Scheduling of Instruction Level Parallelism. LCPC 1996: 207-221 - [e2]Robert E. Beck, Mary Lou Soffa:
Proceedings of the 24th ACM Conference on Computer Science, CSC '96, Philadelphia, PA, USA, February 16-18, 1996. ACM 1996, ISBN 0-89791-828-2 [contents] - 1995
- [j29]Henri E. Bal, Boumediene Belkhouche, Mary Lou Soffa:
Introduction to the Special Section. IEEE Trans. Software Eng. 21(11): 881-882 (1995) - [c47]Patricia Prather Pineo, Mary Lou Soffa:
Practical approach to single assignment code. PACT 1995: 149-158 - [c46]Rajiv Gupta, Mary Lou Soffa:
Priority based data flow testing. ICSM 1995: 348-357 - [c45]David A. Berson, Rajiv Gupta, Mary Lou Soffa:
GURRR: A Global Unified Resource Requirements Representation. Intermediate Representations Workshop 1995: 23-34 - [c44]Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa:
Demand-driven Computation of Interprocedural Data Flow. POPL 1995: 37-48 - [c43]Rajiv Gupta, Mary Lou Soffa:
Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information. SIGSOFT FSE 1995: 29-40 - 1994
- [j28]Deborah Whitfield, Mary Lou Soffa:
The Design and Implementation of Genesis. Softw. Pract. Exp. 24(3): 307-325 (1994) - [j27]Mary Jean Harrold, Mary Lou Soffa:
Efficient Computation of Interprocedural Definition-Use Chains. ACM Trans. Program. Lang. Syst. 16(2): 175-204 (1994) - [j26]Rajiv Gupta, Mary Lou Soffa, Denise Ombres:
Efficient Register Allocation via Coloring Using Clique Separators. ACM Trans. Program. Lang. Syst. 16(3): 370-386 (1994) - [j25]Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa:
Scheduling DAG's for Asynchronous Multiprocessor Execution. IEEE Trans. Parallel Distributed Syst. 5(5): 498-508 (1994) - [j24]Robert Kramer, Rajiv Gupta, Mary Lou Soffa:
The Combining DAG: A Technique for Parallel Data Flow Analysis. IEEE Trans. Parallel Distributed Syst. 5(8): 805-813 (1994) - [c42]Patricia Prather Pineo, Mary Lou Soffa:
A Practical Approach to the Symbolic Debugging of Parallelized Code. CC 1994: 339-356 - [c41]Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa:
Reducing the Cost of Data Flow Analysis By Congruence Partitioning. CC 1994: 357-373 - [c40]Chyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang:
An Efficient Technique to Remove Transformations. ICPADS 1994: 392-397 - [c39]Chyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang:
Undoing Code Transformations in an Independent Order. ICPP (2) 1994: 108-115 - [c38]Rajiv Gupta, Mary Lou Soffa:
A Framework for Partial Data Flow Analysis. ICSM 1994: 4-13 - [c37]David A. Berson, Rajiv Gupta, Mary Lou Soffa:
Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers. IFIP PACT 1994: 135-146 - [c36]Lori L. Pollock, Mary P. Bivens, Mary Lou Soffa:
Debugging Optimized Code Via Tailoring (Abstract). ISSTA 1994: 201 - [e1]Vivek Sarkar, Barbara G. Ryder, Mary Lou Soffa:
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994. ACM 1994, ISBN 0-89791-662-X [contents] - 1993
- [j23]Rajiv Gupta, Mary Lou Soffa:
Employing Static Information in the Generation of Test Cases. Softw. Test. Verification Reliab. 3(1): 29-48 (1993) - [j22]Mary Jean Harrold, Rajiv Gupta, Mary Lou Soffa:
A Methodology for Controlling the Size of a Test Suite. ACM Trans. Softw. Eng. Methodol. 2(3): 270-285 (1993) - [c35]Deborah Whitfield, Mary Lou Soffa:
Investigating Properties of Code Transformations. ICPP (2) 1993: 156-160 - [c34]David A. Berson, Rajiv Gupta, Mary Lou Soffa:
URSA: A Unified ReSource Allocator for Registers and Functional Units in VLIW Architectures. Architectures and Compilation Techniques for Fine and Medium Grain Parallelism 1993: 243-254 - [c33]Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa:
A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations. PLDI 1993: 68-77 - 1992
- [j21]Lori L. Pollock, Mary Lou Soffa:
Incremental Global Reoptimization of Programs. ACM Trans. Program. Lang. Syst. 14(2): 173-200 (1992) - [c32]Chyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang:
A Visual Optimization Specification Language. Advanced Visual Interfaces 1992: 289-303 - [c31]Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa:
Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables. CC 1992: 192-206 - [c30]Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa:
A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors. ICCI 1992: 139-142 - [c29]Rajiv Gupta, Mary Jean Harrold, Mary Lou Soffa:
An approach to regression testing using slicing. ICSM 1992: 299-308 - [c28]Rajiv Gupta, Mary Lou Soffa:
Automatic Generation of a Compact Test Suit. IFIP Congress (1) 1992: 237-243 - [c27]Robert Kramer, Rajiv Gupta, Mary Lou Soffa:
The Combining Dag: A Technique for Parallel DataMow Analysis. IPPS 1992: 652-655 - [c26]Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa:
Distributed Slicing and Partial Re-execution for Distributed Programs. LCPC 1992: 497-511 - [c25]Brian A. Malloy, Rajiv Gupta, Mary Lou Soffa:
A shape matching approach for scheduling fine-grained parallelism. MICRO 1992: 264-267 - [c24]Shan Fan Liu, Mary Lou Soffa:
Parallel Task Assignment by Graph Partitioning. PARLE 1992: 965-966 - [c23]Chyi-Ren Dow, Shi-Kuo Chang, Mary Lou Soffa:
A Visualization System for Parallelizing Programs. SC 1992: 194-203 - [c22]Tia M. Watts, Mary Lou Soffa, Rajiv Gupta:
Techniques for Integrating Parallelizing Transformations and Compiler-Based Scheduling Methods. SC 1992: 830-839 - 1991
- [j20]Mary Jean Harrold, Mary Lou Soffa:
Selecting and Using Data fro Integration Testing. IEEE Softw. 8(2): 58-65 (1991) - [j19]Rajiv Gupta, Mary Lou Soffa:
Compile-Time Techniques for Improving Scalar Access Performance in Parallel Memories. IEEE Trans. Parallel Distributed Syst. 2(2): 138-148 (1991) - [c21]Evelyn Duesterwald, Mary Lou Soffa:
Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework. Symposium on Testing, Analysis, and Verification 1991: 36-48 - [c20]Ravi Sharma, Mary Lou Soffa:
Parallel Generational Garbage Collection. OOPSLA 1991: 16-32 - [c19]Patricia Prather Pineo, Mary Lou Soffa:
Debugging Parallelized Code Using Code Liberation Techniques. Workshop on Parallel and Distributed Debugging 1991: 108-119 - [c18]Deborah Whitfield, Mary Lou Soffa:
Automatic Generation of Global Optimizers. PLDI 1991: 120-129 - 1990
- [j18]Brian A. Malloy, Mary Lou Soffa:
Conversion of Simulation Processes to Pascal Constructs. Softw. Pract. Exp. 20(2): 191-207 (1990) - [j17]Mary P. Bivens, Mary Lou Soffa:
Incremental Register Reallocation. Softw. Pract. Exp. 20(10): 1015-1047 (1990) - [j16]Rajiv Gupta, Mary Lou Soffa:
Region Scheduling: An Approach for Detecting and Redistributing Parallelism. IEEE Trans. Software Eng. 16(4): 421-431 (1990) - [c17]Lori L. Pollock, Mary Lou Soffa:
Incremental Global Optimization for Faster Recompilations. ICCL 1990: 281-290 - [c16]Mary Jean Harrold, Mary Lou Soffa:
Computation of Interprocedural Definition and Use Dependencies. ICCL 1990: 297-306 - [c15]Mary Jean Harrold, Rajiv Gupta, Mary Lou Soffa:
A methodology for controlling the size of a test suite. ICSM 1990: 302-310 - [c14]Deborah Whitfield, Mary Lou Soffa:
An Approach to Ordering Optimizing Transformations. PPoPP 1990: 137-146 - [c13]Ben Heggy, Mary Lou Soffa:
Architectural support for register allocation in the presence of aliasing. SC 1990: 730-739
1980 – 1989
- 1989
- [j15]Rajiv Gupta, Mary Lou Soffa:
Compilation techniques for a reconfigurable LIW architecture. J. Supercomput. 3(4): 271-304 (1989) - [j14]Lori L. Pollock, Mary Lou Soffa:
An Incremental Version of Iterative Data Flow Analysis. IEEE Trans. Software Eng. 15(12): 1537-1549 (1989) - [c12]M. P. Blivens, Mary Lou Soffa:
Reuse of Compiler Analysis in a Programming Environment. ACM Conference on Computer Science 1989: 368-373 - [c11]Mary Jean Harrold, Mary Lou Soffa:
Interprocedual Data Flow Testing. Symposium on Testing, Analysis, and Verification 1989: 158-167 - [c10]Rajiv Gupta, Mary Lou Soffa, Tim Steele:
Register Allocation via Clique Separators. PLDI 1989: 264-274 - 1988
- [j13]Errol L. Lloyd, Mary Lou Soffa:
On Locating Minimum Feedback Vertex Sets. J. Comput. Syst. Sci. 37(3): 292-311 (1988) - [c9]Mary Jean Harrold, Mary Lou Soffa:
An incremental approach to unit testing during maintenance. ICSM 1988: 362-367 - [c8]Rajiv Gupta, Mary Lou Soffa:
Compile-time Techniques for Efficient Utilization of Parallel Memories. PPOPP/PPEALS 1988: 235-246 - 1987
- [c7]Rajiv Gupta, Mary Lou Soffa:
A Reconfigurable LIW Architecture. ICPP 1987: 893-900 - 1986
- [c6]Rajiv Gupta, Mary Lou Soffa:
SHAPE: a highly adaptable and parallel system. ACM Conference on Computer Science 1986: 107-114 - [c5]Brian A. Malloy, Mary Lou Soffa:
SIMCAL: the merger of Simula and Pascal. WSC 1986: 397-403 - 1985
- [j12]Ching-Chy Wang, Errol L. Lloyd, Mary Lou Soffa:
Feedback Vertex Sets and Cyclically Reducible Graphs. J. ACM 32(2): 296-313 (1985) - [j11]Jean R. S. Blair, Phil Kearns, Mary Lou Soffa:
An optimistic implementation of the stack-heap. J. Syst. Softw. 5(3): 193-202 (1985) - [j10]Rajiv Gupta, Mary Lou Soffa:
The efficiency of storage management schemes for Ada programs. ACM SIGPLAN Notices 20(11): 30-38 (1985) - [j9]Donna J. Quammen, John P. Kearns, Mary Lou Soffa:
Efficient Storage Management for Temporary Values in Concurrent Programming Languages. IEEE Trans. Computers 34(9): 832-840 (1985) - [j8]Ching-Chy Wang, Mary Lou Soffa:
Eager Reclamation. IEEE Trans. Software Eng. 11(4): 437-439 (1985) - [c4]Lori L. Pollock, Mary Lou Soffa:
Incremental Compilation of Locally Optimized Code. POPL 1985: 152-164 - [c3]Rajiv Gupta, Mary Lou Soffa:
The efficiency of storage management schemes for Ada programs. SIGAda 1985: 164-172 - 1984
- [j7]Fernando Lafora, Mary Lou Soffa:
Reverse Execution in a Generalized Control Regime. Comput. Lang. 9(3/4): 183-192 (1984) - 1983
- [j6]John P. Kearns, Mary Lou Soffa:
The Implementation of Retention in a Coroutine Environment. Acta Informatica 19: 221-233 (1983) - [j5]Lawrence A. Coon, John P. Kearns, Mary Lou Soffa:
The Contraction of Control Implementations. Comput. Lang. 8(1): 15-25 (1983) - 1982
- [j4]Mary Lou Soffa:
Control Discipline Necessity: Making the Language as General as the Implementation. BIT 22(2): 169-182 (1982) - [j3]John P. Kearns, Carol J. Meier, Mary Lou Soffa:
The Performance Evaluation of Control Implementations. IEEE Trans. Software Eng. 8(2): 89-96 (1982) - 1981
- [j2]Gary Lindstrom, Mary Lou Soffa:
Referencing and Retention in Block-Structured Coroutines. ACM Trans. Program. Lang. Syst. 3(3): 263-292 (1981) - 1980
- [j1]W. Pauli, Mary Lou Soffa:
Coroutine Behaviour and Implementation. Softw. Pract. Exp. 10(3): 189-204 (1980) - [c2]Sally S. Robinson, Mary Lou Soffa:
An instructional aid for student programs. SIGCSE 1980: 118-129
1970 – 1979
- 1977
- [c1]Michael J. Lemon, Gary Lindstrom, Mary Lou Soffa:
Control Separation in programming languages. ACM Annual Conference 1977: 496-501
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
