Travelled to:
1 × Russia
1 × USA
Collaborated with:
A.C.Myers G.Salvaneschi B.Liskov M.C.Loring Q.Wang J.Zhou Y.Chen J.Zhao Quinn Beightol
Talks about:
tunnel (2) safe (2) lightweight (1) javascript (1) polymorph (1) interfac (1) abstract (1) program (1) handler (1) generic (1)
Person: Yizhou Zhang
DBLP: Zhang:Yizhou
Contributed to:
Wrote 5 papers:
- PLDI-2015-ZhangLSLM #flexibility #lightweight #object-oriented
- Lightweight, flexible object-oriented generics (YZ, MCL, GS, BL, ACM), pp. 436–445.
- ESEC-FSE-2013-WangZCZZ #javascript #program analysis
- Extracting URLs from JavaScript via program analysis (QW, JZ, YC, YZ, JZ), pp. 627–630.
- OOPSLA-2017-ZhangM #interface #morphism #named #polymorphism #product line
- Familia: unifying interfaces, type classes, and family polymorphism (YZ, ACM), p. 31.
- PLDI-2016-ZhangSBLM #exception
- Accepting blame for safe tunneled exceptions (YZ, GS, QB, BL, ACM), pp. 281–295.
- POPL-2019-ZhangM
- Abstraction-safe effect handlers via tunneling (YZ, ACM), p. 29.