Evaluation algorithms and optimization techniques for many

Projects

扩展正则表达式的安全性问题研究，国家自然科学基金面上项目 2024.01- 2027.12

Multi-model synthesis of anti-ReDoS regular expressions (regexes). Funded by Beijing Natural Science Foundation 2023.1-2025.12

抗ReDoS攻击多模态正则表达式合成方法研究，北京市自然科学基金面上项目 2023.1-2025.12

正则表达式拒绝服务漏洞的检测与修复，中国科学院网络评测技术重点实验室开放课题基金2022.3-2024.3
Research on theoretical issues and applications for regular expressions with counting and interleaving. Funded by NSFC 2019.1-2022.12

支持计数与无序的扩展表达式的理论问题与应用研究，国家自然科学基金面上项目 2019.1-2022.12

Research on theorectical issues and tools for deterministic regular expressions and their subclasses. Funded by NSFC 2015.1-2018.12

确定性表达式及其子类的理论问题与工具研究，国家自然科学基金面上项目 2015.1-2018.12

Unranked tree-structured data and semantically defined type systems. Funded by NSFC 2011.1-2013.12

无秩树结构数据和语义多态类型系统的研究，国家自然科学基金 2011.1-2013.12

软件形式化方法，国家自然科学基金委创新研究群体科学基金，参加 2005.1–2010.12

Development of supercompilation methods for a typed functional language. Funded by NSFC 2008.1-2009.12

一种函数式类型语言的SUPERCOMPILATION方法研究，国家自然科学基金合作研究项目NSFC-RFBR(中俄) 2008.1-2009.12

Models and validation issues of grammar-based systems. Funded by NSFC 2006.1-2008.12

基于文法的系统的模型和检验问题研究，国家自然科学基金 2006.1-2008.12

Extended study of recursive functions of context free languages. Funded by NSFC 2003.1-2005.12

上下文无关语言的递归函数理论的后续研究，国家自然科学基金，参加 2003.1-2005.12

Evaluation algorithms and optimization techniques for many-sorted recursive function. Funded by NSFC 2002.1-2004.12

多种类递归函数的求值算法和优化技术研究，国家自然科学基金 2002.1-2004.12 被评为优

Specification testing techniques, Funded by Inst of Software (2001.10-2003.9), and CAS (2001.8-2004.7)

形式规约的测试技术研究，软件所基础研究课题基金 (2001.10-2003.9), 中国科学院知识创新工程项目 (子课题负责人, 2001.8-2004.7)

软件设计方法研究，中国科学院高技术研究与发展重点项目 2001.8-2004.7

Study of recursive functions of context free languages. Funded by NSFC 1999.1-2001.12

上下文无关语言上的递归函数研究，国家自然科学基金，参加 1999.1-2001.12

To be listed ...