Úlfar's Research


I am primarily interested in programming languages and systems, and the interaction of the two. Right now I'm looking at how to best compile agents with regard to a security model, as a member of the TACOMA group, along with Greg Morrisett and Fred B. Schneider. Below are links to some things I've done in the past.

Security Policy Enforcement by Program Modifcation

Efficient Code Generation

Generic Libraries and Programming

Programming Environments

Object-Oriented Database Query Languages

Operating System Kernel Design

Interested parties can view the copyright information.