| 2022 | ICSE | Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries. | Quentin Stivenart, David W. Binkley, Coen De Roover |
| 2021 | SCAM | QSES: Quasi-Static Executable Slices. | Quentin Stivenart, David W. Binkley, Coen De Roover |
| 2019 | SCAM | MOAD: Modeling Observation-Based Approximate Dependency. | Seongmin Lee, David W. Binkley, Robert Feldt, Nicolas Gold, Shin Yoo |
| 2018 | ICSA | Modeling for Stakeholder Engagement. | Tom Lusco, David W. Binkley, Ron Ice |
| 2018 | ICSE | MOBS: multi-operator observation-based slicing using lexical approximation of program dependence. | Seongmin Lee, David W. Binkley, Nicolas Gold, Syed S. Islam, Jens Krinke, Shin Yoo |
| 2018 | SIGCSE | Change Impact using Dynamic History Analysis: (Abstract Only). | Sydney Pugh, David W. Binkley |
| 2018 | SCAM | [Research Paper] The Case for Adaptive Change Recommendation. | Sydney Pugh, David W. Binkley, Leon Moonen |
| 2017 | SCAM | Tree-Oriented vs. Line-Oriented Observation-Based Slicing. | David W. Binkley, Nicolas Gold, Syed S. Islam, Jens Krinke, Shin Yoo |
| 2016 | SCAM | A Case for Software Specific Natural Language Techniques. | David W. Binkley, Dawn J. Lawrie |
| 2015 | SCAM | ORBS and the limits of static slicing. | David W. Binkley, Nicolas E. Gold, Mark Harman, Syed S. Islam, Jens Krinke, Shin Yoo |
| 2014 | SCAM | Seeing Is Slicing: Observation Based Slicing of Picture Description Languages. | Shin Yoo, David W. Binkley, Roger D. Eastman |
| 2013 | ICSE | 1st international workshop on natural language analysis in software engineering (NaturaLiSE 2013). | Lori L. Pollock, David W. Binkley, Dawn J. Lawrie, Emily Hill, Rocco Oliveto, Gabriele Bavota, Alberto Bacchelli |
| 2013 | MSR | A dataset for evaluating identifier splitters. | David W. Binkley, Dawn J. Lawrie, Lori L. Pollock, Emily Hill, K. Vijay-Shanker |
| 2011 | ICSE | Model projection: simplifying models in response to restricting the environment. | Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li |
| 2011 | MSR | Improving identifier informativeness using part of speech information. | David W. Binkley, Matthew Hearn, Dawn J. Lawrie |
| 2010 | MSR | Cloning and copying between GNOME projects. | Jens Krinke, Nicolas Gold, Yue Jia, David W. Binkley |
| 2009 | SIGCSE | Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science. | Susan Horwitz, Susan H. Rodger, Maureen Biggers, David W. Binkley, C. Kolin Frantz, Dawn Gundermann, Susanne E. Hambrusch, Steven Huss-Lederman, Ethan V. Munson, Barbara G. Ryder, Monica Sweat |
| 2009 | SCAM | Identifying 'Linchpin Vertices' That Cause Large Dependence Clusters. | David W. Binkley, Mark Harman |
| 2008 | SCAM | Evaluating Key Statements Analysis. | David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi |
| 2007 | ICSE | Source Code Analysis: A Road Map. | David W. Binkley |
| 2007 | SCAM | Extracting Meaning from Abbreviated Identifiers. | Dawn J. Lawrie, Henry Feild, David W. Binkley |
| 2006 | ISSTA | The species per path approach to SearchBased test data generation. | Phil McMinn, Mark Harman, David W. Binkley, Paolo Tonella |
| 2006 | SCAM | Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation. | David W. Binkley, Mark Harman, Jens Krinke |
| 2006 | SCAM | Stop-List Slicing. | Keith B. Gallagher, David W. Binkley, Mark Harman |
| 2006 | SCAM | Syntactic Identifier Conciseness and Consistency. | Dawn J. Lawrie, Henry Feild, David W. Binkley |
| 2005 | SCAM | Minimal Slicing and the Relationships Between Forms of Slicing. | David W. Binkley, Sebastian Danicic, Tibor Gyimthy, Mark Harman, kos Kiss, Bogdan Korel |
| 2005 | SCAM | Forward slices are smaller than backward slices. | David W. Binkley, Mark Harman |
| 2004 | ISSTA | Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. | Andr Baresel, David W. Binkley, Mark Harman, Bogdan Korel |
| 2004 | SCAM | Formalizing Executable Dynamic and Forward Slicing. | David W. Binkley, Sebastian Danicic, Tibor Gyimthy, Mark Harman, kos Kiss, Lahcen Ouarbya |
| 2004 | SCAM | Amorphous Procedure Extraction. | Mark Harman, David W. Binkley, Ranjit Singh, Robert M. Hierons |
| 2003 | ICSE | An Empirical Study of Predicate Dependence Levels and Trends. | David W. Binkley, Mark Harman |
| 2003 | SCAM | Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms. | David W. Binkley, Mark Harman |
| 2001 | SCAM | Flow Insensitive Points-To Sets. | Paul Anderson, David W. Binkley, Genevieve Rosay, Tim Teitelbaum |
| 1999 | SAC | Computing Amorphous Program Slices Using Dependence Graphs. | David W. Binkley |
| 1997 | SAC | Crozzle: an NP-complete problem. | David W. Binkley, Bradley M. Kuhn |
| 1996 | SAC | An enabling optimization for C++ virtual functions. | Bradley M. Kuhn, David W. Binkley |
| 1994 | CC | Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model. | David W. Binkley |
| 1988 | PLDI | Interprocedural Slicing Using Dependence Graphs. | Susan Horwitz, Thomas W. Reps, David W. Binkley |
| 1988 | PLDI | Interprocedural slicing using dependence graphs (with retrospective) | Susan Horwitz, Thomas W. Reps, David W. Binkley |