Resume
Academic Achievements
- PhD thesis: 'Backpack: Towards Practical Mix-in Linking in Haskell', June 2017.
- Published 'Efficient communication and Collection with Compact Normal Forms' at ICFP 2015.
- Published 'IFC Inside: Retrofitting Languages with Dynamic Information Flow Control' at POST 2015.
- Published 'Protecting Users by Confining JavaScript with COWL' at OSDI 2014.
- Published 'Dynamic Space Limits for Haskell' at PLDI 2014.
- Awarded 'Distinction in Teaching' for teaching CS242 'Programming Languages' at Stanford University.
- Contributed to numerous open-source projects including GHC, Cabal, HTML Purifier, COWL, and Logitext.