Junkai Guo
Toggle navigation
about
publications
projects
(current)
CV
项目
研究与工程项目精选。
NESA 框架
结合确定性证据与不确定性证据的程序分析框架。
仓颉程序分析
面向国产编程语言工具链的程序分析框架。
行情衍生数据系统工程
交易系统中的行情衍生数据库的工程优化。