My primary research interests are operating systems and functional programming
languages. In particular, I'm interested in applying techniques from
functional programming to systems applications so that characteristics like
memory safety, strong type systems, and purity can be leveraged for reasoning
purposes. I'm also interested in information-flow security, which was a major
focus of my early work during my PhD.
Current activities include:
- implementing a new design of my memory safe abstraction layer for
writing operating systems in Haskell (download a tech report describing a
nearly final version of the design here)
- formulating an abstract model of memory safety
- porting my implementation of the L4 microkernel,
to the new abstraction layer
- preparing for my thesis proposal defense
Writing Systems Software in a Functional Language: An
Experience Report. Iavor S. Diatchki, Thomas Hallgren, Mark P.
Jones, Rebekah Leslie, and Andrew Tolmach. In Proceedings
of the Fourth Workshop on Programming Languages and Operating
Systems (PLOS 2007), October 2007.
Formalizing Information Flow in a Haskell Hypervisor.
Rebekah Leslie, Levent Erkok, and Flemming Andersen. In
Proceedings of the First International Workshop on
Microkernels for Embedded Systems (MIKES 2007), January 2007.
Dynamic Intransitive Noninterference. Rebekah Leslie.
In Proceedings of the IEEE International Symposium on Secure
Software Engineering, Washington, D.C., March 2006.
High-level Views on Low-level Representations. Iavor S.
Diatchki, Mark P. Jones, and Rebekah Leslie. In Proceedings
of the ACM International Conference on Functional Programming,
Tallinn, Estonia, September 2005.
A Principled Approach to Operating System Construction in
Haskell. Thomas Hallgren, Mark P. Jones, Rebekah Leslie,
and Andrew Tolmach. In Proceedings of the ACM International
Conference on Functional Programming, Tallinn, Estonia,
Estonia, September 2005.