|
Research:
My primary research interests are functional programming languages
and information-flow security. In particular, I'm interested in applying
functional languages to systems applications, so that characteristics
like strong type systems and purity can be leveraged for reasoning
purposes.
Current activities include:
- testing and documenting my Haskell implementation of the
L4 microkernel, which is finally basically complete
- searching for a thesis topic
|
|
|
Publications:
-
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.
|
|