Papers
- Writing Systems Software in a Functional Language: An Experience Report by Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, and Andrew Tolmach. Fourth Workshop on Programming Languages and Operating Systems (PLOS 2007), October 2007.
- Formalizing Information Flow in a Haskell Hypervisor by Rebekah Leslie, Levent Erkok, and Flemming Andersen. First International Workshop on Microkernels for Embedded Systems (MIKES 2007), January 2007.
- "Dynamic Intransitive Noninterference" by Rebekah Leslie. Proc. IEEE International Symposium on Secure Software Engineering, Washington, D.C., 2006.
- "High-level Views on Low-level Representations" by Iavor S. Diatchki, Mark P. Jones, and Rebekah Leslie. Proc. ACM International Conference on Functional Programming, Tallinn, Estonia, Sept. 2005.
- "A Principled Approach to Operating System Construction in Haskell" by Thomas Hallgren, Mark P. Jones, Rebekah Leslie, and Andrew Tolmach. Proc. ACM International Conference on Functional Programming, Tallinn, Estonia, Sept. 2005.
- Towards Verified Security for a Functional Microkernel by Rebekah Leslie and Mark P. Jones. Extended Abstract/Work in Progress Presentation at IEEE Symposium on Security and Privacy, May, 2005.