publications:
- title: "Identifier length and limited programmer memory"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Dawn Lawrie"
    link: "https://researchr.org/alias/dawn-lawrie"
  - name: "Steve Maex"
    link: "https://researchr.org/alias/steve-maex"
  - name: "Christopher Morrell"
    link: "https://researchr.org/alias/christopher-morrell"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.scico.2009.02.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2009.02.006"
  researchr: "https://researchr.org/publication/BinkleyLMM09"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "74"
  number: "7"
  pages: "430-445"
  kind: "article"
  key: "BinkleyLMM09"
- title: "Syntax-Directed Amorphous Slicing"
  author:
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Lin Hu"
    link: "https://researchr.org/alias/lin-hu"
  - name: "Malcolm Munro"
    link: "https://researchr.org/alias/malcolm-munro"
  - name: "Xingyuan Zhang"
    link: "https://researchr.org/alias/xingyuan-zhang"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Sebastian Danicic"
    link: "https://researchr.org/alias/sebastian-danicic"
  - name: "Mohammed Daoudi"
    link: "https://researchr.org/alias/mohammed-daoudi"
  - name: "Lahcen Ouarbya"
    link: "https://researchr.org/alias/lahcen-ouarbya"
  year: "2004"
  doi: "http://dx.doi.org/10.1023/B:AUSE.0000008667.37988.11"
  links:
    doi: "http://dx.doi.org/10.1023/B:AUSE.0000008667.37988.11"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/HarmanHMZBDDO04"
  cites: 0
  citedby: 0
  journal: "Automated Software Engineering"
  volume: "11"
  number: "1"
  pages: "27-61"
  kind: "article"
  key: "HarmanHMZBDDO04"
- title: "Interprocedural slicing using dependence graphs (with retrospective)"
  author:
  - name: "Susan Horwitz"
    link: "https://researchr.org/alias/susan-horwitz"
  - name: "Thomas W. Reps"
    link: "http://pages.cs.wisc.edu/~reps/"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "1988"
  doi: "http://doi.acm.org/10.1145/989393.989419"
  links:
    doi: "http://doi.acm.org/10.1145/989393.989419"
  tags:
  - "graph-rewriting"
  - "slicing"
  - "rewriting"
  researchr: "https://researchr.org/publication/HorwitzRB88a"
  cites: 0
  citedby: 0
  pages: "229-243"
  booktitle: "20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection"
  editor:
  - name: "Kathryn S. McKinley"
    link: "https://researchr.org/alias/kathryn-s.-mckinley"
  publisher: "ACM"
  isbn: "1-58113-623-4"
  kind: "inproceedings"
  key: "HorwitzRB88a"
- title: "An empirical study of slice-based cohesion and coupling metrics"
  author:
  - name: "Timothy M. Meyers"
    link: "https://researchr.org/alias/timothy-m.-meyers"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1314493.1314495"
  links:
    doi: "http://doi.acm.org/10.1145/1314493.1314495"
  tags:
  - "empirical"
  - "rule-based"
  - "slicing"
  researchr: "https://researchr.org/publication/MeyersB07"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Software Engineering Methodology"
  volume: "17"
  number: "1"
  kind: "article"
  key: "MeyersB07"
- title: "Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/trans/ts/2004/11/e0715abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/trans/ts/2004/11/e0715abs.htm"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/BinkleyH04%3A0"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "30"
  number: "11"
  pages: "715-735"
  kind: "article"
  key: "BinkleyH04:0"
- title: "Guest Editors  Introduction to the Special Section from the International Conference on Software Maintenance and Evolution"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Rainer Koschke"
    link: "http://www.informatik.uni-bremen.de/~koschke/"
  - name: "Spiros Mancoridis"
    link: "https://researchr.org/alias/spiros-mancoridis"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70765"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70765"
  tags:
  - "software evolution"
  - "maintenance"
  researchr: "https://researchr.org/publication/BinkleyKM07"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "33"
  number: "12"
  pages: "797-798"
  kind: "article"
  key: "BinkleyKM07"
