| 2017 | CPP | Type-and-scope safe programs and their proofs. | Guillaume Allais, James Chapman, Conor McBride, James McKinna |
| 2017 | MFCS | Variations on Inductive-Recursive Definitions. | Neil Ghani, Conor McBride, Fredrik Nordvall Forsberg, Stephan Spahn |
| 2017 | POPL | Do be do be do. | Sam Lindley, Conor McBride, Craig McLaughlin |
| 2015 | MPC | Turing-Completeness Totally Free. | Conor McBride |
| 2013 | HASKELL | Hasochism: the pleasure and pain of dependently typed haskell programming. | Sam Lindley, Conor McBride |
| 2013 | ICFP | New equations for neutral terms: a sound and complete decision procedure, formalized. | Guillaume Allais, Conor McBride, Pierre Boutillier |
| 2013 | ICFP | Productive coprogramming with guarded recursion. | Robert Atkey, Conor McBride |
| 2013 | LICS | A Categorical Treatment of Ornaments. | Pierre-variste Dagand, Conor McBride |
| 2012 | ICFP | Transporting functions across ornaments. | Pierre-variste Dagand, Conor McBride |
| 2010 | ICFP | The gentle art of levitation. | James Chapman, Pierre-variste Dagand, Conor McBride, Peter Morris |
| 2010 | ICFP | Type Inference in Context. | Adam Gundry, Conor McBride, James McKinna |
| 2010 | ICFP | Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation. | Conor McBride |
| 2010 | ITP | Djinn, Monotonic. | Conor McBride |
| 2009 | CALCO | Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract). | Conor McBride |
| 2008 | FLOPS | Proving Properties about Lists Using Containers. | Rawle C. S. Prince, Neil Ghani, Conor McBride |
| 2008 | POPL | Clowns to the left of me, jokers to the right (pearl): dissecting data structures. | Conor McBride |
| 2004 | HASKELL | Functional pearl: i am not a number-i am a free variable. | Conor McBride, James McKinna |
| 2004 | MPC | Constructing Polymorphic Programs with Quotient Types. | Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride |