Ulf Norell - RankMe

20 papers A 2B 2C 2Journal 1Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	The Agda standard library: version 2.0. J. Open Source Softw. Matthew L. Daggitt, Guillaume Allais, James McKinna, Andreas Abel, Van Doorn, Nathan, James Wood, Ulf Norell, Donnacha Oisín Kidney, Sergei Meshveliani, Sandro Stucki, Jacques Carette, Alex Rice, Jason Z. S. Hu, Li-yao Xia, Shu-Hung You, Reed Mullanix, Wen Kokke
2024	—	`conf`	Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. FMBC@CAV Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell
2022	C	`conf`	Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. Haskell Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell
2016	—	`conf`	Find more bugs with QuickCheck! AST@ICSE John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts
2016	A	`conf`	Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. ICST John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell
2015	—	`conf`	Attribute grammars in Erlang. Erlang Workshop Ulf Norell, Alex Gerdes
2015	—	`conf`	Testing AUTOSAR software with QuickCheck. ICST Workshops Thomas Arts, John Hughes, Ulf Norell, Hans Svensson
2014	B	`conf`	An Expressive Semantics of Mocking. FASE Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes
2013	A	`conf`	Interactive programming with dependent types. ICFP Ulf Norell
2013	—	`conf`	Testing blocking operations with QuickCheck's component library. Erlang Workshop Ulf Norell, Hans Svensson, Thomas Arts
2011	—	`conf`	Accelerating race condition detection through procrastination. Erlang Workshop Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
2010	—	`conf`	Using temporal relations to specify and test an instant messaging server. AST@ICSE John Hughes, Ulf Norell, Jérôme Sautret
2009	—	`conf`	A Brief Overview of Agda - A Functional Language with Dependent Types. TPHOLs Ana Bove, Peter Dybjer, Ulf Norell
2009	—	`conf`	Dependently typed programming in Agda. TLDI Ulf Norell
2008	—	`conf`	Dependently Typed Programming in Agda. Advanced Functional Programming Ulf Norell
2008	—	`conf`	Parsing Mixfix Operators. IFL Nils Anders Danielsson, Ulf Norell
2005	—	`conf`	Connecting a Logical Framework to a First-Order Logic Prover. FroCoS Andreas Abel, Thierry Coquand, Ulf Norell
2005	C	`conf`	Verifying haskell programs using constructive type theory. Haskell Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
2004	B	`conf`	Prototyping Generic Programming in Template Haskell. MPC Ulf Norell, Patrik Jansson
2003	—	`conf`	Polytypic Programming in Haskell. IFL Ulf Norell, Patrik Jansson