Xin Zheng
xinz 在 cs.cornell.edu
Software
- Swift – A platform for secure Web applications
- Crystal – A program analysis framework for C written in Java
Publications
- Demand-Driven Alias Analysis for C [ PDF ]Proceedings of the 35th ACM Symposium on Principles of Programming Languages (POPL'08), January 2008. Xin Zheng and Radu Rugina.
- Secure Web Applications via Automatic Partitioning [ PDF ]Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP'07), October 2007. Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng.