Till sidans topp

Sidansvarig: Växeln
Sidan uppdaterades: 2018-11-25 19:37

Tipsa en vän
Utskriftsversion

Ulf Norell - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Ulf Norell

Forskningsingenjör 1.e

Ulf Norell
Forskningsingenjör 1.e
Akademisk grad: Doktor,
ulf.norell@gu.se
0 31-772 1054

Rumsnummer: 6466
Besöksadress: Rännvägen 6b , 41258 Göteborg


Datavetenskap (CS) vid Institutionen för data- och informationsteknik (Mer information)
412 96 Göteborg
0317721000
Besöksadress: Rännvägen 6B , 412 58 Göteborg

Senaste publikationer

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), Paper i proceeding 2016
Paper i proceeding

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, Paper i proceeding 2016
Paper i proceeding

Attribute grammars in Erlang
Ulf Norell, Alex Gerdes
Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang, Paper i proceeding 2015
Paper i proceeding

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, Paper i proceeding 2014
Paper i proceeding

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

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, Paper i proceeding 2011
Paper i proceeding

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, Paper i proceeding 2011
Paper i proceeding

Using temporal relations to specify and test an instant messaging server
John Hughes, Ulf Norell, J. Sautret
Proceedings - International Conference on Software Engineering , Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2010
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

A Brief Overview of Agda - A Functional Language with Dependent Types
Ana Bove, Peter Dybjer, Ulf Norell
Theorem Proving in Higher Order Logics , Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2009
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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

Visar 1 - 10 av 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), Paper i proceeding 2016
Paper i proceeding

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, Paper i proceeding 2016
Paper i proceeding

2015

Attribute grammars in Erlang
Ulf Norell, Alex Gerdes
Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang, Paper i proceeding 2015
Paper i proceeding

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, Paper i proceeding 2014
Paper i proceeding

2013

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

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, Paper i proceeding 2011
Paper i proceeding

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, Paper i proceeding 2011
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 , Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2010
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

2009

A Brief Overview of Agda - A Functional Language with Dependent Types
Ana Bove, Peter Dybjer, Ulf Norell
Theorem Proving in Higher Order Logics , Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2009
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

2007

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

Visar 1 - 10 av 15

Sidansvarig: Växeln|Sidan uppdaterades: 2018-11-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?