| 2020 | APLAS | A Set-Based Context Model for Program Analysis. | Leandro Facchinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro |
| 2017 | MEMOCODE | Using the coq theorem prover to verify complex data structure invariants. | Kenneth Roe, Scott F. Smith |
| 2017 | SAS | Relative Store Fragments for Singleton Abstraction. | Leandro Facchinetti, Zachary Palmer, Scott F. Smith |
| 2016 | ECOOP | Higher-Order Demand-Driven Program Analysis. | Zachary Palmer, Scott F. Smith |
| 2016 | ITP | CoqPIE: An IDE Aimed at Improving Proof Development Productivity - (Rough Diamond). | Kenneth Roe, Scott F. Smith |
| 2014 | APLAS | Types for Flexible Objects. | Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott F. Smith |
| 2013 | GPCE | Scalaness/nesT: type specialized staged programming for sensor networks. | Peter C. Chapin, Christian Skalka, Scott F. Smith, Michael Watson |
| 2011 | OOPSLA | Backstage Java: making a difference in metaprogramming. | Zachary Palmer, Scott F. Smith |
| 2010 | OOPSLA | Task types for pervasive atomicity. | Aditya Kulkarni, Yu David Liu, Scott F. Smith |
| 2009 | ICFP | Type-specialized staged programming with process separation. | Yu David Liu, Christian Skalka, Scott F. Smith |
| 2008 | APLAS | Sound and Complete Type Inference for a Systems Programming Language. | Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith |
| 2008 | CC | Coqa: Concurrent Objects with Quantized Atomicity. | Yu David Liu, Xiaoqi Lu, Scott F. Smith |
| 2008 | ICMLA | RNA Search Acceleration with Genetic Algorithm Generated Decision Trees. | Scott F. Smith |
| 2007 | APLAS | The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. | Paritosh Shroff, Christian Skalka, Scott F. Smith |
| 2007 | CIBCB | RNA Gene Finding with Biased Mutation Operators. | Scott F. Smith |
| 2007 | PLDI | Improving usability of information flow security in java. | Scott F. Smith, Mark Thober |
| 2006 | CEC | Accelerated Non-coding RNA Searches with Covariance Model Approximations. | Scott F. Smith |
| 2006 | CIBCB | Covariance Searches for ncRNA Gene Finding. | Scott F. Smith |
| 2006 | OOPSLA | A formal framework for component deployment. | Yu David Liu, Scott F. Smith |
| 2006 | PLDI | A microkernel virtual machine: : building security with clear interfaces. | Xiaoqi Lu, Scott F. Smith |
| 2006 | PLDI | Refactoring programs to secure information flows. | Scott F. Smith, Mark Thober |
| 2005 | CEC | Searching for protein classification features. | Scott F. Smith |
| 2005 | CIBCB | Truncated Profile Hidden Markov Models. | Scott F. Smith |
| 2005 | OOPSLA | Interaction-based programming with classages. | Yu David Liu, Scott F. Smith |
| 2004 | APLAS | History Effects and Verification. | Christian Skalka, Scott F. Smith |
| 2004 | CIBCB | Protein family classification using structural and sequence information. | Scott F. Smith |
| 2004 | ECOOP | Modules with Interfaces for Dynamic Linking and Communication. | Yu David Liu, Scott F. Smith |
| 2004 | PDPTA | Performance of a GALS Single-Chip Multiprocessor. | Scott F. Smith |
| 2003 | PDPTA | Bioinformatics Application of a Scalable Supercomputer-On-Chip Architecture. | Scott F. Smith, James F. Frenzel |
| 2002 | ECOOP | Modular Internet Programming with Cells. | Ran Rinat, Scott F. Smith |
| 2001 | ECOOP | Precise Constraint-Based Type Inference for Java. | Tiejun Wang, Scott F. Smith |
| 2001 | ESOP | A Systematic Approach to Static Access Control. | Franois Pottier, Christian Skalka, Scott F. Smith |
| 2000 | ESOP | Polyvariant Flow Analysis with Constrained Types. | Scott F. Smith, Tiejun Wang |
| 2000 | ICFP | Static enforcement of security with types. | Christian Skalka, Scott F. Smith |
| 1999 | OOPSLA | Correspondence Polymorphism for Object-Oriented Languages. | Ran Rinat, Menachem Magidor, Scott F. Smith |
| 1996 | SAS | Subtyping Constrained Types. | Valery Trifonov, Scott F. Smith |
| 1995 | OOPSLA | Sound Polymorphic Type Inference for Objects. | Jonathan Eifrig, Scott F. Smith, Valery Trifonov |
| 1994 | OOPSLA | Application of OOP Type Theory: State, Decidability, Integragtion. | Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico |
| 1992 | CONCUR | Towards a Theory of Actor Computation. | Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
| 1992 | CSL | A Theory of Classes for a Functional Language with Effects. | Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
| 1991 | MFPS | From Operational to Denotational Semantics. | Scott F. Smith |
| 1988 | LICS | Computational Foundations of Basic Recursive Function Theory | Robert L. Constable, Scott F. Smith |
| 1987 | LICS | Partial Objects In Constructive Type Theory | Robert L. Constable, Scott F. Smith |