| 1994 | COMAD | Higher-Level Genericity in Object-Oriented Databases. | Klaus-Dieter Schewe, David W. Stemple, Bernhard Thalheim |
| 1992 | CADE | Uniform Traversal Combinators: Definition, Use and Properties. | Leonidas Fegaras, Tim Sheard, David W. Stemple |
| 1991 | PODS | The Expressiveness of a Family of Finite Set Languages. | Neil Immerman, Sushant Patnaik, David W. Stemple |
| 1990 | EDBT | Exceeding the Limits of Polymorphism in Database Programming Languages. | David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro |
| 1989 | OOPSLA | Panel: Inheritance: Can We Have Our Cake and Eat it, Too? | J. Eliot B. Moss, Ralf Johnson, Alan Snyder, David W. Stemple, David M. Ungar |
| 1989 | OOPSLA | Panel on Transactions in Object-Oriented Systems. | Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing |
| 1988 | SIGMOD | Resolving the Tension between Integrity and Security Using a Theorem Prover. | Subhasish Mazumdar, David W. Stemple, Tim Sheard |
| 1987 | SIGMOD | Supporting Offics Document Architectures with Constrained Types. | W. Bruce Croft, David W. Stemple |
| 1987 | SIGMOD | On the Modes and Meaning of Feedback to Transaction Designers. | David W. Stemple, Subhasish Mazumdar, Tim Sheard |
| 1986 | ICDCS | Recoverable Actions in Gutenberg. | Stephen Vinter, Krithi Ramamritham, David W. Stemple |
| 1986 | ICDE | Abstract Data Types in Databases: Specification, Manipulation and Access. | David W. Stemple, Tim Sheard, Ralph E. Bunker |
| 1985 | ICDCS | Decentralized Access Control in a Distributed System. | Krithi Ramamritham, David W. Stemple, Stephen Vinter |
| 1985 | ICSE | Database Theory for Supporting Specification-Based Database Systems Development. | David W. Stemple, Tim Sheard |
| 1985 | SIGCSE | Report on CS2 from ACM CS2 committee (panel session). | David W. Stemple, Caroline E. Wardle, Elliot B. Koffman |
| 1985 | VLDB | Coping with Complexity in Automated Reasoning about Database Systems. | Tim Sheard, David W. Stemple |
| 1984 | PODS | Specification and Verification of Abstract Database Types. | David W. Stemple, Tim Sheard |
| 1983 | SRDS | Primitives for Accessing Protected Objects. | Krithi Ramamritham, David W. Stemple, Stephen Vinter |
| 1975 | VLDB | A Data Base Management Facility for Automatic Generation of Data Base Managers. | David W. Stemple |
| 1974 | DS | On the Development of Data Base Editions. | Robert W. Taylor, David W. Stemple |