Jean Yang

发表

Peter Bailis, Vijay Janapa Reddi, Yuhao Zhu, 2016, CACM.

Juan Chen, Pierre-Yves Strub, Nikhil Swamy, 2011, Journal of Functional Programming.

Peter Bailis, Vijay Janapa Reddi, Yuhao Zhu, 2016, ACM Queue.

Juan Chen, Pierre-Yves Strub, Nikhil Swamy, 2013, J. Funct. Program..

Deian Stefan, Ranjit Jhala, Nadia Polikarpova, 2021, OSDI.

Matt Fredrikson, Jean Yang, Abhishek Bichhawat, 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).

Armando Solar-Lezama, Deian Stefan, Nadia Polikarpova, 2016, Proc. ACM Program. Lang..