- title: "Power Optimized Design of CMOS Programmable Gain Amplifiers"
  author:
  - name: "Srikanth Mohan"
    link: "https://researchr.org/alias/srikanth-mohan"
  - name: "Arun Ravindran"
    link: "https://researchr.org/alias/arun-ravindran"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Arindam Mukherjee"
    link: "https://researchr.org/alias/arindam-mukherjee"
  year: "2006"
  doi: "http://dx.doi.org/10.1166/jolpe.2006.057"
  links:
    doi: "http://dx.doi.org/10.1166/jolpe.2006.057"
  tags:
  - "optimization"
  - "program optimization"
  - "design"
  researchr: "https://researchr.org/publication/MohanRBM06"
  cites: 0
  citedby: 0
  journal: "J. Low Power Electronics"
  volume: "2"
  number: "2"
  pages: "259-270"
  kind: "article"
  key: "MohanRBM06"
- title: "Empirical study of optimization techniques for massive slicing"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Jens Krinke"
    link: "https://researchr.org/alias/jens-krinke"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1290520.1290523"
  links:
    doi: "http://doi.acm.org/10.1145/1290520.1290523"
  tags:
  - "empirical"
  - "optimization"
  - "slicing"
  researchr: "https://researchr.org/publication/BinkleyHK07"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "30"
  number: "1"
  pages: "3"
  kind: "article"
  key: "BinkleyHK07"
- title: "Loop Squashing Transformations for Amorphous Slicing"
  author:
  - name: "Lin Hu"
    link: "https://researchr.org/alias/lin-hu"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2004.26"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2004.26"
  tags:
  - "slicing"
  - "transformation"
  researchr: "https://researchr.org/publication/HuHHB04"
  cites: 0
  citedby: 0
  pages: "152-160"
  booktitle: "11th Working Conference on Reverse Engineering (WCRE 2004), 8-12 November 2004, Delft, The Netherlands"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2243-2"
  kind: "inproceedings"
  key: "HuHHB04"
- title: "The Feedback Compiler"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Bruce Duncan"
    link: "https://researchr.org/alias/bruce-duncan"
  - name: "Brennan Jubb"
    link: "https://researchr.org/alias/brennan-jubb"
  - name: "April Wielgosz"
    link: "https://researchr.org/alias/april-wielgosz"
  year: "1998"
  doi: "http://dlib2.computer.org/conferen/iwpc/8560/pdf/85600198.pdf"
  links:
    doi: "http://dlib2.computer.org/conferen/iwpc/8560/pdf/85600198.pdf"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/BinkleyDJW98"
  cites: 0
  citedby: 0
  pages: "198"
  booktitle: "6th International Workshop on Program Comprehension (IWPC  98), June 24-26, 1998, Ischia, Italy"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-8560-3"
  kind: "inproceedings"
  key: "BinkleyDJW98"
- title: "Slice-Based Cohesion Metrics and Software Intervention"
  author:
  - name: "Timothy M. Meyers"
    link: "https://researchr.org/alias/timothy-m.-meyers"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2004.34"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2004.34"
  tags:
  - "rule-based"
  - "slicing"
  researchr: "https://researchr.org/publication/MeyersB04"
  cites: 0
  citedby: 0
  pages: "256-265"
  booktitle: "11th Working Conference on Reverse Engineering (WCRE 2004), 8-12 November 2004, Delft, The Netherlands"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2243-2"
  kind: "inproceedings"
  key: "MeyersB04"
