High-level views on low-level representations. - Iavor S. Diatchki; Mark P. Jones; Rebekah Leslie (ICFP, 2005)

A principled approach to operating system construction in Haskell. - Thomas Hallgren; Mark P. Jones; Rebekah Leslie; Andrew P. Tolmach (ICFP, 2005)

Operating system construction in Haskell. - Rebekah Leslie; Mark P. Jones (SOSP, 2005)

Dynamic Intransitive Noninterference. - Rebekah Leslie (ISSSE, 2006)

Writing systems software in a functional language: an experience report. - Iavor S. Diatchki; Thomas Hallgren; Mark P. Jones; Rebekah Leslie; Andrew Tolmach (PLOS@SOSP, 2007)

SMT-Based System Verification with DVF. - Amit Goel; Sava Krstic; Rebekah Leslie; Mark R. Tuttle (SMT@IJCAR, 2012)