Publicaciones en colaboración con investigadores/as de University of St Andrews (2)

2016

  1. Kindergarten cop: Dynamic nursery resizing for GHC

    Proceedings of CC 2016: The 25th International Conference on Compiler Construction

2013

  1. Repeating history: Execution replay for parallel Haskell programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)