Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

David Hedley

dblp:40/1597 · DBLP profile ↗
← Back
8ranked-venue papers
1as first author
0since 2021 · last 2019
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 2Databases, data management, data science and information retrieval · 1Graphics, computer vision, multimedia, augmented reality and games · 1Theory of computation · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
4 papers
Software testing · 40% Program analysis · 33% Empirical software engineering · 27%

Topics — the 8 heaviest of 10, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis › control flow analysis
infeasible path detection
0.021985
The Causes and Effects of Infeasible Paths in Computer Programs · ICSE 1985
Experience with Path Analysis and Testing of Programs · IEEE Trans. Software Eng. 1980
Software testing › test coverage
path coverage
0.011985
The Causes and Effects of Infeasible Paths in Computer Programs · ICSE 1985
Program analysis
static analysis
0.011985
The Causes and Effects of Infeasible Paths in Computer Programs · ICSE 1985
Software testing
test coverage
0.011985
The Causes and Effects of Infeasible Paths in Computer Programs · ICSE 1985
Empirical software engineering › software evaluation
tool evaluation
0.011984
Assessing a Class of Software Tools · ICSE 1984
Software testing › structural testing
path testing
0.011980
Experience with Path Analysis and Testing of Programs · IEEE Trans. Software Eng. 1980
Empirical software engineering › software metrics
control flow complexity
0.011979
A Measure of Control Flow Complexity in Program Text · IEEE Trans. Software Eng. 1979
Empirical software engineering › software metrics
software complexity metrics
0.011979
A Measure of Control Flow Complexity in Program Text · IEEE Trans. Software Eng. 1979

Methods — techniques the papers use, named apart from their topics

path analysis · 0.0allegations · 0.0cyclomatic complexity · 0.0
YearPublicationVenuePosition
2019 Whole genomes define concordance of matched primary, xenograft, and organoid models of pancreas cancer
abstract
Pancreatic ductal adenocarcinoma (PDAC) has the worst prognosis among solid malignancies and improved therapeutic strategies are needed to improve outcomes. Patient-derived xenografts (PDX) and patient-derived organoids (PDO) serve as promising tools to identify new drugs with therapeutic potential in PDAC. For these preclinical disease models to be effective, they should both recapitulate the molecular heterogeneity of PDAC and validate patient-specific therapeutic sensitivities. To date however, deep characterization of the molecular heterogeneity of PDAC PDX and PDO models and comparison with matched human tumour remains largely unaddressed at the whole genome level. We conducted a comprehensive assessment of the genetic landscape of 16 whole-genome pairs of tumours and matched PDX, from primary PDAC and liver metastasis, including a unique cohort of 5 'trios' of matched primary tumour, PDX, and PDO. We developed a pipeline to score concordance between PDAC models and their paired human tumours for genomic events, including mutations, structural variations, and copy number variations. Tumour-model comparisons of mutations displayed single-gene concordance across major PDAC driver genes, but relatively poor agreement across the greater mutational load. Genome-wide and chromosome-centric analysis of structural variation (SV) events highlights previously unrecognized concordance across chromosomes that demonstrate clustered SV events. We found that polyploidy presented a major challenge when assessing copy number changes; however, ploidy-corrected copy number states suggest good agreement between donor-model pairs. Collectively, our investigations highlight that while PDXs and PDOs may serve as tractable and transplantable systems for probing the molecular properties of PDAC, these models may best serve selective analyses across different levels of genomic complexity.
Deena M. A. Gendoo, Robert E. Denroche, Nikolina Radulovich, Gun Ho Jang, Mathieu Lemire, Sandra Fischer, Dianne Chadwick, Ilinca M. Lungu, Emin Ibrahimov, Ping-Jiang Cao, Lincoln Stein, Julie M. Wilson, John M. S. Bartlett, Ming-Sound Tsao, Neesha Dhani, David Hedley, Steven Gallinger, Benjamin Haibe-Kains
PLoS Comput. Biol.17
1998 Interactive Animation of Soft Shadows
abstract
Shadows are of great importance to computer graphics, especially for interactive animation due to the visual cues which they provide. Most research in the field of dynamic shadowing has focussed on shadows from point light sources, since they are much easier to compute than those from area light sources. This means that such shadows have sharp boundaries, and so often appear to be unrealistic. We present an algorithm which enables the interactive animation of shadows due to area light sources which have been computed using discontinuity meshing. The results in the paper show that it can be used interactively, and more importantly that it has good scalability characteristics with more complex scenes.
Adam D. Worrall, David Hedley, Derek J. Paddon
CA2
1985 The Causes and Effects of Infeasible Paths in Computer Programs
David Hedley, Michael A. Hennell
ICSE1
1984 Assessing a Class of Software Tools
Michael A. Hennell, David Hedley, I. J. Riddell
ICSE2
1980 Experience with Path Analysis and Testing of Programs
abstract
There are a number of practical difficulties in performing a path testing strategy for computer programs. One problem is in deciding which paths, out of a possible infinity, to use as test cases. A hierarchy of structural test metrics is suggested to direct the choide and to monitor the coverge of test paths. Another problem is that many of the chosen paths may be infeasible in the sense that no test data can ever execute them. Experience with the use of "allegations" to circumvent this problem and prevent the static generation of many infeasible paths is reported.
Martin R. Woodward, David Hedley, Michael A. Hennell
IEEE Trans. Software Eng.2
1979 An Experimental Testbed for Numerical Software, Part 2: ALGOL 68
abstract
In this paper we describe the extension of an existing FORTRAN IV numerical software testbed (Hennell, 1978) to enable ALGOL 68 programs to be investigated. The extensions necessary were two-fold; firstly, a complete rewrite of the first phase, a static analysis in which the source text is reformatted (for reasons stated within this paper), analysed for all possible control jumps and statistics on language constructs are collected. The second major extension was to incorporate into the second phase an existing ALGOL 68 compiler which after some modification enables dynamic execution histories to be collected in a data base. These modifications to the compiler represent extensions to the language definition which enable user programs to trace themselves. The utilisation of this compiler restricts source code programs to be written in ALGOL 68s, an official ALGOL 68 subset (Hibbard, 1974). The third, analysis, phase is essentially identical in both the FORTRAN and ALGOL 68 systems.
Michael A. Hennell, David Hedley
Comput. J.2
1979 A Measure of Control Flow Complexity in Program Text
abstract
This paper discusses the need for measures of complexity and unstructuredness of programs. A simple language independent concept is put forward as a measure of control flow complexity in program text and is then developed for use as a measure of unstructuredness. The proposed metric is compared with other metrics, the most notable of which is the cyclomatic complexity measure. Some experience with automatic tools for obtaining these metrics is reported.
Martin R. Woodward, Michael A. Hennell, David Hedley
IEEE Trans. Software Eng.3
1976 On Program Analysis
Michael A. Hennell, Martin R. Woodward, David Hedley
Inf. Process. Lett.3