- title: "What s in a Name? A Study of Identifiers"
  author:
  - name: "Dawn Lawrie"
    link: "https://researchr.org/alias/dawn-lawrie"
  - name: "Christopher Morrell"
    link: "https://researchr.org/alias/christopher-morrell"
  - name: "Henry Feild"
    link: "https://researchr.org/alias/henry-feild"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICPC.2006.51"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICPC.2006.51"
  researchr: "https://researchr.org/publication/LawrieMFB06"
  cites: 0
  citedby: 0
  pages: "3-12"
  booktitle: "14th International Conference on Program Comprehension (ICPC 2006), 14-16 June 2006, Athens, Greece"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2601-2"
  kind: "inproceedings"
  key: "LawrieMFB06"
- title: "Interprocedural Slicing Using Dependence Graphs"
  author:
  - name: "Susan Horwitz"
    link: "https://researchr.org/alias/susan-horwitz"
  - name: "Thomas W. Reps"
    link: "http://pages.cs.wisc.edu/~reps/"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "1988"
  tags:
  - "graph-rewriting"
  - "slicing"
  - "rewriting"
  researchr: "https://researchr.org/publication/HorwitzRB88"
  cites: 0
  citedby: 0
  pages: "35-46"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "HorwitzRB88"
- title: "Introduction"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Liz Burd"
    link: "https://researchr.org/alias/liz-burd"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Paolo Tonella"
    link: "https://researchr.org/alias/paolo-tonella"
  year: "2004"
  doi: "http://dx.doi.org/10.1023/B:SQJO.0000039789.23291.ee"
  links:
    doi: "http://dx.doi.org/10.1023/B:SQJO.0000039789.23291.ee"
  researchr: "https://researchr.org/publication/BinkleyBHT04"
  cites: 0
  citedby: 0
  journal: "Software Quality Journal"
  volume: "12"
  number: "4"
  pages: "293-295"
  kind: "article"
  key: "BinkleyBHT04"
- title: "An empirical study of the relationship between the concepts expressed in source code and dependence"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Nicolas Gold"
    link: "https://researchr.org/alias/nicolas-gold"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Zheng Li"
    link: "http://cist.buct.edu.cn/zheng/"
  - name: "Kiarash Mahdavi"
    link: "https://researchr.org/alias/kiarash-mahdavi"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.jss.2008.04.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.jss.2008.04.007"
  tags:
  - "empirical"
  - "source-to-source"
  - "open-source"
  researchr: "https://researchr.org/publication/BinkleyGHLM08"
  cites: 0
  citedby: 0
  journal: "Journal of Systems and Software"
  volume: "81"
  number: "12"
  pages: "2287-2298"
  kind: "article"
  key: "BinkleyGHLM08"
- title: "An Empirical Study of Executable Concept Slice Size"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Nicolas Gold"
    link: "https://researchr.org/alias/nicolas-gold"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Zheng Li"
    link: "http://cist.buct.edu.cn/zheng/"
  - name: "Kiarash Mahdavi"
    link: "https://researchr.org/alias/kiarash-mahdavi"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2006.11"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2006.11"
  tags:
  - "empirical"
  - "slicing"
  researchr: "https://researchr.org/publication/BinkleyGHLM06"
  cites: 0
  citedby: 0
  pages: "103-114"
  booktitle: "13th Working Conference on Reverse Engineering (WCRE 2006), 23-27 October 2006, Benevento, Italy"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2719-1"
  kind: "inproceedings"
  key: "BinkleyGHLM06"
- title: "Program Integration for Languages with Procedure Calls"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Susan Horwitz"
    link: "https://researchr.org/alias/susan-horwitz"
  - name: "Thomas W. Reps"
    link: "http://pages.cs.wisc.edu/~reps/"
  year: "1995"
  doi: "http://doi.acm.org/10.1145/201055.201056"
  links:
    doi: "http://doi.acm.org/10.1145/201055.201056"
  tags:
  - "programming languages"
  researchr: "https://researchr.org/publication/BinkleyHR95"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Software Engineering Methodology"
  volume: "4"
  number: "1"
  pages: "3-35"
  kind: "article"
  key: "BinkleyHR95"
