BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Soffa:Mary_Lou

Facilitated 8 volumes:

ASPLOS 2009Ed
SLE 2009PrCo
CGO 2008Ed
ICSE 2006Ed
ICSE 2006PrCh
FSE 2002GCh
PLDI 2001Ed
PLDI 1994Ed

Contributed to:

HPCA 20142014
ASPLOS 20132013
CGO 20122012
ISSTA 20122012
ICSE 20112011
ISSTA 20112011
CGO 20102010
FSE 20102010
CC 20092009
CGO 20092009
FSE 20082008
ASE 20072007
PASTE 20072007
ISSTA 20062006
SAS 20062006
ASE 20052005
CC 20052005
CGO 20052005
ICSE 20052005
PASTE 20052005
CC 20042004
CGO 20032003
ESEC/FSE 20032003
LCTES 20032003
ESEC/FSE 20012001
ICSM 20012001
ASE 20002000
FSE 20002000
SAS 20002000
ASE 19991999
ESEC/FSE 19991999
HPCA 19991999
ICSE 19991999
PLDI 19991999
SAS 19991999
Best of PLDI 20041998
FSE 19981998
PLDI 19981998
ESEC/FSE 19971997
PLDI 19971997
ICSE 19961996
FSE 19951995
ICSM 19951995
POPL 19951995
CC 19941994
ICSM 19941994
ISSTA 19941994
PLDI 19931993
CC 19921992
OOPSLA 19911991
PLDI 19911991
ISSTA 19911991
PPoPP 19901990
PLDI 19891989
ISSTA 19891989
PPEALS 19881988
POPL 19851985
ESEC/FSE 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.