Address:
Department of Computer Science
Portland State University
P.O. Box 751
Portland, Oregon 97207

Email:

Rebekah Leslie

I'm a PhD student at Portland State University. I spent my first year of graduate school at Oregon Graduate Institute (long story). I work with Mark Jones on the Hasp project. I graduated from the University of Oklahoma with a BS in Computer Engineering in 2003. While there, I worked on the Beseme project with Rex Page.

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.