BibTeX records: Mary Lou Soffa

download as .bib file

@article{DBLP:journals/tosem/DolaDS23,
  author       = {Swaroopa Dola and
                  Matthew B. Dwyer and
                  Mary Lou Soffa},
  title        = {Input Distribution Coverage: Measuring Feature Interaction Adequacy
                  in Neural Network Testing},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {32},
  number       = {3},
  pages        = {81:1--81:48},
  year         = {2023},
  url          = {https://doi.org/10.1145/3576040},
  doi          = {10.1145/3576040},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tosem/DolaDS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/SoffaZ21,
  author       = {Mary Lou Soffa and
                  Ayal Zaks},
  editor       = {Jae W. Lee and
                  Mary Lou Soffa and
                  Ayal Zaks},
  title        = {Message from the Program Chairs},
  booktitle    = {{IEEE/ACM} International Symposium on Code Generation and Optimization,
                  {CGO} 2021, Seoul, South Korea, February 27 - March 3, 2021},
  pages        = {v},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/CGO51591.2021.9370338},
  doi          = {10.1109/CGO51591.2021.9370338},
  timestamp    = {Fri, 19 Mar 2021 12:51:20 +0100},
  biburl       = {https://dblp.org/rec/conf/cgo/SoffaZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DolaDS21a,
  author       = {Swaroopa Dola and
                  Matthew B. Dwyer and
                  Mary Lou Soffa},
  title        = {Artifact: Distribution-Aware Testing of Neural Networks Using Generative
                  Models},
  booktitle    = {43rd {IEEE/ACM} International Conference on Software Engineering:
                  Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
                  2021},
  pages        = {205--206},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICSE-Companion52605.2021.00091},
  doi          = {10.1109/ICSE-COMPANION52605.2021.00091},
  timestamp    = {Mon, 28 Jun 2021 13:24:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/DolaDS21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DolaDS21,
  author       = {Swaroopa Dola and
                  Matthew B. Dwyer and
                  Mary Lou Soffa},
  title        = {Distribution-Aware Testing of Neural Networks Using Generative Models},
  booktitle    = {43rd {IEEE/ACM} International Conference on Software Engineering,
                  {ICSE} 2021, Madrid, Spain, 22-30 May 2021},
  pages        = {226--237},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICSE43902.2021.00032},
  doi          = {10.1109/ICSE43902.2021.00032},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/DolaDS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cgo/2021,
  editor       = {Jae W. Lee and
                  Mary Lou Soffa and
                  Ayal Zaks},
  title        = {{IEEE/ACM} International Symposium on Code Generation and Optimization,
                  {CGO} 2021, Seoul, South Korea, February 27 - March 3, 2021},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/CGO51591.2021},
  doi          = {10.1109/CGO51591.2021},
  isbn         = {978-1-7281-8613-9},
  timestamp    = {Fri, 19 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cgo/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-13602,
  author       = {Swaroopa Dola and
                  Matthew B. Dwyer and
                  Mary Lou Soffa},
  title        = {Distribution-Aware Testing of Neural Networks Using Generative Models},
  journal      = {CoRR},
  volume       = {abs/2102.13602},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.13602},
  eprinttype    = {arXiv},
  eprint       = {2102.13602},
  timestamp    = {Tue, 02 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-13602.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/EvansCS20,
  author       = {Ana Nora Evans and
                  Bradford Campbell and
                  Mary Lou Soffa},
  editor       = {Gregg Rothermel and
                  Doo{-}Hwan Bae},
  title        = {Is rust used safely by software developers?},
  booktitle    = {{ICSE} '20: 42nd International Conference on Software Engineering,
                  Seoul, South Korea, 27 June - 19 July, 2020},
  pages        = {246--257},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3377811.3380413},
  doi          = {10.1145/3377811.3380413},
  timestamp    = {Fri, 04 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/EvansCS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splash/Soffa20,
  author       = {Mary Lou Soffa},
  editor       = {Hridesh Rajan},
  title        = {Testing deep neural networks (keynote)},
  booktitle    = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
                  Software for Humanity, Virtual Event, USA, November, 2020, Companion
                  Volume},
  pages        = {2},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3426430.3434071},
  doi          = {10.1145/3426430.3434071},
  timestamp    = {Fri, 01 Jul 2022 15:05:17 +0200},
  biburl       = {https://dblp.org/rec/conf/splash/Soffa20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-10177,
  author       = {Ana Nora Evans and
                  Mary Lou Soffa and
                  Sebastian G. Elbaum},
  title        = {A Language for Autonomous Vehicles Testing Oracles},
  journal      = {CoRR},
  volume       = {abs/2006.10177},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.10177},
  eprinttype    = {arXiv},
  eprint       = {2006.10177},
  timestamp    = {Tue, 20 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-10177.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-00752,
  author       = {Ana Nora Evans and
                  Bradford Campbell and
                  Mary Lou Soffa},
  title        = {Is Rust Used Safely by Software Developers?},
  journal      = {CoRR},
  volume       = {abs/2007.00752},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.00752},
  eprinttype    = {arXiv},
  eprint       = {2007.00752},
  timestamp    = {Mon, 06 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-00752.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HeMS0PS19,
  author       = {Sen He and
                  Glenna Manns and
                  John Saunders and
                  Wei Wang and
                  Lori L. Pollock and
                  Mary Lou Soffa},
  editor       = {Marlon Dumas and
                  Dietmar Pfahl and
                  Sven Apel and
                  Alessandra Russo},
  title        = {A statistics-based performance testing methodology for cloud applications},
  booktitle    = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
                  Conference and Symposium on the Foundations of Software Engineering,
                  {ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
  pages        = {188--199},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3338906.3338912},
  doi          = {10.1145/3338906.3338912},
  timestamp    = {Sat, 30 Sep 2023 09:56:36 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/HeMS0PS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WangTHHSSP18,
  author       = {Wei Wang and
                  Ningjing Tian and
                  Sunzhou Huang and
                  Sen He and
                  Abhijeet Srivastava and
                  Mary Lou Soffa and
                  Lori L. Pollock},
  title        = {Testing Cloud Applications under Cloud-Uncertainty Performance Effects},
  booktitle    = {11th {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2018, V{\"{a}}ster{\aa}s, Sweden, April
                  9-13, 2018},
  pages        = {81--92},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICST.2018.00018},
  doi          = {10.1109/ICST.2018.00018},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/WangTHHSSP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/GaoLSQ18,
  author       = {Ji Gao and
                  Jack Lanchantin and
                  Mary Lou Soffa and
                  Yanjun Qi},
  title        = {Black-Box Generation of Adversarial Text Sequences to Evade Deep Learning
                  Classifiers},
  booktitle    = {2018 {IEEE} Security and Privacy Workshops, {SP} Workshops 2018, San
                  Francisco, CA, USA, May 24, 2018},
  pages        = {50--56},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/SPW.2018.00016},
  doi          = {10.1109/SPW.2018.00016},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/GaoLSQ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-04354,
  author       = {Ji Gao and
                  Jack Lanchantin and
                  Mary Lou Soffa and
                  Yanjun Qi},
  title        = {Black-box Generation of Adversarial Text Sequences to Evade Deep Learning
                  Classifiers},
  journal      = {CoRR},
  volume       = {abs/1801.04354},
  year         = {2018},
  url          = {http://arxiv.org/abs/1801.04354},
  eprinttype    = {arXiv},
  eprint       = {1801.04354},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1801-04354.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/WangDS16,
  author       = {Wei Wang and
                  Jack W. Davidson and
                  Mary Lou Soffa},
  title        = {Predicting the memory bandwidth and optimal core allocations for multi-threaded
                  applications on large-scale {NUMA} machines},
  booktitle    = {2016 {IEEE} International Symposium on High Performance Computer Architecture,
                  {HPCA} 2016, Barcelona, Spain, March 12-16, 2016},
  pages        = {419--431},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/HPCA.2016.7446083},
  doi          = {10.1109/HPCA.2016.7446083},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hpca/WangDS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/WangDDS14,
  author       = {Wei Wang and
                  Tanima Dey and
                  Jack W. Davidson and
                  Mary Lou Soffa},
  title        = {DraMon: Predicting memory bandwidth usage of multi-threaded programs
                  with high accuracy and low overhead},
  booktitle    = {20th {IEEE} International Symposium on High Performance Computer Architecture,
                  {HPCA} 2014, Orlando, FL, USA, February 15-19, 2014},
  pages        = {380--391},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/HPCA.2014.6835948},
  doi          = {10.1109/HPCA.2014.6835948},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hpca/WangDDS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CohoonCS13,
  author       = {James P. Cohoon and
                  Joanne McGrath Cohoon and
                  Mary Lou Soffa},
  title        = {Educating Diverse Computing Students at the University of Virginia},
  journal      = {Computer},
  volume       = {46},
  number       = {3},
  pages        = {52--55},
  year         = {2013},
  url          = {https://doi.org/10.1109/MC.2013.39},
  doi          = {10.1109/MC.2013.39},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/CohoonCS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/DeyWDS13,
  author       = {Tanima Dey and
                  Wei Wang and
                  Jack W. Davidson and
                  Mary Lou Soffa},
  title        = {ReSense: Mapping dynamic workloads of colocated multithreaded applications
                  using resource sensitivity},
  journal      = {{ACM} Trans. Archit. Code Optim.},
  volume       = {10},
  number       = {4},
  pages        = {41:1--41:25},
  year         = {2013},
  url          = {https://doi.org/10.1145/2541228.2555298},
  doi          = {10.1145/2541228.2555298},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/taco/DeyWDS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/LeS13,
  author       = {Wei Le and
                  Mary Lou Soffa},
  title        = {Marple: Detecting faults in path segments using automatically generated
                  analyses},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {22},
  number       = {3},
  pages        = {18:1--18:38},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491509.2491512},
  doi          = {10.1145/2491509.2491512},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/LeS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/TangMWDS13,
  author       = {Lingjia Tang and
                  Jason Mars and
                  Wei Wang and
                  Tanima Dey and
                  Mary Lou Soffa},
  editor       = {Vivek Sarkar and
                  Rastislav Bod{\'{\i}}k},
  title        = {ReQoS: reactive static/dynamic compilation for QoS in warehouse scale
                  computers},
  booktitle    = {Architectural Support for Programming Languages and Operating Systems,
                  {ASPLOS} 2013, Houston, TX, USA, March 16-20, 2013},
  pages        = {89--100},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2451116.2451126},
  doi          = {10.1145/2451116.2451126},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asplos/TangMWDS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/MarsTSSH12,
  author       = {Jason Mars and
                  Lingjia Tang and
                  Kevin Skadron and
                  Mary Lou Soffa and
                  Robert Hundt},
  title        = {Increasing Utilization in Modern Warehouse-Scale Computers Using Bubble-Up},
  journal      = {{IEEE} Micro},
  volume       = {32},
  number       = {3},
  pages        = {88--99},
  year         = {2012},
  url          = {https://doi.org/10.1109/MM.2012.22},
  doi          = {10.1109/MM.2012.22},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/micro/MarsTSSH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/GuhaHS12,
  author       = {Apala Guha and
                  Kim M. Hazelwood and
                  Mary Lou Soffa},
  title        = {Memory optimization of dynamic binary translators for embedded systems},
  journal      = {{ACM} Trans. Archit. Code Optim.},
  volume       = {9},
  number       = {3},
  pages        = {22:1--22:29},
  year         = {2012},
  url          = {https://doi.org/10.1145/2355585.2355595},
  doi          = {10.1145/2355585.2355595},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/taco/GuhaHS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/TangMS12,
  author       = {Lingjia Tang and
                  Jason Mars and
                  Mary Lou Soffa},
  editor       = {Carol Eidt and
                  Anne M. Holler and
                  Uma Srinivasan and
                  Saman P. Amarasinghe},
  title        = {Compiling for niceness: mitigating contention for QoS in warehouse
                  scale computers},
  booktitle    = {10th Annual {IEEE/ACM} International Symposium on Code Generation
                  and Optimization, {CGO} 2012, San Jose, CA, USA, March 31 - April
                  04, 2012},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2259016.2259018},
  doi          = {10.1145/2259016.2259018},
  timestamp    = {Wed, 20 Sep 2023 07:55:33 +0200},
  biburl       = {https://dblp.org/rec/conf/cgo/TangMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispass/WangDMTDS12,
  author       = {Wei Wang and
                  Tanima Dey and
                  Jason Mars and
                  Lingjia Tang and
                  Jack W. Davidson and
                  Mary Lou Soffa},
  editor       = {Rajeev Balasubramonian and
                  Vijayalakshmi Srinivasan},
  title        = {Performance analysis of thread mappings with a holistic view of the
                  hardware resources},
  booktitle    = {2012 {IEEE} International Symposium on Performance Analysis of Systems
                  {\&} Software, New Brunswick, NJ, USA, April 1-3, 2012},
  pages        = {156--167},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISPASS.2012.6189222},
  doi          = {10.1109/ISPASS.2012.6189222},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ispass/WangDMTDS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Walcott-JusticeMS12,
  author       = {Kristen Walcott{-}Justice and
                  Jason Mars and
                  Mary Lou Soffa},
  editor       = {Mats Per Erik Heimdahl and
                  Zhendong Su},
  title        = {THeME: a system for testing by hardware monitoring events},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  2012, Minneapolis, MN, USA, July 15-20, 2012},
  pages        = {12--22},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2338965.2336755},
  doi          = {10.1145/2338965.2336755},
  timestamp    = {Thu, 02 Dec 2021 11:46:17 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Walcott-JusticeMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vee/WangDMACDIKS12,
  author       = {Wei Wang and
                  Tanima Dey and
                  Ryan W. Moore and
                  Mahmut Aktasoglu and
                  Bruce R. Childers and
                  Jack W. Davidson and
                  Mary Jane Irwin and
                  Mahmut T. Kandemir and
                  Mary Lou Soffa},
  editor       = {Steven Hand and
                  Dilma Da Silva},
  title        = {REEact: a customizable virtual execution manager for multicore platforms},
  booktitle    = {Proceedings of the 8th International Conference on Virtual Execution
                  Environments, {VEE} 2012, London, UK, March 3-4, 2012 (co-located
                  with {ASPLOS} 2012)},
  pages        = {27--38},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2151024.2151031},
  doi          = {10.1145/2151024.2151031},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vee/WangDMACDIKS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/CohoonCS11,
  author       = {James P. Cohoon and
                  Joanne McGrath Cohoon and
                  Mary Lou Soffa},
  title        = {Focusing high school teachers on attracting diverse students to computer
                  science and engineering},
  booktitle    = {2011 Frontiers in Education Conference, {FIE} 2011, Rapid City, SD,
                  USA, October 12-15, 2011},
  pages        = {2},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/FIE.2011.6143054},
  doi          = {10.1109/FIE.2011.6143054},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fie/CohoonCS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipeac/MarsTS11,
  author       = {Jason Mars and
                  Lingjia Tang and
                  Mary Lou Soffa},
  editor       = {Manolis Katevenis and
                  Margaret Martonosi and
                  Christos Kozyrakis and
                  Olivier Temam},
  title        = {Directly characterizing cross core interference through contention
                  synthesis},
  booktitle    = {High Performance Embedded Architectures and Compilers, 6th International
                  Conference, HiPEAC 2011, Heraklion, Crete, Greece, January 24-26,
                  2011. Proceedings},
  pages        = {167--176},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1944862.1944887},
  doi          = {10.1145/1944862.1944887},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hipeac/MarsTS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Le0SW11,
  author       = {Wei Le and
                  Jing Yang and
                  Mary Lou Soffa and
                  Kamin Whitehouse},
  editor       = {Kurt Geihs and
                  Kay R{\"{o}}mer and
                  Luca Mottola and
                  Gian Pietro Picco},
  title        = {Lazy preemption to enable path-based analysis of interrupt-driven
                  code},
  booktitle    = {Proceedings of the 2nd Workshop on Software Engineering for Sensor
                  Network Applications, {SESENA} 2011, Waikiki, Honolulu, HI, USA, May
                  22, 2011},
  pages        = {43--48},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1988051.1988060},
  doi          = {10.1145/1988051.1988060},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/Le0SW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SoffaWM11,
  author       = {Mary Lou Soffa and
                  Kristen R. Walcott and
                  Jason Mars},
  editor       = {Richard N. Taylor and
                  Harald C. Gall and
                  Nenad Medvidovic},
  title        = {Exploiting hardware advances for software testing and debugging},
  booktitle    = {Proceedings of the 33rd International Conference on Software Engineering,
                  {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  pages        = {888--891},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1985793.1985935},
  doi          = {10.1145/1985793.1985935},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/SoffaWM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/TangMVHS11,
  author       = {Lingjia Tang and
                  Jason Mars and
                  Neil Vachharajani and
                  Robert Hundt and
                  Mary Lou Soffa},
  editor       = {Ravi R. Iyer and
                  Qing Yang and
                  Antonio Gonz{\'{a}}lez},
  title        = {The impact of memory subsystem resource sharing on datacenter applications},
  booktitle    = {38th International Symposium on Computer Architecture {(ISCA} 2011),
                  June 4-8, 2011, San Jose, CA, {USA}},
  pages        = {283--294},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2000064.2000099},
  doi          = {10.1145/2000064.2000099},
  timestamp    = {Mon, 15 May 2023 22:11:15 +0200},
  biburl       = {https://dblp.org/rec/conf/isca/TangMVHS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispass/DeyWDS11,
  author       = {Tanima Dey and
                  Wei Wang and
                  Jack W. Davidson and
                  Mary Lou Soffa},
  title        = {Characterizing multi-threaded applications based on shared-resource
                  contention},
  booktitle    = {{IEEE} International Symposium on Performance Analysis of Systems
                  and Software, {ISPASS} 2011, 10-12 April, 2011, Austin, TX, {USA}},
  pages        = {76--86},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ISPASS.2011.5762717},
  doi          = {10.1109/ISPASS.2011.5762717},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ispass/DeyWDS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LeS11,
  author       = {Wei Le and
                  Mary Lou Soffa},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Generating analyses for detecting faults in path segments},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {320--330},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001459},
  doi          = {10.1145/2001420.2001459},
  timestamp    = {Tue, 29 Dec 2020 18:31:45 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/LeS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/MarsTHSS11,
  author       = {Jason Mars and
                  Lingjia Tang and
                  Robert Hundt and
                  Kevin Skadron and
                  Mary Lou Soffa},
  editor       = {Carlo Galuzzi and
                  Luigi Carro and
                  Andreas Moshovos and
                  Milos Prvulovic},
  title        = {Bubble-Up: increasing utilization in modern warehouse scale computers
                  via sensible co-locations},
  booktitle    = {44rd Annual {IEEE/ACM} International Symposium on Microarchitecture,
                  {MICRO} 2011, Porto Alegre, Brazil, December 3-7, 2011},
  pages        = {248--259},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2155620.2155650},
  doi          = {10.1145/2155620.2155650},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/micro/MarsTHSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/MisurdaCS11,
  author       = {Jonathan Misurda and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  editor       = {Christian W. Probst and
                  Christian Wimmer},
  title        = {Jazz2: a flexible and extensible framework for structural testing
                  in a Java {VM}},
  booktitle    = {Proceedings of the 9th International Conference on Principles and
                  Practice of Programming in Java, {PPPJ} 2011, Kongens Lyngby, Denmark,
                  August 24-26, 2011},
  pages        = {81--90},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2093157.2093169},
  doi          = {10.1145/2093157.2093169},
  timestamp    = {Mon, 26 Nov 2018 15:05:58 +0100},
  biburl       = {https://dblp.org/rec/conf/pppj/MisurdaCS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HuangCS10,
  author       = {Yuqiang Huang and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  title        = {Detecting bugs in register allocation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {32},
  number       = {4},
  pages        = {15:1--15:36},
  year         = {2010},
  url          = {https://doi.org/10.1145/1734206.1734212},
  doi          = {10.1145/1734206.1734212},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/HuangCS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/GuhaHS10,
  author       = {Apala Guha and
                  Kim M. Hazelwood and
                  Mary Lou Soffa},
  editor       = {Vinod Kathail and
                  Reid Tatge and
                  Rajeev Barua},
  title        = {Balancing memory and performance through selective flushing of software
                  code caches},
  booktitle    = {Proceedings of the 2010 International Conference on Compilers, Architecture,
                  and Synthesis for Embedded Systems, {CASES} 2010, Scottsdale, AZ,
                  USA, October 24-29, 2010},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1878921.1878923},
  doi          = {10.1145/1878921.1878923},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cases/GuhaHS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/MarsVHS10,
  author       = {Jason Mars and
                  Neil Vachharajani and
                  Robert Hundt and
                  Mary Lou Soffa},
  editor       = {Andreas Moshovos and
                  J. Gregory Steffan and
                  Kim M. Hazelwood and
                  David R. Kaeli},
  title        = {Contention aware execution: online contention detection and response},
  booktitle    = {Proceedings of the {CGO} 2010, The 8th International Symposium on
                  Code Generation and Optimization, Toronto, Ontario, Canada, April
                  24-28, 2010},
  pages        = {257--265},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772954.1772991},
  doi          = {10.1145/1772954.1772991},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cgo/MarsVHS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LeS10,
  author       = {Wei Le and
                  Mary Lou Soffa},
  editor       = {Gruia{-}Catalin Roman and
                  Andr{\'{e}} van der Hoek},
  title        = {Path-based fault correlations},
  booktitle    = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
                  7-11, 2010},
  pages        = {307--316},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1882291.1882336},
  doi          = {10.1145/1882291.1882336},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/LeS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vee/GuhaHS10,
  author       = {Apala Guha and
                  Kim M. Hazelwood and
                  Mary Lou Soffa},
  editor       = {Marc E. Fiuczynski and
                  Emery D. Berger and
                  Andrew Warfield},
  title        = {{DBT} path selection for holistic memory efficiency and performance},
  booktitle    = {Proceedings of the 6th International Conference on Virtual Execution
                  Environments, {VEE} 2010, Pittsburgh, Pennsylvania, USA, March 17-19,
                  2010},
  pages        = {145--156},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1735997.1736018},
  doi          = {10.1145/1735997.1736018},
  timestamp    = {Sat, 30 Sep 2023 09:58:15 +0200},
  biburl       = {https://dblp.org/rec/conf/vee/GuhaHS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/ZhaoCS09,
  author       = {Min Zhao and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  editor       = {Oege de Moor and
                  Michael I. Schwartzbach},
  title        = {A Framework for Exploring Optimization Properties},
  booktitle    = {Compiler Construction, 18th International Conference, {CC} 2009, Held
                  as Part of the Joint European Conferences on Theory and Practice of
                  Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5501},
  pages        = {32--47},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00722-4\_4},
  doi          = {10.1007/978-3-642-00722-4\_4},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/ZhaoCS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/KumarCS09,
  author       = {Naveen Kumar and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  title        = {Transparent Debugging of Dynamically Optimized Code},
  booktitle    = {Proceedings of the {CGO} 2009, The Seventh International Symposium
                  on Code Generation and Optimization, Seattle, Washington, USA, March
                  22-25, 2009},
  pages        = {275--286},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/CGO.2009.28},
  doi          = {10.1109/CGO.2009.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cgo/KumarCS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/2009,
  editor       = {Mary Lou Soffa and
                  Mary Jane Irwin},
  title        = {Proceedings of the 14th International Conference on Architectural
                  Support for Programming Languages and Operating Systems, {ASPLOS}
                  2009, Washington, DC, USA, March 7-11, 2009},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1508244},
  doi          = {10.1145/1508244},
  isbn         = {978-1-60558-406-5},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asplos/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/Soffa08,
  author       = {Mary Lou Soffa},
  title        = {Path Sensitive Analysis for Security Flaws},
  booktitle    = {11th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2008,
                  Nanjing, China, December 3 - 5, 2008},
  pages        = {3},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/HASE.2008.63},
  doi          = {10.1109/HASE.2008.63},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/Soffa08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/KapfhammerS08,
  author       = {Gregory M. Kapfhammer and
                  Mary Lou Soffa},
  editor       = {Gautam Shroff and
                  Pankaj Jalote and
                  Sriram K. Rajamani},
  title        = {Database-aware test coverage monitoring},
  booktitle    = {Proceeding of the 1st Annual India Software Engineering Conference,
                  {ISEC} 2008, Hyderabad, India, February 19-22, 2008},
  pages        = {77--86},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1342211.1342228},
  doi          = {10.1145/1342211.1342228},
  timestamp    = {Thu, 10 Dec 2020 11:39:56 +0100},
  biburl       = {https://dblp.org/rec/conf/indiaSE/KapfhammerS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LeS08,
  author       = {Wei Le and
                  Mary Lou Soffa},
  editor       = {Mary Jean Harrold and
                  Gail C. Murphy},
  title        = {Marple: a demand-driven path-sensitive buffer overflow detector},
  booktitle    = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
                  November 9-14, 2008},
  pages        = {272--282},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1453101.1453137},
  doi          = {10.1145/1453101.1453137},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/LeS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cgo/2008,
  editor       = {Mary Lou Soffa and
                  Evelyn Duesterwald},
  title        = {Sixth International Symposium on Code Generation and Optimization
                  {(CGO} 2008), April 5-9, 2008, Boston, MA, {USA}},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {http://dl.acm.org/citation.cfm?id=1356058},
  isbn         = {978-1-59593-978-4},
  timestamp    = {Fri, 24 Apr 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cgo/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2008P8441,
  editor       = {Bruce R. Childers and
                  Jack W. Davidson and
                  Koen De Bosschere and
                  Mary Lou Soffa},
  title        = {Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10.
                  - 31.10.2008},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {08441},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2008},
  url          = {http://drops.dagstuhl.de/portals/08441/},
  timestamp    = {Thu, 10 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/2008P8441.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AltmanCCDBSEFGH08,
  author       = {Erik R. Altman and
                  Bruce R. Childers and
                  Robert S. Cohn and
                  Jack W. Davidson and
                  Koen De Bosschere and
                  Bjorn De Sutter and
                  M. Anton Ertl and
                  Michael Franz and
                  Yuan Xiang Gu and
                  Matthias Hauswirth and
                  Thomas Heinz and
                  Wei{-}Chung Hsu and
                  Jens Knoop and
                  Andreas Krall and
                  Naveen Kumar and
                  Jonas Maebe and
                  Robert Muth and
                  Xavier Rival and
                  Erven Rohou and
                  Roni Rosner and
                  Mary Lou Soffa and
                  Jens Tr{\"{o}}ger and
                  Christopher A. Vick},
  editor       = {Bruce R. Childers and
                  Jack W. Davidson and
                  Koen De Bosschere and
                  Mary Lou Soffa},
  title        = {08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary
                  Translation},
  booktitle    = {Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10.
                  - 31.10.2008},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {08441},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2008},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2009/1888/},
  timestamp    = {Thu, 10 Jun 2021 13:02:07 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/AltmanCCDBSEFGH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ChildersDBS08,
  author       = {Bruce R. Childers and
                  Jack W. Davidson and
                  Koen De Bosschere and
                  Mary Lou Soffa},
  editor       = {Bruce R. Childers and
                  Jack W. Davidson and
                  Koen De Bosschere and
                  Mary Lou Soffa},
  title        = {08441 Abstracts Collection - Emerging Uses and Paradigms for Dynamic
                  Binary Translation},
  booktitle    = {Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10.
                  - 31.10.2008},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {08441},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2008},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2009/1889/},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/ChildersDBS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipeac/GuhaHS07,
  author       = {Apala Guha and
                  Kim M. Hazelwood and
                  Mary Lou Soffa},
  editor       = {Koen De Bosschere and
                  David R. Kaeli and
                  Per Stenstr{\"{o}}m and
                  David B. Whalley and
                  Theo Ungerer},
  title        = {Reducing Exit Stub Memory Consumption in Code Caches},
  booktitle    = {High Performance Embedded Architectures and Compilers, Second International
                  Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4367},
  pages        = {87--101},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-69338-3\_7},
  doi          = {10.1007/978-3-540-69338-3\_7},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/hipeac/GuhaHS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/GuhaHKYZZCDHS07,
  author       = {Apala Guha and
                  Jason Hiser and
                  Naveen Kumar and
                  Jing Yang and
                  Min Zhao and
                  Shukang Zhou and
                  Bruce R. Childers and
                  Jack W. Davidson and
                  Kim M. Hazelwood and
                  Mary Lou Soffa},
  title        = {Virtual Execution Environments: Support and Tools},
  booktitle    = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/IPDPS.2007.370489},
  doi          = {10.1109/IPDPS.2007.370489},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/GuhaHKYZZCDHS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SmithGKS07,
  author       = {Adam M. Smith and
                  Joshua Geiger and
                  Gregory M. Kapfhammer and
                  Mary Lou Soffa},
  editor       = {R. E. Kurt Stirewalt and
                  Alexander Egyed and
                  Bernd Fischer},
  title        = {Test suite reduction and prioritization with call trees},
  booktitle    = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
  pages        = {539--540},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1321631.1321733},
  doi          = {10.1145/1321631.1321733},
  timestamp    = {Mon, 17 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/SmithGKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/LeS07,
  author       = {Wei Le and
                  Mary Lou Soffa},
  editor       = {Manuvir Das and
                  Dan Grossman},
  title        = {Refining buffer overflow detection via demand-driven path-sensitive
                  analysis},
  booktitle    = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis for Software Tools and Engineering, PASTE'07, San Diego,
                  California, USA, June 13-14, 2007},
  pages        = {63--68},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1251535.1251546},
  doi          = {10.1145/1251535.1251546},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/LeS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/YangSSW07,
  author       = {Jing Yang and
                  Mary Lou Soffa and
                  Leo Selavo and
                  Kamin Whitehouse},
  editor       = {Sanjay Jha},
  title        = {Clairvoyant: a comprehensive source-level debugger for wireless sensor
                  networks},
  booktitle    = {Proceedings of the 5th International Conference on Embedded Networked
                  Sensor Systems, SenSys 2007, Sydney, NSW, Australia, November 6-9,
                  2007},
  pages        = {189--203},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1322263.1322282},
  doi          = {10.1145/1322263.1322282},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sensys/YangSSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/YangSW07,
  author       = {Jing Yang and
                  Mary Lou Soffa and
                  Kamin Whitehouse},
  editor       = {Sanjay Jha},
  title        = {Effective source-level debugging of wireless sensor networks},
  booktitle    = {Proceedings of the 5th International Conference on Embedded Networked
                  Sensor Systems, SenSys 2007, Sydney, NSW, Australia, November 6-9,
                  2007},
  pages        = {405--406},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1322263.1322317},
  doi          = {10.1145/1322263.1322317},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sensys/YangSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/NguyenS07,
  author       = {Nguyet T. M. Nguyen and
                  Mary Lou Soffa},
  editor       = {Alan Hartman and
                  Mika Katara and
                  Amit M. Paradkar},
  title        = {Program representations for testing wireless sensor network applications},
  booktitle    = {Proceedings of the 2007 Workshop on Domain Specific Approaches to
                  Software Test Automation, {DOSTA} 2007, Dubrovnik, Croatia, September
                  4, 2007},
  pages        = {20--26},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1294921.1294925},
  doi          = {10.1145/1294921.1294925},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/NguyenS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/db/KatzAAWS06,
  author       = {Sandra Katz and
                  David Allbritton and
                  John M. Aronis and
                  Christine Wilson and
                  Mary Lou Soffa},
  title        = {Gender, achievement, and persistence in an undergraduate computer
                  science program},
  journal      = {Data Base},
  volume       = {37},
  number       = {4},
  pages        = {42--57},
  year         = {2006},
  url          = {https://doi.org/10.1145/1185335.1185344},
  doi          = {10.1145/1185335.1185344},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/db/KatzAAWS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/ZhaoCS06,
  author       = {Min Zhao and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  title        = {An approach toward profit-driven optimization},
  journal      = {{ACM} Trans. Archit. Code Optim.},
  volume       = {3},
  number       = {3},
  pages        = {231--262},
  year         = {2006},
  url          = {https://doi.org/10.1145/1162690.1162691},
  doi          = {10.1145/1162690.1162691},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/taco/ZhaoCS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/HiserKZZCDS06,
  author       = {Jason Hiser and
                  Naveen Kumar and
                  Min Zhao and
                  Shukang Zhou and
                  Bruce R. Childers and
                  Jack W. Davidson and
                  Mary Lou Soffa},
  title        = {Techniques and tools for dynamic optimization},
  booktitle    = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/IPDPS.2006.1639569},
  doi          = {10.1109/IPDPS.2006.1639569},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/HiserKZZCDS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WalcottSKR06,
  author       = {Kristen R. Walcott and
                  Mary Lou Soffa and
                  Gregory M. Kapfhammer and
                  Robert S. Roos},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {TimeAware test suite prioritization},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146240},
  doi          = {10.1145/1146238.1146240},
  timestamp    = {Sun, 02 Oct 2022 16:10:12 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/WalcottSKR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HuangCS06,
  author       = {Yuqiang Huang and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  editor       = {Kwangkeun Yi},
  title        = {Catching and Identifying Bugs in Register Allocation},
  booktitle    = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
                  Korea, August 29-31, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4134},
  pages        = {281--300},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11823230\_19},
  doi          = {10.1007/11823230\_19},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/HuangCS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2006,
  editor       = {Leon J. Osterweil and
                  H. Dieter Rombach and
                  Mary Lou Soffa},
  title        = {28th International Conference on Software Engineering {(ICSE} 2006),
                  Shanghai, China, May 20-28, 2006},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134285},
  doi          = {10.1145/1134285},
  isbn         = {1-59593-375-1},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/KumarCWDS05,
  author       = {Naveen Kumar and
                  Bruce R. Childers and
                  Daniel W. Williams and
                  Jack W. Davidson and
                  Mary Lou Soffa},
  title        = {Compile-Time Planning for Overhead Reduction in Software Dynamic Translators},
  journal      = {Int. J. Parallel Program.},
  volume       = {33},
  number       = {2-3},
  pages        = {103--114},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10766-005-3573-7},
  doi          = {10.1007/S10766-005-3573-7},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpp/KumarCWDS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/RyderSB05,
  author       = {Barbara G. Ryder and
                  Mary Lou Soffa and
                  Margaret M. Burnett},
  title        = {The impact of software engineering research on modern programming
                  languages},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {14},
  number       = {4},
  pages        = {431--477},
  year         = {2005},
  url          = {https://doi.org/10.1145/1101815.1101818},
  doi          = {10.1145/1101815.1101818},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/RyderSB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/KumarCS05,
  author       = {Naveen Kumar and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  editor       = {Clinton Jeffery and
                  Jong{-}Deok Choi and
                  Raimondas Lencevicius},
  title        = {Tdb: a source-level debugger for dynamically translated programs},
  booktitle    = {Proceedings of the Sixth International Workshop on Automated Debugging,
                  {AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
  pages        = {123--132},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1085130.1085147},
  doi          = {10.1145/1085130.1085147},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aadebug/KumarCS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/MisurdaCRCS05,
  author       = {Jonathan Misurda and
                  James A. Clause and
                  Juliya L. Reed and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  editor       = {Rastislav Bod{\'{\i}}k},
  title        = {Jazz: {A} Tool for Demand-Driven Structural Testing},
  booktitle    = {Compiler Construction, 14th International Conference, {CC} 2005, Held
                  as Part of the Joint European Conferences on Theory and Practice of
                  Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3443},
  pages        = {242--245},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-31985-6\_17},
  doi          = {10.1007/978-3-540-31985-6\_17},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/MisurdaCRCS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/ZhaoCS05,
  author       = {Min Zhao and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  title        = {Model-Based Framework: An Approach for Profit-Driven Optimization},
  booktitle    = {3nd {IEEE} / {ACM} International Symposium on Code Generation and
                  Optimization {(CGO} 2005), 20-23 March 2005, San Jose, CA, {USA}},
  pages        = {317--327},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/CGO.2005.2},
  doi          = {10.1109/CGO.2005.2},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cgo/ZhaoCS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MisurdaCRCS05,
  author       = {Jonathan Misurda and
                  James A. Clause and
                  Juliya L. Reed and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  editor       = {Gruia{-}Catalin Roman and
                  William G. Griswold and
                  Bashar Nuseibeh},
  title        = {Demand-driven structural testing with dynamic instrumentation},
  booktitle    = {27th International Conference on Software Engineering {(ICSE} 2005),
                  15-21 May 2005, St. Louis, Missouri, {USA}},
  pages        = {156--165},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1062455.1062496},
  doi          = {10.1145/1062455.1062496},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/MisurdaCRCS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KapfhammerSM05,
  author       = {Gregory M. Kapfhammer and
                  Mary Lou Soffa and
                  Daniel Moss{\'{e}}},
  editor       = {David F. Redmiles and
                  Thomas Ellman and
                  Andrea Zisman},
  title        = {Testing in resource constrained execution environments},
  booktitle    = {20th {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
  pages        = {418--422},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1101908.1101984},
  doi          = {10.1145/1101908.1101984},
  timestamp    = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/KapfhammerSM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/KumarCS05,
  author       = {Naveen Kumar and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {Low overhead program monitoring and profiling},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {28--34},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108801},
  doi          = {10.1145/1108792.1108801},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/KumarCS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vee/ZhouCS05,
  author       = {Shukang Zhou and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  editor       = {Michael Hind and
                  Jan Vitek},
  title        = {Planning for code buffer management in distributed virtual execution
                  environments},
  booktitle    = {Proceedings of the 1st International Conference on Virtual Execution
                  Environments, {VEE} 2005, Chicago, IL, USA, June 11-12, 2005},
  pages        = {100--109},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1064979.1064994},
  doi          = {10.1145/1064979.1064994},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/vee/ZhouCS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/Soffa04,
  author       = {Mary Lou Soffa},
  editor       = {Evelyn Duesterwald},
  title        = {Developing a Foundation for Code Optimization},
  booktitle    = {Compiler Construction, 13th International Conference, {CC} 2004, Held
                  as Part of the Joint European Conferences on Theory and Practice of
                  Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2985},
  pages        = {1--4},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24723-4\_1},
  doi          = {10.1007/978-3-540-24723-4\_1},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/Soffa04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icls/KatzAAWS04,
  author       = {Sandra Katz and
                  David Allbritton and
                  John M. Aronis and
                  Christine Wilson and
                  Mary Lou Soffa},
  editor       = {Yasmin B. Kafai and
                  Noel Enyedy and
                  Bill Sandoval},
  title        = {Increasing Diversity in the Information Technology Workforce: Implications
                  from a Study of Factors that Predict Achievement in {CS}},
  booktitle    = {Embracing Diversity in the Learning Sciences: Proceedings of the 6th
                  International Conference for the Learning Sciences, {ICLS} 2004, Los
                  Angeles, CA, USA, June 22-26, 2004},
  publisher    = {International Society of the Learning Sciences},
  year         = {2004},
  url          = {https://repository.isls.org/handle/1/4030},
  timestamp    = {Tue, 11 May 2021 18:13:28 +0200},
  biburl       = {https://dblp.org/rec/conf/icls/KatzAAWS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ScottKCDS04,
  author       = {Kevin Scott and
                  Naveen Kumar and
                  Bruce R. Childers and
                  Jack W. Davidson and
                  Mary Lou Soffa},
  title        = {Overhead Reduction Techniques for Software Dynamic Translation},
  booktitle    = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
                  New Mexico, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/IPDPS.2004.1303224},
  doi          = {10.1109/IPDPS.2004.1303224},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/ScottKCDS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woss/KumarMCS04,
  author       = {Naveen Kumar and
                  Jonathan Misurda and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  editor       = {David Garlan and
                  Jeff Kramer and
                  Alexander L. Wolf},
  title        = {Instrumentation in software dynamic translators for self-managed systems},
  booktitle    = {Proceedings of the 1st {ACM} {SIGSOFT} Workshop on Self-Managed Systems,
                  {WOSS} 2004, Newport Beach, California, USA, October 31 - November
                  1, 2004},
  pages        = {90--94},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1075405.1075423},
  doi          = {10.1145/1075405.1075423},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/woss/KumarMCS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/RyderS03,
  author       = {Barbara G. Ryder and
                  Mary Lou Soffa},
  title        = {Influences on the design of exception handling: {ACM} {SIGSOFT} project
                  on the impact of software engineering research on programming language
                  design},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {38},
  number       = {6},
  pages        = {16--22},
  year         = {2003},
  url          = {https://doi.org/10.1145/885638.885644},
  doi          = {10.1145/885638.885644},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/RyderS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/RyderS03,
  author       = {Barbara G. Ryder and
                  Mary Lou Soffa},
  title        = {Influences on the design of exception handling {ACM} {SIGSOFT} project
                  on the impact of software engineering research on programming language
                  design},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {28},
  number       = {4},
  pages        = {29--35},
  year         = {2003},
  url          = {https://doi.org/10.1145/882240.882258},
  doi          = {10.1145/882240.882258},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/RyderS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tasm/KatzAAWS03,
  author       = {Sandra Katz and
                  John M. Aronis and
                  David Allbritton and
                  Christine Wilson and
                  Mary Lou Soffa},
  title        = {Gender and race in predicting achievement in computer science},
  journal      = {{IEEE} Technol. Soc. Mag.},
  volume       = {22},
  number       = {3},
  pages        = {20--27},
  year         = {2003},
  url          = {https://doi.org/10.1109/MTAS.2003.1237468},
  doi          = {10.1109/MTAS.2003.1237468},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tasm/KatzAAWS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/GhezziMRS03,
  author       = {Carlo Ghezzi and
                  Jeff Magee and
                  H. Dieter Rombach and
                  Mary Lou Soffa},
  title        = {Editorial},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {12},
  number       = {1},
  pages        = {1--2},
  year         = {2003},
  url          = {https://doi.org/10.1145/839268.839269},
  doi          = {10.1145/839268.839269},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosem/GhezziMRS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/ScottKVCDS03,
  author       = {Kevin Scott and
                  Naveen Kumar and
                  S. Velusamy and
                  Bruce R. Childers and
                  Jack W. Davidson and
                  Mary Lou Soffa},
  editor       = {Richard Johnson and
                  Tom Conte and
                  Wen{-}mei W. Hwu},
  title        = {Retargetable and Reconfigurable Software Dynamic Translation},
  booktitle    = {1st {IEEE} / {ACM} International Symposium on Code Generation and
                  Optimization {(CGO} 2003), 23-26 March 2003, San Francisco, CA, {USA}},
  pages        = {36--47},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/CGO.2003.1191531},
  doi          = {10.1109/CGO.2003.1191531},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cgo/ScottKVCDS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HamletS03,
  author       = {Dick Hamlet and
                  Mary Lou Soffa},
  editor       = {Lori A. Clarke and
                  Laurie Dillon and
                  Walter F. Tichy},
  title        = {Report on the {ICSE} 2003 Doctoral Symposium},
  booktitle    = {Proceedings of the 25th International Conference on Software Engineering,
                  May 3-10, 2003, Portland, Oregon, {USA}},
  pages        = {762--766},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ICSE.2003.1201275},
  doi          = {10.1109/ICSE.2003.1201275},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HamletS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ChildersDS03,
  author       = {Bruce R. Childers and
                  Jack W. Davidson and
                  Mary Lou Soffa},
  title        = {Continuous Compilation: {A} New Approach to Aggressive and Adaptive
                  Code Transformation},
  booktitle    = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
  pages        = {205},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/IPDPS.2003.1213375},
  doi          = {10.1109/IPDPS.2003.1213375},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/ChildersDS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/ZhaoCS03,
  author       = {Min Zhao and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  editor       = {Frank Mueller and
                  Ulrich Kremer},
  title        = {Predicting the impact of optimizations for embedded systems},
  booktitle    = {Proceedings of the 2003 Conference on Languages, Compilers, and Tools
                  for Embedded Systems (LCTES'03). San Diego, California, USA, June
                  11-13, 2003},
  pages        = {1--11},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/780732.780734},
  doi          = {10.1145/780732.780734},
  timestamp    = {Fri, 25 Jun 2021 17:17:37 +0200},
  biburl       = {https://dblp.org/rec/conf/lctrts/ZhaoCS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ChildersSBBCKLM03,
  author       = {Bruce R. Childers and
                  Mary Lou Soffa and
                  Jon Beaver and
                  Lidiya Ber and
                  Kevin Cammarata and
                  Tom Kane and
                  Juliya Litman and
                  Jonathan Misurda},
  editor       = {Michael G. Burke},
  title        = {SoftTest: a framework for software testing of Java programs},
  booktitle    = {Proceedings of the 2003 {OOPSLA} Workshop on Eclipse Technology eXchange,
                  October 2003, Anaheim, CA, {USA}},
  pages        = {79--83},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/965660.965677},
  doi          = {10.1145/965660.965677},
  timestamp    = {Mon, 14 Feb 2022 14:38:20 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/ChildersSBBCKLM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/PillaCFCS03,
  author       = {Maur{\'{\i}}cio L. Pilla and
                  Amarildo T. da Costa and
                  Felipe M. G. Fran{\c{c}}a and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  title        = {The Limits of Speculative Trace Reuse on Deeply Pipelined Processors},
  booktitle    = {15th Symposium on Computer Architecture and High Performance Computing
                  {(SBAC-PAD} 2003), 10-12 November 2003, Sao Paulo, Brazil},
  pages        = {36--45},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/CAHPC.2003.1250319},
  doi          = {10.1109/CAHPC.2003.1250319},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbac-pad/PillaCFCS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcpr/KatzAAWS03,
  author       = {Sandra Katz and
                  John M. Aronis and
                  David Allbritton and
                  Christine Wilson and
                  Mary Lou Soffa},
  editor       = {Munir Mandviwalla and
                  Eileen M. Trauth},
  title        = {A study to identify predictors of achievement in an introductory computer
                  science course},
  booktitle    = {Proceedings of the 2003 {SIGMIS} Conference on Computer Personnel
                  Research: Freedom in Philadelphia - Leveraging Differences and Diversity
                  in the {IT} Workforce, {CPR} 2003, Philadelphia, Pennsylvania, USA,
                  April 10-12, 2003},
  pages        = {157--161},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/761849.761879},
  doi          = {10.1145/761849.761879},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcpr/KatzAAWS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KapfhammerS03,
  author       = {Gregory M. Kapfhammer and
                  Mary Lou Soffa},
  editor       = {Jukka Paakki and
                  Paola Inverardi},
  title        = {A family of test adequacy criteria for database-driven applications},
  booktitle    = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
                  Software Engineering 2003 held jointly with 9th European Software
                  Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
                  1-5, 2003},
  pages        = {98--107},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/940071.940086},
  doi          = {10.1145/940071.940086},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/KapfhammerS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MemonS03,
  author       = {Atif M. Memon and
                  Mary Lou Soffa},
  editor       = {Jukka Paakki and
                  Paola Inverardi},
  title        = {Regression testing of GUIs},
  booktitle    = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
                  Software Engineering 2003 held jointly with 9th European Software
                  Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
                  1-5, 2003},
  pages        = {118--127},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/940071.940088},
  doi          = {10.1145/940071.940088},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/MemonS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/BalcitaCS02,
  author       = {Angela M. Balcita and
                  Doris L. Carver and
                  Mary Lou Soffa},
  title        = {Shortchanging the future of information technology: the untapped resource},
  journal      = {{ACM} {SIGCSE} Bull.},
  volume       = {34},
  number       = {2},
  pages        = {32--35},
  year         = {2002},
  url          = {https://doi.org/10.1145/543812.543825},
  doi          = {10.1145/543812.543825},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigcse/BalcitaCS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JaramilloGS02,
  author       = {Clara Jaramillo and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Jens Knoop and
                  Wolf Zimmermann},
  title        = {Debugging and Testing Optimizers through Comparison Checking},
  booktitle    = {Compiler Optimization Meets Compiler Verification, {COCV} 2002, Satellite
                  Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {65},
  number       = {2},
  pages        = {83--99},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80398-0},
  doi          = {10.1016/S1571-0661(04)80398-0},
  timestamp    = {Tue, 13 Dec 2022 10:38:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JaramilloGS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MemonPS01,
  author       = {Atif M. Memon and
                  Martha E. Pollack and
                  Mary Lou Soffa},
  title        = {Hierarchical {GUI} Test Case Generation Using Automated Planning},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {27},
  number       = {2},
  pages        = {144--155},
  year         = {2001},
  url          = {https://doi.org/10.1109/32.908959},
  doi          = {10.1109/32.908959},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/MemonPS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/OrsoHRRSD01,
  author       = {Alessandro Orso and
                  Mary Jean Harrold and
                  David S. Rosenblum and
                  Gregg Rothermel and
                  Mary Lou Soffa and
                  Hyunsook Do},
  title        = {Using Component Metacontent to Support the Regression Testing of Component-Based
                  Software},
  booktitle    = {2001 International Conference on Software Maintenance, {ICSM} 2001,
                  Florence, Italy, November 6-10, 2001},
  pages        = {716--725},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICSM.2001.972790},
  doi          = {10.1109/ICSM.2001.972790},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/OrsoHRRSD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MemonSP01,
  author       = {Atif M. Memon and
                  Mary Lou Soffa and
                  Martha E. Pollack},
  editor       = {A Min Tjoa and
                  Volker Gruhn},
  title        = {Coverage criteria for {GUI} testing},
  booktitle    = {Proceedings of the 8th European Software Engineering Conference held
                  jointly with 9th {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering 2001, Vienna, Austria, September 10-14, 2001},
  pages        = {256--267},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/503209.503244},
  doi          = {10.1145/503209.503244},
  timestamp    = {Tue, 27 Jul 2021 17:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/MemonSP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2001,
  editor       = {Michael Burke and
                  Mary Lou Soffa},
  title        = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
                  20-22, 2001},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/378795},
  doi          = {10.1145/378795},
  isbn         = {1-58113-414-2},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Soffa00,
  author       = {Mary Lou Soffa},
  title        = {1999 {SIGPLAN} Awards},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {35},
  number       = {3},
  pages        = {2--3},
  year         = {2000},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Soffa00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/MemonPS00,
  author       = {Atif M. Memon and
                  Martha E. Pollack and
                  Mary Lou Soffa},
  editor       = {Steve A. Chien and
                  Subbarao Kambhampati and
                  Craig A. Knoblock},
  title        = {Plan Generation for {GUI} Testing},
  booktitle    = {Proceedings of the Fifth International Conference on Artificial Intelligence
                  Planning Systems, Breckenridge, CO, USA, April 14-17, 2000},
  pages        = {226--235},
  publisher    = {{AAAI}},
  year         = {2000},
  url          = {http://www.aaai.org/Library/AIPS/2000/aips00-024.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/MemonPS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GuptaMS00,
  author       = {Neelam Gupta and
                  Aditya P. Mathur and
                  Mary Lou Soffa},
  title        = {Generating Test Data for Branch Coverage},
  booktitle    = {The Fifteenth {IEEE} International Conference on Automated Software
                  Engineering, {ASE} 2000, Grenoble, France, September 11-15, 2000},
  pages        = {219--228},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ASE.2000.873666},
  doi          = {10.1109/ASE.2000.873666},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/GuptaMS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JaramilloGS00,
  author       = {Clara Jaramillo and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Jens Palsberg},
  title        = {{FULLDOC:} {A} Full Reporting Debugger for Optimized Code},
  booktitle    = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
                  CA, USA, June 29 - July 1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1824},
  pages        = {240--259},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-3-540-45099-3\_13},
  doi          = {10.1007/978-3-540-45099-3\_13},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/JaramilloGS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MemonPS00,
  author       = {Atif M. Memon and
                  Martha E. Pollack and
                  Mary Lou Soffa},
  editor       = {John C. Knight and
                  David S. Rosenblum},
  title        = {Automated test oracles for GUIs},
  booktitle    = {{ACM} {SIGSOFT} Symposium on Foundations of Software Engineering,
                  an Diego, California, USA, November 6-10, 2000, Proceedings},
  pages        = {30--39},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/355045.355050},
  doi          = {10.1145/355045.355050},
  timestamp    = {Tue, 27 Jul 2021 17:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/MemonPS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/JaramilloGS99,
  author       = {Clara Jaramillo and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Oscar Nierstrasz and
                  Michel Lemoine},
  title        = {Comparison Checking: An Approach to Avoid Debugging of Optimized Code},
  booktitle    = {Software Engineering - ESEC/FSE'99, 7th European Software Engineering
                  Conference, Held Jointly with the 7th {ACM} {SIGSOFT} Symposium on
                  the Foundations of Software Engineering, Toulouse, France, September
                  1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1687},
  pages        = {268--284},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48166-4\_17},
  doi          = {10.1007/3-540-48166-4\_17},
  timestamp    = {Wed, 04 May 2022 13:01:10 +0200},
  biburl       = {https://dblp.org/rec/conf/esec/JaramilloGS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpca/NakraGS99,
  author       = {Tarun Nakra and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  title        = {Global Context-Based Value Prediction},
  booktitle    = {Proceedings of the Fifth International Symposium on High-Performance
                  Computer Architecture, Orlando, FL, USA, January 9-12, 1999},
  pages        = {4--12},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/HPCA.1999.744311},
  doi          = {10.1109/HPCA.1999.744311},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hpca/NakraGS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MemonPS99,
  author       = {Atif M. Memon and
                  Martha E. Pollack and
                  Mary Lou Soffa},
  editor       = {Barry W. Boehm and
                  David Garlan and
                  Jeff Kramer},
  title        = {Using a Goal-Driven Approach to Generate Test Cases for GUIs},
  booktitle    = {Proceedings of the 1999 International Conference on Software Engineering,
                  ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
  pages        = {257--266},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/302405.302632},
  doi          = {10.1145/302405.302632},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/MemonPS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/NakraGS99,
  author       = {Tarun Nakra and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Allan Gottlieb and
                  William J. Dally},
  title        = {Value Prediction in {VLIW} Machines},
  booktitle    = {Proceedings of the 26th Annual International Symposium on Computer
                  Architecture, {ISCA} 1999, Atlanta, Georgia, USA, May 2-4, 1999},
  pages        = {258--269},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ISCA.1999.765956},
  doi          = {10.1109/ISCA.1999.765956},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isca/NakraGS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GuptaMS99,
  author       = {Neelam Gupta and
                  Aditya P. Mathur and
                  Mary Lou Soffa},
  title        = {{UNA} Based Iterative Test Data Generation and Its Evaluation},
  booktitle    = {The 14th {IEEE} International Conference on Automated Software Engineering,
                  {ASE} 1999, Cocoa Beach, Florida, USA, 12-15 October 1999},
  pages        = {224},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ASE.1999.802270},
  doi          = {10.1109/ASE.1999.802270},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/GuptaMS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BodikGS99,
  author       = {Rastislav Bod{\'{\i}}k and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Barbara G. Ryder and
                  Benjamin G. Zorn},
  title        = {Load-Reuse Analysis: Design and Evaluation},
  booktitle    = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation (PLDI), Atlanta, Georgia, USA,
                  May 1-4, 1999},
  pages        = {64--76},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/301618.301643},
  doi          = {10.1145/301618.301643},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/BodikGS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Soffa99,
  author       = {Mary Lou Soffa},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Tutorial: Techniques to Improve the Scalability and Precision of Data
                  Flow Analysis},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {355--356},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_23},
  doi          = {10.1007/3-540-48294-6\_23},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Soffa99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Soffa98,
  author       = {Mary Lou Soffa},
  title        = {1998 {SIGPLAN} Awards},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {33},
  number       = {9},
  pages        = {1--3},
  year         = {1998},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Soffa98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/SoffaN98,
  author       = {Mary Lou Soffa and
                  David Notkin},
  title        = {{SIGPLAN} and {SIGSOFT} Joint Efforts},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {33},
  number       = {12},
  pages        = {1},
  year         = {1998},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/SoffaN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/JaramilloGS98,
  author       = {Clara Jaramillo and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  title        = {Capturing the Effects of Code Improving Transformations},
  booktitle    = {Proceedings of the 1998 International Conference on Parallel Architectures
                  and Compilation Techniques, Paris, France, October 12-18, 1998},
  pages        = {118--123},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/PACT.1998.727181},
  doi          = {10.1109/PACT.1998.727181},
  timestamp    = {Mon, 30 May 2022 14:39:06 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/JaramilloGS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/BersonGS98,
  author       = {David A. Berson and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Siddhartha Chatterjee and
                  Jan F. Prins and
                  Larry Carter and
                  Jeanne Ferrante and
                  Zhiyuan Li and
                  David C. Sehr and
                  Pen{-}Chung Yew},
  title        = {Integrated Instruction Scheduling and Register Allocation Techniques},
  booktitle    = {Languages and Compilers for Parallel Computing, 11th International
                  Workshop, LCPC'98, Chapel Hill, NC, USA, August 7-9, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1656},
  pages        = {247--262},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-48319-5\_16},
  doi          = {10.1007/3-540-48319-5\_16},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lcpc/BersonGS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcr/TimsGS98,
  author       = {Jodi L. Tims and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {David R. O'Hallaron},
  title        = {Data Flow Analysis Driven Dynamic Data Partitioning},
  booktitle    = {Languages, Compilers, and Run-Time Systems for Scalable Computers,
                  4th International Workshop, {LCR} '98, Pittsburgh, PA, USA, May 28-30,
                  1998, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1511},
  pages        = {75--90},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49530-4\_6},
  doi          = {10.1007/3-540-49530-4\_6},
  timestamp    = {Mon, 13 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lcr/TimsGS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BodikGS98,
  author       = {Rastislav Bod{\'{\i}}k and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Jack W. Davidson and
                  Keith D. Cooper and
                  A. Michael Berman},
  title        = {Complete Removal of Redundant Computations},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
                  Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
  pages        = {1--14},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/277650.277653},
  doi          = {10.1145/277650.277653},
  timestamp    = {Thu, 08 Jul 2021 16:04:02 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/BodikGS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BodikGS98a,
  author       = {Rastislav Bod{\'{\i}}k and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Kathryn S. McKinley},
  title        = {Complete removal of redundant expressions (with retrospective)},
  booktitle    = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language
                  Design and Implementation 1979-1999, {A} Selection},
  pages        = {596--611},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/989393.989453},
  doi          = {10.1145/989393.989453},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/BodikGS98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuptaMS98,
  author       = {Neelam Gupta and
                  Aditya P. Mathur and
                  Mary Lou Soffa},
  editor       = {Leon J. Osterweil and
                  William L. Scherlis},
  title        = {Automated Test Data Generation Using an Iterative Relaxation Method},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
                  USA, November 3-5, 1998},
  pages        = {231--244},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/288195.288321},
  doi          = {10.1145/288195.288321},
  timestamp    = {Tue, 27 Jul 2021 17:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/GuptaMS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/1998,
  editor       = {Mary Lou Soffa and
                  Michal Young and
                  Will Tracz},
  title        = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
                  March 2-5, 1998},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/271771},
  doi          = {10.1145/271771},
  isbn         = {0-89791-971-8},
  timestamp    = {Mon, 31 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DuesterwaldGS97,
  author       = {Evelyn Duesterwald and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  title        = {A Practical Framework for Demand-Driven Interprocedural Data Flow
                  Analysis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {19},
  number       = {6},
  pages        = {992--1030},
  year         = {1997},
  url          = {https://doi.org/10.1145/267959.269970},
  doi          = {10.1145/267959.269970},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/DuesterwaldGS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/WhitfieldS97,
  author       = {Deborah Whitfield and
                  Mary Lou Soffa},
  title        = {An Approach for Exploring Code-Improving Transformations},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {19},
  number       = {6},
  pages        = {1053--1084},
  year         = {1997},
  url          = {https://doi.org/10.1145/267959.267960},
  doi          = {10.1145/267959.267960},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/WhitfieldS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/GuptaSH97,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa and
                  John Howard},
  title        = {Hybrid Slicing: Integrating Dynamic Information with Static Analysis},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {6},
  number       = {4},
  pages        = {370--397},
  year         = {1997},
  url          = {https://doi.org/10.1145/261640.261644},
  doi          = {10.1145/261640.261644},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tosem/GuptaSH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/BodikGS98,
  author       = {Rastislav Bod{\'{\i}}k and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Mehdi Jazayeri and
                  Helmut Schauer},
  title        = {Refining Data Flow Information Using Infeasible Paths},
  booktitle    = {Software Engineering - {ESEC/FSE} '97, 6th European Software Engineering
                  Conference Held Jointly with the 5th {ACM} {SIGSOFT} Symposium on
                  Foundations of Software Engineering, Zurich, Switzerland, September
                  22-25, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1301},
  pages        = {361--377},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63531-9\_25},
  doi          = {10.1007/3-540-63531-9\_25},
  timestamp    = {Wed, 04 May 2022 13:01:10 +0200},
  biburl       = {https://dblp.org/rec/conf/esec/BodikGS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BodikGS97,
  author       = {Rastislav Bod{\'{\i}}k and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Marina C. Chen and
                  Ron K. Cytron and
                  A. Michael Berman},
  title        = {Interprocedural Conditional Branch Elimination},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} '97 Conference on Programming Language
                  Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18,
                  1997},
  pages        = {146--158},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/258915.258929},
  doi          = {10.1145/258915.258929},
  timestamp    = {Thu, 08 Jul 2021 16:04:02 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/BodikGS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GuptaHS96,
  author       = {Rajiv Gupta and
                  Mary Jean Harrold and
                  Mary Lou Soffa},
  title        = {Program Slicing-Based Regression Testing Techniques},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {6},
  number       = {2},
  pages        = {83--111},
  year         = {1996},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199606)6:2\&\#60;83::AID-STVR112\&\#62;3.0.CO;2-9},
  doi          = {10.1002/(SICI)1099-1689(199606)6:2\&\#60;83::AID-STVR112\&\#62;3.0.CO;2-9},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/GuptaHS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DuesterwaldGS96,
  author       = {Evelyn Duesterwald and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {H. Dieter Rombach and
                  T. S. E. Maibaum and
                  Marvin V. Zelkowitz},
  title        = {A Demand-Driven Analyzer for Data Flow Testing at the Integration
                  Level},
  booktitle    = {18th International Conference on Software Engineering, Berlin, Germany,
                  March 25-29, 1996, Proceedings},
  pages        = {575--584},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {http://portal.acm.org/citation.cfm?id=227726.227845},
  timestamp    = {Mon, 26 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/DuesterwaldGS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/BersonCGS96,
  author       = {David A. Berson and
                  Pohua P. Chang and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {David C. Sehr and
                  Utpal Banerjee and
                  David Gelernter and
                  Alexandru Nicolau and
                  David A. Padua},
  title        = {Integrating Program Optimizations and Transformations with the Scheduling
                  of Instruction Level Parallelism},
  booktitle    = {Languages and Compilers for Parallel Computing, 9th International
                  Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1239},
  pages        = {207--221},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0017254},
  doi          = {10.1007/BFB0017254},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lcpc/BersonCGS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acm/1996,
  editor       = {Robert E. Beck and
                  Mary Lou Soffa},
  title        = {Proceedings of the 24th {ACM} Conference on Computer Science, {CSC}
                  '96, Philadelphia, PA, USA, February 16-18, 1996},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {http://dl.acm.org/citation.cfm?id=228329},
  isbn         = {0-89791-828-2},
  timestamp    = {Thu, 23 Apr 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acm/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BalBS95,
  author       = {Henri E. Bal and
                  Boumediene Belkhouche and
                  Mary Lou Soffa},
  title        = {Introduction to the Special Section},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {21},
  number       = {11},
  pages        = {881--882},
  year         = {1995},
  url          = {http://doi.ieeecomputersociety.org/10.1109/TSE.1995.10007},
  doi          = {10.1109/TSE.1995.10007},
  timestamp    = {Thu, 10 Dec 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/BalBS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/PineoS95,
  author       = {Patricia Prather Pineo and
                  Mary Lou Soffa},
  editor       = {Lubomir Bic and
                  Paraskevas Evripidou and
                  A. P. Wim B{\"{o}}hm and
                  Jean{-}Luc Gaudiot},
  title        = {Practical approach to single assignment code},
  booktitle    = {Proceedings of the {IFIP} {WG10.3} working conference on Parallel
                  architectures and compilation techniques, {PACT} '95, Limassol, Cyprus,
                  June 27-29, 1995},
  pages        = {149--158},
  publisher    = {{IFIP} Working Group on Algol / {ACM}},
  year         = {1995},
  url          = {http://dl.acm.org/citation.cfm?id=224712},
  timestamp    = {Thu, 07 Apr 2016 15:27:42 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEpact/PineoS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/GuptaS95,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  title        = {Priority based data flow testing},
  booktitle    = {Proceedings of the International Conference on Software Maintenance,
                  {ICSM} 1995, Opio (Nice), France, October 17-20, 1995},
  pages        = {348--357},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ICSM.1995.526556},
  doi          = {10.1109/ICSM.1995.526556},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/GuptaS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irep/BersonGS95,
  author       = {David A. Berson and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Michael D. Ernst},
  title        = {{GURRR:} {A} Global Unified Resource Requirements Representation},
  booktitle    = {Proceedings {ACM} {SIGPLAN} Workshop on Intermediate Representations
                  (IR'95), San Francisco, CA, USA, January 22, 1995},
  pages        = {23--34},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/202529.202533},
  doi          = {10.1145/202529.202533},
  timestamp    = {Thu, 08 Jul 2021 16:04:01 +0200},
  biburl       = {https://dblp.org/rec/conf/irep/BersonGS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DuesterwaldGS95,
  author       = {Evelyn Duesterwald and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Ron K. Cytron and
                  Peter Lee},
  title        = {Demand-driven Computation of Interprocedural Data Flow},
  booktitle    = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
                  on Principles of Programming Languages, San Francisco, California,
                  USA, January 23-25, 1995},
  pages        = {37--48},
  publisher    = {{ACM} Press},
  year         = {1995},
  url          = {https://doi.org/10.1145/199448.199461},
  doi          = {10.1145/199448.199461},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/DuesterwaldGS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuptaS95,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Gail E. Kaiser},
  title        = {Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic
                  Information},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {29--40},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222137},
  doi          = {10.1145/222124.222137},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/GuptaS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/WhitfieldS94,
  author       = {Deborah Whitfield and
                  Mary Lou Soffa},
  title        = {The Design and Implementation of Genesis},
  journal      = {Softw. Pract. Exp.},
  volume       = {24},
  number       = {3},
  pages        = {307--325},
  year         = {1994},
  url          = {https://doi.org/10.1002/spe.4380240305},
  doi          = {10.1002/SPE.4380240305},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/WhitfieldS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HarroldS94,
  author       = {Mary Jean Harrold and
                  Mary Lou Soffa},
  title        = {Efficient Computation of Interprocedural Definition-Use Chains},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {16},
  number       = {2},
  pages        = {175--204},
  year         = {1994},
  url          = {https://doi.org/10.1145/174662.174663},
  doi          = {10.1145/174662.174663},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/HarroldS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GuptaSO94,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa and
                  Denise Ombres},
  title        = {Efficient Register Allocation via Coloring Using Clique Separators},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {16},
  number       = {3},
  pages        = {370--386},
  year         = {1994},
  url          = {https://doi.org/10.1145/177492.177499},
  doi          = {10.1145/177492.177499},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/GuptaSO94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/MalloyLS94,
  author       = {Brian A. Malloy and
                  Errol L. Lloyd and
                  Mary Lou Soffa},
  title        = {Scheduling DAG's for Asynchronous Multiprocessor Execution},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {5},
  number       = {5},
  pages        = {498--508},
  year         = {1994},
  url          = {https://doi.org/10.1109/71.282560},
  doi          = {10.1109/71.282560},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/MalloyLS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/KramerGS94,
  author       = {Robert Kramer and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  title        = {The Combining {DAG:} {A} Technique for Parallel Data Flow Analysis},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {5},
  number       = {8},
  pages        = {805--813},
  year         = {1994},
  url          = {https://doi.org/10.1109/71.298205},
  doi          = {10.1109/71.298205},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/KramerGS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/PineoS94,
  author       = {Patricia Prather Pineo and
                  Mary Lou Soffa},
  editor       = {Peter Fritzson},
  title        = {A Practical Approach to the Symbolic Debugging of Parallelized Code},
  booktitle    = {Compiler Construction, 5th International Conference, CC'94, Edinburgh,
                  UK, April 7-9, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {786},
  pages        = {339--356},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-57877-3\_23},
  doi          = {10.1007/3-540-57877-3\_23},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/PineoS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/DuesterwaldGS94,
  author       = {Evelyn Duesterwald and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Peter Fritzson},
  title        = {Reducing the Cost of Data Flow Analysis By Congruence Partitioning},
  booktitle    = {Compiler Construction, 5th International Conference, CC'94, Edinburgh,
                  UK, April 7-9, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {786},
  pages        = {357--373},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-57877-3\_24},
  doi          = {10.1007/3-540-57877-3\_24},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/DuesterwaldGS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/DowSC94,
  author       = {Chyi{-}Ren Dow and
                  Mary Lou Soffa and
                  Shi{-}Kuo Chang},
  editor       = {Lionel M. Ni},
  title        = {An Efficient Technique to Remove Transformations},
  booktitle    = {Proceedings 1994 International Conference on Parallel and Distributed
                  Systems, December 19-21, 1994, Hsinchu, Taiwan, Republic of China},
  pages        = {392--397},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/ICPADS.1994.590343},
  doi          = {10.1109/ICPADS.1994.590343},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpads/DowSC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/DowSC94,
  author       = {Chyi{-}Ren Dow and
                  Mary Lou Soffa and
                  Shi{-}Kuo Chang},
  editor       = {K. C. Tai},
  title        = {Undoing Code Transformations in an Independent Order},
  booktitle    = {Proceedings of the 1994 International Conference on Parallel Processing,
                  North Carolina State University, NC, USA, August 15-19, 1994. Volume
                  {II:} Software},
  pages        = {108--115},
  publisher    = {{CRC} Press},
  year         = {1994},
  url          = {https://doi.org/10.1109/ICPP.1994.194},
  doi          = {10.1109/ICPP.1994.194},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/DowSC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/GuptaS94,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Hausi A. M{\"{u}}ller and
                  Mari Georges},
  title        = {A Framework for Partial Data Flow Analysis},
  booktitle    = {Proceedings of the International Conference on Software Maintenance,
                  {ICSM} 1994, Victoria, BC, Canada, September 1994},
  pages        = {4--13},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/ICSM.1994.336794},
  doi          = {10.1109/ICSM.1994.336794},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/GuptaS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipPACT/BersonGS94,
  author       = {David A. Berson and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Michel Cosnard and
                  Guang R. Gao and
                  Gabriel M. Silberman},
  title        = {Resource Spackling: {A} Framework for Integrating Register Allocation
                  in Local and Global Schedulers},
  booktitle    = {Parallel Architectures and Compilation Techniques, Proceedings of
                  the {IFIP} {WG10.3} Working Conference on Parallel Architectures and
                  Compilation Techniques, PACT'94, Montr{\'{e}}al, Canada, 24-26
                  August, 1994},
  series       = {{IFIP} Transactions},
  volume       = {{A-50}},
  pages        = {135--146},
  publisher    = {North-Holland},
  year         = {1994},
  url          = {http://dl.acm.org/citation.cfm?id=713842},
  timestamp    = {Mon, 26 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifipPACT/BersonGS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PollockBS94,
  author       = {Lori L. Pollock and
                  Mary P. Bivens and
                  Mary Lou Soffa},
  editor       = {Thomas J. Ostrand},
  title        = {Debugging Optimized Code Via Tailoring (Abstract)},
  booktitle    = {Proceedings of the 1994 International Symposium on Software Testing
                  and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
  pages        = {201},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/186258.187201},
  doi          = {10.1145/186258.187201},
  timestamp    = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/PollockBS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/1994,
  editor       = {Vivek Sarkar and
                  Barbara G. Ryder and
                  Mary Lou Soffa},
  title        = {Proceedings of the {ACM} SIGPLAN'94 Conference on Programming Language
                  Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24,
                  1994},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/178243},
  doi          = {10.1145/178243},
  isbn         = {0-89791-662-X},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GuptaS93,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  title        = {Employing Static Information in the Generation of Test Cases},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {3},
  number       = {1},
  pages        = {29--48},
  year         = {1993},
  url          = {https://doi.org/10.1002/stvr.4370030104},
  doi          = {10.1002/STVR.4370030104},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/GuptaS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/HarroldGS93,
  author       = {Mary Jean Harrold and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  title        = {A Methodology for Controlling the Size of a Test Suite},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {2},
  number       = {3},
  pages        = {270--285},
  year         = {1993},
  url          = {https://doi.org/10.1145/152388.152391},
  doi          = {10.1145/152388.152391},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tosem/HarroldGS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/WhitfieldS93,
  author       = {Deborah Whitfield and
                  Mary Lou Soffa},
  editor       = {Alok N. Choudhary and
                  P. Bruce Berra},
  title        = {Investigating Properties of Code Transformations},
  booktitle    = {Proceedings of the 1993 International Conference on Parallel Processing,
                  Syracuse University, NY, USA, August 16-20, 1993. Volume {II:} Software},
  pages        = {156--160},
  publisher    = {{CRC} Press},
  year         = {1993},
  url          = {https://doi.org/10.1109/ICPP.1993.106},
  doi          = {10.1109/ICPP.1993.106},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/WhitfieldS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/BersonGS93,
  author       = {David A. Berson and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Michel Cosnard and
                  Kemal Ebcioglu and
                  Jean{-}Luc Gaudiot},
  title        = {{URSA:} {A} Unified ReSource Allocator for Registers and Functional
                  Units in {VLIW} Architectures},
  booktitle    = {Proceedings of the {IFIP} {WG10.3.} Working Conference on Architectures
                  and Compilation Techniques for Fine and Medium Grain Parallelism,
                  {PACT} 1993, Orlando, Florida, USA, January 20-22, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{A-23}},
  pages        = {243--254},
  publisher    = {North-Holland},
  year         = {1993},
  url          = {http://dl.acm.org/citation.cfm?id=714373},
  timestamp    = {Mon, 26 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip10-3/BersonGS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DuesterwaldGS93,
  author       = {Evelyn Duesterwald and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Robert Cartwright},
  title        = {A Practical Data Flow Framework for Array Reference Analysis and its
                  Use in Optimizations},
  booktitle    = {Proceedings of the {ACM} SIGPLAN'93 Conference on Programming Language
                  Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June
                  23-25, 1993},
  pages        = {68--77},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/155090.155097},
  doi          = {10.1145/155090.155097},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/DuesterwaldGS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PollockS92,
  author       = {Lori L. Pollock and
                  Mary Lou Soffa},
  title        = {Incremental Global Reoptimization of Programs},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {14},
  number       = {2},
  pages        = {173--200},
  year         = {1992},
  url          = {https://doi.org/10.1145/128861.128865},
  doi          = {10.1145/128861.128865},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/PollockS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/DowSC92,
  author       = {Chyi{-}Ren Dow and
                  Mary Lou Soffa and
                  Shi{-}Kuo Chang},
  editor       = {Tiziana Catarci and
                  Maria Francesca Costabile and
                  Stefano Levialdi},
  title        = {A Visual Optimization Specification Language},
  booktitle    = {Advanced Visual Interfaces - Proceedings of the International Workshop,
                  {AVI} 1992, Rome, Italy, May 27-29, 1992},
  series       = {World Scientific Series in Computer Science},
  volume       = {36},
  pages        = {289--303},
  publisher    = {World Scientific},
  year         = {1992},
  timestamp    = {Mon, 13 Mar 2017 16:29:04 +0100},
  biburl       = {https://dblp.org/rec/conf/avi/DowSC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/DuesterwaldGS92,
  author       = {Evelyn Duesterwald and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Uwe Kastens and
                  Peter Pfahler},
  title        = {Register Pipelining: An Integrated Approach to Register Allocation
                  for Scalar and Subscripted Variables},
  booktitle    = {Compiler Construction, 4th International Conference on Compiler Construction,
                  CC'92, Paderborn, Germany, October 5-7, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {641},
  pages        = {192--206},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55984-1\_18},
  doi          = {10.1007/3-540-55984-1\_18},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/DuesterwaldGS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icci/MalloyLS92,
  author       = {Brian A. Malloy and
                  Errol L. Lloyd and
                  Mary Lou Soffa},
  editor       = {Waldemar W. Koczkodaj and
                  Peter E. Lauer and
                  Anestis A. Toptsis},
  title        = {A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors},
  booktitle    = {Computing and Information - ICCI'92, Fourth International Conference
                  on Computing and Information, Toronto, Ontario, Canada, May 28-30,
                  1992, Proceedings},
  pages        = {139--142},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  timestamp    = {Mon, 15 Apr 2002 13:14:05 +0200},
  biburl       = {https://dblp.org/rec/conf/icci/MalloyLS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/GuptaHS92,
  author       = {Rajiv Gupta and
                  Mary Jean Harrold and
                  Mary Lou Soffa},
  title        = {An approach to regression testing using slicing},
  booktitle    = {Proceedings of the Conference on Software Maintenance, {ICSM} 1992,
                  Orlando, FL, USA, 9-12 November, 1992},
  pages        = {299--308},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/ICSM.1992.242531},
  doi          = {10.1109/ICSM.1992.242531},
  timestamp    = {Mon, 09 Aug 2021 14:54:02 +0200},
  biburl       = {https://dblp.org/rec/conf/icsm/GuptaHS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GuptaS92a,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Jan van Leeuwen},
  title        = {Automatic Generation of a Compact Test Suit},
  booktitle    = {Algorithms, Software, Architecture - Information Processing '92, Volume
                  1, Proceedings of the {IFIP} 12th World Computer Congress, Madrid,
                  Spain, 7-11 September 1992},
  series       = {{IFIP} Transactions},
  volume       = {{A-12}},
  pages        = {237--243},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Mon, 26 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip/GuptaS92a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/KramerGS92,
  author       = {Robert Kramer and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Viktor K. Prasanna and
                  Larry H. Canter},
  title        = {The Combining Dag: {A} Technique for Parallel DataMow Analysis},
  booktitle    = {Proceedings of the 6th International Parallel Processing Symposium,
                  Beverly Hills, CA, USA, March 1992},
  pages        = {652--655},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/IPPS.1992.222990},
  doi          = {10.1109/IPPS.1992.222990},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/KramerGS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/DuesterwaldGS92,
  author       = {Evelyn Duesterwald and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Utpal Banerjee and
                  David Gelernter and
                  Alexandru Nicolau and
                  David A. Padua},
  title        = {Distributed Slicing and Partial Re-execution for Distributed Programs},
  booktitle    = {Languages and Compilers for Parallel Computing, 5th International
                  Workshop, New Haven, Connecticut, USA, August 3-5, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {757},
  pages        = {497--511},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57502-2\_67},
  doi          = {10.1007/3-540-57502-2\_67},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/lcpc/DuesterwaldGS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/MalloyGS92,
  author       = {Brian A. Malloy and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Wen{-}mei W. Hwu},
  title        = {A shape matching approach for scheduling fine-grained parallelism},
  booktitle    = {Proceedings of the 25th Annual International Symposium on Microarchitecture,
                  Portland, Oregon, USA, November 1992},
  pages        = {264--267},
  publisher    = {{ACM} / {IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/MICRO.1992.697029},
  doi          = {10.1109/MICRO.1992.697029},
  timestamp    = {Tue, 31 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/micro/MalloyGS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/LiuS92,
  author       = {Shan Fan Liu and
                  Mary Lou Soffa},
  editor       = {Daniel Etiemble and
                  Jean{-}Claude Syre},
  title        = {Parallel Task Assignment by Graph Partitioning},
  booktitle    = {{PARLE} '92: Parallel Architectures and Languages Europe, 4th International
                  {PARLE} Conference, Paris, France, June 15-18, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {605},
  pages        = {965--966},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55599-4\_144},
  doi          = {10.1007/3-540-55599-4\_144},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/LiuS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/DowCS92,
  author       = {Chyi{-}Ren Dow and
                  Shi{-}Kuo Chang and
                  Mary Lou Soffa},
  editor       = {Robert Werner},
  title        = {A Visualization System for Parallelizing Programs},
  booktitle    = {Proceedings Supercomputing '92, Minneapolis, MN, USA, November 16-20,
                  1992},
  pages        = {194--203},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SUPERC.1992.236694},
  doi          = {10.1109/SUPERC.1992.236694},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/DowCS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/WattsSG92,
  author       = {Tia M. Watts and
                  Mary Lou Soffa and
                  Rajiv Gupta},
  editor       = {Robert Werner},
  title        = {Techniques for Integrating Parallelizing Transformations and Compiler-Based
                  Scheduling Methods},
  booktitle    = {Proceedings Supercomputing '92, Minneapolis, MN, USA, November 16-20,
                  1992},
  pages        = {830--839},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/SUPERC.1992.236680},
  doi          = {10.1109/SUPERC.1992.236680},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/WattsSG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/HarroldS91,
  author       = {Mary Jean Harrold and
                  Mary Lou Soffa},
  title        = {Selecting and Using Data fro Integration Testing},
  journal      = {{IEEE} Softw.},
  volume       = {8},
  number       = {2},
  pages        = {58--65},
  year         = {1991},
  url          = {https://doi.org/10.1109/52.73750},
  doi          = {10.1109/52.73750},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/HarroldS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/GuptaS91,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  title        = {Compile-Time Techniques for Improving Scalar Access Performance in
                  Parallel Memories},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {2},
  number       = {2},
  pages        = {138--148},
  year         = {1991},
  url          = {https://doi.org/10.1109/71.89060},
  doi          = {10.1109/71.89060},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/GuptaS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DuesterwaldS91,
  author       = {Evelyn Duesterwald and
                  Mary Lou Soffa},
  editor       = {William E. Howden},
  title        = {Concurrency Analysis in the Presence of Procedures Using a Data-Flow
                  Framework},
  booktitle    = {Proceedings of the Symposium on Testing, Analysis, and Verification,
                  {TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
  pages        = {36--48},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/120807.120811},
  doi          = {10.1145/120807.120811},
  timestamp    = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/DuesterwaldS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SharmaS91,
  author       = {Ravi Sharma and
                  Mary Lou Soffa},
  editor       = {Andreas Paepcke},
  title        = {Parallel Generational Garbage Collection},
  booktitle    = {Proceedings of the Sixth Annual Conference on Object-Oriented Programming
                  Systems, Languages, and Applications, {OOPSLA} 1991, Phoenix, Arizona,
                  USA, October 6-11, 1991},
  pages        = {16--32},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/117954.117956},
  doi          = {10.1145/117954.117956},
  timestamp    = {Fri, 13 May 2022 10:26:32 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/SharmaS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdd/PineoS91,
  author       = {Patricia Prather Pineo and
                  Mary Lou Soffa},
  editor       = {Barton P. Miller and
                  Charles E. McDowell},
  title        = {Debugging Parallelized Code Using Code Liberation Techniques},
  booktitle    = {Proceedings of the {ACM/ONR} Workshop on Parallel and Distributed
                  Debugging, Santa Cruz, California, USA, May 20-21, 1991},
  pages        = {108--119},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/122759.122769},
  doi          = {10.1145/122759.122769},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pdd/PineoS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WhitfieldS91,
  author       = {Deborah Whitfield and
                  Mary Lou Soffa},
  editor       = {David S. Wise},
  title        = {Automatic Generation of Global Optimizers},
  booktitle    = {Proceedings of the {ACM} SIGPLAN'91 Conference on Programming Language
                  Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28,
                  1991},
  pages        = {120--129},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/113445.113456},
  doi          = {10.1145/113445.113456},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/WhitfieldS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/MalloyS90,
  author       = {Brian A. Malloy and
                  Mary Lou Soffa},
  title        = {Conversion of Simulation Processes to Pascal Constructs},
  journal      = {Softw. Pract. Exp.},
  volume       = {20},
  number       = {2},
  pages        = {191--207},
  year         = {1990},
  url          = {https://doi.org/10.1002/spe.4380200206},
  doi          = {10.1002/SPE.4380200206},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/MalloyS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BivensS90,
  author       = {Mary P. Bivens and
                  Mary Lou Soffa},
  title        = {Incremental Register Reallocation},
  journal      = {Softw. Pract. Exp.},
  volume       = {20},
  number       = {10},
  pages        = {1015--1047},
  year         = {1990},
  url          = {https://doi.org/10.1002/spe.4380201005},
  doi          = {10.1002/SPE.4380201005},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/BivensS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GuptaS90,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  title        = {Region Scheduling: An Approach for Detecting and Redistributing Parallelism},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {16},
  number       = {4},
  pages        = {421--431},
  year         = {1990},
  url          = {https://doi.org/10.1109/32.54294},
  doi          = {10.1109/32.54294},
  timestamp    = {Mon, 26 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/GuptaS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/PollockS90,
  author       = {Lori L. Pollock and
                  Mary Lou Soffa},
  title        = {Incremental Global Optimization for Faster Recompilations},
  booktitle    = {1990 Internation Conference on Computer Languages, March 12-15 1990,
                  New Orleans, Louisiana, {USA}},
  pages        = {281--290},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/ICCL.1990.63784},
  doi          = {10.1109/ICCL.1990.63784},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccl/PollockS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/HarroldS90,
  author       = {Mary Jean Harrold and
                  Mary Lou Soffa},
  title        = {Computation of Interprocedural Definition and Use Dependencies},
  booktitle    = {1990 Internation Conference on Computer Languages, March 12-15 1990,
                  New Orleans, Louisiana, {USA}},
  pages        = {297--306},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/ICCL.1990.63786},
  doi          = {10.1109/ICCL.1990.63786},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccl/HarroldS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/HarroldGS90,
  author       = {Mary Jean Harrold and
                  Rajiv Gupta and
                  Mary Lou Soffa},
  title        = {A methodology for controlling the size of a test suite},
  booktitle    = {Proceedings of the Conference on Software Maintenance, {ICSM} 1990,
                  San Diego, CA, USA, 26-29 November, 1990},
  pages        = {302--310},
  publisher    = {{IEEE}},
  year         = {1990},
  url          = {https://doi.org/10.1109/ICSM.1990.131378},
  doi          = {10.1109/ICSM.1990.131378},
  timestamp    = {Mon, 09 Aug 2021 14:54:02 +0200},
  biburl       = {https://dblp.org/rec/conf/icsm/HarroldGS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/WhitfieldS90,
  author       = {Deborah Whitfield and
                  Mary Lou Soffa},
  editor       = {David A. Padua},
  title        = {An Approach to Ordering Optimizing Transformations},
  booktitle    = {Proceedings of the Second {ACM} {SIGPLAN} Symposium on Princiles {\&}
                  Practice of Parallel Programming (PPOPP), Seattle, Washington, USA,
                  March 14-16, 1990},
  pages        = {137--146},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99163.99179},
  doi          = {10.1145/99163.99179},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/WhitfieldS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/HeggyS90,
  author       = {Ben Heggy and
                  Mary Lou Soffa},
  editor       = {Joanne L. Martin and
                  Daniel V. Pryor and
                  Gary R. Montry},
  title        = {Architectural support for register allocation in the presence of aliasing},
  booktitle    = {Proceedings Supercomputing '90, New York, NY, USA, November 12-16,
                  1990},
  pages        = {730--739},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/SUPERC.1990.130093},
  doi          = {10.1109/SUPERC.1990.130093},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/HeggyS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/GuptaS89,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  title        = {Compilation techniques for a reconfigurable {LIW} architecture},
  journal      = {J. Supercomput.},
  volume       = {3},
  number       = {4},
  pages        = {271--304},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF00128167},
  doi          = {10.1007/BF00128167},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/GuptaS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PollockS89,
  author       = {Lori L. Pollock and
                  Mary Lou Soffa},
  title        = {An Incremental Version of Iterative Data Flow Analysis},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {15},
  number       = {12},
  pages        = {1537--1549},
  year         = {1989},
  url          = {https://doi.org/10.1109/32.58766},
  doi          = {10.1109/32.58766},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tse/PollockS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/BlivensS89,
  author       = {M. P. Blivens and
                  Mary Lou Soffa},
  editor       = {Arthur M. Riehl},
  title        = {Reuse of Compiler Analysis in a Programming Environment},
  booktitle    = {Computer Trends in the 1990s - Proceedings of the 1989 {ACM} 17th
                  Annual Computer Science Conference, Louisville, Kentucky, USA, February
                  21-23, 1989},
  pages        = {368--373},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75427.75476},
  doi          = {10.1145/75427.75476},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/BlivensS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HarroldS89,
  author       = {Mary Jean Harrold and
                  Mary Lou Soffa},
  editor       = {Richard A. Kemmerer},
  title        = {Interprocedual Data Flow Testing},
  booktitle    = {Proceedings of the {ACM} {SIGSOFT} '89 Third Symposium on Testing,
                  Analysis, and Verification, {TAV} 1989, Key West, Florida, USA, December
                  13-15, 1989},
  pages        = {158--167},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75308.75327},
  doi          = {10.1145/75308.75327},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/HarroldS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GuptaSS89,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa and
                  Tim Steele},
  editor       = {Richard L. Wexelblat},
  title        = {Register Allocation via Clique Separators},
  booktitle    = {Proceedings of the {ACM} SIGPLAN'89 Conference on Programming Language
                  Design and Implementation (PLDI), Portland, Oregon, USA, June 21-23,
                  1989},
  pages        = {264--274},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/73141.74842},
  doi          = {10.1145/73141.74842},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/GuptaSS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LloydS88,
  author       = {Errol L. Lloyd and
                  Mary Lou Soffa},
  title        = {On Locating Minimum Feedback Vertex Sets},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {37},
  number       = {3},
  pages        = {292--311},
  year         = {1988},
  url          = {https://doi.org/10.1016/0022-0000(88)90009-8},
  doi          = {10.1016/0022-0000(88)90009-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/LloydS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/HarroldS88,
  author       = {Mary Jean Harrold and
                  Mary Lou Soffa},
  title        = {An incremental approach to unit testing during maintenance},
  booktitle    = {Proceedings of the Conference on Software Maintenance, {ICSM} 1988,
                  Scottsdale, AZ, USA, 24-27 October, 1988},
  pages        = {362--367},
  publisher    = {{IEEE}},
  year         = {1988},
  url          = {https://doi.org/10.1109/ICSM.1988.10188},
  doi          = {10.1109/ICSM.1988.10188},
  timestamp    = {Mon, 09 Aug 2021 14:54:02 +0200},
  biburl       = {https://dblp.org/rec/conf/icsm/HarroldS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/GuptaS88,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Richard L. Wexelblat},
  title        = {Compile-time Techniques for Efficient Utilization of Parallel Memories},
  booktitle    = {Proceedings of the {ACM/SIGPLAN} {PPEALS} 1988, Parallel Programming:
                  Experience with Applications, Languages and Systems, New Haven, Connecticut,
                  USA, July 19-21, 1988},
  pages        = {235--246},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/62115.62137},
  doi          = {10.1145/62115.62137},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/GuptaS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/GuptaS87,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  title        = {A Reconfigurable {LIW} Architecture},
  booktitle    = {International Conference on Parallel Processing, ICPP'87, University
                  Park, PA, USA, August 1987},
  pages        = {893--900},
  publisher    = {Pennsylvania State University Press},
  year         = {1987},
  timestamp    = {Mon, 26 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/GuptaS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/GuptaS86,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {Lawrence A. Jehn and
                  Larry A. Crum},
  title        = {{SHAPE:} a highly adaptable and parallel system},
  booktitle    = {Proceedings of the 14th {ACM} Annual Conference on Computer Science,
                  Cincinnati, Ohio, USA, 1986},
  pages        = {107--114},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/324634.325213},
  doi          = {10.1145/324634.325213},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/GuptaS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/MalloyS86,
  author       = {Brian A. Malloy and
                  Mary Lou Soffa},
  editor       = {James R. Wilson and
                  James O. Henriksen and
                  Stephen D. Roberts},
  title        = {{SIMCAL:} the merger of Simula and Pascal},
  booktitle    = {Proceedings of the 18th conference on Winter simulation, {WSC} 1986,
                  Washington, DC, USA, December 8-10, 1986},
  pages        = {397--403},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/318242.318465},
  doi          = {10.1145/318242.318465},
  timestamp    = {Thu, 10 Jun 2021 22:20:26 +0200},
  biburl       = {https://dblp.org/rec/conf/wsc/MalloyS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/WangLS85,
  author       = {Ching{-}Chy Wang and
                  Errol L. Lloyd and
                  Mary Lou Soffa},
  title        = {Feedback Vertex Sets and Cyclically Reducible Graphs},
  journal      = {J. {ACM}},
  volume       = {32},
  number       = {2},
  pages        = {296--313},
  year         = {1985},
  url          = {https://doi.org/10.1145/3149.3159},
  doi          = {10.1145/3149.3159},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/WangLS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BlairKS85,
  author       = {Jean R. S. Blair and
                  Phil Kearns and
                  Mary Lou Soffa},
  title        = {An optimistic implementation of the stack-heap},
  journal      = {J. Syst. Softw.},
  volume       = {5},
  number       = {3},
  pages        = {193--202},
  year         = {1985},
  url          = {https://doi.org/10.1016/0164-1212(85)90020-2},
  doi          = {10.1016/0164-1212(85)90020-2},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/BlairKS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/GuptaS85,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  title        = {The efficiency of storage management schemes for Ada programs},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {20},
  number       = {11},
  pages        = {30--38},
  year         = {1985},
  url          = {https://doi.org/10.1145/988291.988296},
  doi          = {10.1145/988291.988296},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/GuptaS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/QuammenKS85,
  author       = {Donna J. Quammen and
                  John P. Kearns and
                  Mary Lou Soffa},
  title        = {Efficient Storage Management for Temporary Values in Concurrent Programming
                  Languages},
  journal      = {{IEEE} Trans. Computers},
  volume       = {34},
  number       = {9},
  pages        = {832--840},
  year         = {1985},
  url          = {https://doi.org/10.1109/TC.1985.1676639},
  doi          = {10.1109/TC.1985.1676639},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/QuammenKS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WangS85,
  author       = {Ching{-}Chy Wang and
                  Mary Lou Soffa},
  title        = {Eager Reclamation},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {11},
  number       = {4},
  pages        = {437--439},
  year         = {1985},
  url          = {https://doi.org/10.1109/TSE.1985.232232},
  doi          = {10.1109/TSE.1985.232232},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/WangS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PollockS85,
  author       = {Lori L. Pollock and
                  Mary Lou Soffa},
  editor       = {Mary S. Van Deusen and
                  Zvi Galil and
                  Brian K. Reid},
  title        = {Incremental Compilation of Locally Optimized Code},
  booktitle    = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
                  of Programming Languages, New Orleans, Louisiana, USA, January 1985},
  pages        = {152--164},
  publisher    = {{ACM} Press},
  year         = {1985},
  url          = {https://doi.org/10.1145/318593.318629},
  doi          = {10.1145/318593.318629},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/PollockS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/0001S85,
  author       = {Rajiv Gupta and
                  Mary Lou Soffa},
  editor       = {John G. P. Barnes and
                  Gerald A. Fisher},
  title        = {The efficiency of storage management schemes for Ada programs},
  booktitle    = {Proceedings of the 1985 Annual {ACM} SIGAda International Conference
                  on Ada, SIGAda 1985, Paris, France, May 14-16, 1985},
  pages        = {164--172},
  publisher    = {Cambridge University Press},
  year         = {1985},
  url          = {https://dl.acm.org/doi/10.1145/324426.324390},
  doi          = {10.1145/324426.324390},
  timestamp    = {Wed, 04 May 2022 13:02:17 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/0001S85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/LaforaS84,
  author       = {Fernando Lafora and
                  Mary Lou Soffa},
  title        = {Reverse Execution in a Generalized Control Regime},
  journal      = {Comput. Lang.},
  volume       = {9},
  number       = {3/4},
  pages        = {183--192},
  year         = {1984},
  url          = {https://doi.org/10.1016/0096-0551(84)90004-3},
  doi          = {10.1016/0096-0551(84)90004-3},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/LaforaS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KearnsS83,
  author       = {John P. Kearns and
                  Mary Lou Soffa},
  title        = {The Implementation of Retention in a Coroutine Environment},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {221--233},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00265556},
  doi          = {10.1007/BF00265556},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KearnsS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/CoonKS83,
  author       = {Lawrence A. Coon and
                  John P. Kearns and
                  Mary Lou Soffa},
  title        = {The Contraction of Control Implementations},
  journal      = {Comput. Lang.},
  volume       = {8},
  number       = {1},
  pages        = {15--25},
  year         = {1983},
  url          = {https://doi.org/10.1016/0096-0551(83)90003-6},
  doi          = {10.1016/0096-0551(83)90003-6},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/CoonKS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bit/Soffa82,
  author       = {Mary Lou Soffa},
  title        = {Control Discipline Necessity: Making the Language as General as the
                  Implementation},
  journal      = {{BIT}},
  volume       = {22},
  number       = {2},
  pages        = {169--182},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF01944475},
  doi          = {10.1007/BF01944475},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bit/Soffa82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KearnsMS82,
  author       = {John P. Kearns and
                  Carol J. Meier and
                  Mary Lou Soffa},
  title        = {The Performance Evaluation of Control Implementations},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {8},
  number       = {2},
  pages        = {89--96},
  year         = {1982},
  url          = {https://doi.org/10.1109/TSE.1982.234951},
  doi          = {10.1109/TSE.1982.234951},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/KearnsMS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LindstromS81,
  author       = {Gary Lindstrom and
                  Mary Lou Soffa},
  title        = {Referencing and Retention in Block-Structured Coroutines},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {3},
  number       = {3},
  pages        = {263--292},
  year         = {1981},
  url          = {https://doi.org/10.1145/357139.357143},
  doi          = {10.1145/357139.357143},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/LindstromS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/PauliS80,
  author       = {W. Pauli and
                  Mary Lou Soffa},
  title        = {Coroutine Behaviour and Implementation},
  journal      = {Softw. Pract. Exp.},
  volume       = {10},
  number       = {3},
  pages        = {189--204},
  year         = {1980},
  url          = {https://doi.org/10.1002/spe.4380100305},
  doi          = {10.1002/SPE.4380100305},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/PauliS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/RobinsonS80,
  author       = {Sally S. Robinson and
                  Mary Lou Soffa},
  editor       = {Virgil Wallentine and
                  William G. Bulgren},
  title        = {An instructional aid for student programs},
  booktitle    = {Proceedings of the 11th {SIGCSE} Technical Symposium on Computer Science
                  Education, {SIGCSE} 1980, Kansas City, MO, USA, February 14-15, 1980},
  pages        = {118--129},
  publisher    = {{ACM}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800140.804623},
  doi          = {10.1145/800140.804623},
  timestamp    = {Thu, 25 Mar 2021 13:23:13 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/RobinsonS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/LemonLS77,
  author       = {Michael J. Lemon and
                  Gary Lindstrom and
                  Mary Lou Soffa},
  editor       = {James S. Ketchel and
                  Harvey Z. Kriloff and
                  H. Blair Burner and
                  Patricia E. Crockett and
                  Robert G. Herriot and
                  George B. Houston and
                  Cathy S. Kitto},
  title        = {Control Separation in programming languages},
  booktitle    = {Proceedings of the 1977 annual conference, {ACM} '77, Seattle, Washington,
                  USA, October 16-19, 1977},
  pages        = {496--501},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800179.810245},
  doi          = {10.1145/800179.810245},
  timestamp    = {Tue, 06 Nov 2018 16:58:26 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/LemonLS77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics