David W. Binkley - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2009

2008

2007

2006

A formal relationship between program slicing and partial evaluationDavid W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya. fac, 18(2):103-119, 2006. [doi]

Beyond Program Slicing, 06.11. - 11.11.2005David W. Binkley, Mark Harman, Jens Krinke, editors, Volume 05451 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.

An Empirical Study of Executable Concept Slice SizeDavid W. Binkley, Nicolas Gold, Mark Harman, Zheng Li, Kiarash Mahdavi. WCRE 2006: 103-114 [doi]

Syntactic Identifier Conciseness and ConsistencyDawn Lawrie, Henry Feild, David W. Binkley. SCAM 2006: 139-148 [doi]

What s in a Name? A Study of IdentifiersDawn Lawrie, Christopher Morrell, Henry Feild, David W. Binkley. IWPC 2006: 3-12 [doi]

Power Optimized Design of CMOS Programmable Gain AmplifiersSrikanth Mohan, Arun Ravindran, David W. Binkley, Arindam Mukherjee. jolpe, 2(2):259-270, 2006. [doi]

2005

2004

2003

An Empirical Study of Predicate Dependence Levels and TrendsDavid W. Binkley, Mark Harman. ICSE 2003: 330-340 [doi]

Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability AlgorithmsDavid W. Binkley, Mark Harman. SCAM 2003: 203 [doi]

Amorphous program slicingMark Harman, David W. Binkley, Sebastian Danicic. jss, 68(1):45-64, 2003. [doi]

2002

Code Extraction Algorithms which Unify Slicing and Concept AssignmentMark Harman, Nicolas Gold, Robert M. Hierons, David W. Binkley. WCRE 2002: 11-21 [doi]

I::DDT:: Testing of Embedded CMOS SRAMsSuriya Ashok Kumar, Rafic Z. Makki, David W. Binkley. date 2002: 1117 [doi]

2000

MOSFET modeling and circuit design: re-establishing a lost connection (tutorial)Daniel Foty, David W. Binkley. dac 2000: 560 [doi]

1999

Computing Amorphous Program Slices Using Dependence GraphsDavid W. Binkley. SAC 1999: 519-525 [doi]

1998

The Feedback CompilerDavid W. Binkley, Bruce Duncan, Brennan Jubb, April Wielgosz. IWPC 1998: 198 [doi]

Application of the pointer state subgraph to static program slicingDavid W. Binkley, James R. Lyle. jss, 40(1):17-27, 1998. [doi]

1997

Semantics Guided Regression Test Cost ReductionDavid W. Binkley. TSE, 23(8):498-516, 1997. [doi]

1995

Program Integration for Languages with Procedure CallsDavid W. Binkley, Susan Horwitz, Thomas W. Reps. TOSEM, 4(1):3-35, 1995. [doi]

1990

Interprocedural Slicing Using Dependence GraphsSusan Horwitz, Thomas W. Reps, David W. Binkley. TOPLAS, 12(1):26-60, 1990. [doi]

1988

Interprocedural slicing using dependence graphs (with retrospective)Susan Horwitz, Thomas W. Reps, David W. Binkley. PLDI 2004: 229-243 [doi]

Interprocedural Slicing Using Dependence GraphsSusan Horwitz, Thomas W. Reps, David W. Binkley. PLDI 1988: 35-46

Sign in or sign up to see more results.

runs on WebDSL