Products


Appetizer 移动开发 DevOps 平台


AEVIOU Chinese Text Input(AEVIOU中文滑行输入法)


云平台构建


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

Comments