@article{BinkleyLMM09,
  title = {Identifier length and limited programmer memory},
  author = {David W. Binkley and Dawn Lawrie and Steve Maex and Christopher Morrell},
  year = {2009},
  doi = {http://dx.doi.org/10.1016/j.scico.2009.02.006},
  researchr = {http://researchr.org/publication/BinkleyLMM09},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {74},
  number = {7},
  pages = {430-445},
}

@article{HarmanHMZBDDO04,
  title = {Syntax-Directed Amorphous Slicing},
  author = {Mark Harman and Lin Hu and Malcolm Munro and Xingyuan Zhang and David W. Binkley and Sebastian Danicic and Mohammed Daoudi and Lahcen Ouarbya},
  year = {2004},
  doi = {http://dx.doi.org/10.1023/B:AUSE.0000008667.37988.11},
  tags = {slicing},
  researchr = {http://researchr.org/publication/HarmanHMZBDDO04},
  cites = {0},
  citedby = {0},
  journal = {ASE},
  volume = {11},
  number = {1},
  pages = {27-61},
}

@inproceedings{HorwitzRB88a,
  title = {Interprocedural slicing using dependence graphs (with retrospective)},
  author = {Susan Horwitz and Thomas W. Reps and David W. Binkley},
  year = {1988},
  doi = {http://doi.acm.org/10.1145/989393.989419},
  tags = {graph-rewriting, rewriting, slicing},
  researchr = {http://researchr.org/publication/HorwitzRB88a},
  cites = {0},
  citedby = {0},
  pages = {229-243},
  booktitle = {PLDI},
}

@article{MeyersB07,
  title = {An empirical study of slice-based cohesion and coupling metrics},
  author = {Timothy M. Meyers and David W. Binkley},
  year = {2007},
  doi = {http://doi.acm.org/10.1145/1314493.1314495},
  tags = {empirical, rule-based, slicing},
  researchr = {http://researchr.org/publication/MeyersB07},
  cites = {0},
  citedby = {0},
  journal = {TOSEM},
  volume = {17},
  number = {1},
}

@article{BinkleyH04:0,
  title = {Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables},
  author = {David W. Binkley and Mark Harman},
  year = {2004},
  doi = {http://csdl.computer.org/comp/trans/ts/2004/11/e0715abs.htm},
  tags = {analysis},
  researchr = {http://researchr.org/publication/BinkleyH04%3A0},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {30},
  number = {11},
  pages = {715-735},
}

@article{BinkleyKM07,
  title = {Guest Editors  Introduction to the Special Section from the International Conference on Software Maintenance and Evolution},
  author = {David W. Binkley and Rainer Koschke and Spiros Mancoridis},
  year = {2007},
  doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70765},
  tags = {software evolution, maintenance},
  researchr = {http://researchr.org/publication/BinkleyKM07},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {33},
  number = {12},
  pages = {797-798},
}

@article{MohanRBM06,
  title = {Power Optimized Design of CMOS Programmable Gain Amplifiers},
  author = {Srikanth Mohan and Arun Ravindran and David W. Binkley and Arindam Mukherjee},
  year = {2006},
  doi = {http://dx.doi.org/10.1166/jolpe.2006.057},
  tags = {program optimization, optimization, design},
  researchr = {http://researchr.org/publication/MohanRBM06},
  cites = {0},
  citedby = {0},
  journal = {jolpe},
  volume = {2},
  number = {2},
  pages = {259-270},
}

@article{BinkleyHK07,
  title = {Empirical study of optimization techniques for massive slicing},
  author = {David W. Binkley and Mark Harman and Jens Krinke},
  year = {2007},
  doi = {http://doi.acm.org/10.1145/1290520.1290523},
  tags = {empirical, optimization, slicing},
  researchr = {http://researchr.org/publication/BinkleyHK07},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {30},
  number = {1},
}

@inproceedings{HuHHB04,
  title = {Loop Squashing Transformations for Amorphous Slicing},
  author = {Lin Hu and Mark Harman and Robert M. Hierons and David W. Binkley},
  year = {2004},
  doi = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2004.26},
  tags = {transformation, slicing},
  researchr = {http://researchr.org/publication/HuHHB04},
  cites = {0},
  citedby = {0},
  pages = {152-160},
  booktitle = {wcre},
}

@inproceedings{BinkleyDJW98,
  title = {The Feedback Compiler},
  author = {David W. Binkley and Bruce Duncan and Brennan Jubb and April Wielgosz},
  year = {1998},
  doi = {http://dlib2.computer.org/conferen/iwpc/8560/pdf/85600198.pdf},
  tags = {compiler},
  researchr = {http://researchr.org/publication/BinkleyDJW98},
  cites = {0},
  citedby = {0},
  pages = {198},
  booktitle = {IWPC},
}

@inproceedings{MeyersB04,
  title = {Slice-Based Cohesion Metrics and Software Intervention},
  author = {Timothy M. Meyers and David W. Binkley},
  year = {2004},
  doi = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2004.34},
  tags = {rule-based, slicing},
  researchr = {http://researchr.org/publication/MeyersB04},
  cites = {0},
  citedby = {0},
  pages = {256-265},
  booktitle = {wcre},
}

@inproceedings{LawrieMFB06,
  title = {What s in a Name? A Study of Identifiers},
  author = {Dawn Lawrie and Christopher Morrell and Henry Feild and David W. Binkley},
  year = {2006},
  doi = {http://doi.ieeecomputersociety.org/10.1109/ICPC.2006.51},
  researchr = {http://researchr.org/publication/LawrieMFB06},
  cites = {0},
  citedby = {0},
  pages = {3-12},
  booktitle = {IWPC},
}

@inproceedings{HorwitzRB88,
  title = {Interprocedural Slicing Using Dependence Graphs},
  author = {Susan Horwitz and Thomas W. Reps and David W. Binkley},
  year = {1988},
  tags = {graph-rewriting, rewriting, slicing},
  researchr = {http://researchr.org/publication/HorwitzRB88},
  cites = {0},
  citedby = {0},
  pages = {35-46},
  booktitle = {PLDI},
}

@article{BinkleyBHT04,
  title = {Introduction},
  author = {David W. Binkley and Liz Burd and Mark Harman and Paolo Tonella},
  year = {2004},
  doi = {http://dx.doi.org/10.1023/B:SQJO.0000039789.23291.ee},
  researchr = {http://researchr.org/publication/BinkleyBHT04},
  cites = {0},
  citedby = {0},
  journal = {sqj},
  volume = {12},
  number = {4},
  pages = {293-295},
}

@article{BinkleyGHLM08,
  title = {An empirical study of the relationship between the concepts expressed in source code and dependence},
  author = {David W. Binkley and Nicolas Gold and Mark Harman and Zheng Li and Kiarash Mahdavi},
  year = {2008},
  doi = {http://dx.doi.org/10.1016/j.jss.2008.04.007},
  tags = {empirical, open-source, source-to-source},
  researchr = {http://researchr.org/publication/BinkleyGHLM08},
  cites = {0},
  citedby = {0},
  journal = {jss},
  volume = {81},
  number = {12},
  pages = {2287-2298},
}

@inproceedings{BinkleyGHLM06,
  title = {An Empirical Study of Executable Concept Slice Size},
  author = {David W. Binkley and Nicolas Gold and Mark Harman and Zheng Li and Kiarash Mahdavi},
  year = {2006},
  doi = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2006.11},
  tags = {empirical, slicing},
  researchr = {http://researchr.org/publication/BinkleyGHLM06},
  cites = {0},
  citedby = {0},
  pages = {103-114},
  booktitle = {wcre},
}

@article{BinkleyHR95,
  title = {Program Integration for Languages with Procedure Calls},
  author = {David W. Binkley and Susan Horwitz and Thomas W. Reps},
  year = {1995},
  doi = {http://doi.acm.org/10.1145/201055.201056},
  tags = {programming languages},
  researchr = {http://researchr.org/publication/BinkleyHR95},
  cites = {0},
  citedby = {0},
  journal = {TOSEM},
  volume = {4},
  number = {1},
  pages = {3-35},
}

@article{BinkleyL98,
  title = {Application of the pointer state subgraph to static program slicing},
  author = {David W. Binkley and James R. Lyle},
  year = {1998},
  doi = {http://dx.doi.org/10.1016/S0164-1212(97)00016-2},
  tags = {slicing},
  researchr = {http://researchr.org/publication/BinkleyL98},
  cites = {0},
  citedby = {0},
  journal = {jss},
  volume = {40},
  number = {1},
  pages = {17-27},
}

@article{LawrieMFB07,
  title = {Effective identifier names for comprehension and memory},
  author = {Dawn Lawrie and Christopher Morrell and Henry Feild and David W. Binkley},
  year = {2007},
  doi = {http://dx.doi.org/10.1007/s11334-007-0031-2},
  researchr = {http://researchr.org/publication/LawrieMFB07},
  cites = {0},
  citedby = {0},
  journal = {isse},
  volume = {3},
  number = {4},
  pages = {303-318},
}

@article{Binkley97,
  title = {Semantics Guided Regression Test Cost Reduction},
  author = {David W. Binkley},
  year = {1997},
  doi = {http://www.computer.org/tse/ts1997/e0498abs.htm},
  tags = {testing, semantics},
  researchr = {http://researchr.org/publication/Binkley97},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {23},
  number = {8},
  pages = {498-516},
}

@inproceedings{BinkleyDGHKK05,
  title = {Minimal Slicing and the Relationships Between Forms of Slicing},
  author = {David W. Binkley and Sebastian Danicic and Tibor Gyimóthy and Mark Harman and Ákos Kiss and Bogdan Korel},
  year = {2005},
  doi = {http://dx.doi.org/10.1109/SCAM.2005.18},
  tags = {slicing},
  researchr = {http://researchr.org/publication/BinkleyDGHKK05},
  cites = {0},
  citedby = {0},
  pages = {45-56},
  booktitle = {SCAM},
}

@inproceedings{BinkleyCHRT05,
  title = {Automated Refactoring of Object Oriented Code into Aspects},
  author = {David W. Binkley and Mariano Ceccato and Mark Harman and Filippo Ricca and Paolo Tonella},
  year = {2005},
  doi = {http://doi.ieeecomputersociety.org/10.1109/ICSM.2005.27},
  tags = {meta-objects, refactoring, Meta-Environment, meta-model, model refactoring},
  researchr = {http://researchr.org/publication/BinkleyCHRT05},
  cites = {0},
  citedby = {0},
  pages = {27-36},
  booktitle = {ICSM},
}

@article{BinkleyDHHO06,
  title = {A formal relationship between program slicing and partial evaluation},
  author = {David W. Binkley and Sebastian Danicic and Mark Harman and John Howroyd and Lahcen Ouarbya},
  year = {2006},
  doi = {http://dx.doi.org/10.1007/s00165-005-0077-6},
  tags = {partial evaluation, slicing},
  researchr = {http://researchr.org/publication/BinkleyDHHO06},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {18},
  number = {2},
  pages = {103-119},
}

@article{HarmanBD03,
  title = {Amorphous program slicing},
  author = {Mark Harman and David W. Binkley and Sebastian Danicic},
  year = {2003},
  doi = {http://dx.doi.org/10.1016/S0164-1212(02)00135-8},
  tags = {slicing},
  researchr = {http://researchr.org/publication/HarmanBD03},
  cites = {0},
  citedby = {0},
  journal = {jss},
  volume = {68},
  number = {1},
  pages = {45-64},
}

@inproceedings{LawrieFB06,
  title = {Syntactic Identifier Conciseness and Consistency},
  author = {Dawn Lawrie and Henry Feild and David W. Binkley},
  year = {2006},
  doi = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2006.31},
  tags = {consistency},
  researchr = {http://researchr.org/publication/LawrieFB06},
  cites = {0},
  citedby = {0},
  pages = {139-148},
  booktitle = {SCAM},
}

@article{HorwitzRB90,
  title = {Interprocedural Slicing Using Dependence Graphs},
  author = {Susan Horwitz and Thomas W. Reps and David W. Binkley},
  year = {1990},
  doi = {http://doi.acm.org/10.1145/77606.77608},
  tags = {graph-rewriting, rewriting, slicing},
  researchr = {http://researchr.org/publication/HorwitzRB90},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {12},
  number = {1},
  pages = {26-60},
}

@inproceedings{BinkleyH03:1,
  title = {An Empirical Study of Predicate Dependence Levels and Trends},
  author = {David W. Binkley and Mark Harman},
  year = {2003},
  doi = {http://computer.org/proceedings/icse/1877/18770330abs.htm},
  tags = {empirical},
  researchr = {http://researchr.org/publication/BinkleyH03%3A1},
  cites = {0},
  citedby = {0},
  pages = {330-340},
  booktitle = {ICSE},
}

@inproceedings{BinkleyLMM08,
  title = {Impact of Limited Memory Resources},
  author = {David W. Binkley and Dawn Lawrie and Steve Maex and Christopher Morrell},
  year = {2008},
  doi = {http://dx.doi.org/10.1109/ICPC.2008.31},
  researchr = {http://researchr.org/publication/BinkleyLMM08},
  cites = {0},
  citedby = {0},
  pages = {83-92},
  booktitle = {IWPC},
}

@article{GoldHBH05,
  title = {Unifying program slicing and concept assignment for higher-level executable source code extraction},
  author = {Nicolas E. Gold and Mark Harman and David W. Binkley and Robert M. Hierons},
  year = {2005},
  doi = {http://dx.doi.org/10.1002/spe.664},
  tags = {open-source, slicing, source-to-source},
  researchr = {http://researchr.org/publication/GoldHBH05},
  cites = {0},
  citedby = {0},
  journal = {SPE},
  volume = {35},
  number = {10},
  pages = {977-1006},
}

@inproceedings{Binkley99,
  title = {Computing Amorphous Program Slices Using Dependence Graphs},
  author = {David W. Binkley},
  year = {1999},
  doi = {http://doi.acm.org/10.1145/298151.298432},
  tags = {graph-rewriting, rewriting, slicing},
  researchr = {http://researchr.org/publication/Binkley99},
  cites = {0},
  citedby = {0},
  pages = {519-525},
  booktitle = {SAC},
}

@inproceedings{KumarMB02,
  title = {I::DDT:: Testing of Embedded CMOS SRAMs},
  author = {Suriya Ashok Kumar and Rafic Z. Makki and David W. Binkley},
  year = {2002},
  doi = {http://csdl.computer.org/comp/proceedings/date/2002/1471/00/14711117.pdf},
  tags = {testing},
  researchr = {http://researchr.org/publication/KumarMB02},
  cites = {0},
  citedby = {0},
  pages = {1117},
  booktitle = {date},
}

@inproceedings{BinkleyH03,
  title = {Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms},
  author = {David W. Binkley and Mark Harman},
  year = {2003},
  doi = {http://csdl.computer.org/comp/proceedings/scam/2003/2005/00/20050203abs.htm},
  tags = {graph-rewriting, open-source, rewriting, optimization, rule-based, source-to-source},
  researchr = {http://researchr.org/publication/BinkleyH03},
  cites = {0},
  citedby = {0},
  pages = {203},
  booktitle = {SCAM},
}

@inproceedings{HarmanGHB02,
  title = {Code Extraction Algorithms which Unify Slicing and Concept Assignment},
  author = {Mark Harman and Nicolas Gold and Robert M. Hierons and David W. Binkley},
  year = {2002},
  doi = {http://computer.org/proceedings/wcre/1799/17990011abs.htm},
  tags = {slicing},
  researchr = {http://researchr.org/publication/HarmanGHB02},
  cites = {0},
  citedby = {0},
  pages = {11-21},
  booktitle = {wcre},
}

@article{BinkleyH04,
  title = {A survey of empirical results on program slicing},
  author = {David W. Binkley and Mark Harman},
  year = {2004},
  tags = {empirical, survey, slicing},
  researchr = {http://researchr.org/publication/BinkleyH04},
  cites = {0},
  citedby = {0},
  journal = {ac},
  volume = {62},
  pages = {106-179},
}

@inproceedings{BinkleyGHLM08:0,
  title = {Evaluating Key Statements Analysis},
  author = {David W. Binkley and Nicolas Gold and Mark Harman and Zheng Li and Kiarash Mahdavi},
  year = {2008},
  doi = {http://dx.doi.org/10.1109/SCAM.2008.40},
  tags = {analysis},
  researchr = {http://researchr.org/publication/BinkleyGHLM08%3A0},
  cites = {0},
  citedby = {0},
  pages = {121-130},
  booktitle = {SCAM},
}

@inproceedings{FotyB00,
  title = {MOSFET modeling and circuit design: re-establishing a lost connection (tutorial)},
  author = {Daniel Foty and David W. Binkley},
  year = {2000},
  doi = {http://doi.acm.org/10.1145/337292.337579},
  tags = {modeling, design},
  researchr = {http://researchr.org/publication/FotyB00},
  cites = {0},
  citedby = {0},
  pages = {560},
  booktitle = {dac},
}

@inproceedings{HorwitzRBBFGHHMRS09,
  title = {Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science},
  author = {Susan Horwitz and Susan H. Rodger and Maureen Biggers and David W. Binkley and C. Kolin Frantz and Dawn Gundermann and Susanne E. Hambrusch and Steven Huss-Lederman and Ethan V. Munson and Barbara G. Ryder and Monica Sweat},
  year = {2009},
  doi = {http://doi.acm.org/10.1145/1508865.1508925},
  tags = {e-science, peer-to-peer, C++, source-to-source},
  researchr = {http://researchr.org/publication/HorwitzRBBFGHHMRS09},
  cites = {0},
  citedby = {0},
  pages = {163-167},
  booktitle = {sigcse},
}

@article{McMinnBH09,
  title = {Empirical evaluation of a nesting testability transformation for evolutionary testing},
  author = {Phil McMinn and David W. Binkley and Mark Harman},
  year = {2009},
  doi = {http://doi.acm.org/10.1145/1525880.1525884},
  tags = {empirical, testing, transformation},
  researchr = {http://researchr.org/publication/McMinnBH09},
  cites = {0},
  citedby = {0},
  journal = {TOSEM},
  volume = {18},
  number = {3},
}
@proceedings{dagstuhl:2005P5451,
  title = {Beyond Program Slicing, 06.11. - 11.11.2005},
  year = {2006},
  tags = {slicing},
  researchr = {http://researchr.org/publication/dagstuhl%3A2005P5451},
  cites = {0},
  citedby = {0},
  booktitle = {Beyond Program Slicing, 06.11. - 11.11.2005},
  conference = {dagstuhl},
  editor = {David W. Binkley and Mark Harman and Jens Krinke},
  volume = {05451},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}