Mary Lou Soffa
University of Virginia, Charlottesville, USA
Anita Borg Institute Women of Vision Awards
https://scholar.google.com/citations?user=KWiJaj8AAAAJ
http://www.cs.virginia.edu/~soffa/
https://dl.acm.org/profile/81452611636
https://mathgenealogy.org/id.php?id=78225
https://en.wikipedia.org/wiki/Mary_Lou_Soffa
https://www.wikidata.org/entity/Q4815991
https://d-nb.info/gnd/138702888
https://cra.org/about/awards/a-nico-habermann-award/#2006
https://orcid.org/0000-0002-3665-7763
https://zbmath.org/authors/?q=ai:soffa.mary-lou
Swaroopa Dola
Matthew B. Dwyer
Mary Lou Soffa
Input Distribution Coverage: Measuring Feature Interaction Adequacy in Neural Network Testing.
81:1-81:48
2023
May
32
ACM Trans. Softw. Eng. Methodol.
3
https://doi.org/10.1145/3576040
db/journals/tosem/tosem32.html#DolaDS23
Mary Lou Soffa
Ayal Zaks
Message from the Program Chairs.
v
2021
CGO
https://doi.org/10.1109/CGO51591.2021.9370338
conf/cgo/2021
db/conf/cgo/cgo2021.html#SoffaZ21
Swaroopa Dola
Matthew B. Dwyer
Mary Lou Soffa
Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models.
205-206
2021
ICSE (Companion Volume)
https://doi.org/10.1109/ICSE-Companion52605.2021.00091
conf/icse/2021c
db/conf/icse/icse2021c.html#DolaDS21a
Swaroopa Dola
Matthew B. Dwyer
Mary Lou Soffa
Distribution-Aware Testing of Neural Networks Using Generative Models.
226-237
2021
ICSE
https://doi.org/10.1109/ICSE43902.2021.00032
conf/icse/2021
db/conf/icse/icse2021.html#DolaDS21
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
CGO
IEEE
2021
978-1-7281-8613-9
https://doi.org/10.1109/CGO51591.2021
db/conf/cgo/cgo2021.html
Swaroopa Dola
Matthew B. Dwyer
Mary Lou Soffa
Distribution-Aware Testing of Neural Networks Using Generative Models.
2021
abs/2102.13602
CoRR
https://arxiv.org/abs/2102.13602
db/journals/corr/corr2102.html#abs-2102-13602
Ana Nora Evans
Bradford Campbell
Mary Lou Soffa
Is rust used safely by software developers?
246-257
2020
ICSE
https://doi.org/10.1145/3377811.3380413
https://ieeexplore.ieee.org/document/9283950
conf/icse/2020
db/conf/icse/icse2020.html#EvansCS20
Mary Lou Soffa
Testing deep neural networks (keynote).
2
2020
SPLASH (Companion)
https://doi.org/10.1145/3426430.3434071
conf/splash/2020c
db/conf/splash/splash2020c.html#Soffa20
Ana Nora Evans
Mary Lou Soffa
Sebastian G. Elbaum
A Language for Autonomous Vehicles Testing Oracles.
2020
abs/2006.10177
CoRR
https://arxiv.org/abs/2006.10177
db/journals/corr/corr2006.html#abs-2006-10177
Ana Nora Evans
Bradford Campbell
Mary Lou Soffa
Is Rust Used Safely by Software Developers?
2020
abs/2007.00752
CoRR
https://arxiv.org/abs/2007.00752
db/journals/corr/corr2007.html#abs-2007-00752
Sen He 0002
Glenna Manns
John Saunders
Wei Wang 0054
Lori L. Pollock
Mary Lou Soffa
A statistics-based performance testing methodology for cloud applications.
188-199
2019
ESEC/SIGSOFT FSE
https://doi.org/10.1145/3338906.3338912
conf/sigsoft/2019
db/conf/sigsoft/fse2019.html#HeMS0PS19
Wei Wang 0054
Ningjing Tian
Sunzhou Huang
Sen He 0002
Abhijeet Srivastava
Mary Lou Soffa
Lori L. Pollock
Testing Cloud Applications under Cloud-Uncertainty Performance Effects.
81-92
2018
ICST
https://doi.org/10.1109/ICST.2018.00018
https://doi.ieeecomputersociety.org/10.1109/ICST.2018.00018
conf/icst/2018
db/conf/icst/icst2018.html#WangTHHSSP18
Ji Gao
Jack Lanchantin
Mary Lou Soffa
Yanjun Qi
Black-Box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers.
50-56
2018
IEEE Symposium on Security and Privacy Workshops
https://doi.org/10.1109/SPW.2018.00016
conf/sp/2018w
db/conf/sp/spw2018.html#GaoLSQ18
Ji Gao
Jack Lanchantin
Mary Lou Soffa
Yanjun Qi
Black-box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers.
2018
abs/1801.04354
CoRR
http://arxiv.org/abs/1801.04354
db/journals/corr/corr1801.html#abs-1801-04354
Wei Wang 0054
Jack W. Davidson
Mary Lou Soffa
Predicting the memory bandwidth and optimal core allocations for multi-threaded applications on large-scale NUMA machines.
419-431
2016
HPCA
https://doi.org/10.1109/HPCA.2016.7446083
https://doi.ieeecomputersociety.org/10.1109/HPCA.2016.7446083
conf/hpca/2016
db/conf/hpca/hpca2016.html#WangDS16
Wei Wang 0054
Tanima Dey
Jack W. Davidson
Mary Lou Soffa
DraMon: Predicting memory bandwidth usage of multi-threaded programs with high accuracy and low overhead.
380-391
2014
HPCA
https://doi.org/10.1109/HPCA.2014.6835948
https://doi.ieeecomputersociety.org/10.1109/HPCA.2014.6835948
conf/hpca/2014
db/conf/hpca/hpca2014.html#WangDDS14
James P. Cohoon
Joanne McGrath Cohoon
Mary Lou Soffa
Educating Diverse Computing Students at the University of Virginia.
52-55
2013
46
Computer
3
https://doi.org/10.1109/MC.2013.39
http://doi.ieeecomputersociety.org/10.1109/MC.2013.39
db/journals/computer/computer46.html#CohoonCS13
Tanima Dey
Wei Wang 0054
Jack W. Davidson
Mary Lou Soffa
ReSense: Mapping dynamic workloads of colocated multithreaded applications using resource sensitivity.
41:1-41:25
2013
10
ACM Trans. Archit. Code Optim.
4
https://doi.org/10.1145/2541228.2555298
db/journals/taco/taco10.html#DeyWDS13
Wei Le
Mary Lou Soffa
Marple: Detecting faults in path segments using automatically generated analyses.
18:1-18:38
2013
22
ACM Trans. Softw. Eng. Methodol.
3
https://doi.org/10.1145/2491509.2491512
db/journals/tosem/tosem22.html#LeS13
Lingjia Tang
Jason Mars
Wei Wang 0054
Tanima Dey
Mary Lou Soffa
ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers.
89-100
2013
ASPLOS
https://doi.org/10.1145/2451116.2451126
https://doi.org/10.1145/2499368.2451126
https://doi.org/10.1145/2490301.2451126
conf/asplos/2013
db/conf/asplos/asplos2013.html#TangMWDS13
Jason Mars
Lingjia Tang
Kevin Skadron
Mary Lou Soffa
Robert Hundt
Increasing Utilization in Modern Warehouse-Scale Computers Using Bubble-Up.
88-99
2012
32
IEEE Micro
3
https://doi.org/10.1109/MM.2012.22
http://doi.ieeecomputersociety.org/10.1109/MM.2012.22
db/journals/micro/micro32.html#MarsTSSH12
Apala Guha
Kim M. Hazelwood
Mary Lou Soffa
Memory optimization of dynamic binary translators for embedded systems.
22:1-22:29
2012
9
ACM Trans. Archit. Code Optim.
3
https://doi.org/10.1145/2355585.2355595
db/journals/taco/taco9.html#GuhaHS12
Lingjia Tang
Jason Mars
Mary Lou Soffa
Compiling for niceness: mitigating contention for QoS in warehouse scale computers.
1-12
2012
CGO
https://doi.org/10.1145/2259016.2259018
conf/cgo/2012
db/conf/cgo/cgo2012.html#TangMS12
Wei Wang 0054
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.
156-167
2012
ISPASS
https://doi.org/10.1109/ISPASS.2012.6189222
https://doi.ieeecomputersociety.org/10.1109/ISPASS.2012.6189222
conf/ispass/2012
db/conf/ispass/ispass2012.html#WangDMTDS12
Kristen Walcott-Justice
Jason Mars
Mary Lou Soffa
THeME: a system for testing by hardware monitoring events.
12-22
2012
ISSTA
https://doi.org/10.1145/2338965.2336755
conf/issta/2012
db/conf/issta/issta2012.html#Walcott-JusticeMS12
Wei Wang 0054
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.
27-38
2012
VEE
https://doi.org/10.1145/2151024.2151031
https://doi.org/10.1145/2365864.2151031
conf/vee/2012
db/conf/vee/vee2012.html#WangDMACDIKS12
James P. Cohoon
Joanne McGrath Cohoon
Mary Lou Soffa
Focusing high school teachers on attracting diverse students to computer science and engineering.
2
2011
FIE
https://doi.org/10.1109/FIE.2011.6143054
https://doi.ieeecomputersociety.org/10.1109/FIE.2011.6143054
conf/fie/2011
db/conf/fie/fie2011.html#CohoonCS11
Jason Mars
Lingjia Tang
Mary Lou Soffa
Directly characterizing cross core interference through contention synthesis.
167-176
2011
HiPEAC
https://doi.org/10.1145/1944862.1944887
conf/hipeac/2011
db/conf/hipeac/hipeac2011.html#MarsTS11
Wei Le
Jing Yang 0003
Mary Lou Soffa
Kamin Whitehouse
Lazy preemption to enable path-based analysis of interrupt-driven code.
43-48
2011
SESENA@ICSE
https://doi.org/10.1145/1988051.1988060
conf/icse/2011sesena
db/conf/icse/sesena2011.html#Le0SW11
Mary Lou Soffa
Kristen R. Walcott
Jason Mars
Exploiting hardware advances for software testing and debugging.
888-891
2011
ICSE
https://doi.org/10.1145/1985793.1985935
conf/icse/2011
db/conf/icse/icse2011.html#SoffaWM11
Lingjia Tang
Jason Mars
Neil Vachharajani
Robert Hundt
Mary Lou Soffa
The impact of memory subsystem resource sharing on datacenter applications.
283-294
2011
ISCA
https://doi.org/10.1145/2000064.2000099
https://ieeexplore.ieee.org/document/6307765/
conf/isca/2011
db/conf/isca/isca2011.html#TangMVHS11
Tanima Dey
Wei Wang 0054
Jack W. Davidson
Mary Lou Soffa
Characterizing multi-threaded applications based on shared-resource contention.
76-86
2011
ISPASS
https://doi.org/10.1109/ISPASS.2011.5762717
https://doi.ieeecomputersociety.org/10.1109/ISPASS.2011.5762717
conf/ispass/2011
db/conf/ispass/ispass2011.html#DeyWDS11
Wei Le
Mary Lou Soffa
Generating analyses for detecting faults in path segments.
320-330
2011
ISSTA
https://doi.org/10.1145/2001420.2001459
conf/issta/2011
db/conf/issta/issta2011.html#LeS11
Jason Mars
Lingjia Tang
Robert Hundt
Kevin Skadron
Mary Lou Soffa
Bubble-Up: increasing utilization in modern warehouse scale computers via sensible co-locations.
248-259
2011
MICRO
https://doi.org/10.1145/2155620.2155650
https://ieeexplore.ieee.org/document/7851476/
conf/micro/2011
db/conf/micro/micro2011.html#MarsTHSS11
Jonathan Misurda
Bruce R. Childers
Mary Lou Soffa
Jazz2: a flexible and extensible framework for structural testing in a Java VM.
81-90
2011
PPPJ
https://doi.org/10.1145/2093157.2093169
conf/pppj/2011
db/conf/pppj/pppj2011.html#MisurdaCS11
Yuqiang Huang
Bruce R. Childers
Mary Lou Soffa
Detecting bugs in register allocation.
2010
32
ACM Trans. Program. Lang. Syst.
4
https://doi.org/10.1145/1734206.1734212
db/journals/toplas/toplas32.html#HuangCS10
15:1-15:36
Apala Guha
Kim M. Hazelwood
Mary Lou Soffa
Balancing memory and performance through selective flushing of software code caches.
1-10
2010
CASES
https://doi.org/10.1145/1878921.1878923
conf/cases/2010
db/conf/cases/cases2010.html#GuhaHS10
Jason Mars
Neil Vachharajani
Robert Hundt
Mary Lou Soffa
Contention aware execution: online contention detection and response.
257-265
2010
CGO
https://doi.org/10.1145/1772954.1772991
conf/cgo/2010
db/conf/cgo/cgo2010.html#MarsVHS10
Wei Le
Mary Lou Soffa
Path-based fault correlations.
307-316
2010
SIGSOFT FSE
https://doi.org/10.1145/1882291.1882336
conf/sigsoft/2010
db/conf/sigsoft/fse2010.html#LeS10
Apala Guha
Kim M. Hazelwood
Mary Lou Soffa
DBT path selection for holistic memory efficiency and performance.
145-156
2010
VEE
https://doi.org/10.1145/1735997.1736018
https://doi.org/10.1145/1837854.1736018
conf/vee/2010
db/conf/vee/vee2010.html#GuhaHS10
Min Zhao 0009
Bruce R. Childers
Mary Lou Soffa
A Framework for Exploring Optimization Properties.
32-47
2009
CC
https://doi.org/10.1007/978-3-642-00722-4_4
conf/cc/2009
db/conf/cc/cc2009.html#ZhaoCS09
Naveen Kumar 0002
Bruce R. Childers
Mary Lou Soffa
Transparent Debugging of Dynamically Optimized Code.
275-286
2009
CGO
https://doi.org/10.1109/CGO.2009.28
https://doi.ieeecomputersociety.org/10.1109/CGO.2009.28
http://dl.acm.org/citation.cfm?id=1545077
conf/cgo/2009
db/conf/cgo/cgo2009.html#KumarCS09
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
ASPLOS
ACM
2009
978-1-60558-406-5
https://doi.org/10.1145/1508244
https://doi.org/10.1145/1508284
https://doi.org/10.1145/2528521
db/conf/asplos/asplos2009.html
Mary Lou Soffa
Path Sensitive Analysis for Security Flaws.
3
2008
HASE
https://doi.org/10.1109/HASE.2008.63
https://doi.ieeecomputersociety.org/10.1109/HASE.2008.63
conf/hase/2008
db/conf/hase/hase2008.html#Soffa08
Gregory M. Kapfhammer
Mary Lou Soffa
Database-aware test coverage monitoring.
77-86
2008
ISEC
https://doi.org/10.1145/1342211.1342228
conf/indiaSE/2008
db/conf/indiaSE/isec2008.html#KapfhammerS08
Wei Le
Mary Lou Soffa
Marple: a demand-driven path-sensitive buffer overflow detector.
272-282
2008
SIGSOFT FSE
https://doi.org/10.1145/1453101.1453137
conf/sigsoft/2008
db/conf/sigsoft/fse2008.html#LeS08
Mary Lou Soffa
Evelyn Duesterwald
Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USA
CGO
ACM
2008
978-1-59593-978-4
http://dl.acm.org/citation.cfm?id=1356058
db/conf/cgo/cgo2008.html
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
Emerging Uses and Paradigms for Dynamic Binary Translation
08441
2008
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany
Dagstuhl Seminar Proceedings
db/conf/dagstuhl/P8441.html
http://drops.dagstuhl.de/portals/08441/
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 0001
Wei-Chung Hsu
Jens Knoop
Andreas Krall
Naveen Kumar 0002
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.
2008
Emerging Uses and Paradigms for Dynamic Binary Translation
http://drops.dagstuhl.de/opus/volltexte/2009/1888/
conf/dagstuhl/2008P8441
db/conf/dagstuhl/P8441.html#AltmanCCDBSEFGH08
Bruce R. Childers
Jack W. Davidson
Koen De Bosschere
Mary Lou Soffa
08441 Abstracts Collection - Emerging Uses and Paradigms for Dynamic Binary Translation.
2008
Emerging Uses and Paradigms for Dynamic Binary Translation
http://drops.dagstuhl.de/opus/volltexte/2009/1889/
conf/dagstuhl/2008P8441
db/conf/dagstuhl/P8441.html#ChildersDBS08
Apala Guha
Kim M. Hazelwood
Mary Lou Soffa
Reducing Exit Stub Memory Consumption in Code Caches.
87-101
2007
conf/hipeac/2007
HiPEAC
https://doi.org/10.1007/978-3-540-69338-3_7
db/conf/hipeac/hipeac2007.html#GuhaHS07
Apala Guha
Jason Hiser
Naveen Kumar 0002
Jing Yang 0003
Min Zhao 0009
Shukang Zhou
Bruce R. Childers
Jack W. Davidson
Kim M. Hazelwood
Mary Lou Soffa
Virtual Execution Environments: Support and Tools.
1-6
2007
conf/ipps/2007
IPDPS
https://doi.org/10.1109/IPDPS.2007.370489
https://doi.ieeecomputersociety.org/10.1109/IPDPS.2007.370489
db/conf/ipps/ipdps2007.html#GuhaHKYZZCDHS07
Adam M. Smith 0002
Joshua Geiger
Gregory M. Kapfhammer
Mary Lou Soffa
Test suite reduction and prioritization with call trees.
539-540
2007
conf/kbse/2007
ASE
https://doi.org/10.1145/1321631.1321733
db/conf/kbse/ase2007.html#SmithGKS07
Wei Le
Mary Lou Soffa
Refining buffer overflow detection via demand-driven path-sensitive analysis.
63-68
2007
conf/paste/2007
PASTE
https://doi.org/10.1145/1251535.1251546
db/conf/paste/paste2007.html#LeS07
Jing Yang 0003
Mary Lou Soffa
Leo Selavo
Kamin Whitehouse
Clairvoyant: a comprehensive source-level debugger for wireless sensor networks.
189-203
2007
SenSys
https://doi.org/10.1145/1322263.1322282
conf/sensys/2007
db/conf/sensys/sensys2007.html#YangSSW07
Jing Yang 0003
Mary Lou Soffa
Kamin Whitehouse
Effective source-level debugging of wireless sensor networks.
405-406
2007
SenSys
https://doi.org/10.1145/1322263.1322317
conf/sensys/2007
db/conf/sensys/sensys2007.html#YangSW07
Nguyet T. M. Nguyen
Mary Lou Soffa
Program representations for testing wireless sensor network applications.
20-26
2007
DOSTA
https://doi.org/10.1145/1294921.1294925
conf/sigsoft/2007dosta
db/conf/sigsoft/dosta2007.html#NguyenS07
Sandra Katz
David Allbritton
John M. Aronis
Christine Wilson
Mary Lou Soffa
Gender, achievement, and persistence in an undergraduate computer science program.
42-57
2006
37
Data Base
4
https://doi.org/10.1145/1185335.1185344
db/journals/db/db37.html#KatzAAWS06
Min Zhao 0009
Bruce R. Childers
Mary Lou Soffa
An approach toward profit-driven optimization.
231-262
2006
3
ACM Trans. Archit. Code Optim.
3
https://doi.org/10.1145/1162690.1162691
db/journals/taco/taco3.html#ZhaoCS06
Jason Hiser
Naveen Kumar 0002
Min Zhao 0009
Shukang Zhou
Bruce R. Childers
Jack W. Davidson
Mary Lou Soffa
Techniques and tools for dynamic optimization.
2006
conf/ipps/2006
IPDPS
https://doi.org/10.1109/IPDPS.2006.1639569
https://doi.ieeecomputersociety.org/10.1109/IPDPS.2006.1639569
db/conf/ipps/ipdps2006.html#HiserKZZCDS06
Kristen R. Walcott
Mary Lou Soffa
Gregory M. Kapfhammer
Robert S. Roos
TimeAware test suite prioritization.
1-12
2006
conf/issta/2006
ISSTA
https://doi.org/10.1145/1146238.1146240
db/conf/issta/issta2006.html#WalcottSKR06
Yuqiang Huang
Bruce R. Childers
Mary Lou Soffa
Catching and Identifying Bugs in Register Allocation.
281-300
2006
conf/sas/2006
SAS
https://doi.org/10.1007/11823230_19
db/conf/sas/sas2006.html#HuangCS06
Leon J. Osterweil
H. Dieter Rombach
Mary Lou Soffa
1-59593-375-1
28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006
ICSE
ACM
2006
https://doi.org/10.1145/1134285
db/conf/icse/icse2006.html
Naveen Kumar 0002
Bruce R. Childers
Daniel W. Williams
Jack W. Davidson
Mary Lou Soffa
Compile-Time Planning for Overhead Reduction in Software Dynamic Translators.
103-114
2005
33
Int. J. Parallel Program.
2-3
https://doi.org/10.1007/s10766-005-3573-7
db/journals/ijpp/ijpp33.html#KumarCWDS05
Barbara G. Ryder
Mary Lou Soffa
Margaret M. Burnett
The impact of software engineering research on modern programming languages.
431-477
2005
14
ACM Trans. Softw. Eng. Methodol.
4
https://doi.org/10.1145/1101815.1101818
https://www.wikidata.org/entity/Q56047777
db/journals/tosem/tosem14.html#RyderSB05
Naveen Kumar 0002
Bruce R. Childers
Mary Lou Soffa
Tdb: a source-level debugger for dynamically translated programs.
123-132
2005
conf/aadebug/2005
AADEBUG
https://doi.org/10.1145/1085130.1085147
db/conf/aadebug/aadebug2005.html#KumarCS05
Jonathan Misurda
James A. Clause
Juliya L. Reed
Bruce R. Childers
Mary Lou Soffa
Jazz: A Tool for Demand-Driven Structural Testing.
242-245
https://doi.org/10.1007/978-3-540-31985-6_17
2005
conf/cc/2005
CC
db/conf/cc/cc2005.html#MisurdaCRCS05
Min Zhao 0009
Bruce R. Childers
Mary Lou Soffa
Model-Based Framework: An Approach for Profit-Driven Optimization.
317-327
2005
conf/cgo/2005
CGO
https://doi.org/10.1109/CGO.2005.2
https://doi.ieeecomputersociety.org/10.1109/CGO.2005.2
http://dl.acm.org/citation.cfm?id=1048997
db/conf/cgo/cgo2005.html#ZhaoCS05
Jonathan Misurda
James A. Clause
Juliya L. Reed
Bruce R. Childers
Mary Lou Soffa
Demand-driven structural testing with dynamic instrumentation.
156-165
2005
conf/icse/2005
ICSE
https://doi.org/10.1145/1062455.1062496
https://doi.org/10.1109/ICSE.2005.1553558
https://doi.ieeecomputersociety.org/10.1109/ICSE.2005.1553558
db/conf/icse/icse2005.html#MisurdaCRCS05
Gregory M. Kapfhammer
Mary Lou Soffa
Daniel Mossé
Testing in resource constrained execution environments.
418-422
2005
conf/kbse/2005
ASE
https://doi.org/10.1145/1101908.1101984
db/conf/kbse/ase2005.html#KapfhammerSM05
Naveen Kumar 0002
Bruce R. Childers
Mary Lou Soffa
Low overhead program monitoring and profiling.
28-34
2005
conf/paste/2005
PASTE
https://doi.org/10.1145/1108792.1108801
db/conf/paste/paste2005.html#KumarCS05
Shukang Zhou
Bruce R. Childers
Mary Lou Soffa
Planning for code buffer management in distributed virtual execution environments.
100-109
2005
conf/vee/2005
VEE
https://doi.org/10.1145/1064979.1064994
db/conf/vee/vee2005.html#ZhouCS05
Mary Lou Soffa
Developing a Foundation for Code Optimization.
1-4
https://doi.org/10.1007/978-3-540-24723-4_1
2004
conf/cc/2004
CC
db/conf/cc/cc2004.html#Soffa04
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.
2004
ICLS
https://repository.isls.org/handle/1/4030
conf/icls/2004
db/conf/icls/icls2004.html#KatzAAWS04
Kevin Scott
Naveen Kumar 0002
Bruce R. Childers
Jack W. Davidson
Mary Lou Soffa
Overhead Reduction Techniques for Software Dynamic Translation.
2004
conf/ipps/2004
IPDPS Next Generation Software Program - NSFNGS - PI Workshop
https://doi.org/10.1109/IPDPS.2004.1303224
https://doi.ieeecomputersociety.org/10.1109/IPDPS.2004.1303224
db/conf/ipps/ipdps2004-w10.html#ScottKCDS04
Naveen Kumar 0002
Jonathan Misurda
Bruce R. Childers
Mary Lou Soffa
Instrumentation in software dynamic translators for self-managed systems.
90-94
2004
conf/woss/2004
WOSS
https://doi.org/10.1145/1075405.1075423
db/conf/woss/woss2004.html#KumarMCS04
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.
16-22
2003
38
ACM SIGPLAN Notices
6
https://doi.org/10.1145/885638.885644
db/journals/sigplan/sigplan38.html#RyderS03
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.
29-35
2003
28
ACM SIGSOFT Softw. Eng. Notes
4
https://doi.org/10.1145/882240.882258
db/journals/sigsoft/sigsoft28.html#RyderS03
Sandra Katz
John M. Aronis
David Allbritton
Christine Wilson
Mary Lou Soffa
Gender and race in predicting achievement in computer science.
20-27
2003
22
IEEE Technol. Soc. Mag.
3
https://doi.org/10.1109/MTAS.2003.1237468
db/journals/tasm/tasm22.html#KatzAAWS03
Carlo Ghezzi
Jeff Magee
H. Dieter Rombach
Mary Lou Soffa
Editorial.
1-2
2003
12
ACM Trans. Softw. Eng. Methodol.
1
https://doi.org/10.1145/839268.839269
db/journals/tosem/tosem12.html#GhezziMRS03
Kevin Scott
Naveen Kumar 0002
S. Velusamy
Bruce R. Childers
Jack W. Davidson
Mary Lou Soffa
Retargetable and Reconfigurable Software Dynamic Translation.
36-47
2003
conf/cgo/2003
CGO
https://doi.org/10.1109/CGO.2003.1191531
https://doi.ieeecomputersociety.org/10.1109/CGO.2003.1191531
http://dl.acm.org/citation.cfm?id=776265
db/conf/cgo/cgo2003.html#ScottKVCDS03
Dick Hamlet
Mary Lou Soffa
Report on the ICSE 2003 Doctoral Symposium.
762-766
2003
conf/icse/2003
ICSE
https://doi.org/10.1109/ICSE.2003.1201275
https://doi.ieeecomputersociety.org/10.1109/ICSE.2003.1201275
http://dl.acm.org/citation.cfm?id=776940
db/conf/icse/icse2003.html#HamletS03
Bruce R. Childers
Jack W. Davidson
Mary Lou Soffa
Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation.
205
2003
conf/ipps/2003
IPDPS
https://doi.org/10.1109/IPDPS.2003.1213375
https://doi.ieeecomputersociety.org/10.1109/IPDPS.2003.1213375
db/conf/ipps/ipdps2003.html#ChildersDS03
Min Zhao 0009
Bruce R. Childers
Mary Lou Soffa
Predicting the impact of optimizations for embedded systems.
1-11
2003
conf/lctrts/2003
LCTES
https://doi.org/10.1145/780732.780734
https://doi.org/10.1145/780731.780734
db/conf/lctrts/lctes2003.html#ZhaoCS03
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.
79-83
2003
conf/oopsla/2003ecl
eTX
https://doi.org/10.1145/965660.965677
db/conf/oopsla/oopsla2003ecl.html#ChildersSBBCKLM03
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.
36-45
2003
conf/sbac-pad/2003
SBAC-PAD
https://doi.org/10.1109/CAHPC.2003.1250319
https://doi.ieeecomputersociety.org/10.1109/CAHPC.2003.1250319
db/conf/sbac-pad/sbac-pad2003.html#PillaCFCS03
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.
157-161
2003
conf/sigcpr/2003
CPR
https://doi.org/10.1145/761849.761879
db/conf/sigcpr/cpr2003.html#KatzAAWS03
Gregory M. Kapfhammer
Mary Lou Soffa
A family of test adequacy criteria for database-driven applications.
98-107
2003
conf/sigsoft/2003
ESEC / SIGSOFT FSE
https://doi.org/10.1145/940071.940086
db/conf/sigsoft/fse2003.html#KapfhammerS03
Atif M. Memon
Mary Lou Soffa
Regression testing of GUIs.
118-127
2003
conf/sigsoft/2003
ESEC / SIGSOFT FSE
https://doi.org/10.1145/940071.940088
db/conf/sigsoft/fse2003.html#MemonS03
Angela M. Balcita
Doris L. Carver
Mary Lou Soffa
Shortchanging the future of information technology: the untapped resource.
32-35
2002
34
ACM SIGCSE Bull.
2
https://doi.org/10.1145/543812.543825
db/journals/sigcse/sigcse34.html#BalcitaCS02
Clara Jaramillo
Rajiv Gupta 0001
Mary Lou Soffa
Debugging and Testing Optimizers through Comparison Checking.
2002
conf/cocv/2002
COCV@ETAPS
https://doi.org/10.1016/S1571-0661(04)80398-0
db/conf/cocv/cocv2002.html#JaramilloGS02
83-99
Atif M. Memon
Martha E. Pollack
Mary Lou Soffa
Hierarchical GUI Test Case Generation Using Automated Planning.
144-155
2001
27
IEEE Trans. Software Eng.
2
https://doi.org/10.1109/32.908959
http://doi.ieeecomputersociety.org/10.1109/32.908959
db/journals/tse/tse27.html#MemonPS01
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.
716-725
2001
conf/icsm/2001
ICSM
https://doi.org/10.1109/ICSM.2001.972790
https://doi.ieeecomputersociety.org/10.1109/ICSM.2001.972790
db/conf/icsm/icsm2001.html#OrsoHRRSD01
Atif M. Memon
Mary Lou Soffa
Martha E. Pollack
Coverage criteria for GUI testing.
256-267
2001
conf/sigsoft/2001
ESEC / SIGSOFT FSE
https://doi.org/10.1145/503209.503244
https://doi.org/10.1145/503271.503244
db/conf/sigsoft/fse2001.html#MemonSP01
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
PLDI
ACM
2001
1-58113-414-2
https://doi.org/10.1145/378795
https://doi.org/10.1145/381694
db/conf/pldi/pldi2001.html
Mary Lou Soffa
1999 SIGPLAN Awards.
2-3
2000
35
ACM SIGPLAN Notices
3
db/journals/sigplan/sigplan35.html#Soffa00
Atif M. Memon
Martha E. Pollack
Mary Lou Soffa
Plan Generation for GUI Testing.
226-235
2000
conf/aips/2000
AIPS
db/conf/aips/aips2000.html#MemonPS00
http://www.aaai.org/Library/AIPS/2000/aips00-024.php
Neelam Gupta
Aditya P. Mathur
Mary Lou Soffa
Generating Test Data for Branch Coverage.
219-228
2000
conf/kbse/2000
ASE
https://doi.org/10.1109/ASE.2000.873666
https://doi.ieeecomputersociety.org/10.1109/ASE.2000.873666
db/conf/kbse/ase2000.html#GuptaMS00
Clara Jaramillo
Rajiv Gupta 0001
Mary Lou Soffa
FULLDOC: A Full Reporting Debugger for Optimized Code.
240-259
2000
conf/sas/2000
SAS
db/conf/sas/sas2000.html#JaramilloGS00
https://doi.org/10.1007/978-3-540-45099-3_13
Atif M. Memon
Martha E. Pollack
Mary Lou Soffa
Automated test oracles for GUIs.
30-39
2000
conf/sigsoft/2000
SIGSOFT FSE
https://doi.org/10.1145/355045.355050
https://doi.org/10.1145/357474.355050
db/conf/sigsoft/fse2000.html#MemonPS00
Clara Jaramillo
Rajiv Gupta 0001
Mary Lou Soffa
Comparison Checking: An Approach to Avoid Debugging of Optimized Code.
268-284
1999
conf/esec/1999
ESEC / SIGSOFT FSE
https://doi.org/10.1007/3-540-48166-4_17
https://doi.org/10.1145/318774.318947
db/conf/esec/esec99.html#JaramilloGS99
Tarun Nakra
Rajiv Gupta 0001
Mary Lou Soffa
Global Context-Based Value Prediction.
4-12
1999
conf/hpca/1999
HPCA
https://doi.org/10.1109/HPCA.1999.744311
https://doi.ieeecomputersociety.org/10.1109/HPCA.1999.744311
db/conf/hpca/hpca1999.html#NakraGS99
Atif M. Memon
Martha E. Pollack
Mary Lou Soffa
Using a Goal-Driven Approach to Generate Test Cases for GUIs.
257-266
1999
conf/icse/1999
ICSE
https://doi.org/10.1145/302405.302632
db/conf/icse/icse99.html#MemonPS99
Tarun Nakra
Rajiv Gupta 0001
Mary Lou Soffa
Value Prediction in VLIW Machines.
258-269
1999
conf/isca/1999
ISCA
https://doi.org/10.1109/ISCA.1999.765956
https://doi.ieeecomputersociety.org/10.1109/ISCA.1999.765956
https://dl.acm.org/citation.cfm?id=301001
db/conf/isca/isca99.html#NakraGS99
Neelam Gupta
Aditya P. Mathur
Mary Lou Soffa
UNA Based Iterative Test Data Generation and Its Evaluation.
224-
1999
conf/kbse/1999
ASE
https://doi.org/10.1109/ASE.1999.802270
https://doi.ieeecomputersociety.org/10.1109/ASE.1999.802270
db/conf/kbse/ase1999.html#GuptaMS99
Rastislav Bodík
Rajiv Gupta 0001
Mary Lou Soffa
Load-Reuse Analysis: Design and Evaluation.
64-76
1999
conf/pldi/1999
PLDI
https://doi.org/10.1145/301618.301643
https://doi.org/10.1145/301631.301643
db/conf/pldi/pldi99.html#BodikGS99
Mary Lou Soffa
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis.
355-356
1999
conf/sas/1999
SAS
https://doi.org/10.1007/3-540-48294-6_23
db/conf/sas/sas99.html#Soffa99
Mary Lou Soffa
1998 SIGPLAN Awards.
1-3
1998
33
ACM SIGPLAN Notices
9
db/journals/sigplan/sigplan33.html#Soffa98
Mary Lou Soffa
David Notkin
SIGPLAN and SIGSOFT Joint Efforts.
1
1998
33
ACM SIGPLAN Notices
12
db/journals/sigplan/sigplan33.html#SoffaN98
Clara Jaramillo
Rajiv Gupta 0001
Mary Lou Soffa
Capturing the Effects of Code Improving Transformations.
118-123
1998
conf/IEEEpact/1998
IEEE PACT
https://doi.org/10.1109/PACT.1998.727181
https://doi.ieeecomputersociety.org/10.1109/PACT.1998.727181
https://dl.acm.org/doi/10.5555/522344.825667
db/conf/IEEEpact/IEEEpact1998.html#JaramilloGS98
David A. Berson
Rajiv Gupta 0001
Mary Lou Soffa
Integrated Instruction Scheduling and Register Allocation Techniques.
247-262
https://doi.org/10.1007/3-540-48319-5_16
1998
conf/lcpc/1998
LCPC
db/conf/lcpc/lcpc1998.html#BersonGS98
Jodi L. Tims
Rajiv Gupta 0001
Mary Lou Soffa
Data Flow Analysis Driven Dynamic Data Partitioning.
75-90
https://doi.org/10.1007/3-540-49530-4_6
1998
conf/lcr/1998
LCR
db/conf/lcr/lcr98.html#TimsGS98
Rastislav Bodík
Rajiv Gupta 0001
Mary Lou Soffa
Complete Removal of Redundant Computations.
1-14
1998
conf/pldi/1998
PLDI
db/conf/pldi/pldi98.html#BodikGS98
https://doi.org/10.1145/277650.277653
https://doi.org/10.1145/277652.277653
Rastislav Bodík
Rajiv Gupta 0001
Mary Lou Soffa
Complete removal of redundant expressions (with retrospective)
596-611
1998
conf/pldi/2004best
Best of PLDI
https://doi.org/10.1145/989393.989453
db/conf/pldi/pldi2004best.html#BodikGS98a
Neelam Gupta
Aditya P. Mathur
Mary Lou Soffa
Automated Test Data Generation Using an Iterative Relaxation Method.
231-244
1998
conf/sigsoft/1998
SIGSOFT FSE
https://doi.org/10.1145/288195.288321
https://doi.org/10.1145/291252.288321
db/conf/sigsoft/fse98.html#GuptaMS98
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
ISSTA
ACM
1998
0-89791-971-8
https://doi.org/10.1145/271771
https://doi.org/10.1145/271775
db/conf/issta/issta98.html
Evelyn Duesterwald
Rajiv Gupta 0001
Mary Lou Soffa
A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis.
992-1030
1997
19
ACM Trans. Program. Lang. Syst.
6
https://doi.org/10.1145/267959.269970
db/journals/toplas/toplas19.html#DuesterwaldGS97
Deborah Whitfield
Mary Lou Soffa
An Approach for Exploring Code-Improving Transformations.
1053-1084
1997
19
ACM Trans. Program. Lang. Syst.
6
https://doi.org/10.1145/267959.267960
db/journals/toplas/toplas19.html#WhitfieldS97
Rajiv Gupta 0001
Mary Lou Soffa
John Howard
Hybrid Slicing: Integrating Dynamic Information with Static Analysis.
370-397
1997
6
ACM Trans. Softw. Eng. Methodol.
4
db/journals/tosem/tosem6.html#GuptaSH97
https://doi.org/10.1145/261640.261644
Rastislav Bodík
Rajiv Gupta 0001
Mary Lou Soffa
Refining Data Flow Information Using Infeasible Paths.
361-377
1997
conf/esec/1997
ESEC / SIGSOFT FSE
https://doi.org/10.1007/3-540-63531-9_25
https://doi.org/10.1145/267896.267921
db/conf/esec/esec97.html#BodikGS98
Rastislav Bodík
Rajiv Gupta 0001
Mary Lou Soffa
Interprocedural Conditional Branch Elimination.
146-158
1997
conf/pldi/1997
PLDI
db/conf/pldi/pldi97.html#BodikGS97
https://doi.org/10.1145/258915.258929
https://doi.org/10.1145/258916.258929
Rajiv Gupta 0001
Mary Jean Harrold
Mary Lou Soffa
Program Slicing-Based Regression Testing Techniques.
83-111
1996
6
Softw. Test. Verification Reliab.
2
db/journals/stvr/stvr6.html#GuptaHS96
https://doi.org/10.1002/(SICI)1099-1689(199606)6:2<83::AID-STVR112>3.0.CO;2-9
Evelyn Duesterwald
Rajiv Gupta 0001
Mary Lou Soffa
A Demand-Driven Analyzer for Data Flow Testing at the Integration Level.
575-584
1996
conf/icse/1996
ICSE
http://portal.acm.org/citation.cfm?id=227726.227845
db/conf/icse/icse96.html#DuesterwaldGS96
David A. Berson
Pohua P. Chang
Rajiv Gupta 0001
Mary Lou Soffa
Integrating Program Optimizations and Transformations with the Scheduling of Instruction Level Parallelism.
207-221
1996
conf/lcpc/1996
LCPC
db/conf/lcpc/lcpc1996.html#BersonCGS96
https://doi.org/10.1007/BFb0017254
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
ACM Conference on Computer Science
1996
0-89791-828-2
http://dl.acm.org/citation.cfm?id=228329
db/conf/acm/csc96.html
Henri E. Bal
Boumediene Belkhouche
Mary Lou Soffa
Introduction to the Special Section.
881-882
http://doi.ieeecomputersociety.org/10.1109/TSE.1995.10007
1995
21
IEEE Trans. Software Eng.
11
db/journals/tse/tse21.html#BalBS95
Patricia Prather Pineo
Mary Lou Soffa
Practical approach to single assignment code.
149-158
1995
PACT
http://dl.acm.org/citation.cfm?id=224712
conf/IEEEpact/1995
db/conf/IEEEpact/pact1995.html#PineoS95
Rajiv Gupta 0001
Mary Lou Soffa
Priority based data flow testing.
348-357
1995
conf/icsm/1995
ICSM
https://doi.org/10.1109/ICSM.1995.526556
https://doi.ieeecomputersociety.org/10.1109/ICSM.1995.526556
db/conf/icsm/icsm1995.html#GuptaS95
David A. Berson
Rajiv Gupta 0001
Mary Lou Soffa
GURRR: A Global Unified Resource Requirements Representation.
23-34
1995
conf/irep/1995
Intermediate Representations Workshop
db/conf/irep/irep95.html#BersonGS95
https://doi.org/10.1145/202529.202533
https://doi.org/10.1145/202530.202533
Evelyn Duesterwald
Rajiv Gupta 0001
Mary Lou Soffa
Demand-driven Computation of Interprocedural Data Flow.
37-48
1995
conf/popl/1995
POPL
db/conf/popl/popl95.html#DuesterwaldGS95
https://doi.org/10.1145/199448.199461
Rajiv Gupta 0001
Mary Lou Soffa
Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information.
29-40
1995
conf/sigsoft/1995
SIGSOFT FSE
https://doi.org/10.1145/222124.222137
https://doi.org/10.1145/222132.222137
https://www.wikidata.org/entity/Q111899711
db/conf/sigsoft/fse95.html#GuptaS95
Deborah Whitfield
Mary Lou Soffa
The Design and Implementation of Genesis.
307-325
1994
24
Softw. Pract. Exp.
3
db/journals/spe/spe24.html#WhitfieldS94
https://doi.org/10.1002/spe.4380240305
Mary Jean Harrold
Mary Lou Soffa
Efficient Computation of Interprocedural Definition-Use Chains.
175-204
1994
16
ACM Trans. Program. Lang. Syst.
2
https://doi.org/10.1145/174662.174663
db/journals/toplas/toplas16.html#HarroldS94
Rajiv Gupta 0001
Mary Lou Soffa
Denise Ombres
Efficient Register Allocation via Coloring Using Clique Separators.
370-386
1994
16
ACM Trans. Program. Lang. Syst.
3
https://doi.org/10.1145/177492.177499
db/journals/toplas/toplas16.html#GuptaSO94
Brian A. Malloy
Errol L. Lloyd
Mary Lou Soffa
Scheduling DAG's for Asynchronous Multiprocessor Execution.
498-508
1994
5
IEEE Trans. Parallel Distributed Syst.
5
https://doi.org/10.1109/71.282560
http://doi.ieeecomputersociety.org/10.1109/71.282560
db/journals/tpds/tpds5.html#MalloyLS94
Robert Kramer
Rajiv Gupta 0001
Mary Lou Soffa
The Combining DAG: A Technique for Parallel Data Flow Analysis.
805-813
1994
5
IEEE Trans. Parallel Distributed Syst.
8
https://doi.org/10.1109/71.298205
http://doi.ieeecomputersociety.org/10.1109/71.298205
db/journals/tpds/tpds5.html#KramerGS94
Patricia Prather Pineo
Mary Lou Soffa
A Practical Approach to the Symbolic Debugging of Parallelized Code.
339-356
1994
conf/cc/1994
CC
db/conf/cc/cc94.html#PineoS94
https://doi.org/10.1007/3-540-57877-3_23
Evelyn Duesterwald
Rajiv Gupta 0001
Mary Lou Soffa
Reducing the Cost of Data Flow Analysis By Congruence Partitioning.
357-373
1994
conf/cc/1994
CC
db/conf/cc/cc94.html#DuesterwaldGS94
https://doi.org/10.1007/3-540-57877-3_24
Chyi-Ren Dow
Mary Lou Soffa
Shi-Kuo Chang
An Efficient Technique to Remove Transformations.
392-397
1994
conf/icpads/1994
ICPADS
db/conf/icpads/icpads1994.html#DowSC94
https://doi.org/10.1109/ICPADS.1994.590343
https://doi.ieeecomputersociety.org/10.1109/ICPADS.1994.590343
Chyi-Ren Dow
Mary Lou Soffa
Shi-Kuo Chang
Undoing Code Transformations in an Independent Order.
108-115
1994
conf/icpp/1994-2
ICPP (2)
db/conf/icpp/icpp1994-2.html#DowSC94
https://doi.org/10.1109/ICPP.1994.194
https://doi.ieeecomputersociety.org/10.1109/ICPP.1994.194
Rajiv Gupta 0001
Mary Lou Soffa
A Framework for Partial Data Flow Analysis.
4-13
1994
conf/icsm/1994
ICSM
db/conf/icsm/icsm1994.html#GuptaS94
https://doi.org/10.1109/ICSM.1994.336794
https://doi.ieeecomputersociety.org/10.1109/ICSM.1994.336794
David A. Berson
Rajiv Gupta 0001
Mary Lou Soffa
Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers.
135-146
1994
conf/ifipPACT/1994
IFIP PACT
db/conf/ifipPACT/ifipPACT1994.html#BersonGS94
http://dl.acm.org/citation.cfm?id=713842
Lori L. Pollock
Mary P. Bivens
Mary Lou Soffa
Debugging Optimized Code Via Tailoring (Abstract).
201
1994
conf/issta/1994
ISSTA
https://doi.org/10.1145/186258.187201
db/conf/issta/issta94.html#PollockBS94
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
PLDI
ACM
1994
0-89791-662-X
https://doi.org/10.1145/178243
https://doi.org/10.1145/773473
db/conf/pldi/pldi94.html
Rajiv Gupta 0001
Mary Lou Soffa
Employing Static Information in the Generation of Test Cases.
29-48
1993
3
Softw. Test. Verification Reliab.
1
db/journals/stvr/stvr3.html#GuptaS93
https://doi.org/10.1002/stvr.4370030104
Mary Jean Harrold
Rajiv Gupta 0001
Mary Lou Soffa
A Methodology for Controlling the Size of a Test Suite.
270-285
1993
2
ACM Trans. Softw. Eng. Methodol.
3
db/journals/tosem/tosem2.html#HarroldGS93
https://doi.org/10.1145/152388.152391
Deborah Whitfield
Mary Lou Soffa
Investigating Properties of Code Transformations.
156-160
1993
conf/icpp/1993-2
ICPP (2)
db/conf/icpp/icpp1993-2.html#WhitfieldS93
https://doi.org/10.1109/ICPP.1993.106
https://doi.ieeecomputersociety.org/10.1109/ICPP.1993.106
David A. Berson
Rajiv Gupta 0001
Mary Lou Soffa
URSA: A Unified ReSource Allocator for Registers and Functional Units in VLIW Architectures.
243-254
1993
conf/ifip10-3/1993
Architectures and Compilation Techniques for Fine and Medium Grain Parallelism
db/conf/ifip10-3/ifip10-3-1993.html#BersonGS93
http://dl.acm.org/citation.cfm?id=714373
Evelyn Duesterwald
Rajiv Gupta 0001
Mary Lou Soffa
A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations.
68-77
1993
conf/pldi/1993
PLDI
db/conf/pldi/pldi93.html#DuesterwaldGS93
https://doi.org/10.1145/155090.155097
https://doi.org/10.1145/173262.155097
Lori L. Pollock
Mary Lou Soffa
Incremental Global Reoptimization of Programs.
173-200
1992
14
ACM Trans. Program. Lang. Syst.
2
https://doi.org/10.1145/128861.128865
db/journals/toplas/toplas14.html#PollockS92
Chyi-Ren Dow
Mary Lou Soffa
Shi-Kuo Chang
A Visual Optimization Specification Language.
289-303
1992
conf/avi/1992
Advanced Visual Interfaces
db/conf/avi/avi92.html#DowSC92
Evelyn Duesterwald
Rajiv Gupta 0001
Mary Lou Soffa
Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables.
192-206
1992
conf/cc/1992
CC
db/conf/cc/cc92.html#DuesterwaldGS92
https://doi.org/10.1007/3-540-55984-1_18
Brian A. Malloy
Errol L. Lloyd
Mary Lou Soffa
A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors.
139-142
1992
conf/icci/1992
ICCI
db/conf/icci/icci1992.html#MalloyLS92
Rajiv Gupta 0001
Mary Jean Harrold
Mary Lou Soffa
An approach to regression testing using slicing.
299-308
1992
ICSM
https://doi.org/10.1109/ICSM.1992.242531
conf/icsm/1992
db/conf/icsm/icsm1992.html#GuptaHS92
Rajiv Gupta 0001
Mary Lou Soffa
Automatic Generation of a Compact Test Suit.
237-243
1992
conf/ifip/1992-1
IFIP Congress (1)
db/conf/ifip/ifip92-1.html#GuptaS92a
Robert Kramer
Rajiv Gupta 0001
Mary Lou Soffa
The Combining Dag: A Technique for Parallel DataMow Analysis.
652-655
1992
conf/ipps/1992
IPPS
db/conf/ipps/ipps1992.html#KramerGS92
https://doi.org/10.1109/IPPS.1992.222990
https://doi.ieeecomputersociety.org/10.1109/IPPS.1992.222990
Evelyn Duesterwald
Rajiv Gupta 0001
Mary Lou Soffa
Distributed Slicing and Partial Re-execution for Distributed Programs.
497-511
1992
conf/lcpc/1992
LCPC
db/conf/lcpc/lcpc1992.html#DuesterwaldGS92
https://doi.org/10.1007/3-540-57502-2_67
Brian A. Malloy
Rajiv Gupta 0001
Mary Lou Soffa
A shape matching approach for scheduling fine-grained parallelism.
264-267
1992
conf/micro/1992
MICRO
https://doi.org/10.1109/MICRO.1992.697029
https://doi.ieeecomputersociety.org/10.1109/MICRO.1992.697029
https://dl.acm.org/citation.cfm?id=145826
db/conf/micro/micro1992.html#MalloyGS92
Shan Fan Liu
Mary Lou Soffa
Parallel Task Assignment by Graph Partitioning.
965-966
1992
conf/parle/1992
PARLE
db/conf/parle/parle92.html#LiuS92
https://doi.org/10.1007/3-540-55599-4_144
Chyi-Ren Dow
Shi-Kuo Chang
Mary Lou Soffa
A Visualization System for Parallelizing Programs.
194-203
1992
conf/sc/1992
SC
db/conf/sc/sc1992.html#DowCS92
https://doi.org/10.1109/SUPERC.1992.236694
https://doi.ieeecomputersociety.org/10.1109/SUPERC.1992.236694
http://dl.acm.org/citation.cfm?id=147957
Tia M. Watts
Mary Lou Soffa
Rajiv Gupta 0001
Techniques for Integrating Parallelizing Transformations and Compiler-Based Scheduling Methods.
830-839
1992
conf/sc/1992
SC
db/conf/sc/sc1992.html#WattsSG92
https://doi.org/10.1109/SUPERC.1992.236680
https://doi.ieeecomputersociety.org/10.1109/SUPERC.1992.236680
http://dl.acm.org/citation.cfm?id=148140
Mary Jean Harrold
Mary Lou Soffa
Selecting and Using Data fro Integration Testing.
58-65
1991
8
IEEE Softw.
2
db/journals/software/software8.html#HarroldS91
https://doi.org/10.1109/52.73750
http://doi.ieeecomputersociety.org/10.1109/52.73750
https://www.wikidata.org/entity/Q111897770
Rajiv Gupta 0001
Mary Lou Soffa
Compile-Time Techniques for Improving Scalar Access Performance in Parallel Memories.
138-148
1991
2
IEEE Trans. Parallel Distributed Syst.
2
https://doi.org/10.1109/71.89060
http://doi.ieeecomputersociety.org/10.1109/71.89060
db/journals/tpds/tpds2.html#GuptaS91
Evelyn Duesterwald
Mary Lou Soffa
Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework.
36-48
1991
conf/issta/1991
Symposium on Testing, Analysis, and Verification
https://doi.org/10.1145/120807.120811
db/conf/issta/tav91.html#DuesterwaldS91
Ravi Sharma
Mary Lou Soffa
Parallel Generational Garbage Collection.
16-32
1991
conf/oopsla/1991
OOPSLA
db/conf/oopsla/oopsla91.html#SharmaS91
https://doi.org/10.1145/117954.117956
https://doi.org/10.1145/118014.117956
Patricia Prather Pineo
Mary Lou Soffa
Debugging Parallelized Code Using Code Liberation Techniques.
108-119
1991
conf/pdd/1991
Workshop on Parallel and Distributed Debugging
db/conf/pdd/pdd91.html#PineoS91
https://doi.org/10.1145/122759.122769
https://doi.org/10.1145/127695.122769
Deborah Whitfield
Mary Lou Soffa
Automatic Generation of Global Optimizers.
120-129
1991
conf/pldi/1991
PLDI
db/conf/pldi/pldi91.html#WhitfieldS91
https://doi.org/10.1145/113445.113456
https://doi.org/10.1145/113446.113456
Brian A. Malloy
Mary Lou Soffa
Conversion of Simulation Processes to Pascal Constructs.
191-207
1990
20
Softw. Pract. Exp.
2
db/journals/spe/spe20.html#MalloyS90
https://doi.org/10.1002/spe.4380200206
Mary P. Bivens
Mary Lou Soffa
Incremental Register Reallocation.
1015-1047
1990
20
Softw. Pract. Exp.
10
db/journals/spe/spe20.html#BivensS90
https://doi.org/10.1002/spe.4380201005
Rajiv Gupta 0001
Mary Lou Soffa
Region Scheduling: An Approach for Detecting and Redistributing Parallelism.
421-431
https://doi.org/10.1109/32.54294
http://doi.ieeecomputersociety.org/10.1109/32.54294
1990
16
IEEE Trans. Software Eng.
4
db/journals/tse/tse16.html#GuptaS90
Lori L. Pollock
Mary Lou Soffa
Incremental Global Optimization for Faster Recompilations.
281-290
1990
conf/iccl/1990
ICCL
db/conf/iccl/iccl1990.html#PollockS90
https://doi.org/10.1109/ICCL.1990.63784
https://doi.ieeecomputersociety.org/10.1109/ICCL.1990.63784
Mary Jean Harrold
Mary Lou Soffa
Computation of Interprocedural Definition and Use Dependencies.
297-306
1990
conf/iccl/1990
ICCL
db/conf/iccl/iccl1990.html#HarroldS90
https://doi.org/10.1109/ICCL.1990.63786
https://doi.ieeecomputersociety.org/10.1109/ICCL.1990.63786
Mary Jean Harrold
Rajiv Gupta 0001
Mary Lou Soffa
A methodology for controlling the size of a test suite.
302-310
1990
ICSM
https://doi.org/10.1109/ICSM.1990.131378
conf/icsm/1990
db/conf/icsm/icsm1990.html#HarroldGS90
Deborah Whitfield
Mary Lou Soffa
An Approach to Ordering Optimizing Transformations.
137-146
1990
conf/ppopp/1990
PPoPP
db/conf/ppopp/ppopp90.html#WhitfieldS90
https://doi.org/10.1145/99163.99179
https://doi.org/10.1145/99164.99179
Ben Heggy
Mary Lou Soffa
Architectural support for register allocation in the presence of aliasing.
730-739
1990
conf/sc/1990
SC
https://doi.org/10.1109/SUPERC.1990.130093
https://doi.ieeecomputersociety.org/10.1109/SUPERC.1990.130093
http://dl.acm.org/citation.cfm?id=110604
db/conf/sc/sc1990.html#HeggyS90
Rajiv Gupta 0001
Mary Lou Soffa
Compilation techniques for a reconfigurable LIW architecture.
271-304
1989
3
J. Supercomput.
4
https://doi.org/10.1007/BF00128167
db/journals/tjs/tjs3.html#GuptaS89
Lori L. Pollock
Mary Lou Soffa
An Incremental Version of Iterative Data Flow Analysis.
1537-1549
https://doi.org/10.1109/32.58766
http://doi.ieeecomputersociety.org/10.1109/32.58766
https://www.wikidata.org/entity/Q56966685
1989
15
IEEE Trans. Software Eng.
12
db/journals/tse/tse15.html#PollockS89
M. P. Blivens
Mary Lou Soffa
Reuse of Compiler Analysis in a Programming Environment.
368-373
1989
conf/acm/1989
ACM Conference on Computer Science
https://doi.org/10.1145/75427.75476
db/conf/acm/csc89.html#BlivensS89
Mary Jean Harrold
Mary Lou Soffa
Interprocedual Data Flow Testing.
158-167
1989
conf/issta/1989
Symposium on Testing, Analysis, and Verification
https://doi.org/10.1145/75308.75327
https://doi.org/10.1145/75309.75327
https://www.wikidata.org/entity/Q111900453
db/conf/issta/tav89.html#HarroldS89
Rajiv Gupta 0001
Mary Lou Soffa
Tim Steele
Register Allocation via Clique Separators.
264-274
1989
conf/pldi/1989
PLDI
db/conf/pldi/pldi89.html#GuptaSS89
https://doi.org/10.1145/73141.74842
https://doi.org/10.1145/74818.74842
Errol L. Lloyd
Mary Lou Soffa
On Locating Minimum Feedback Vertex Sets.
292-311
1988
37
J. Comput. Syst. Sci.
3
db/journals/jcss/jcss37.html#LloydS88
https://doi.org/10.1016/0022-0000(88)90009-8
Mary Jean Harrold
Mary Lou Soffa
An incremental approach to unit testing during maintenance.
362-367
1988
ICSM
https://doi.org/10.1109/ICSM.1988.10188
conf/icsm/1988
db/conf/icsm/icsm1988.html#HarroldS88
Rajiv Gupta 0001
Mary Lou Soffa
Compile-time Techniques for Efficient Utilization of Parallel Memories.
235-246
1988
conf/ppopp/1988
PPOPP/PPEALS
db/conf/ppopp/ppopp88.html#GuptaS88
https://doi.org/10.1145/62115.62137
https://doi.org/10.1145/62116.62137
Rajiv Gupta 0001
Mary Lou Soffa
A Reconfigurable LIW Architecture.
893-900
1987
conf/icpp/1987
ICPP
db/conf/icpp/icpp1987.html#GuptaS87
Rajiv Gupta 0001
Mary Lou Soffa
SHAPE: a highly adaptable and parallel system.
107-114
1986
conf/acm/1986
ACM Conference on Computer Science
https://doi.org/10.1145/324634.325213
db/conf/acm/csc1986.html#GuptaS86
Brian A. Malloy
Mary Lou Soffa
SIMCAL: the merger of Simula and Pascal.
397-403
1986
WSC
https://doi.org/10.1145/318242.318465
conf/wsc/1986
db/conf/wsc/wsc1986.html#MalloyS86
Feedback Vertex Sets and Cyclically Reducible Graphs
Ching-Chy Wang
Errol L. Lloyd
Mary Lou Soffa
296-313
J. ACM
April
1985
32
2
db/journals/jacm/jacm32.html#WangLS85
https://doi.org/10.1145/3149.3159
Jean R. S. Blair
Phil Kearns
Mary Lou Soffa
An optimistic implementation of the stack-heap.
193-202
1985
5
J. Syst. Softw.
3
https://doi.org/10.1016/0164-1212(85)90020-2
db/journals/jss/jss5.html#BlairKS85
Rajiv Gupta 0001
Mary Lou Soffa
The efficiency of storage management schemes for Ada programs.
30-38
1985
20
ACM SIGPLAN Notices
11
https://doi.org/10.1145/988291.988296
db/journals/sigplan/sigplan20.html#GuptaS85
Donna J. Quammen
John P. Kearns
Mary Lou Soffa
Efficient Storage Management for Temporary Values in Concurrent Programming Languages.
832-840
1985
34
IEEE Trans. Computers
9
db/journals/tc/tc34.html#QuammenKS85
https://doi.org/10.1109/TC.1985.1676639
http://doi.ieeecomputersociety.org/10.1109/TC.1985.1676639
Ching-Chy Wang
Mary Lou Soffa
Eager Reclamation.
437-439
1985
11
IEEE Trans. Software Eng.
4
db/journals/tse/tse11.html#WangS85
https://doi.org/10.1109/TSE.1985.232232
http://doi.ieeecomputersociety.org/10.1109/TSE.1985.232232
Lori L. Pollock
Mary Lou Soffa
Incremental Compilation of Locally Optimized Code.
152-164
1985
conf/popl/1985
POPL
db/conf/popl/popl85.html#PollockS85
https://doi.org/10.1145/318593.318629
Rajiv Gupta 0001
Mary Lou Soffa
The efficiency of storage management schemes for Ada programs.
164-172
1985
SIGAda
https://dl.acm.org/doi/10.1145/324426.324390
conf/sigada/1985
db/conf/sigada/sigada1985.html#0001S85
Fernando Lafora
Mary Lou Soffa
Reverse Execution in a Generalized Control Regime.
183-192
1984
9
Comput. Lang.
3/4
db/journals/cl/cl9.html#LaforaS84
https://doi.org/10.1016/0096-0551(84)90004-3
John P. Kearns
Mary Lou Soffa
The Implementation of Retention in a Coroutine Environment.
221-233
1983
19
Acta Informatica
db/journals/acta/acta19.html#KearnsS83
https://doi.org/10.1007/BF00265556
Lawrence A. Coon
John P. Kearns
Mary Lou Soffa
The Contraction of Control Implementations.
15-25
1983
8
Comput. Lang.
1
db/journals/cl/cl8.html#CoonKS83
https://doi.org/10.1016/0096-0551(83)90003-6
Mary Lou Soffa
Control Discipline Necessity: Making the Language as General as the Implementation.
169-182
1982
22
BIT
2
db/journals/bit/bit22.html#Soffa82
https://doi.org/10.1007/BF01944475
John P. Kearns
Carol J. Meier
Mary Lou Soffa
The Performance Evaluation of Control Implementations.
89-96
1982
8
IEEE Trans. Software Eng.
2
db/journals/tse/tse8.html#KearnsMS82
https://doi.org/10.1109/TSE.1982.234951
http://doi.ieeecomputersociety.org/10.1109/TSE.1982.234951
Gary Lindstrom
Mary Lou Soffa
Referencing and Retention in Block-Structured Coroutines.
263-292
1981
3
ACM Trans. Program. Lang. Syst.
3
https://doi.org/10.1145/357139.357143
db/journals/toplas/toplas3.html#LindstromS81
W. Pauli
Mary Lou Soffa
Coroutine Behaviour and Implementation.
189-204
1980
10
Softw. Pract. Exp.
3
db/journals/spe/spe10.html#PauliS80
https://doi.org/10.1002/spe.4380100305
Sally S. Robinson
Mary Lou Soffa
An instructional aid for student programs.
118-129
1980
SIGCSE
https://doi.org/10.1145/800140.804623
https://doi.org/10.1145/953032.804623
conf/sigcse/1980
db/conf/sigcse/sigcse1980.html#RobinsonS80
Michael J. Lemon
Gary Lindstrom
Mary Lou Soffa
Control Separation in programming languages.
496-501
1977
ACM Annual Conference
https://doi.org/10.1145/800179.810245
conf/acm/1977
db/conf/acm/acm1977.html#LemonLS77
Mahmut Aktasoglu
David Allbritton
Erik R. Altman
John M. Aronis
Henri E. Bal
Angela M. Balcita
Jon Beaver
Robert E. Beck
Boumediene Belkhouche
Lidiya Ber
David A. Berson
Mary P. Bivens
Jean R. S. Blair
M. P. Blivens
Rastislav Bodík
Koen De Bosschere
Michael Burke
Margaret M. Burnett
Kevin Cammarata
Bradford Campbell
Doris L. Carver
Pohua P. Chang
Shi-Kuo Chang
Bruce R. Childers
James ClauseJames A. Clause
Robert S. Cohn
James P. Cohoon
Joanne McGrath Cohoon
Lawrence A. Coon
Amarildo T. da Costa
Jack W. Davidson
Tanima Dey
Hyunsook Do
Swaroopa Dola
Chyi-Ren Dow
Evelyn Duesterwald
Matthew B. Dwyer
Sebastian G. Elbaum
M. Anton Ertl
Ana Nora Evans
Felipe M. G. França
Michael Franz
Ji Gao
Joshua Geiger
Carlo Ghezzi
Yuan Xiang Gu
Apala Guha
Neelam Gupta
Rajiv Gupta 0001
Dick Hamlet
Mary Jean Harrold
Matthias Hauswirth
Kim M. Hazelwood
Sen He 0002
Ben Heggy
Thomas Heinz 0001
Jason Hiser
John Howard
Wei-Chung Hsu
Sunzhou Huang
Yuqiang Huang
Robert Hundt
Mary Jane Irwin
Clara Jaramillo
Mahmut T. Kandemir
Tom Kane
Gregory M. Kapfhammer
Sandra Katz
John P. Kearns
Phil Kearns
Jens Knoop
Andreas Krall
Robert Kramer
Naveen Kumar 0002
Fernando Lafora
Jack Lanchantin
Wei Le
Jae W. Lee
Michael J. Lemon
Gary Lindstrom
Juliya Litman
Shan Fan Liu
Errol L. Lloyd
Jonas Maebe
Jeff Magee
Brian A. Malloy
Glenna Manns
Jason Mars
Aditya P. Mathur
Carol J. Meier
Atif M. Memon
Jonathan Misurda
Ryan W. Moore
Daniel Mossé
Robert Muth
Tarun Nakra
Nguyet T. M. Nguyen
David Notkin
Denise Ombres
Alessandro Orso
Leon J. Osterweil
W. Pauli
Maurício L. Pilla
Patricia Prather Pineo
Martha E. Pollack
Lori L. Pollock
Yanjun Qi
Donna J. Quammen
Juliya L. Reed
Xavier Rival
Sally S. Robinson
Erven Rohou
H. Dieter Rombach
Robert S. Roos
David S. Rosenblum
Roni Rosner
Gregg Rothermel
Barbara G. Ryder
Vivek Sarkar
John Saunders
Kevin Scott
Leo Selavo
Ravi Sharma
Kevin Skadron
Adam M. Smith 0002
Abhijeet Srivastava
Tim Steele
Bjorn De Sutter
Lingjia Tang
Ningjing Tian
Jodi L. Tims
Will Tracz
Jens Tröger
Neil Vachharajani
S. Velusamy
Christopher A. Vick
Kristen R. Walcott
Kristen Walcott-Justice
Ching-Chy Wang
Wei Wang 0054
Tia M. Watts
Kamin Whitehouse
Deborah Whitfield
Daniel W. Williams
Christine Wilson
Jing Yang 0003
Michal Young
Ayal Zaks
Min Zhao 0009
Shukang Zhou