| 2026 | ACL | A Study of LLMs' Preferences for Libraries and Programming Languages. | Lukas Twist, Jie M. Zhang, Mark Harman, Don Syme, Joost Noppen, Helen Yannakoudakis, Detlef D. Nauck |
| 2016 | CHI | A Live, Multiple-Representation Probabilistic Programming Environment for Novices. | Maria I. Gorinova, Advait Sarkar, Alan F. Blackwell, Don Syme |
| 2016 | PLDI | Types from data: making structured data first-class citizens in F#. | Tomas Petricek, Gustavo Guerra, Don Syme |
| 2014 | PADL | The F# Computation Expression Zoo. | Tomas Petricek, Don Syme |
| 2013 | POPL | Themes in information-rich functional programming for internet-scale data sources. | Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Tomas Petricek |
| 2011 | HASKELL | Extending monads with pattern matching. | Tomas Petricek, Alan Mycroft, Don Syme |
| 2011 | PADL | Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. | Tomas Petricek, Don Syme |
| 2011 | PADL | The F# Asynchronous Programming Model. | Don Syme, Tomas Petricek, Dmitry Lomov |
| 2007 | ICFP | Extensible pattern matching via a lightweight language extension. | Don Syme, Gregory Neverov, James Margetson |
| 2004 | POPL | Formalization of generics for the .NET common language runtime. | Dachuan Yu, Andrew Kennedy, Don Syme |
| 2002 | LPAR | Automating Type Soundness Proofs via Decision Procedures and Guided Reductions. | Don Syme, Andrew D. Gordon |
| 2001 | PLDI | Design and Implementation of Generics for the .NET Common Language Runtime. | Andrew Kennedy, Don Syme |
| 2001 | POPL | Typing a multi-language intermediate code. | Andrew D. Gordon, Don Syme |