Ulf Norell

According to our database, Ulf Norell authored at least 19 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

IntersectMBO/formal-ledger-specifications.

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell

Dataset, November, 2024

Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda.

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2022

Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs.

Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

2016

Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service.

John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Find more bugs with QuickCheck!

John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts

Proceedings of the 11th International Workshop on Automation of Software Test, 2016

2015

Testing AUTOSAR software with QuickCheck.

Thomas Arts, John Hughes, Ulf Norell, Hans Svensson

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Attribute grammars in Erlang.

Ulf Norell, Alex Gerdes

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

2014

An Expressive Semantics of Mocking.

Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Interactive programming with dependent types.

Ulf Norell

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Testing blocking operations with QuickCheck's component library.

Ulf Norell, Hans Svensson, Thomas Arts

Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013

2011

Accelerating race condition detection through procrastination.

Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

2010

Using temporal relations to specify and test an instant messaging server.

John Hughes, Ulf Norell, Jérôme Sautret

Proceedings of the 5th Workshop on Automation of Software Test, 2010

2009

A Brief Overview of Agda - A Functional Language with Dependent Types.

Ana Bove, Peter Dybjer, Ulf Norell

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Dependently typed programming in Agda.

Ulf Norell

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

2008

Parsing Mixfix Operators.

Nils Anders Danielsson, Ulf Norell

Proceedings of the Implementation and Application of Functional Languages, 2008

2005

Verifying haskell programs using constructive type theory.

Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

Connecting a Logical Framework to a First-Order Logic Prover.

Andreas Abel, Thierry Coquand, Ulf Norell

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

2004

Prototyping Generic Programming in Template Haskell.

Ulf Norell, Patrik Jansson

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

2003

Polytypic Programming in Haskell.

Ulf Norell, Patrik Jansson

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003