产品


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