Refereed Publications:

• Fabric: A Platform for Secure Distributed Computation and Storage. [pdf]
  The ACM Symposium on Operating Systems Principles (SOSP) 2009.
  Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, and Andrew C. Myers.
  
  
• Sharing Classes Between Families. [pdf]
  ACM SIGPLAN 2009 Conference on Programming Languages Design and Implementation (PLDI) 2009.
  Xin Qi and Andrew C. Myers.
  
  
• Building Secure Web Applications with Automatic Partitioning.
  Communications of the ACM Vol. 52, No. 2 (2009) p. 79-87.
  Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, and Xin Zheng.
  
  
• Masked Types for Sound Object Initialization. [pdf]
  The 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL) 2009.
  Xin Qi and Andrew C. Myers.
  
  
• Secure Web Applications via Automatic Partitioning. [pdf]
  The ACM Symposium on Operating Systems Principles (SOSP) 2007. Best paper award.
  Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, and Xin Zheng.
  
  
• A Unified Platform for Data Driven Web Applications with Automatic Client-Server Partitioning. [pdf]
  The 16th International World Wide Web Conference (WWW) 2007.
  Fan Yang, Nitin Gupta, Nicholas Gerner, Xin Qi, Alan Demers, Johannes Gehrke, and Jayavel Shanmugasundaram.
  
  
• J&: Nested Intersection for Scalable Software Composition. [pdf]
  ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2006.
  Nathaniel Nystrom, Xin Qi, and Andrew C. Myers.
  
  
• VLSI Module Placement with Pre-placed Modules and with Consideration of Congestion Using Solution Space Smoothing.
  IEICE Transactions Vol.E86-A No.12 (2003) p.3136-3147.
  Sheqin Dong, Xianlong Hong, Song Chen, Xin Qi, Ruijie Wang, and Jun Gu.
  
  
• VLSI Module Placement with Pre-placed Modules and Considering Congestion Using Solution Space Smoothing.
  The 8th Asia and South Pacific Design Automation Conference (ASP-DAC) 2003.
  Sheqin Dong, Xianlong Hong, Xin Qi, Ruijie Wang, Song Chen, and Jun Gu.
  
  
• Search Space Smoothing with Consideration of Local Smoothing Effect and Its Application to VLSI Module Placement.
  The 1st International Conference on Optimization Methods and Software (OMS) 2002.
  Sheqin Dong, Xin Qi, Ruijie Wang, Xianlong Hong, and Jun Gu.
  
  

Patents:

• Method and apparatus for efficient execution of interprocedural transactional memory code while maintaining safety.
  US Patent Pending DN/20080243943, Mar 2007.
  Shih-wei Liao, Xin Qi, Chen Fu, and Wei Li.
  
  

Technical Reports:

• Masked Types.
  Computing and Information Science Technical Reports, http://hdl.handle.net/1813/11563, Cornell University, Oct 2008.
  Xin Qi and Andrew C. Myers.
  
  
• Sharing Classes Between Families.
  Computing and Information Science Technical Reports, http://hdl.handle.net/1813/12141, Cornell University, Mar 2009.
  Xin Qi and Andrew C. Myers.
  
  

Thesis:

• Language Support for Reliable, Extensible Large-Scale Software Systems. [pdf]
  PhD Thesis, Cornell University, Feb 2010.
  Xin Qi.
  
  

The documents available here are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis.  Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically.  It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright.  These works may not be reposted without the explicit permission of the copyright holder.