Rebekah Leslie

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Venues

Publications

Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle
SMT-Based System Verification with DVF. SMT@IJCAR (2012)
Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach
Writing systems software in a functional language: an experience report. PLOS@SOSP (2007)
Rebekah Leslie
Dynamic Intransitive Noninterference. ISSSE (2006)
Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach
A principled approach to operating system construction in Haskell. ICFP (2005)
Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie
High-level views on low-level representations. ICFP (2005)