Ulf Norell

Forskningsingenjör vid Computing Science

Källa: chalmers.se

Kontaktuppgifter

Publikationer (16)
Projekt (0)

Visar 16 publikationer

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

2015

Attribute grammars in Erlang

Ulf Norell, Alex Gerdes

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

Paper i 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 i 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 LNCS, p. 385-399

Paper i 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 i 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 i 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

Övrigt konferensbidrag

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 i 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-

Övrigt konferensbidrag

2007

Towards a practical programming language based on dependent type theory

Ulf Norell

Doktorsavhandling

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

2005

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

Thierry Coquand, Andreas Abel, Ulf Norell

FroCos 2005, p. 285-301

Paper i proceeding

2004

Implementing Functional Generic Programming

Ulf Norell

Licentiatavhandling

2004

Polytypic Programming in Haskell

Ulf Norell, Patrik Jansson

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

Paper i 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

Artikel i vetenskaplig tidskrift

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Ulf Norell medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.