Ulf Norell

Research Engineer at Computing Science

Contact Details

Publications (16)
Projects (0)

Showing 16 publications

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 proceeding

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 proceeding

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 proceeding

2015

Attribute grammars in Erlang

Ulf Norell, Alex Gerdes

Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang, p. 1-12

Paper in proceeding

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 proceeding

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 proceeding

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 proceeding

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

Other 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 proceeding

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-

Other conference contribution

2007

Towards a practical programming language based on dependent type theory

Ulf Norell

Doctoral thesis

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 proceeding

2005

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

Thierry Coquand, Andreas Abel, Ulf Norell

FroCos 2005, p. 285-301

Paper in proceeding

2004

Implementing Functional Generic Programming

Ulf Norell

Licentiate thesis

2004

Polytypic Programming in Haskell

Ulf Norell, Patrik Jansson

Implementation of Functional Languages. Vol. LNCS (3145), p. 168-184

Paper in proceeding

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

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.