Edward Z. Yang
ezyang@
mit.edu
cs.stanford.edu
First 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
Massachusetts Institute of Technology 2012
University of Cambridge 2011 (CME)
Résumé ∙ Curriculum Vitae ∙ Scholar
Blog ∙ Twitter ∙ G+ ∙ FB ∙ Tumblr ∙ GitHub
| 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 |
| 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!) |
 | I am a first year PhD student at Stanford advised by David Mazières
in the Secure Computer Systems group.
I'm interested in applying operating system mechanisms (hardware
isolation, dynamic resource limits) to the design and construction
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. You can find me on freenode as ezyang,
or on any of these websites: Stack Overflow, Wikipedia, Tripit, Reddit, LinkedIn, Mendeley.)
|
| What are my collaborators and I working on? | |
| a category-theoretic approach to parallel loop optimizations
there are a huge number of ad-hoc loop optimizations in the literature. we're looking at using category theory to provide a framework for optimizations that is more principled than existing rewrite systems. | |
| an investigation of the sociological principles of API design
social coding websites like GitHub offer a corpus of code of unprecedented size; with this data, can we find out how developers use APIs in practice, and how we can construct newer, safer APIs that they are likely to adopt? | |
| λP,S | a programming language for computing on encrypted data
homomorphic encryption requires computation to be oblivious: flow control can never depend on secret data. how do you program in such a setting, and what data structures can you implement? Here is some prior work. |
What do I do in my free time?
- I play the oboe and am a member of the Stanford Symphony Orchestra.
- I help run the Bay Area Guild of Change Ringers, where we do British change ringing on handbells.
- I play contract bridge (find me on BBO as ezyang or at the Stanford Bridge Club).
Recent publications
- Erik D. Demaine, Pavel Panchekha, David Wilson, Edward Z. Yang. Blame Trees. In Proceedings of the 12th International Symposium on Algorithms and Data Structures (WADS 2013). To appear.
[ draft | bibtex ] - Edward Z. Yang, David Mazières. Resource Limits for Haskell. Under submission.
[ draft | bibtex | site ] - Gregory Malecha, Adam Chlipala, Thomas Braibant, Patrick Hulin, Edward Z. Yang. Formal Verification of an Extensible Theorem Prover. Under submission.
[ draft | bibtex ] - Edward Z. Yang, Deian Stefan, John Mitchell, David Mazières, Petr Marchenko, Brad Karp. Toward Principled Browser Security. In Proceedings of The 14th Workshop on Hot Topics in Operating Systems (HotOS XIV), USENIX 2013. May 2013.
[ paper | bibtex ] - Edward Z. Yang. Academic software reuse, an experience report. 6.UAP report advised by Adam Chlipala. May 2012.
[ paper | bibtex ]