- title: "Application of the pointer state subgraph to static program slicing"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "James R. Lyle"
    link: "https://researchr.org/alias/james-r.-lyle"
  year: "1998"
  doi: "http://dx.doi.org/10.1016/S0164-1212(97)00016-2"
  links:
    doi: "http://dx.doi.org/10.1016/S0164-1212(97)00016-2"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/BinkleyL98"
  cites: 0
  citedby: 0
  journal: "Journal of Systems and Software"
  volume: "40"
  number: "1"
  pages: "17-27"
  kind: "article"
  key: "BinkleyL98"
- title: "Effective identifier names for comprehension and memory"
  author:
  - name: "Dawn Lawrie"
    link: "https://researchr.org/alias/dawn-lawrie"
  - name: "Christopher Morrell"
    link: "https://researchr.org/alias/christopher-morrell"
  - name: "Henry Feild"
    link: "https://researchr.org/alias/henry-feild"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s11334-007-0031-2"
  links:
    doi: "http://dx.doi.org/10.1007/s11334-007-0031-2"
  researchr: "https://researchr.org/publication/LawrieMFB07"
  cites: 0
  citedby: 0
  journal: "ISSE"
  volume: "3"
  number: "4"
  pages: "303-318"
  kind: "article"
  key: "LawrieMFB07"
- title: "Semantics Guided Regression Test Cost Reduction"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "1997"
  doi: "http://www.computer.org/tse/ts1997/e0498abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1997/e0498abs.htm"
  tags:
  - "semantics"
  - "testing"
  researchr: "https://researchr.org/publication/Binkley97"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "23"
  number: "8"
  pages: "498-516"
  kind: "article"
  key: "Binkley97"
- title: "Minimal Slicing and the Relationships Between Forms of Slicing"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Sebastian Danicic"
    link: "https://researchr.org/alias/sebastian-danicic"
  - name: "Tibor Gyimóthy"
    link: "https://researchr.org/alias/tibor-gyim%C3%B3thy"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Ákos Kiss"
    link: "https://researchr.org/alias/%C3%A1kos-kiss"
  - name: "Bogdan Korel"
    link: "https://researchr.org/alias/bogdan-korel"
  year: "2005"
  doi: "http://dx.doi.org/10.1109/SCAM.2005.18"
  links:
    doi: "http://dx.doi.org/10.1109/SCAM.2005.18"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/BinkleyDGHKK05"
  cites: 0
  citedby: 0
  pages: "45-56"
  booktitle: "5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September - 1 October 2005, Budapest, Hungary"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2292-0"
  kind: "inproceedings"
  key: "BinkleyDGHKK05"
- title: "Automated Refactoring of Object Oriented Code into Aspects"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mariano Ceccato"
    link: "https://researchr.org/alias/mariano-ceccato"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Filippo Ricca"
    link: "https://researchr.org/alias/filippo-ricca"
  - name: "Paolo Tonella"
    link: "https://researchr.org/alias/paolo-tonella"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICSM.2005.27"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICSM.2005.27"
  tags:
  - "meta-model"
  - "model refactoring"
  - "refactoring"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/BinkleyCHRT05"
  cites: 0
  citedby: 0
  pages: "27-36"
  booktitle: "21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2368-4"
  kind: "inproceedings"
  key: "BinkleyCHRT05"
- title: "A formal relationship between program slicing and partial evaluation"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Sebastian Danicic"
    link: "https://researchr.org/alias/sebastian-danicic"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "John Howroyd"
    link: "https://researchr.org/alias/john-howroyd"
  - name: "Lahcen Ouarbya"
    link: "https://researchr.org/alias/lahcen-ouarbya"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s00165-005-0077-6"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-005-0077-6"
  tags:
  - "slicing"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/BinkleyDHHO06"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "18"
  number: "2"
  pages: "103-119"
  kind: "article"
  key: "BinkleyDHHO06"
