Rebekah Leslie

Address: Department of Computer Science Portland State University P.O. Box 751 Portland, Oregon 97207 Email:	Rebekah Leslie
	General: 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 Programatica 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.
	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.