Mary Lou Soffa

203 papers A* 32A 22B 20C 3Misc 4Journal 57Unranked 63
YearRankTypeTitle / Venue / Authors
2024 A* conf
CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing.
ICSE
Swaroopa Dola, Rory McDaniel, Matthew B. Dwyer, Mary Lou Soffa
2023 J jnl
Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing.
ACM Trans. Softw. Eng. Methodol.
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
2021 — conf
Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models.
ICSE (Companion Volume)
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
2021 A* conf
Distribution-Aware Testing of Neural Networks Using Generative Models.
ICSE
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
2021 J jnl
Distribution-Aware Testing of Neural Networks Using Generative Models.
CoRR
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
2021 A ed.
IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2021, Seoul, South Korea, February 27 - March 3, 2021
CGO
Jae W. Lee, Mary Lou Soffa, Ayal Zaks
2021 A conf
Message from the Program Chairs.
CGO
Mary Lou Soffa, Ayal Zaks
2020 J jnl
A Language for Autonomous Vehicles Testing Oracles.
CoRR
Ana Nora Evans, Mary Lou Soffa, Sebastian G. Elbaum
2020 J jnl
Is Rust Used Safely by Software Developers?
CoRR
Ana Nora Evans, Bradford Campbell, Mary Lou Soffa
2020 A* conf
Is rust used safely by software developers?
ICSE
Ana Nora Evans, Bradford Campbell, Mary Lou Soffa
2020 — conf
Testing deep neural networks (keynote).
SPLASH (Companion)
Mary Lou Soffa
2019 — conf
A statistics-based performance testing methodology for cloud applications.
ESEC/SIGSOFT FSE
Sen He, Glenna Manns, John Saunders, Wei Wang, Lori L. Pollock, Mary Lou Soffa
2018 — conf
Black-Box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers.
IEEE Symposium on Security and Privacy Workshops
Ji Gao, Jack Lanchantin, Mary Lou Soffa, Yanjun Qi
2018 J jnl
Black-box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers.
CoRR
Ji Gao, Jack Lanchantin, Mary Lou Soffa, Yanjun Qi
2018 A conf
Testing Cloud Applications under Cloud-Uncertainty Performance Effects.
ICST
Wei Wang, Ningjing Tian, Sunzhou Huang, Sen He, Abhijeet Srivastava, Mary Lou Soffa, Lori L. Pollock
2016 A* conf
Predicting the memory bandwidth and optimal core allocations for multi-threaded applications on large-scale NUMA machines.
HPCA
Wei Wang, Jack W. Davidson, Mary Lou Soffa
2014 A* conf
DraMon: Predicting memory bandwidth usage of multi-threaded programs with high accuracy and low overhead.
HPCA
Wei Wang, Tanima Dey, Jack W. Davidson, Mary Lou Soffa
2013 J jnl
Educating Diverse Computing Students at the University of Virginia.
Computer
James P. Cohoon, Joanne McGrath Cohoon, Mary Lou Soffa
2013 J jnl
Marple: Detecting faults in path segments using automatically generated analyses.
ACM Trans. Softw. Eng. Methodol.
Wei Le, Mary Lou Soffa
2013 A* conf
ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers.
ASPLOS
Lingjia Tang, Jason Mars, Wei Wang, Tanima Dey, Mary Lou Soffa
2013 J jnl
ReSense: Mapping dynamic workloads of colocated multithreaded applications using resource sensitivity.
ACM Trans. Archit. Code Optim.
Tanima Dey, Wei Wang, Jack W. Davidson, Mary Lou Soffa
2012 A conf
Compiling for niceness: mitigating contention for QoS in warehouse scale computers.
CGO
Lingjia Tang, Jason Mars, Mary Lou Soffa
2012 J jnl
Increasing Utilization in Modern Warehouse-Scale Computers Using Bubble-Up.
IEEE Micro
Jason Mars, Lingjia Tang, Kevin Skadron, Mary Lou Soffa, Robert Hundt
2012 J jnl
Memory optimization of dynamic binary translators for embedded systems.
ACM Trans. Archit. Code Optim.
Apala Guha, Kim M. Hazelwood, Mary Lou Soffa
2012 B conf
Performance analysis of thread mappings with a holistic view of the hardware resources.
ISPASS
Wei Wang, Tanima Dey, Jason Mars, Lingjia Tang, Jack W. Davidson, Mary Lou Soffa
2012 B conf
REEact: a customizable virtual execution manager for multicore platforms.
VEE
Wei Wang, Tanima Dey, Ryan W. Moore, Mahmut Aktasoglu, Bruce R. Childers, Jack W. Davidson, Mary Jane Irwin, Mahmut T. Kandemir, Mary Lou Soffa
2012 A conf
THeME: a system for testing by hardware monitoring events.
ISSTA
Kristen Walcott-Justice, Jason Mars, Mary Lou Soffa
2011 A* conf
Bubble-Up: increasing utilization in modern warehouse scale computers via sensible co-locations.
MICRO
Jason Mars, Lingjia Tang, Robert Hundt, Kevin Skadron, Mary Lou Soffa
2011 B conf
Characterizing multi-threaded applications based on shared-resource contention.
ISPASS
Tanima Dey, Wei Wang, Jack W. Davidson, Mary Lou Soffa
2011 — conf
Directly characterizing cross core interference through contention synthesis.
HiPEAC
Jason Mars, Lingjia Tang, Mary Lou Soffa
2011 A* conf
Exploiting hardware advances for software testing and debugging.
ICSE
Mary Lou Soffa, Kristen R. Walcott, Jason Mars
2011 C conf
Focusing high school teachers on attracting diverse students to computer science and engineering.
FIE
James P. Cohoon, Joanne McGrath Cohoon, Mary Lou Soffa
2011 A conf
Generating analyses for detecting faults in path segments.
ISSTA
Wei Le, Mary Lou Soffa
2011 — conf
Jazz2: a flexible and extensible framework for structural testing in a Java VM.
PPPJ
Jonathan Misurda, Bruce R. Childers, Mary Lou Soffa
2011 — conf
Lazy preemption to enable path-based analysis of interrupt-driven code.
SESENA@ICSE
Wei Le, Jing Yang, Mary Lou Soffa, Kamin Whitehouse
2011 A* conf
The impact of memory subsystem resource sharing on datacenter applications.
ISCA
Lingjia Tang, Jason Mars, Neil Vachharajani, Robert Hundt, Mary Lou Soffa
2010 Misc conf
Balancing memory and performance through selective flushing of software code caches.
CASES
Apala Guha, Kim M. Hazelwood, Mary Lou Soffa
2010 A conf
Contention aware execution: online contention detection and response.
CGO
Jason Mars, Neil Vachharajani, Robert Hundt, Mary Lou Soffa
2010 B conf
DBT path selection for holistic memory efficiency and performance.
VEE
Apala Guha, Kim M. Hazelwood, Mary Lou Soffa
2010 J jnl
Detecting bugs in register allocation.
ACM Trans. Program. Lang. Syst.
Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa
2010 — conf
Path-based fault correlations.
SIGSOFT FSE
Wei Le, Mary Lou Soffa
2009 B conf
A Framework for Exploring Optimization Properties.
CC
Min Zhao, Bruce R. Childers, Mary Lou Soffa
2009 A* ed.
Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009
ASPLOS
Mary Lou Soffa, Mary Jane Irwin
2009 A conf
Transparent Debugging of Dynamically Optimized Code.
CGO
Naveen Kumar, Bruce R. Childers, Mary Lou Soffa
2008 — conf
08441 Abstracts Collection - Emerging Uses and Paradigms for Dynamic Binary Translation.
Emerging Uses and Paradigms for Dynamic Binary Translation
Bruce R. Childers, Jack W. Davidson, Koen De Bosschere, Mary Lou Soffa
2008 — conf
08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation.
Emerging Uses and Paradigms for Dynamic Binary Translation
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
2008 — conf
Database-aware test coverage monitoring.
ISEC
Gregory M. Kapfhammer, Mary Lou Soffa
2008 — ed.
Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10. - 31.10.2008
Emerging Uses and Paradigms for Dynamic Binary Translation
Bruce R. Childers, Jack W. Davidson, Koen De Bosschere, Mary Lou Soffa
2008 — conf
Marple: a demand-driven path-sensitive buffer overflow detector.
SIGSOFT FSE
Wei Le, Mary Lou Soffa
2008 — conf
Path Sensitive Analysis for Security Flaws.
HASE
Mary Lou Soffa
2008 A ed.
Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USA
CGO
Mary Lou Soffa, Evelyn Duesterwald
2007 Misc conf
Clairvoyant: a comprehensive source-level debugger for wireless sensor networks.
SenSys
Jing Yang, Mary Lou Soffa, Leo Selavo, Kamin Whitehouse
2007 Misc conf
Effective source-level debugging of wireless sensor networks.
SenSys
Jing Yang, Mary Lou Soffa, Kamin Whitehouse
2007 — conf
Program representations for testing wireless sensor network applications.
DOSTA
Nguyet T. M. Nguyen, Mary Lou Soffa
2007 — conf
Reducing Exit Stub Memory Consumption in Code Caches.
HiPEAC
Apala Guha, Kim M. Hazelwood, Mary Lou Soffa
2007 — conf
Refining buffer overflow detection via demand-driven path-sensitive analysis.
PASTE
Wei Le, Mary Lou Soffa
2007 A* conf
Test suite reduction and prioritization with call trees.
ASE
Adam M. Smith, Joshua Geiger, Gregory M. Kapfhammer, Mary Lou Soffa
2007 A conf
Virtual Execution Environments: Support and Tools.
IPDPS
Apala Guha, Jason Hiser, Naveen Kumar, Jing Yang, Min Zhao, Shukang Zhou, Bruce R. Childers, Jack W. Davidson, Kim M. Hazelwood, Mary Lou Soffa
2006 A* ed.
28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006
ICSE
Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa
2006 J jnl
An approach toward profit-driven optimization.
ACM Trans. Archit. Code Optim.
Min Zhao, Bruce R. Childers, Mary Lou Soffa
2006 B conf
Catching and Identifying Bugs in Register Allocation.
SAS
Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa
2006 J jnl
Gender, achievement, and persistence in an undergraduate computer science program.
Data Base
Sandra Katz, David Allbritton, John M. Aronis, Christine Wilson, Mary Lou Soffa
2006 A conf
Techniques and tools for dynamic optimization.
IPDPS
Jason Hiser, Naveen Kumar, Min Zhao, Shukang Zhou, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa
2006 A conf
TimeAware test suite prioritization.
ISSTA
Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, Robert S. Roos
2005 J jnl
Compile-Time Planning for Overhead Reduction in Software Dynamic Translators.
Int. J. Parallel Program.
Naveen Kumar, Bruce R. Childers, Daniel W. Williams, Jack W. Davidson, Mary Lou Soffa
2005 A* conf
Demand-driven structural testing with dynamic instrumentation.
ICSE
Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa
2005 B conf
Jazz: A Tool for Demand-Driven Structural Testing.
CC
Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa
2005 — conf
Low overhead program monitoring and profiling.
PASTE
Naveen Kumar, Bruce R. Childers, Mary Lou Soffa
2005 A conf
Model-Based Framework: An Approach for Profit-Driven Optimization.
CGO
Min Zhao, Bruce R. Childers, Mary Lou Soffa
2005 B conf
Planning for code buffer management in distributed virtual execution environments.
VEE
Shukang Zhou, Bruce R. Childers, Mary Lou Soffa
2005 — conf
Tdb: a source-level debugger for dynamically translated programs.
AADEBUG
Naveen Kumar, Bruce R. Childers, Mary Lou Soffa
2005 A* conf
Testing in resource constrained execution environments.
ASE
Gregory M. Kapfhammer, Mary Lou Soffa, Daniel Mossé
2005 J jnl
The impact of software engineering research on modern programming languages.
ACM Trans. Softw. Eng. Methodol.
Barbara G. Ryder, Mary Lou Soffa, Margaret M. Burnett
2004 B conf
Developing a Foundation for Code Optimization.
CC
Mary Lou Soffa
2004 — conf
Increasing Diversity in the Information Technology Workforce: Implications from a Study of Factors that Predict Achievement in CS.
ICLS
Sandra Katz, David Allbritton, John M. Aronis, Christine Wilson, Mary Lou Soffa
2004 — conf
Instrumentation in software dynamic translators for self-managed systems.
WOSS
Naveen Kumar, Jonathan Misurda, Bruce R. Childers, Mary Lou Soffa
2004 — conf
Overhead Reduction Techniques for Software Dynamic Translation.
IPDPS Next Generation Software Program - NSFNGS - PI Workshop
Kevin Scott, Naveen Kumar, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa
2003 — conf
A family of test adequacy criteria for database-driven applications.
ESEC / SIGSOFT FSE
Gregory M. Kapfhammer, Mary Lou Soffa
2003 — conf
A study to identify predictors of achievement in an introductory computer science course.
CPR
Sandra Katz, John M. Aronis, David Allbritton, Christine Wilson, Mary Lou Soffa
2003 A conf
Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation.
IPDPS
Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa
2003 J jnl
Editorial.
ACM Trans. Softw. Eng. Methodol.
Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa
2003 J jnl
Gender and race in predicting achievement in computer science.
IEEE Technol. Soc. Mag.
Sandra Katz, John M. Aronis, David Allbritton, Christine Wilson, Mary Lou Soffa
2003 J jnl
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
Barbara G. Ryder, Mary Lou Soffa
2003 J jnl
Influences on the design of exception handling: ACM SIGSOFT project on the impact of software engineering research on programming language design.
ACM SIGPLAN Notices
Barbara G. Ryder, Mary Lou Soffa
2003 B conf
Predicting the impact of optimizations for embedded systems.
LCTES
Min Zhao, Bruce R. Childers, Mary Lou Soffa
2003 — conf
Regression testing of GUIs.
ESEC / SIGSOFT FSE
Atif M. Memon, Mary Lou Soffa
2003 A* conf
Report on the ICSE 2003 Doctoral Symposium.
ICSE
Dick Hamlet, Mary Lou Soffa
2003 A conf
Retargetable and Reconfigurable Software Dynamic Translation.
CGO
Kevin Scott, Naveen Kumar, S. Velusamy, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa
2003 — conf
SoftTest: a framework for software testing of Java programs.
eTX
Bruce R. Childers, Mary Lou Soffa, Jon Beaver, Lidiya Ber, Kevin Cammarata, Tom Kane, Juliya Litman, Jonathan Misurda
2003 C conf
The Limits of Speculative Trace Reuse on Deeply Pipelined Processors.
SBAC-PAD
Maurício L. Pilla, Amarildo T. da Costa, Felipe M. G. França, Bruce R. Childers, Mary Lou Soffa
2002 — conf
Debugging and Testing Optimizers through Comparison Checking.
COCV
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
2002 J jnl
Shortchanging the future of information technology: the untapped resource.
ACM SIGCSE Bull.
Angela M. Balcita, Doris L. Carver, Mary Lou Soffa
2001 — conf
Coverage criteria for GUI testing.
ESEC / SIGSOFT FSE
Atif M. Memon, Mary Lou Soffa, Martha E. Pollack
2001 J jnl
Hierarchical GUI Test Case Generation Using Automated Planning.
IEEE Trans. Software Eng.
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa
2001 A* ed.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001
PLDI
Michael Burke, Mary Lou Soffa
2001 — conf
Using Component Metacontent to Support the Regression Testing of Component-Based Software.
ICSM
Alessandro Orso, Mary Jean Harrold, David S. Rosenblum, Gregg Rothermel, Mary Lou Soffa, Hyunsook Do
2000 J jnl
1999 SIGPLAN Awards.
ACM SIGPLAN Notices
Mary Lou Soffa
2000 — conf
Automated test oracles for GUIs.
SIGSOFT FSE
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa
2000 B conf
FULLDOC: A Full Reporting Debugger for Optimized Code.
SAS
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
2000 A* conf
Generating Test Data for Branch Coverage.
ASE
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa
2000 — conf
Plan Generation for GUI Testing.
AIPS
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa
1999 — conf
Comparison Checking: An Approach to Avoid Debugging of Optimized Code.
ESEC / SIGSOFT FSE
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
1999 A* conf
Global Context-Based Value Prediction.
HPCA
Tarun Nakra, Rajiv Gupta, Mary Lou Soffa
1999 A* conf
Load-Reuse Analysis: Design and Evaluation.
PLDI
Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
1999 B conf
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis.
SAS
Mary Lou Soffa
1999 A* conf
UNA Based Iterative Test Data Generation and Its Evaluation.
ASE
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa
1999 A* conf
Using a Goal-Driven Approach to Generate Test Cases for GUIs.
ICSE
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa
1999 A* conf
Value Prediction in VLIW Machines.
ISCA
Tarun Nakra, Rajiv Gupta, Mary Lou Soffa
1998 J jnl
1998 SIGPLAN Awards.
ACM SIGPLAN Notices
Mary Lou Soffa
1998 — conf
Automated Test Data Generation Using an Iterative Relaxation Method.
SIGSOFT FSE
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa
1998 — conf
Capturing the Effects of Code Improving Transformations.
IEEE PACT
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
1998 A* conf
Complete Removal of Redundant Computations.
PLDI
Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
1998 — conf
Complete removal of redundant expressions (with retrospective)
Best of PLDI
Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
1998 — conf
Data Flow Analysis Driven Dynamic Data Partitioning.
LCR
Jodi L. Tims, Rajiv Gupta, Mary Lou Soffa
1998 — conf
Integrated Instruction Scheduling and Register Allocation Techniques.
LCPC
David A. Berson, Rajiv Gupta, Mary Lou Soffa
1998 A ed.
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998, Clearwater Beach, Florida, USA, March 2-5, 1998
ISSTA
Mary Lou Soffa, Michal Young, Will Tracz
1998 J jnl
SIGPLAN and SIGSOFT Joint Efforts.
ACM SIGPLAN Notices
Mary Lou Soffa, David Notkin
1997 J jnl
A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis.
ACM Trans. Program. Lang. Syst.
Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa
1997 J jnl
An Approach for Exploring Code-Improving Transformations.
ACM Trans. Program. Lang. Syst.
Deborah Whitfield, Mary Lou Soffa
1997 J jnl
Hybrid Slicing: Integrating Dynamic Information with Static Analysis.
ACM Trans. Softw. Eng. Methodol.
Rajiv Gupta, Mary Lou Soffa, John Howard
1997 A* conf
Interprocedural Conditional Branch Elimination.
PLDI
Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
1997 — conf
Refining Data Flow Information Using Infeasible Paths.
ESEC / SIGSOFT FSE
Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
1996 A* conf
A Demand-Driven Analyzer for Data Flow Testing at the Integration Level.
ICSE
Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa
1996 — conf
Integrating Program Optimizations and Transformations with the Scheduling of Instruction Level Parallelism.
LCPC
David A. Berson, Pohua P. Chang, Rajiv Gupta, Mary Lou Soffa
1996 — ed.
Proceedings of the 24th ACM Conference on Computer Science, CSC '96, Philadelphia, PA, USA, February 16-18, 1996
ACM Conference on Computer Science
Robert E. Beck, Mary Lou Soffa
1996 J jnl
Program Slicing-Based Regression Testing Techniques.
Softw. Test. Verification Reliab.
Rajiv Gupta, Mary Jean Harrold, Mary Lou Soffa
1995 A* conf
Demand-driven Computation of Interprocedural Data Flow.
POPL
Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa
1995 — conf
GURRR: A Global Unified Resource Requirements Representation.
Intermediate Representations Workshop
David A. Berson, Rajiv Gupta, Mary Lou Soffa
1995 — conf
Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information.
SIGSOFT FSE
Rajiv Gupta, Mary Lou Soffa
1995 J jnl
Introduction to the Special Section.
IEEE Trans. Software Eng.
Henri E. Bal, Boumediene Belkhouche, Mary Lou Soffa
1995 B conf
Practical approach to single assignment code.
PACT
Patricia Prather Pineo, Mary Lou Soffa
1995 — conf
Priority based data flow testing.
ICSM
Rajiv Gupta, Mary Lou Soffa
1994 — conf
A Framework for Partial Data Flow Analysis.
ICSM
Rajiv Gupta, Mary Lou Soffa
1994 B conf
A Practical Approach to the Symbolic Debugging of Parallelized Code.
CC
Patricia Prather Pineo, Mary Lou Soffa
1994 B conf
An Efficient Technique to Remove Transformations.
ICPADS
Chyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang
1994 A conf
Debugging Optimized Code Via Tailoring (Abstract).
ISSTA
Lori L. Pollock, Mary P. Bivens, Mary Lou Soffa
1994 J jnl
Efficient Computation of Interprocedural Definition-Use Chains.
ACM Trans. Program. Lang. Syst.
Mary Jean Harrold, Mary Lou Soffa
1994 J jnl
Efficient Register Allocation via Coloring Using Clique Separators.
ACM Trans. Program. Lang. Syst.
Rajiv Gupta, Mary Lou Soffa, Denise Ombres
1994 A* ed.
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994
PLDI
Vivek Sarkar, Barbara G. Ryder, Mary Lou Soffa
1994 B conf
Reducing the Cost of Data Flow Analysis By Congruence Partitioning.
CC
Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa
1994 — conf
Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers.
IFIP PACT
David A. Berson, Rajiv Gupta, Mary Lou Soffa
1994 J jnl
Scheduling DAG's for Asynchronous Multiprocessor Execution.
IEEE Trans. Parallel Distributed Syst.
Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa
1994 J jnl
The Combining DAG: A Technique for Parallel Data Flow Analysis.
IEEE Trans. Parallel Distributed Syst.
Robert Kramer, Rajiv Gupta, Mary Lou Soffa
1994 J jnl
The Design and Implementation of Genesis.
Softw. Pract. Exp.
Deborah Whitfield, Mary Lou Soffa
1994 — conf
Undoing Code Transformations in an Independent Order.
ICPP (2)
Chyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang
1993 J jnl
A Methodology for Controlling the Size of a Test Suite.
ACM Trans. Softw. Eng. Methodol.
Mary Jean Harrold, Rajiv Gupta, Mary Lou Soffa
1993 A* conf
A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations.
PLDI
Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa
1993 J jnl
Employing Static Information in the Generation of Test Cases.
Softw. Test. Verification Reliab.
Rajiv Gupta, Mary Lou Soffa
1993 — conf
Investigating Properties of Code Transformations.
ICPP (2)
Deborah Whitfield, Mary Lou Soffa
1993 — conf
URSA: A Unified ReSource Allocator for Registers and Functional Units in VLIW Architectures.
Architectures and Compilation Techniques for Fine and Medium Grain Parallelism
David A. Berson, Rajiv Gupta, Mary Lou Soffa
1992 C conf
A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors.
ICCI
Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa
1992 B conf
A Visual Optimization Specification Language.
Advanced Visual Interfaces
Chyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang
1992 A conf
A Visualization System for Parallelizing Programs.
SC
Chyi-Ren Dow, Shi-Kuo Chang, Mary Lou Soffa
1992 A* conf
A shape matching approach for scheduling fine-grained parallelism.
MICRO
Brian A. Malloy, Rajiv Gupta, Mary Lou Soffa
1992 — conf
An approach to regression testing using slicing.
ICSM
Rajiv Gupta, Mary Jean Harrold, Mary Lou Soffa
1992 — conf
Automatic Generation of a Compact Test Suit.
IFIP Congress (1)
Rajiv Gupta, Mary Lou Soffa
1992 — conf
Distributed Slicing and Partial Re-execution for Distributed Programs.
LCPC
Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa
1992 J jnl
Incremental Global Reoptimization of Programs.
ACM Trans. Program. Lang. Syst.
Lori L. Pollock, Mary Lou Soffa
1992 — conf
Parallel Task Assignment by Graph Partitioning.
PARLE
Shan Fan Liu, Mary Lou Soffa
1992 B conf
Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables.
CC
Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa
1992 A conf
Techniques for Integrating Parallelizing Transformations and Compiler-Based Scheduling Methods.
SC
Tia M. Watts, Mary Lou Soffa, Rajiv Gupta
1992 — conf
The Combining Dag: A Technique for Parallel DataMow Analysis.
IPPS
Robert Kramer, Rajiv Gupta, Mary Lou Soffa
1991 A* conf
Automatic Generation of Global Optimizers.
PLDI
Deborah Whitfield, Mary Lou Soffa
1991 J jnl
Compile-Time Techniques for Improving Scalar Access Performance in Parallel Memories.
IEEE Trans. Parallel Distributed Syst.
Rajiv Gupta, Mary Lou Soffa
1991 — conf
Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework.
Symposium on Testing, Analysis, and Verification
Evelyn Duesterwald, Mary Lou Soffa
1991 — conf
Debugging Parallelized Code Using Code Liberation Techniques.
Workshop on Parallel and Distributed Debugging
Patricia Prather Pineo, Mary Lou Soffa
1991 A conf
Parallel Generational Garbage Collection.
OOPSLA
Ravi Sharma, Mary Lou Soffa
1991 J jnl
Selecting and Using Data fro Integration Testing.
IEEE Softw.
Mary Jean Harrold, Mary Lou Soffa
1990 — conf
A methodology for controlling the size of a test suite.
ICSM
Mary Jean Harrold, Rajiv Gupta, Mary Lou Soffa
1990 B conf
An Approach to Ordering Optimizing Transformations.
PPoPP
Deborah Whitfield, Mary Lou Soffa
1990 A conf
Architectural support for register allocation in the presence of aliasing.
SC
Ben Heggy, Mary Lou Soffa
1990 — conf
Computation of Interprocedural Definition and Use Dependencies.
ICCL
Mary Jean Harrold, Mary Lou Soffa
1990 J jnl
Conversion of Simulation Processes to Pascal Constructs.
Softw. Pract. Exp.
Brian A. Malloy, Mary Lou Soffa
1990 — conf
Incremental Global Optimization for Faster Recompilations.
ICCL
Lori L. Pollock, Mary Lou Soffa
1990 J jnl
Incremental Register Reallocation.
Softw. Pract. Exp.
Mary P. Bivens, Mary Lou Soffa
1990 J jnl
Region Scheduling: An Approach for Detecting and Redistributing Parallelism.
IEEE Trans. Software Eng.
Rajiv Gupta, Mary Lou Soffa
1989 J jnl
An Incremental Version of Iterative Data Flow Analysis.
IEEE Trans. Software Eng.
Lori L. Pollock, Mary Lou Soffa
1989 J jnl
Compilation techniques for a reconfigurable LIW architecture.
J. Supercomput.
Rajiv Gupta, Mary Lou Soffa
1989 — conf
Interprocedual Data Flow Testing.
Symposium on Testing, Analysis, and Verification
Mary Jean Harrold, Mary Lou Soffa
1989 A* conf
Register Allocation via Clique Separators.
PLDI
Rajiv Gupta, Mary Lou Soffa, Tim Steele
1989 — conf
Reuse of Compiler Analysis in a Programming Environment.
ACM Conference on Computer Science
M. P. Blivens, Mary Lou Soffa
1988 — conf
An incremental approach to unit testing during maintenance.
ICSM
Mary Jean Harrold, Mary Lou Soffa
1988 — conf
Compile-time Techniques for Efficient Utilization of Parallel Memories.
PPOPP/PPEALS
Rajiv Gupta, Mary Lou Soffa
1988 J jnl
On Locating Minimum Feedback Vertex Sets.
J. Comput. Syst. Sci.
Errol L. Lloyd, Mary Lou Soffa
1987 B conf
A Reconfigurable LIW Architecture.
ICPP
Rajiv Gupta, Mary Lou Soffa
1986 — conf
SHAPE: a highly adaptable and parallel system.
ACM Conference on Computer Science
Rajiv Gupta, Mary Lou Soffa
1986 Misc conf
SIMCAL: the merger of Simula and Pascal.
WSC
Brian A. Malloy, Mary Lou Soffa
1985 J jnl
An optimistic implementation of the stack-heap.
J. Syst. Softw.
Jean R. S. Blair, Phil Kearns, Mary Lou Soffa
1985 J jnl
Eager Reclamation.
IEEE Trans. Software Eng.
Ching-Chy Wang, Mary Lou Soffa
1985 J jnl
Efficient Storage Management for Temporary Values in Concurrent Programming Languages.
IEEE Trans. Computers
Donna J. Quammen, John P. Kearns, Mary Lou Soffa
1985 J jnl
Feedback Vertex Sets and Cyclically Reducible Graphs
J. ACM
Ching-Chy Wang, Errol L. Lloyd, Mary Lou Soffa
1985 A* conf
Incremental Compilation of Locally Optimized Code.
POPL
Lori L. Pollock, Mary Lou Soffa
1985 — conf
The efficiency of storage management schemes for Ada programs.
SIGAda
Rajiv Gupta, Mary Lou Soffa
1985 J jnl
The efficiency of storage management schemes for Ada programs.
ACM SIGPLAN Notices
Rajiv Gupta, Mary Lou Soffa
1984 J jnl
Reverse Execution in a Generalized Control Regime.
Comput. Lang.
Fernando Lafora, Mary Lou Soffa
1983 J jnl
The Contraction of Control Implementations.
Comput. Lang.
Lawrence A. Coon, John P. Kearns, Mary Lou Soffa
1983 J jnl
The Implementation of Retention in a Coroutine Environment.
Acta Informatica
John P. Kearns, Mary Lou Soffa
1982 J jnl
Control Discipline Necessity: Making the Language as General as the Implementation.
BIT
Mary Lou Soffa
1982 J jnl
The Performance Evaluation of Control Implementations.
IEEE Trans. Software Eng.
John P. Kearns, Carol J. Meier, Mary Lou Soffa
1981 J jnl
Referencing and Retention in Block-Structured Coroutines.
ACM Trans. Program. Lang. Syst.
Gary Lindstrom, Mary Lou Soffa
1980 A conf
An instructional aid for student programs.
SIGCSE
Sally S. Robinson, Mary Lou Soffa
1980 J jnl
Coroutine Behaviour and Implementation.
Softw. Pract. Exp.
W. Pauli, Mary Lou Soffa
1977 — conf
Control Separation in programming languages.
ACM Annual Conference
Michael J. Lemon, Gary Lindstrom, Mary Lou Soffa