The XPL compiler generator system. - William M. McKeeman; James J. Horning; Edward Clark Nelson; David B. Wortman (AFIPS Fall Joint Computing Conference (1), 1968)

A study of language directed computer design. - David B. Wortman (1972)

Programming language grammar anthology. - David B. Wortman (ACM SIGPLAN Notices, 1973)

Language directed computer performance evaluation. - David B. Wortman (ACM Annual Conference (1), 1974)

A sequence of structured subsets of PL/I. - Richard C. Holt; David B. Wortman (SIGCSE, 1974)

A note on high resolution timing. - David B. Wortman (SIGMETRICS Perform. Evaluation Rev., 1974)

Static and Dynamic Characteristics of XPL Programs. - W. Gregg Alexander; David B. Wortman (Computer, 1975)

Six PL/I Compilers. - David B. Wortman; Philip J. Khaiat; David M. Laskar (Softw. Pract. Exp., 1976)

A Study of High-Resolution Timing. - David B. Wortman (IEEE Trans. Software Eng., 1976)

Modeling and Analysis using SAINT: A combined discrete/continuous network simulation language. - David B. Wortman; Steven D. Duket; Deborah J. Seifert (WSC, 1977)

SP/k: A System for Teaching Computer Programming. - Richard C. Holt; David B. Wortman; David T. Barnard; James R. Cordy (Commun. ACM, 1977)

Software Hut: A Computer Program Engineering Project in the Form of a Game. - James J. Horning; David B. Wortman (IEEE Trans. Software Eng., 1977)

The Euclid Language: a progress report. - Richard C. Holt; David B. Wortman; James R. Cordy; David R. Crowe (ACM Annual Conference (1), 1978)

A SAINT model of the AN/TSQ-73 Guided Missle Air Defense System. - David B. Wortman; Alonzo F. Hixson III; Charles C. Jorgensen (WSC, 1978)

A rooster of XPL implementations. - David B. Wortman (ACM SIGPLAN Notices, 1978)

Semantic charts: A diagrammatic approach to semantic processing. - James R. Cordy; Richard C. Holt; David B. Wortman (SIGPLAN Symposium on Compiler Construction, 1979)

A model for implementing Euclid modules and type templates. - Richard C. Holt; David B. Wortman (SIGPLAN Symposium on Compiler Construction, 1979)

On Legality Assertions in Euclid. - David B. Wortman (IEEE Trans. Software Eng., 1979)

Euclid: a language for compiling quality software. - David B. Wortman; Richard C. Holt; James R. Cordy; David R. Crowe; Ian H. Griggs (AFIPS National Computer Conference, 1981)

Early Experiences with Euclid. - David B. Wortman; James R. Cordy (ICSE, 1981)

Graphics and simulation: tools and applications. - Robin J. Miner; Jerome D. Sabuda; David B. Wortman (WSC, 1982)

An Introduction to S/SL: Syntax/Semantic Language. - Richard C. Holt; James R. Cordy; David B. Wortman (ACM Trans. Program. Lang. Syst., 1982)

A Model for Implementing Euclid Modules and Prototypes. - Richard C. Holt; David B. Wortman (ACM Trans. Program. Lang. Syst., 1982)

Software Projects in an Academic Environment. - David B. Wortman (IEEE Trans. Software Eng., 1987)

Semantic Analysis in a Concurrent Compiler. - V. Seshadri; David B. Wortman; Michael D. Junkin; S. Weber; C. P. Yu; I. Small (PLDI, 1988)

Exception handling in scientific computing. - Thomas E. Hull; Marty S. Cohen; J. T. M. Sawshuk; David B. Wortman (ACM Trans. Math. Softw., 1988)

An Investigation into Concurrent Semantic Analysis. - V. Seshadri; David B. Wortman (Softw. Pract. Exp., 1991)

A Concurrent Compiler for Modula-2+. - David B. Wortman; Michael D. Junkin (PLDI, 1992)

Heterogeneous Distributed Shared Memory. - Songnian Zhou; Michael Stumm; Kai Li 001; David B. Wortman (IEEE Trans. Parallel Distributed Syst., 1992)

Automating Data Conversion for Heterogeneous Distributed Shared Memory. - David B. Wortman; Songnian Zhou; S. Fink (Softw. Pract. Exp., 1994)

Compiling at 1000MHz and beyond. - David B. Wortman (Systems Implementation 2000, 1998)

Tools for Extracting Software Structure from Compiled Programs. - Hwei Sheng Teoh; David B. Wortman (ICSM, 2004)