Ulf Norell

Forskningsingenjör at Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Link to personal page

Source: chalmers.se

Showing 16 publications

2016

Find More Bugs with QuickCheck!

John Hughes, Ulf Norell, Nicholas Smallbone et al
11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016), p. 71-77
Paper in proceedings
2016

Mysteries of Dropbox: Property-based Testing of a Distributed Synchronization Service

John Hughes, Benjamin C. Pierce, Thomas Arts et al
Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, p. 135-145
Paper in proceedings
2015

Attribute grammars in Erlang

Ulf Norell, Alex Gerdes
Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang, p. 1-12
Paper in proceedings
2015

Testing AUTOSAR software with QuickCheck

Thomas Arts, John Hughes, Ulf Norell et al
2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings
Paper in proceedings
2014

An expressive semantics of mocking

Josef Svenningsson, Hans Svensson, Nicholas Smallbone et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8411, p. 385-399
Paper in proceedings
2011

Accelerating race condition detection through procrastination

Thomas Arts, John Hughes, Ulf Norell et al
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, p. 14-22
Paper in proceedings
2011

Parsing mixfix operators

Nils Anders Danielsson, Ulf Norell
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5836, p. 80-99
Paper in proceedings
2010

Using temporal relations to specify and test an instant messaging server

John Hughes, Ulf Norell, J. Sautret
Proceedings - International Conference on Software Engineering, p. 95-102
Conference contribution
2009

Dependently typed programming in agda

Ulf Norell
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5832 LNCS, p. 230-266
Paper in proceedings
2009

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

Ana Bove, Peter Dybjer, Ulf Norell
Theorem Proving in Higher Order Logics. Vol. 5674 (LNCS), p. 73--78-
Conference contribution
2005

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

Thierry Coquand, Andreas Abel, Ulf Norell
FroCos 2005, p. 285-301
Paper in proceedings
2005

Verifying Haskell Programs Using Constructive Type Theory

Andreas Abel, Marcin Benke, Ana Bove et al
Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell
Paper in proceedings
2004

Prototyping Generic Programming in Template Haskell

Ulf Norell, Patrik Jansson
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3125, p. 314-333
Journal article
2004

Polytypic Programming in Haskell

Ulf Norell, Patrik Jansson
Implementation of Functional Languages. Vol. LNCS (3145), p. 168-184
Paper in proceedings
2004

Implementing Functional Generic Programming

Ulf Norell
Licentiate thesis

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Ulf Norell participates, but you have to be logged in as a Chalmers employee to see them.