- title: "Amorphous program slicing"
  author:
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Sebastian Danicic"
    link: "https://researchr.org/alias/sebastian-danicic"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0164-1212(02)00135-8"
  links:
    doi: "http://dx.doi.org/10.1016/S0164-1212(02)00135-8"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/HarmanBD03"
  cites: 0
  citedby: 0
  journal: "Journal of Systems and Software"
  volume: "68"
  number: "1"
  pages: "45-64"
  kind: "article"
  key: "HarmanBD03"
- title: "Syntactic Identifier Conciseness and Consistency"
  author:
  - name: "Dawn Lawrie"
    link: "https://researchr.org/alias/dawn-lawrie"
  - name: "Henry Feild"
    link: "https://researchr.org/alias/henry-feild"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2006.31"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SCAM.2006.31"
  tags:
  - "consistency"
  researchr: "https://researchr.org/publication/LawrieFB06"
  cites: 0
  citedby: 0
  pages: "139-148"
  booktitle: "Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 27-29 September 2006, Philadelphia, Pennsylvania, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2353-6"
  kind: "inproceedings"
  key: "LawrieFB06"
- title: "Interprocedural Slicing Using Dependence Graphs"
  author:
  - name: "Susan Horwitz"
    link: "https://researchr.org/alias/susan-horwitz"
  - name: "Thomas W. Reps"
    link: "http://pages.cs.wisc.edu/~reps/"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "1990"
  doi: "http://doi.acm.org/10.1145/77606.77608"
  links:
    doi: "http://doi.acm.org/10.1145/77606.77608"
  tags:
  - "graph-rewriting"
  - "slicing"
  - "rewriting"
  researchr: "https://researchr.org/publication/HorwitzRB90"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "12"
  number: "1"
  pages: "26-60"
  kind: "article"
  key: "HorwitzRB90"
- title: "An Empirical Study of Predicate Dependence Levels and Trends"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  year: "2003"
  doi: "http://computer.org/proceedings/icse/1877/18770330abs.htm"
  links:
    doi: "http://computer.org/proceedings/icse/1877/18770330abs.htm"
  tags:
  - "empirical"
  researchr: "https://researchr.org/publication/BinkleyH03%3A1"
  cites: 0
  citedby: 0
  pages: "330-340"
  booktitle: "Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "BinkleyH03:1"
- title: "Impact of Limited Memory Resources"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Dawn Lawrie"
    link: "https://researchr.org/alias/dawn-lawrie"
  - name: "Steve Maex"
    link: "https://researchr.org/alias/steve-maex"
  - name: "Christopher Morrell"
    link: "https://researchr.org/alias/christopher-morrell"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/ICPC.2008.31"
  links:
    doi: "http://dx.doi.org/10.1109/ICPC.2008.31"
  researchr: "https://researchr.org/publication/BinkleyLMM08"
  cites: 0
  citedby: 0
  pages: "83-92"
  booktitle: "The 16th IEEE International Conference on Program Comprehension, ICPC 2008, Amsterdam, The Netherlands, June 10-13, 2008"
  editor:
  - name: "René L. Krikhaar"
    link: "https://researchr.org/alias/ren%C3%A9-l.-krikhaar"
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  - name: "Chris Verhoef"
    link: "http://www.cs.vu.nl/~x/"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "BinkleyLMM08"
- title: "Unifying program slicing and concept assignment for higher-level executable source code extraction"
  author:
  - name: "Nicolas E. Gold"
    link: "https://researchr.org/alias/nicolas-e.-gold"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  year: "2005"
  doi: "http://dx.doi.org/10.1002/spe.664"
  links:
    doi: "http://dx.doi.org/10.1002/spe.664"
  tags:
  - "source-to-source"
  - "slicing"
  - "open-source"
  researchr: "https://researchr.org/publication/GoldHBH05"
  cites: 0
  citedby: 0
  journal: "Software: Practice and Experience"
  volume: "35"
  number: "10"
  pages: "977-1006"
  kind: "article"
  key: "GoldHBH05"
