Ulf Norell

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 4

Top Topics

Distributed Multimedia

Search Based Software Testing

Attribute Grammars

Concurrent Programming

Top Venues

Publications

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell
Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. FMBC@CAV (2024)
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. Haskell (2022)
John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts
Find more bugs with QuickCheck! AST@ICSE (2016)
John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. ICST (2016)
Ulf Norell, Alex Gerdes
Attribute grammars in Erlang. Erlang Workshop (2015)
Thomas Arts, John Hughes, Ulf Norell, Hans Svensson
Testing AUTOSAR software with QuickCheck. ICST Workshops (2015)
Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes
An Expressive Semantics of Mocking. FASE (2014)
Ulf Norell, Hans Svensson, Thomas Arts
Testing blocking operations with QuickCheck's component library. Erlang Workshop (2013)
Ulf Norell
Interactive programming with dependent types. ICFP (2013)
Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
Accelerating race condition detection through procrastination. Erlang Workshop (2011)
John Hughes, Ulf Norell, Jérôme Sautret
Using temporal relations to specify and test an instant messaging server. AST (2010)
Ana Bove, Peter Dybjer, Ulf Norell
A Brief Overview of Agda - A Functional Language with Dependent Types. TPHOLs (2009)
Ulf Norell
Dependently typed programming in Agda. TLDI (2009)
Ulf Norell
Dependently Typed Programming in Agda. Advanced Functional Programming (2008)
Nils Anders Danielsson, Ulf Norell
Parsing Mixfix Operators. IFL (2008)
Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Verifying haskell programs using constructive type theory. Haskell (2005)
Andreas Abel, Thierry Coquand, Ulf Norell
Connecting a Logical Framework to a First-Order Logic Prover. FroCoS (2005)
Ulf Norell, Patrik Jansson
Prototyping Generic Programming in Template Haskell. MPC (2004)
Ulf Norell, Patrik Jansson
Polytypic Programming in Haskell. IFL (2003)