To the top

Page Manager: Webmaster
Last update: 4/19/2017 1:56 PM

Tell a friend about this page
Print version

Ulf Norell - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Ulf Norell

Principal research engineer

Ulf Norell
Principal research engineer
ulf.norell@gu.se
+46 31-772 1054

Room number: 6466
Visiting Address: Rännvägen 6b , 41258 Göteborg


Computer Science (CS) at Department of Computer Science and Engineering (More Information)
412 96 Göteborg
0317721000
Visiting Address: Rännvägen 6B , 412 58 Göteborg

Latest publications

Find More Bugs with QuickCheck!
John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts
11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016), Conference paper 2016
Conference paper

Mysteries of Dropbox: Property-based Testing of a Distributed Synchronization Service
John Hughes, Benjamin Pierce, Thomas Arts, Ulf Norell
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016, Conference paper 2016
Conference paper

Attribute grammars in Erlang
Ulf Norell, Alex Gerdes
Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang, Conference paper 2015
Conference paper

An expressive semantics of mocking
Josef Svenningsson, H.E. Svensson, Nicholas Smallbone, T. Arts, Ulf Norell et al.
Lecture Notes in Computer Science: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Conference paper 2014
Conference paper

Interactive programming with dependent types
Ulf Norell
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, ACM, Conference paper 2013
Conference paper

Accelerating race condition detection through procrastination
Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, Conference paper 2011
Conference paper

Parsing mixfix operators
Nils Anders Danielsson, Ulf Norell
Lecture Notes in Computer Science, 20th International Symposium on Implementation and Application of Functional Languages, IFL 2008, Hatfield, 10 September through 12 September 2008, Conference paper 2011
Conference paper

Using temporal relations to specify and test an instant messaging server
John Hughes, Ulf Norell, J. Sautret
Proceedings - International Conference on Software Engineering , Conference contribution 2010
Conference contribution

A Brief Overview of Agda - A Functional Language with Dependent Types
Ana Bove, Peter Dybjer, Ulf Norell
Theorem Proving in Higher Order Logics , Conference contribution 2009
Conference contribution

Towards a practical programming language based on dependent type theory
Ulf Norell
Göteborg, Chalmers University of Technology, Doctoral thesis 2007
Doctoral thesis

Showing 1 - 10 of 15

2016

Find More Bugs with QuickCheck!
John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts
11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016), Conference paper 2016
Conference paper

Mysteries of Dropbox: Property-based Testing of a Distributed Synchronization Service
John Hughes, Benjamin Pierce, Thomas Arts, Ulf Norell
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016, Conference paper 2016
Conference paper

2015

Attribute grammars in Erlang
Ulf Norell, Alex Gerdes
Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang, Conference paper 2015
Conference paper

2014

An expressive semantics of mocking
Josef Svenningsson, H.E. Svensson, Nicholas Smallbone, T. Arts, Ulf Norell et al.
Lecture Notes in Computer Science: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Conference paper 2014
Conference paper

2013

Interactive programming with dependent types
Ulf Norell
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, ACM, Conference paper 2013
Conference paper

2011

Accelerating race condition detection through procrastination
Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, Conference paper 2011
Conference paper

Parsing mixfix operators
Nils Anders Danielsson, Ulf Norell
Lecture Notes in Computer Science, 20th International Symposium on Implementation and Application of Functional Languages, IFL 2008, Hatfield, 10 September through 12 September 2008, Conference paper 2011
Conference paper

2010

Using temporal relations to specify and test an instant messaging server
John Hughes, Ulf Norell, J. Sautret
Proceedings - International Conference on Software Engineering , Conference contribution 2010
Conference contribution

2009

A Brief Overview of Agda - A Functional Language with Dependent Types
Ana Bove, Peter Dybjer, Ulf Norell
Theorem Proving in Higher Order Logics , Conference contribution 2009
Conference contribution

2007

Towards a practical programming language based on dependent type theory
Ulf Norell
Göteborg, Chalmers University of Technology, Doctoral thesis 2007
Doctoral thesis

Showing 1 - 10 of 15

Page Manager: Webmaster|Last update: 4/19/2017
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?