Demo Data from SIGIR 2026 / reviewers in the wild / expert
Keith Halewood
dblp:72/4764
· DBLP profile ↗
3ranked-venue papers
2as first author
0since 2021 · last 1993
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 first-authorHuman-computer interaction and ubiquitous computing · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 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
1 paper |
Compilers and program optimization · 77% Programming languages and type systems · 23% |
Topics — the 1 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Compilers and program optimization › program transformation
program derivation |
0.0 | 1 | 1993 | A Uniform Graphical View of the Program Construction Process: GRIPSE · Int. J. Man Mach. Stud. 1993 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1993 | An Algorithm to Generate Random Large Combinational CircuitsabstractThis paper describes an efficient algorithm for generating large combinational circuits (ca. 10 5 -10 6 gates). The method has been applied to construct networks for testing the performance of new VLSI chip fabrication processes and as a means of producing testbeds for assessing the average performance of digital simulation systems Colin C. Charlton, Paul E. Dunne, Keith Halewood, Paul H. Leng |
Comput. J. | 3 |
| 1993 | A Uniform Graphical View of the Program Construction Process: GRIPSE
Keith Halewood, Martin R. Woodward |
Int. J. Man Mach. Stud. | 1 |
| 1988 | NSEDIT: A Syntax-directed Editor and Testing Tool Based on Nassi-Shneiderman ChartsabstractAbstract This paper describes a programming environment for Pascal, called NSEDIT, which runs under VAX/VMS VAX/VMS is a trademark of the Digital Equipment Corporation. . NSEDIT is based upon the notion of Nassi‐Shneiderman charts (abbreviated to N‐S charts in this paper) and is designed for ease of use by novice programmers in a teaching situation. A key component of the system is the editor, which enables structural features of Pascal to be manipulated in terms of their N‐S chart box representations. Simultaneous editing of more than one program or module is permitted. Another key feature of the system is a semiautomatic interface to the VAX/VMS Pascal compiler, with subsequent display of execution counts as part of the N‐S charts. In this way users can obtain immediate feedback on the coverage of program elements by test runs, while still inside an editing session. Keith Halewood, Martin R. Woodward |
Softw. Pract. Exp. | 1 |