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 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.

Research:

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
Publications: