Yao Dong

PhD Student
Department of Computer Science
Rensselaer Polytechnic Institute
110 8th Street, Troy, NY 12180-3590
Office: Lally Hall 09A
Email: dongy6 AT rpi DOT edu

I am a PhD student majoring in Computer Science at Rensselaer Polytechnic Institute. My advisor is Professor Ana Milanova.

Publications:

  • Yao Dong, Ana Milanova and Julian Dolby "JCrypt: Towards Computation over Encrypted Data", Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (PPPJ '16) [pdf], August 2016. Copyright ACM.

  • Ana Milanova and Yao Dong "Inference and Checking of Object Immutability", Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (PPPJ '16) [pdf], August 2016. Copyright ACM.

  • Yao Dong "Static Analysis and Program Transformation for Secure Computation on the Cloud", ISSTA 2015 Doctoral Symposium. [pdf]

  • Wei Huang, Yao Dong, Ana Milanova and Julian Dolby "Scalable and Precise Taint Analysis for Android", Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2015) [pdf], July 2015. Copyright ACM. [Technical Report]

  • Sadid Hasan, Xianshu Zhu, Yao Dong, Joey Liu and Oladimeji Farri "A Hybrid Approach to Clinical Question Answering", The Twenty-Third Text REtrieval Conference Proceedings (TREC), November 2014. [pdf]

  • Ana Milanova, Wei Huang and Yao Dong, "CFL-Reachability and Context-sensitive Integrity Types", Proceedings of ACM Conference on Principles and Practice of Programming in Java (PPPJ 2014), September 2014. Copyright ACM. [pdf]

  • Wei Huang, Yao Dong and Ana Milanova, "Type-based Taint Analysis for Java Web Applications", Proceedings of European Conference on Fundamental Approaches to Sofware Engineering (FASE 2014), April 2014. Copyright Springer. [pdf] [Technical Report]