Travelled to:1 × Austria
1 × Finland
1 × Italy
1 × Korea
1 × Portugal
1 × Spain
1 × Switzerland
2 × France
2 × Germany
3 × United Kingdom
33 × USA
6 × Canada
Collaborated with:R.Gupta B.R.Childers E.Duesterwald W.Le R.Bodík A.M.Memon J.Mars G.M.Kapfhammer M.Zhao ∅ M.E.Pollack N.Gupta A.P.Mathur D.Whitfield L.L.Pollock N.Kumar M.J.Harrold C.Jaramillo K.R.Walcott L.Tang P.P.Pineo R.Sharma W.Wang T.Dey J.W.Davidson J.Misurda J.A.Clause J.L.Reed K.Walcott-Justice Y.Huang D.Mossé T.Nakra M.P.Bivens T.Steele N.Vachharajani R.Hundt A.M.Smith J.Geiger R.S.Roos K.Scott S.Velusamy A.Orso D.S.Rosenblum G.Rothermel H.Do S.He G.Manns J.Saunders W.W.0054
Talks about:test (20) data (13) optim (12) flow (10) driven (9) approach (7) generat (7) analysi (7) code (7) base (7)
♀ Person: Mary Lou Soffa
DBLP: Soffa:Mary_Lou
Facilitated 8 volumes:
Ed
PrCo
Ed
EdPrCh
GCh
EdEdContributed to:
201420132012
20122011201120102010
200920092008
2007
20072006
20062005200520052005200520042003
2003
20032001
20012000200020001999
1999199919991999199919981998199819971997199619951995
199519941994199419931992
199119911991
199019891989198819852019Wrote 60 papers:
- HPCA-2014-WangDDS #concurrent #memory management #multi #named #predict #source code #thread
- DraMon: Predicting memory bandwidth usage of multi-threaded programs with high accuracy and low overhead (WW, TD, JWD, MLS), pp. 380–391.
- ASPLOS-2013-TangMWDS #compilation #named
- ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers (LT, JM, WW, TD, MLS), pp. 89–100.
- CGO-2012-TangMS #compilation
- Compiling for niceness: mitigating contention for QoS in warehouse scale computers (LT, JM, MLS), pp. 1–12.
- ISSTA-2012-Walcott-JusticeMS #hardware #monitoring #named #testing
- THeME: a system for testing by hardware monitoring events (KWJ, JM, MLS), pp. 12–22.
- ICSE-2011-SoffaWM #debugging #hardware #testing
- Exploiting hardware advances for software testing and debugging (MLS, KRW, JM), pp. 888–891.
- ISSTA-2011-LeS #analysis #detection #fault #generative
- Generating analyses for detecting faults in path segments (WL, MLS), pp. 320–330.
- CGO-2010-MarsVHS #detection #execution #online
- Contention aware execution: online contention detection and response (JM, NV, RH, MLS), pp. 257–265.
- FSE-2010-LeS #correlation #fault
- Path-based fault correlations (WL, MLS), pp. 307–316.
- CC-2009-ZhaoCS #framework #optimisation
- A Framework for Exploring Optimization Properties (MZ, BRC, MLS), pp. 32–47.
- CGO-2009-KumarCS #debugging
- Transparent Debugging of Dynamically Optimized Code (NK, BRC, MLS), pp. 275–286.
- FSE-2008-LeS #detection #named
- Marple: a demand-driven path-sensitive buffer overflow detector (WL, MLS), pp. 272–282.
- ASE-2007-SmithGKS #reduction #testing
- Test suite reduction and prioritization with call trees (AMS, JG, GMK, MLS), pp. 539–540.
- PASTE-2007-LeS #analysis #detection
- Refining buffer overflow detection via demand-driven path-sensitive analysis (WL, MLS), pp. 63–68.
- ISSTA-2006-WalcottSKR #testing
- TimeAware test suite prioritization (KRW, MLS, GMK, RSR), pp. 1–12.
- SAS-2006-HuangCS #debugging #identification
- Catching and Identifying Bugs in Register Allocation (YH, BRC, MLS), pp. 281–300.
- ASE-2005-KapfhammerSM #execution #testing
- Testing in resource constrained execution environments (GMK, MLS, DM), pp. 418–422.
- CC-2005-MisurdaCRCS #named #testing
- Jazz: A Tool for Demand-Driven Structural Testing (JM, JAC, JLR, BRC, MLS), pp. 242–245.
- CGO-2005-ZhaoCS #approach #framework #modelling #optimisation
- Model-Based Framework: An Approach for Profit-Driven Optimization (MZ, BRC, MLS), pp. 317–327.
- ICSE-2005-MisurdaCRCS #testing
- Demand-driven structural testing with dynamic instrumentation (JM, JAC, JLR, BRC, MLS), pp. 156–165.
- PASTE-2005-KumarCS #monitoring #profiling
- Low overhead program monitoring and profiling (NK, BRC, MLS), pp. 28–34.
- CC-2004-Soffa #optimisation
- Developing a Foundation for Code Optimization (MLS), pp. 1–4.
- CGO-2003-ScottKVCDS #configuration management
- Retargetable and Reconfigurable Software Dynamic Translation (KS, NK, SV, BRC, JWD, MLS), pp. 36–47.
- ESEC-FSE-2003-KapfhammerS #product line #test coverage #testing
- A family of test adequacy criteria for database-driven applications (GMK, MLS), pp. 98–107.
- ESEC-FSE-2003-MemonS #testing #user interface
- Regression testing of GUIs (AMM, MLS), pp. 118–127.
- LCTES-2003-ZhaoCS #embedded #impact analysis #optimisation #predict
- Predicting the impact of optimizations for embedded systems (MZ, BRC, MLS), pp. 1–11.
- ESEC-FSE-2001-MemonSP #test coverage #testing #user interface
- Coverage criteria for GUI testing (AMM, MLS, MEP), pp. 256–267.
- ICSM-2001-OrsoHRRSD #component #testing #using
- Using Component Metacontent to Support the Regression Testing of Component-Based Software (AO, MJH, DSR, GR, MLS, HD), pp. 716–725.
- ASE-2000-GuptaMS #branch #generative #testing
- Generating Test Data for Branch Coverage (NG, APM, MLS), pp. 219–228.
- FSE-2000-MemonPS #automation #testing #user interface
- Automated test oracles for GUIs (AMM, MEP, MLS), pp. 30–39.
- SAS-2000-JaramilloGS #debugging #named
- FULLDOC: A Full Reporting Debugger for Optimized Code (CJ, RG, MLS), pp. 240–259.
- ASE-1999-GuptaMS #evaluation #generative #testing
- UNA Based Iterative Test Data Generation and Its Evaluation (NG, APM, MLS), p. 224–?.
- ESEC-FSE-1999-JaramilloGS #approach #comparison #debugging
- Comparison Checking: An Approach to Avoid Debugging of Optimized Code (CJ, RG, MLS), pp. 268–284.
- HPCA-1999-NakraGS #predict
- Global Context-Based Value Prediction (TN, RG, MLS), pp. 4–12.
- ICSE-1999-MemonPS #approach #testing #user interface #using
- Using a Goal-Driven Approach to Generate Test Cases for GUIs (AMM, MEP, MLS), pp. 257–266.
- PLDI-1999-BodikGS #analysis #design #evaluation
- Load-Reuse Analysis: Design and Evaluation (RB, RG, MLS), pp. 64–76.
- SAS-1999-Soffa #analysis #data flow #named #precise #scalability #tutorial
- Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis (MLS), pp. 355–356.
- Best-of-PLDI-1998-BodikGS98a
- Complete removal of redundant expressions (with retrospective) (RB, RG, MLS), pp. 596–611.
- FSE-1998-GuptaMS #automation #generative #testing #using
- Automated Test Data Generation Using an Iterative Relaxation Method (NG, APM, MLS), pp. 231–244.
- PLDI-1998-BodikGS
- Complete Removal of Redundant Computations (RB, RG, MLS), pp. 1–14.
- ESEC-FSE-1997-BodikGS #data flow #using
- Refining Data Flow Information Using Infeasible Paths (RB, RG, MLS), pp. 361–377.
- PLDI-1997-BodikGS #branch #interprocedural
- Interprocedural Conditional Branch Elimination (RB, RG, MLS), pp. 146–158.
- ICSE-1996-DuesterwaldGS #data flow #integration #testing
- A Demand-Driven Analyzer for Data Flow Testing at the Integration Level (ED, RG, MLS), pp. 575–584.
- FSE-1995-GuptaS #approach #hybrid #information management #slicing #using
- Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information (RG, MLS), pp. 29–40.
- ICSM-1995-GuptaS #data flow #testing
- Priority based data flow testing (RG, MLS), pp. 348–357.
- POPL-1995-DuesterwaldGS #data flow #interprocedural
- Demand-driven Computation of Interprocedural Data Flow (ED, RG, MLS), pp. 37–48.
- CC-1994-DuesterwaldGS #clustering #congruence #cost analysis #data flow
- Reducing the Cost of Data Flow Analysis By Congruence Partitioning (ED, RG, MLS), pp. 357–373.
- CC-1994-PineoS #approach #debugging
- A Practical Approach to the Symbolic Debugging of Parallelized Code (PPP, MLS), pp. 339–356.
- ICSM-1994-GuptaS #analysis #data flow #framework
- A Framework for Partial Data Flow Analysis (RG, MLS), pp. 4–13.
- ISSTA-1994-PollockBS #debugging
- Debugging Optimized Code Via Tailoring (LLP, MPB, MLS), p. 201.
- PLDI-1993-DuesterwaldGS #analysis #array #data flow #framework #optimisation
- A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations (ED, RG, MLS), pp. 68–77.
- CC-1992-DuesterwaldGS #approach #pipes and filters
- Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables (ED, RG, MLS), pp. 192–206.
- OOPSLA-1991-SharmaS #garbage collection #parallel
- Parallel Generational Garbage Collection (RS, MLS), pp. 16–32.
- PLDI-1991-WhitfieldS #automation #generative
- Automatic Generation of Global Optimizers (DW, MLS), pp. 120–129.
- TAV-1991-DuesterwaldS #analysis #concurrent #data flow #framework #using
- Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework (ED, MLS), pp. 36–48.
- PPoPP-1990-WhitfieldS #approach #optimisation
- An Approach to Ordering Optimizing Transformations (DW, MLS), pp. 137–146.
- PLDI-1989-GuptaSS #clique
- Register Allocation via Clique Separators (RG, MLS, TS), pp. 264–274.
- TAV-1989-HarroldS #data flow #testing
- Interprocedual Data Flow Testing (MJH, MLS), pp. 158–167.
- PPEALS-1988-GuptaS #parallel #performance
- Compile-time Techniques for Efficient Utilization of Parallel Memories (RG, MLS), pp. 235–246.
- POPL-1985-PollockS #compilation #incremental
- Incremental Compilation of Locally Optimized Code (LLP, MLS), pp. 152–164.
- ESEC-FSE-2019-HeMS0PS #performance #statistics #testing
- A statistics-based performance testing methodology for cloud applications (SH, GM, JS, WW0, LLP, MLS), pp. 188–199.