- title: "Computing Amorphous Program Slices Using Dependence Graphs"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/298151.298432"
  links:
    doi: "http://doi.acm.org/10.1145/298151.298432"
  tags:
  - "graph-rewriting"
  - "slicing"
  - "rewriting"
  researchr: "https://researchr.org/publication/Binkley99"
  cites: 0
  citedby: 0
  pages: "519-525"
  booktitle: "SAC"
  kind: "inproceedings"
  key: "Binkley99"
- title: "I::DDT:: Testing of Embedded CMOS SRAMs"
  author:
  - name: "Suriya Ashok Kumar"
    link: "https://researchr.org/alias/suriya-ashok-kumar"
  - name: "Rafic Z. Makki"
    link: "https://researchr.org/alias/rafic-z.-makki"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "2002"
  doi: "http://csdl.computer.org/comp/proceedings/date/2002/1471/00/14711117.pdf"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/date/2002/1471/00/14711117.pdf"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/KumarMB02"
  cites: 0
  citedby: 0
  pages: "1117"
  booktitle: "2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1471-5"
  kind: "inproceedings"
  key: "KumarMB02"
- title: "Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/scam/2003/2005/00/20050203abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/scam/2003/2005/00/20050203abs.htm"
  tags:
  - "optimization"
  - "rule-based"
  - "source-to-source"
  - "graph-rewriting"
  - "rewriting"
  - "open-source"
  researchr: "https://researchr.org/publication/BinkleyH03"
  cites: 0
  citedby: 0
  pages: "203"
  booktitle: "3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2005-7"
  kind: "inproceedings"
  key: "BinkleyH03"
- title: "Code Extraction Algorithms which Unify Slicing and Concept Assignment"
  author:
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Nicolas Gold"
    link: "https://researchr.org/alias/nicolas-gold"
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "2002"
  doi: "http://computer.org/proceedings/wcre/1799/17990011abs.htm"
  links:
    doi: "http://computer.org/proceedings/wcre/1799/17990011abs.htm"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/HarmanGHB02"
  cites: 0
  citedby: 0
  pages: "11-21"
  booktitle: "9th Working Conference on Reverse Engineering (WCRE 2002), 28 October - 1 November 2002, Richmond, VA, USA"
  editor:
  - name: "Arie  van Deursen"
    link: "http://www.st.ewi.tudelft.nl/~arie/"
  - name: "Elizabeth Burd"
    link: "https://researchr.org/alias/elizabeth-burd"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1799-4"
  kind: "inproceedings"
  key: "HarmanGHB02"
- title: "A survey of empirical results on program slicing"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  year: "2004"
  tags:
  - "empirical"
  - "survey"
  - "slicing"
  researchr: "https://researchr.org/publication/BinkleyH04"
  cites: 0
  citedby: 0
  journal: "Advances in Computers"
  volume: "62"
  pages: "106-179"
  kind: "article"
  key: "BinkleyH04"
- title: "Evaluating Key Statements Analysis"
  author:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Nicolas Gold"
    link: "https://researchr.org/alias/nicolas-gold"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Zheng Li"
    link: "http://cist.buct.edu.cn/zheng/"
  - name: "Kiarash Mahdavi"
    link: "https://researchr.org/alias/kiarash-mahdavi"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/SCAM.2008.40"
  links:
    doi: "http://dx.doi.org/10.1109/SCAM.2008.40"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/BinkleyGHLM08%3A0"
  cites: 0
  citedby: 0
  pages: "121-130"
  booktitle: "Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 28-29 September 2008, Beijing, China"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "BinkleyGHLM08:0"
