| 2025 | UIST | Denicek: Computational Substrate for Document-Oriented End-User Programming. | Tomas Petricek, Jonathan Edwards |
| 2022 | Onward | Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical System. | Joel Jakubovic, Tomas Petricek |
| 2021 | OOPSLA | Programming as architecture, design, and urban planning. | Tomas Petricek |
| 2017 | ECOOP | Data Exploration through Dot-driven Development. | Tomas Petricek |
| 2016 | PLDI | Types from data: making structured data first-class citizens in F#. | Tomas Petricek, Gustavo Guerra, Don Syme |
| 2015 | OOPSLA | Against a universal definition of 'Type'. | Tomas Petricek |
| 2014 | HASKELL | Embedding effect systems in Haskell. | Dominic A. Orchard, Tomas Petricek |
| 2014 | ICFP | Coeffects: a calculus of context-dependent computation. | Tomas Petricek, Dominic A. Orchard, Alan Mycroft |
| 2014 | PADL | The F# Computation Expression Zoo. | Tomas Petricek, Don Syme |
| 2013 | ICALP | Coeffects: Unified Static Analysis of Context-Dependence. | Tomas Petricek, Dominic A. Orchard, Alan Mycroft |
| 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 |