Dongxi Liu
Researcher

RESEARCH INTERESTS

• Bidirectional Transformation Language and its Applications
• Computer Security
• Type System and Program Verification

EMPLOYMENT HISTORY

Researcher, PSD Project
University of Tokyo, Feb 2004 - present

Research Fellow
National University of Singapore, Dec 2002 - Dec 2003

EDUCATION

• Ph.D in Computer Science, Shanghai Jiao Tong University, July 2003
• ME in Computer Science, Taiyuan University of Technology, May 1999
• BE in Computer Science, Taiyuan University of Technology, July 1996

SOME PUBLICATIONS

• Towards Automatic Model Synchronization from Model Transformations
  Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi and Hong Mei
  Proc. 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) , Atlanta, Georgia, USA, Nov 2007 (accepted)
  
  
• Bytecode Verification for Enhanced JVM Access Control
  Dongxi Liu
  Proc. 2nd International Conference on Availability, Reliability and Security (ARES '07), Vienna, Austria, Apr 2007
  
  
• Bidirectional Interpretation of XQuery
  Dongxi Liu, Zhenjiang Hu, and Masato Takeichi
  Proc. ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM '07), Nice, Fance, Jan 2007
  (long version)
  
  
• CSchema: A Downgrading Policy Language for XML Access Control
  Dongxi Liu
  Journal of Computer Science and Technology, 22(1):44-53, Jan 2007
  
  
• A Java Library for Bidirectional XML Transformation
  Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Kazuhiko Kakehi, and Hao Wang
  JSSST Computer Software, 24(2):164-177, May 2007
  
  

SOFTWARES

1) the bidirecitonal functional language BiXJ and the bidirecitonal XQuery here.

2) the bidirectional code query language Bi-CQ here.