Jean Yang
Affiliations:- Akita Software, Inc., San Mateo, USA
- Carnegie Mellon University, Pittsburgh, PA, USA (since 2016)
- Harvard University, Harvard Medical School, Boston, MA, USA (2015 - 2016)
- Massachusetts Institute of Technology, Cambridge, MA, USA (PhD 2015)
According to our database1,
Jean Yang
authored at least 17 papers
between 2011 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on github.com
-
on jeanyang.com
On csauthors.net:
Bibliography
2022
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022
2021
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021
2020
How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications.
Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020
Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020
2018
2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
2015
2014
2013
Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013
2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
2011
Safe to the last instruction: automated verification of a type-safe operating system.
Commun. ACM, 2011