| 2022 | HASKELL | Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. | Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell |
| 2016 | ICSE | Find more bugs with QuickCheck! | John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts |
| 2016 | ICST | Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. | John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell |
| 2015 | ICST | Testing AUTOSAR software with QuickCheck. | Thomas Arts, John Hughes, Ulf Norell, Hans Svensson |
| 2014 | FASE | An Expressive Semantics of Mocking. | Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes |
| 2013 | ICFP | Interactive programming with dependent types. | Ulf Norell |
| 2010 | ICSE | Using temporal relations to specify and test an instant messaging server. | John Hughes, Ulf Norell, Jrme Sautret |
| 2005 | HASKELL | Verifying haskell programs using constructive type theory. | Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell |
| 2004 | MPC | Prototyping Generic Programming in Template Haskell. | Ulf Norell, Patrik Jansson |