| 2004 |
| 20 | EE | Hwei Sheng Teoh,
David B. Wortman:
Tools for Extracting Software Structure from Compiled Programs.
ICSM 2004: 526 |
| 1998 |
| 19 | | David B. Wortman:
Compiling at 1000MHz and beyond.
Systems Implementation 2000 1998: 194-206 |
| 1994 |
| 18 | | David B. Wortman,
Songnian Zhou,
S. Fink:
Automating Data Conversion for Heterogeneous Distributed Shared Memory.
Softw., Pract. Exper. 24(1): 111-125 (1994) |
| 1992 |
| 17 | | David B. Wortman,
Michael D. Junkin:
A Concurrent Compiler for Modula-2+.
PLDI 1992: 68-81 |
| 16 | EE | Songnian Zhou,
Michael Stumm,
Kai Li,
David B. Wortman:
Heterogeneous Distributed Shared Memory.
IEEE Trans. Parallel Distrib. Syst. 3(5): 540-554 (1992) |
| 1991 |
| 15 | | V. Seshadri,
David B. Wortman:
An Investigation into Concurrent Semantic Analysis.
Softw., Pract. Exper. 21(12): 1323-1348 (1991) |
| 1988 |
| 14 | | V. Seshadri,
David B. Wortman,
Michael D. Junkin,
S. Weber,
C. P. Yu,
I. Small:
Semantic Analysis in a Concurrent Compiler.
PLDI 1988: 233-240 |
| 1987 |
| 13 | | David B. Wortman:
Software Projects in an Academic Environment.
IEEE Trans. Software Eng. 13(11): 1176-1181 (1987) |
| 1982 |
| 12 | EE | Richard C. Holt,
James R. Cordy,
David B. Wortman:
An Introduction to S/SL: Syntax/Semantic Language.
ACM Trans. Program. Lang. Syst. 4(2): 149-178 (1982) |
| 11 | EE | Richard C. Holt,
David B. Wortman:
A Model for Implementing Euclid Modules and Prototypes.
ACM Trans. Program. Lang. Syst. 4(4): 552-562 (1982) |
| 1981 |
| 10 | EE | David B. Wortman,
Richard C. Holt,
James R. Cordy,
David R. Crowe,
Ian H. Griggs:
Euclid: a language for compiling quality software.
AFIPS National Computer Conference 1981: 257-263 |
| 9 | | David B. Wortman,
James R. Cordy:
Early Experiences with Euclid.
ICSE 1981: 27-33 |
| 1979 |
| 8 | EE | James R. Cordy,
Richard C. Holt,
David B. Wortman:
Semantic charts: A diagrammatic approach to semantic processing.
SIGPLAN Symposium on Compiler Construction 1979: 39-49 |
| 7 | EE | Richard C. Holt,
David B. Wortman:
A model for implementing Euclid modules and type templates.
SIGPLAN Symposium on Compiler Construction 1979: 8-12 |
| 6 | | David B. Wortman:
On Legality Assertions in Euclid.
IEEE Trans. Software Eng. 5(4): 359-367 (1979) |
| 1978 |
| 5 | EE | Richard C. Holt,
David B. Wortman,
James R. Cordy,
David R. Crowe:
The Euclid Language: a progress report.
ACM Annual Conference (1) 1978: 111-115 |
| 1977 |
| 4 | EE | Richard C. Holt,
David B. Wortman,
David T. Barnard,
James R. Cordy:
SP/k: A System for Teaching Computer Programming.
Commun. ACM 20(5): 301-309 (1977) |
| 3 | | James J. Horning,
David B. Wortman:
Software Hut: A Computer Program Engineering Project in the Form of a Game.
IEEE Trans. Software Eng. 3(4): 325-330 (1977) |
| 1976 |
| 2 | | David B. Wortman:
A Study of High-Resolution Timing.
IEEE Trans. Software Eng. 2(2): 135-137 (1976) |
| 1 | | David B. Wortman,
Philip J. Khaiat,
David M. Laskar:
Six PL/I Compilers.
Softw., Pract. Exper. 6(3): 411-422 (1976) |