Mary Lou Soffa - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

2009

Transparent Debugging of Dynamically Optimized CodeNaveen Kumar, Bruce R. Childers, Mary Lou Soffa. CGO 2009: 275-286 [doi]

Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009Mary Lou Soffa, Mary Jane Irwin, editors, ACM, 2009.

A Framework for Exploring Optimization PropertiesMin Zhao, Bruce R. Childers, Mary Lou Soffa. CC 2009: 32-47 [doi]

2008

Database-aware test coverage monitoringGregory M. Kapfhammer, Mary Lou Soffa. indiaSE 2008: 77-86 [doi]

Marple: a demand-driven path-sensitive buffer overflow detectorWei Le, Mary Lou Soffa. sigsoft 2008: 272-282 [doi]

Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USAMary Lou Soffa, Evelyn Duesterwald, editors, ACM, 2008.

Path Sensitive Analysis for Security FlawsMary Lou Soffa. hase 2008: 3 [doi]

2007

Reducing Exit Stub Memory Consumption in Code CachesApala Guha, Kim M. Hazelwood, Mary Lou Soffa. hipeac 2007: 87-101 [doi]

Virtual Execution Environments: Support and ToolsApala Guha, Jason Hiser, Naveen Kumar, Jing Yang, Min Zhao, Shukang Zhou, Bruce R. Childers, Jack W. Davidson, Kim M. Hazelwood, Mary Lou Soffa. ipps 2007: 1-6 [doi]

Refining buffer overflow detection via demand-driven path-sensitive analysisWei Le, Mary Lou Soffa. PASTE 2007: 63-68 [doi]

Program representations for testing wireless sensor network applicationsNguyet T. M. Nguyen, Mary Lou Soffa. ESEC/FSE 2007: 20-26 [doi]

Test suite reduction and prioritization with call treesAdam M. Smith, Joshua Geiger, Gregory M. Kapfhammer, Mary Lou Soffa. ASE 2007: 539-540 [doi]

Clairvoyant: a comprehensive source-level debugger for wireless sensor networksJing Yang, Mary Lou Soffa, Leo Selavo, Kamin Whitehouse. sensys 2007: 189-203 [doi]

Effective source-level debugging of wireless sensor networksJing Yang, Mary Lou Soffa, Kamin Whitehouse. sensys 2007: 405-406 [doi]

2006

2005

Testing in resource constrained execution environmentsGregory M. Kapfhammer, Mary Lou Soffa, Daniel Mossé. ASE 2005: 418-422 [doi]

Low overhead program monitoring and profilingNaveen Kumar, Bruce R. Childers, Mary Lou Soffa. PASTE 2005: 28-34 [doi]

Compile-Time Planning for Overhead Reduction in Software Dynamic TranslatorsNaveen Kumar, Bruce R. Childers, Daniel Williams, Jack W. Davidson, Mary Lou Soffa. ijpp, 33(2-3):103-114, 2005. [doi]

Tdb: a source-level debugger for dynamically translated programsNaveen Kumar, Bruce R. Childers, Mary Lou Soffa. AADEBUG 2005: 123-132 [doi]

Jazz: A Tool for Demand-Driven Structural TestingJonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa. CC 2005: 242-245 [doi]

Demand-driven structural testing with dynamic instrumentationJonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa. ICSE 2005: 156-165 [doi]

The impact of software engineering research on modern progamming languagesBarbara G. Ryder, Mary Lou Soffa, Margaret M. Burnett. TOSEM, 14(4):431-477, 2005. [doi]

Model-Based Framework: An Approach for Profit-Driven OptimizationMin Zhao, Bruce R. Childers, Mary Lou Soffa. CGO 2005: 317-327 [doi]

Planning for code buffer management in distributed virtual execution environmentsShukang Zhou, Bruce R. Childers, Mary Lou Soffa. vee 2005: 100-109 [doi]

2004

Instrumentation in software dynamic translators for self-managed systemsNaveen Kumar, Jonathan Misurda, Bruce R. Childers, Mary Lou Soffa. woss 2004: 90-94 [doi]

Overhead Reduction Techniques for Software Dynamic TranslationKevin Scott, Naveen Kumar, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa. ipps 2004: [doi]

Developing a Foundation for Code OptimizationMary Lou Soffa. CC 2004: 1-4 [doi]

2003

SoftTest: a framework for software testing of Java programsBruce R. Childers, Mary Lou Soffa, J. Beaver, L. Ber, K. Cammarata, T. Kane, J. Litman, Jonathan Misurda. OOPSLA 2003: 79-83 [doi]

Continuous Compilation: A New Approach to Aggressive and Adaptive Code TransformationBruce R. Childers, Jack W. Davidson, Mary Lou Soffa. ipps 2003: 205 [doi]

EditorialCarlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa. TOSEM, 12(1):1-2, 2003. [doi]

Report on the ICSE 2003 Doctoral SymposiumDick Hamlet, Mary Lou Soffa. ICSE 2003: 762-766 [doi]

A family of test adequacy criteria for database-driven applicationsGregory M. Kapfhammer, Mary Lou Soffa. ESEC/FSE 2003: 98-107 [doi]

A study to identify predictors of achievement in an introductory computer science courseSandra Katz, John M. Aronis, David Allbritton, Christine Wilson, Mary Lou Soffa. sigcpr 2003: 157-161 [doi]

Regression testing of GUIsAtif M. Memon, Mary Lou Soffa. ESEC/FSE 2003: 118-127 [doi]

The Limits of Speculative Trace Reuse on Deeply Pipelined ProcessorsMaurício L. Pilla, Amarildo T. da Costa, Felipe M. G. França, Bruce R. Childers, Mary Lou Soffa. sbac-pad 2003: 36-45 [doi]

