My undergraduate thesis in computer science at Haverford College, April 2019.
This thesis reviews several challenges in the use and implementation of faceted execution, a programming-language mechanism for enforcing privacy policies. I present a proof-of-concept of a module-rewriting technique for correctly handling mutable state in Racets, an existing implementation of faceted execution in Racket, and I discuss how static typing and abstract interpretation could improve the safety and efficiency of faceted code.
The final PDF draft of my thesis is thesis.pdf at the top-level. The tex directory contains the LaTeX and BibTeX files for my thesis. The code directory contains various files of Racket code. code/lang-as-lib/racets.rkt is the most important code file: it holds the implementation of the proof-of-concept mentioned in the abstract.