Address:
Department of Computer Science
Portland State University
P.O. Box 751
Portland, Oregon 97207
Email:
Rebekah Leslie
I'm a second year 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.
My primary research interests are functional programming languages and formal methods. 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 research topics include:
- implementing a version of the L4 microkernel architecture in Haskell and verifying separation for this implementation
- developing language features that make functional languages more compatible with the requirements of systems programs
- creating techniques for reasoning about dynamic, fine-grained security policies
I just completed my research proficiency exam (research based qualifier). The topic was an adaptation of John Rushby's work on intransitive noninterference to handle systems with dynamic security policies. I'm planning on putting a version of the paper here in the relatively near future.
I co-authored two papers for ICFP (download them on the papers page).
I'm presenting a poster about the L4 in Haskell work at the Symposium on Operating Systems Principles.
I really like music. My absolute favorite is Dr. Frank and his band the Mr. T Experience. Other bands of note include They Might Be Giants, the Hi-Fives, the Old 97's, the Jam, Boris the Sprinkler, Captured by Robots, Superchunk, etc.
I also like books (mostly historical/travel stuff), TV (the Simpsons!), sports, robots, watches, and hippos.