- title: "MOSFET modeling and circuit design: re-establishing a lost connection (tutorial)"
  author:
  - name: "Daniel Foty"
    link: "https://researchr.org/alias/daniel-foty"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/337292.337579"
  links:
    doi: "http://doi.acm.org/10.1145/337292.337579"
  tags:
  - "modeling"
  - "design"
  researchr: "https://researchr.org/publication/FotyB00"
  cites: 0
  citedby: 0
  pages: "560"
  booktitle: "DAC"
  kind: "inproceedings"
  key: "FotyB00"
- title: "Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science"
  author:
  - name: "Susan Horwitz"
    link: "https://researchr.org/alias/susan-horwitz"
  - name: "Susan H. Rodger"
    link: "https://researchr.org/alias/susan-h.-rodger"
  - name: "Maureen Biggers"
    link: "https://researchr.org/alias/maureen-biggers"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "C. Kolin Frantz"
    link: "https://researchr.org/alias/c.-kolin-frantz"
  - name: "Dawn Gundermann"
    link: "https://researchr.org/alias/dawn-gundermann"
  - name: "Susanne E. Hambrusch"
    link: "https://researchr.org/alias/susanne-e.-hambrusch"
  - name: "Steven Huss-Lederman"
    link: "https://researchr.org/alias/steven-huss-lederman"
  - name: "Ethan V. Munson"
    link: "https://researchr.org/alias/ethan-v.-munson"
  - name: "Barbara G. Ryder"
    link: "https://researchr.org/alias/barbara-g.-ryder"
  - name: "Monica Sweat"
    link: "https://researchr.org/alias/monica-sweat"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1508865.1508925"
  links:
    doi: "http://doi.acm.org/10.1145/1508865.1508925"
  tags:
  - "source-to-source"
  - "C++"
  - "e-science"
  - "peer-to-peer"
  researchr: "https://researchr.org/publication/HorwitzRBBFGHHMRS09"
  cites: 0
  citedby: 0
  pages: "163-167"
  booktitle: "Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2009, Chattanooga, TN, USA, March 4-7, 2009"
  editor:
  - name: "Sue Fitzgerald"
    link: "https://researchr.org/alias/sue-fitzgerald"
  - name: "Mark Guzdial"
    link: "https://researchr.org/alias/mark-guzdial"
  - name: "Gary Lewandowski"
    link: "https://researchr.org/alias/gary-lewandowski"
  - name: "Steven A. Wolfman"
    link: "https://researchr.org/alias/steven-a.-wolfman"
  publisher: "ACM"
  isbn: "978-1-60558-183-5"
  kind: "inproceedings"
  key: "HorwitzRBBFGHHMRS09"
- title: "Empirical evaluation of a nesting testability transformation for evolutionary testing"
  author:
  - name: "Phil McMinn"
    link: "https://researchr.org/alias/phil-mcminn"
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1525880.1525884"
  links:
    doi: "http://doi.acm.org/10.1145/1525880.1525884"
  tags:
  - "empirical"
  - "testing"
  - "transformation"
  researchr: "https://researchr.org/publication/McMinnBH09"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Software Engineering Methodology"
  volume: "18"
  number: "3"
  kind: "article"
  key: "McMinnBH09"
- title: "Beyond Program Slicing, 06.11. - 11.11.2005"
  year: "2006"
  tags:
  - "slicing"
  researchr: "https://researchr.org/publication/dagstuhl%3A2005P5451"
  cites: 0
  citedby: 0
  booktitle: "Beyond Program Slicing, 06.11. - 11.11.2005"
  conference: "Dagstuhl"
  editor:
  - name: "David W. Binkley"
    link: "http://www.cs.loyola.edu/~binkley/"
  - name: "Mark Harman"
    link: "http://www.dcs.kcl.ac.uk/staff/mark/"
  - name: "Jens Krinke"
    link: "https://researchr.org/alias/jens-krinke"
  volume: "05451"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "proceedings"
  key: "dagstuhl:2005P5451"