Edward Z. Yang
ezyang@
mit.edu
cs.stanford.edu
Fifth year PhD student at Stanford University
Massachusetts Institute of Technology 2012
University of Cambridge 2011 (CME)
Résumé ∙ Curriculum Vitae ∙ Scholar
Blog ∙ Twitter ∙ G+ ∙ FB ∙ Tumblr ∙ GitHub ∙ LP
Massachusetts Institute of Technology 2012
University of Cambridge 2011 (CME)
Résumé ∙ Curriculum Vitae ∙ Scholar
Blog ∙ Twitter ∙ G+ ∙ FB ∙ Tumblr ∙ GitHub ∙ LP
 | I am a fourth year PhD student at Stanford advised by David Mazières and John Mitchell. I am a proud member of the Secure Computer Systems group. I'm interested in applying operating system mechanisms (hardware isolation, dynamic resource limits) to the design and construction of programming languages, and vice versa (type systems, formal verification, information flow control). I'm a big fan of Haskell, a non-strict purely functional language. (I use a ThinkPad X61 Tablet. Find me on |
|---|
Recent publications and pre-prints
- Edward Z. Yang, Giovanni Campagna, Ömer Ağacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan Newton. Efficient communication and Collection with Compact Normal Forms. In Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming. September 2015.
[ paper | slides ] - Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo. IFC Inside: Retrofitting Languages with Dynamic Information Flow Control. In Proceedings of 4th International Conference on Principles of Security and Trust. April 2015.
[ paper (ext) ] - Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, Dave Herman, Brad Karp, and David Mazières. Protecting Users by Confining JavaScript with COWL. In Proceedings of 11th Symposium on Operating Systems Design and Implementation. October 2014.
[ paper | bibtex ] - Edward Z. Yang, David Mazières. Dynamic Space Limits for Haskell. In Proceedings of the 35th annual ACM SIGPLAN conference on Programming Language Design and Implementation. June 2014.
[ paper | bibtex | reviews/rebuttal (aec, icfp13/rebuttal) | slides ] - See more...
Teaching
- CS242 Programming Languages
- Basic concepts and design tradeoffs related to programming languages. The first half of the course focuses on functions, types, scope, storage management, exceptions, and continuations. The second half covers object-oriented features and concurrency. Concludes with a few special-topics in programming languages.
What do I do in my free time?
- I play the oboe and am a member of the Stanford Symphony Orchestra. I quite like Martin Schuring's guide for reed adjustment.
- I play contract bridge (find me on BBO as ezyang or running the Stanford Bridge Club).
- I am a regular at Friday Night Waltz; I also square dance with the Stanford Quads (A2, learning C1).
- I help run the Bay Area Guild of Change Ringers, where we do British change ringing on handbells. We're currently in hibernation, but if you are a ringer visiting the area, do let us know.
- I'm learning stenography. I own a Sidewinder and a Stenoboard (thanks Mirabai!) If you're interested in learning, check out my starter guide, and also my learning tools the Stenomatic and the StenoWiki.
Some projects I'm associated with...
| Metro Maps of the News |
a visual metaphor for interconnected story lines |
|---|---|
| hp/D3.js | an interactive GHC heap profile pastebin |
| Logitext | an interactive textbook for teaching the sequent calculus |
| COWL | a confinement system for the web |
| GHC | a compiler for the functional language Haskell |
| HTML Purifier | a standards compliant HTML filter |
| Wizard | a distributed autoinstall management system |
| CSRF Magic | automatic protection against Cross-Site Request Forgery |
| Monad.Reader | a magazine about all things Haskell (I’m editor: send me a note if you want to write something!) |