Publications in collaboration with researchers from University of St Andrews (3)

2017

  1. Multi-messenger observations of a binary neutron star merger

    Astrophysical Journal Letters, Vol. 848, Núm. 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)