Ulf Norell

Forskningsingenjör vid Chalmers, Data- och informationsteknik, Datavetenskap

Link to personal page

Källa: chalmers.se

Visar 16 publikationer

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
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
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. Vol. 8411, p. 385-399
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
2011

Parsing mixfix operators

Nils Anders Danielsson, Ulf Norell
Lecture Notes in Computer Science. Vol. 5836, p. 80-99
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2009

Dependently typed programming in agda

Ulf Norell
Lecture Notes in Computer Science. 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-
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
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
2004

Prototyping Generic Programming in Template Haskell

Ulf Norell, Patrik Jansson
Lecture Notes in Computer Science. Vol. 3125, p. 314-333
Artikel i vetenskaplig tidskrift
2004

Polytypic Programming in Haskell

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

Implementing Functional Generic Programming

Ulf Norell
Licentiatavhandling

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

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.