| 2019 | FM | Transformations for Generating Type Refinements. | Douglas R. Smith, Stephen J. Westfold |
| 2012 | FM | Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. | Srinivas Nedunuri, Douglas R. Smith, William R. Cook |
| 2010 | ICTAC | A Class of Greedy Algorithms and Its Relation to Greedoids. | Srinivas Nedunuri, Douglas R. Smith, William R. Cook |
| 2010 | MPC | Formal Derivation of Concurrent Garbage Collectors. | Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
| 2006 | GPCE | Roadmap for enhanced languages and methods to aid verification. | Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump |
| 2004 | GPCE | A Generative Approach to Aspect-Oriented Programming. | Douglas R. Smith |
| 1996 | CP | Scheduling an Asynchronously Shared Resource. | Douglas R. Smith, Stephen J. Westfold |
| 1996 | ICSE | Machine Support for Software Development (Abstract). | Douglas R. Smith |
| 1993 | LOPSTR | Towards the Synthesis of Constraint Propagation Algorithms. | Douglas R. Smith |
| 1989 | MPC | Algorithm Theories and Design Tactics. | Douglas R. Smith, Michael R. Lowry |
| 1987 | VLDB | Integrity Constraint Reformulation for Efficient Validation. | Xiaolei Qian, Douglas R. Smith |
| 1985 | IJCAI | Reasoning by Cases and the Formation of Conditional Programs. | Douglas R. Smith |
| 1983 | IJCAI | A Problem Reduction Approach to Program Synthesis. | Douglas R. Smith |
| 1982 | CADE | Derived Preconditions and Their Use in Program Synthesis. | Douglas R. Smith |
| 1981 | IJCAI | A Design for an Automatic Programming System. | Douglas R. Smith |