Edward Z. Yang

Identifiers

• name variant Edward Z. Yang 0.60 · backfill

Papers (2)

1. IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) cs.PL · 2015 · author #3
2. MirrorShard: Proof by Computational Reflection with Verified Hints cs.PL · 2013 · author #5

Mentions

• 1501.04132 #3 · backfill · confidence 0.70 Edward Z. Yang
• 1305.6543 #5 · backfill · confidence 0.70 Edward Z. Yang

Frequent Coauthors

• Adam Chlipala 1 shared papers
• Alejandro Russo 1 shared papers
• Deian Stefan 1 shared papers
• Gregory Malecha 1 shared papers
• John C. Mitchell 1 shared papers
• Patrick Hulin 1 shared papers
• Stefan Heule 1 shared papers
• Thomas Braibant 1 shared papers