Influences on the design of exception handling: ACM SIGSOFT project on the impact of software engineering research on programming language designBarbara G. Ryder, Mary Lou Soffa. SIGPLAN, 38(6):16-22, 2003. [doi]

Influences on the design of exception handling ACM SIGSOFT project on the impact of software engineering research on programming language designBarbara G. Ryder, Mary Lou Soffa. sigsoft, 28(4):29-35, 2003. [doi]

Retargetable and Reconfigurable Software Dynamic TranslationKevin Scott, Naveen Kumar, S. Velusamy, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa. CGO 2003: 36-47 [doi]

Predicting the impact of optimizations for embedded systemsMin Zhao, Bruce R. Childers, Mary Lou Soffa. lctrts 2003: 1-11 [doi]

2002

Shortchanging the future of information technology: the untapped resourceAngela M. Balcita, Doris L. Carver, Mary Lou Soffa. SIGCSE, 34(2):32-35, 2002. [doi]

Debugging and Testing Optimizers through Comparison CheckingClara Jaramillo, Rajiv Gupta, Mary Lou Soffa. ENTCS, 65(2), 2002. [doi]

2001

2000

1999

Load-Reuse Analysis: Design and EvaluationRastislav Bodík, Rajiv Gupta, Mary Lou Soffa. PLDI 1999: 64-76 [doi]

UNA Based Iterative Test Data Generation and Its EvaluationNeelam Gupta, Aditya P. Mathur, Mary Lou Soffa. ASE 1999: 224 [doi]

Comparison Checking: An Approach to Avoid Debugging of Optimized CodeClara Jaramillo, Rajiv Gupta, Mary Lou Soffa. ESEC/FSE 1999: 268-284 [doi]

Using a Goal-Driven Approach to Generate Test Cases for GUIsAtif M. Memon, Martha E. Pollack, Mary Lou Soffa. ICSE 1999: 257-266 [doi]

Value Prediction in VLIW MachinesTarun Nakra, Rajiv Gupta, Mary Lou Soffa. isca 1999: 258-269 [doi]

Global Context-Based Value PredictionTarun Nakra, Rajiv Gupta, Mary Lou Soffa. hpca 1999: 4-12 [doi]

Tutorial: Techniques to Improve the Scalability and Precision of Data Flow AnalysisMary Lou Soffa. SAS 1999: 355-356 [doi]

1998

Integrated Instruction Scheduling and Register Allocation TechniquesDavid A. Berson, Rajiv Gupta, Mary Lou Soffa. lcpc 1999: 247-262 [doi]

Complete removal of redundant expressions (with retrospective)Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa. PLDI 2004: 596-611 [doi]

Complete Removal of Redundant ComputationsRastislav Bodík, Rajiv Gupta, Mary Lou Soffa. PLDI 1998: 1-14

Automated Test Data Generation Using an Iterative Relaxation MethodNeelam Gupta, Aditya P. Mathur, Mary Lou Soffa. ESEC/FSE 1998: 231-244 [doi]

Capturing the Effects of Code Improving TransformationsClara Jaramillo, Rajiv Gupta, Mary Lou Soffa. IEEEpact 1998: 118-123 [doi]

SIGPLAN and SIGSOFT Joint EffortsMary Lou Soffa, David Notkin. SIGPLAN, 33(12):1, 1998.

1998 SIGPLAN AwardsMary Lou Soffa. SIGPLAN, 33(9):1-3, 1998.

Data Flow Analysis Driven Dynamic Data PartitioningJodi Tims, Rajiv Gupta, Mary Lou Soffa. lcr 1998: 75-90 [doi]

1997

1996

Integrating Program Optimizations and Transformations with the Scheduling of Instruction Level ParallelismDavid A. Berson, Pohua P. Chang, Rajiv Gupta, Mary Lou Soffa. lcpc 1997: 207-221

A Demand-Driven Analyzer for Data Flow Testing at the Integration LevelEvelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa. ICSE 1996: 575-584 [doi]

Program Slicing-Based Regression Testing TechniquesRajiv Gupta, Mary Jean Harrold, Mary Lou Soffa. stvr, 6(2):83-111, 1996.

1995

1994

Resource Spackling: A Framework for Integrating Register Allocation in Local and Global SchedulersDavid A. Berson, Rajiv Gupta, Mary Lou Soffa. ifipPACT 1994: 135-146

Undoing Code Transformations in an Independent OrderChyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang. icpp 1994: 108-115

An Efficient Technique to Remove TransformationsChyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang. icpads 1994: 392-397

Efficient Register Allocation via Coloring Using Clique SeparatorsRajiv Gupta, Mary Lou Soffa, Denise Ombres. TOPLAS, 16(3):370-386, 1994. [doi]

Efficient Computation of Interprocedural Definition-Use ChainsMary Jean Harrold, Mary Lou Soffa. TOPLAS, 16(2):175-204, 1994. [doi]

Scheduling DAG s for Asynchronous Multiprocessor ExecutionBrian A. Malloy, Errol L. Lloyd, Mary Lou Soffa. tpds, 5(5):498-508, 1994. [doi]

A Practical Approach to the Symbolic Debugging of Parallelized CodePatricia Prather Pineo, Mary Lou Soffa. cc 1994: 339-356

Debugging Optimized Code Via Tailoring (Abstract)Lori L. Pollock, Mary P. Bivens, Mary Lou Soffa. ISSTA 1994: 201 [doi]

The Design and Implementation of GenesisDeborah Whitfield, Mary Lou Soffa. SPE, 24(3):307-325, 1994.

PreviousNext