产品

Appetizer 移动开发 DevOps 平台

AEVIOU Chinese Text Input（AEVIOU中文滑行输入法）

云平台构建

  • 私有云构建项目（基于Openstack）胜利油田正在使用
  • 虚拟云桌面项目，胜利油田正在使用

SeeingeyeCran（国家大学生创新计划）

Open Source Projects

  • VMX: JOS Virtual Machine eXtansion
  • icyhttpd: High-performance web server
  • XenDebugger: A source level kernel debugger on Xen virtualization
  • ESP: A tool for locking security verification that run on JLLVM platform
  • dht-demo is a basic open source simulated implementation of the Chord protocol in Python.
  • D2FL: An open source prototype of Distributed Dynamic Fault Localization.
  • DiSL: A new domain-specific aspect language for bytecode instrumentation.International Cooperation Project with Walter Binder

Our Former Students' Products