A picture of me

Hello! That’s (a slightly younger version of) me over there to the right. ☛

I am a researcher at the functional programming division of the Computer Science and Engineering department at Chalmers University of Technology. My research often focuses on exploiting property-based testing (for example discovering, proving, and explaining properties); I also have a side-line in automated reasoning.

Finding me etc.

Publications

  • Quick specifications for the busy programmer with Moa Johansson, Koen Claessen and Maximilian Algehed, accepted for publication in JFP. [pdf | jfp | website].

  • Encoding monomorphic and polymorphic types, with Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu. Logical Methods in Computer Science. [pdf | lmcs].

  • Find more bugs with QuickCheck! with John Hughes, Ulf Norell, Thomas Arts. Automation of Software Test 2016. [pdf | acm].

  • TIP: tools for inductive provers with Dan Rosén. LPAR 2015. [pdf | springer | website].

  • Linking Unit Tests and Properties with Alex Gerdes, John Hughes, Thomas Arts. Erlang workshop 2015. [paper | acm].

  • TIP: tons of inductive problems with Koen Claessen, Moa Johansson, Dan Rosén. CICM 2015. [pdf | springer | website].

  • Hipster: integrating theory exploration in a proof assistant, with Moa Johansson, Dan Rosén, Koen Claessen. CICM 2014 (awarded best paper, Calculemus track). [pdf | springer | arxiv | website].

  • An expressive semantics of mocking, with Josef Svenningsson, Hans Svensson, Thomas Arts, Ulf Norell, John Hughes. FASE 2014. [pdf | tech report | Agda source code | springer].

  • Encoding monomorphic and polymorphic types, with Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu. TACAS 2013.
    [pdf | draft report | springer]. Extended version in my PhD thesis.

  • Automating inductive proofs using theory exploration (a.k.a. HipSpec), with Koen Claessen, Moa Johansson, Dan Rosén. CADE 2013.
    [pdf | springer]. Also in my PhD thesis.

  • Accelerating race condition detection through procrastination, with Thomas Arts, John Hughes, Ulf Norell, Hans Svensson. Erlang Workshop 2011.
    [pdf | acm]. Extended version in my PhD thesis.

  • Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic (a.k.a. monkeys and bananas), with Koen Claessen, Ann Lillieström. CADE 2011.
    [pdf | springer | website]. Also in my PhD thesis.

  • QuickSpec: guessing formal specifications using testing, with Koen Claessen, John Hughes. Tests and Proofs 2010.
    [pdf | acm | website]. Extended version in my PhD thesis.

  • Ranking programs using black box testing, with Koen Claessen, John Hughes, Michał Pałka, Hans Svensson. Automation of Software Test 2010.
    [pdf | acm]. Extended version in my lic.

  • Finding race conditions in Erlang with QuickCheck and PULSE, with Thomas Arts, Koen Claessen, John Hughes, Michał Pałka, Hans Svensson, Ulf Wiger. ICFP 2009.
    [pdf | acm]. Extended version in my PhD thesis.

Some software

Miscellaneous