Researchers interested in security often wish to introduce new primitives into a language. Extensible languages hold promise in such scenarios, but only if the extension mechanism is sufficiently safe and expressive. This paper describes several modifications to an extensible language motivated by end-to-end security concerns.

I double majored in Computer Science and Mathematics at Carthage College. As an undergraduate, I worked in Mark Mahoney’s Storyteller group and spent a summer at Carnegie Mellon working on extensible languages and security in Jonathan Aldrich’s group.