Edward Z. Yang
According to our database1, Edward Z. Yang authored at least 11 papers between 2012 and 2015.
Legend:Book In proceedings Article PhD thesis Other
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version).
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control.
Proceedings of the Principles of Security and Trust - 4th International Conference, 2015
Efficient communication and collection with compact normal forms.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015
Dynamic space limits for Haskell.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014
MirrorShard: Proof by Computational Reflection with Verified Hints
Proceedings of the Algorithms and Data Structures - 13th International Symposium, 2013
Toward Principled Browser Security.
Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling.
Proceedings of the Computer Security - ESORICS 2013, 2013
mXSS attacks: attacking well-secured web-applications by using innerHTML mutations.
Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013
Profile Jeff Dean: Big data at Google.
ACM Crossroads, 2012