Haiming Chen

79 papers A* 8A 4B 4C 14Misc 5Journal 29Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Derivative-based algorithms for membership, k -non-emptiness, and k -non-empty complement problems in enhanced regular expressions.
J. Syst. Archit.
Mengxi Wang, Chunmei Dong, Weihao Su, Chengyao Peng, Haiming Chen
2026 J jnl
Multi-modal regular expression synthesis method based on large language models and semantics.
J. Syst. Archit.
Zipan Tang, Yixuan Yan, Rongchen Li, Hanze Dong, Bo Sun, Haiming Chen, Hongyu Gao
2025 J jnl
Heterogeneous Attributed Graph Learning via Neighborhood-Aware Star Kernels.
CoRR
Hong Huang, Chengyu Yao, Haiming Chen, Hang Gao
2025 J jnl
Incremental algorithms for solving regular expression intersection non-emptiness.
Theor. Comput. Sci.
Haiming Chen, Hong Huang, Rongchen Li, Chengyao Peng, Weihao Su
2025 A* conf
VULCANBOOST: Boosting ReDoS Fixes through Symbolic Representation and Feature Normalization.
USENIX Security Symposium
Yeting Li, Yecheng Sun, Zhiwu Xu, Haiming Chen, Xinyi Wang, Hengyu Yang, Huina Chao, Cen Zhang, Yang Xiao, Yanyan Zou, Feng Li, Wei Huo
2025 A* conf
Vulnerability-Affected Versions Identification: How Far Are We?
ASE
Xingchu Chen, Chengwei Liu, Jialun Cao, Yang Xiao, Xinyue Cai, Yeting Li, Jingyi Shi, Tianqi Sun, Haiming Chen, Wei Huo
2025 J jnl
Vulnerability-Affected Versions Identification: How Far Are We?
CoRR
Xingchu Chen, Chengwei Liu, Jialun Cao, Yang Xiao, Xinyue Cai, Yeting Li, Jingyi Shi, Tianqi Sun, Haiming Chen, Wei Huo
2024 Misc conf
A Derivative-Based Membership Algorithm for Enhanced Regular Expressions.
SETTA
Mengxi Wang, Chunmei Dong, Weihao Su, Chengyao Peng, Haiming Chen
2024 Misc conf
Enhancing Multi-modal Regular Expression Synthesis via Large Language Models and Semantic Manipulations of Sub-expressions.
SETTA
Zipan Tang, Yixuan Yan, Rongchen Li, Hanze Dong, Haiming Chen, Hongyu Gao
2024 — conf
Molecular Graph Representation Learning via Structural Similarity Information.
ECML/PKDD (3)
Chengyu Yao, Hong Huang, Hang Gao, Fengge Wu, Haiming Chen, Junsuo Zhao
2024 J jnl
Molecular Graph Representation Learning via Structural Similarity Information.
CoRR
Chengyu Yao, Hong Huang, Hang Gao, Fengge Wu, Haiming Chen, Junsuo Zhao
2024 A* conf
Towards an Effective Method of ReDoS Detection for Non-backtracking Engines.
USENIX Security Symposium
Weihao Su, Hong Huang, Rongchen Li, Haiming Chen, Tingjian Ge
2023 C conf
Algorithms for Checking Intersection Non-emptiness of Regular Expressions.
ICTAC
Weihao Su, Rongchen Li, Chengyao Peng, Haiming Chen
2023 — conf
Decompilation Based Deep Binary-Source Function Matching.
SciSec
Xiaowei Wang, Zimu Yuan, Yang Xiao, Liyan Wang, Yican Yao, Haiming Chen, Wei Huo
2023 Misc conf
Deducing Matching Strings for Real-World Regular Expressions.
SETTA
Yixuan Yan, Weihao Su, Lixiao Zheng, Mengxi Wang, Haiming Chen, Chengyao Peng, Rongchen Li, Zixuan Chen
2023 J jnl
Grammar construction methods for extended deterministic expressions.
CoRR
Xiaoying Mou, Haiming Chen
2023 J jnl
Learning Disjunctive Multiplicity Expressions and Disjunctive Generalize Multiplicity Expressions From Both Positive and Negative Examples.
Comput. J.
Yeting Li, Haiming Chen, Zixuan Chen
2023 Misc conf
Modeling Regex Operators for Solving Regex Crossword Puzzles.
SETTA
Weihao Su, Haiming Chen, Rongchen Li, Zixuan Chen
2022 A* conf
RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix.
USENIX Security Symposium
Yeting Li, Yecheng Sun, Zhiwu Xu, Jialun Cao, Yuekang Li, Rongchen Li, Haiming Chen, Shing-Chi Cheung, Yang Liu, Yang Xiao
2022 J jnl
SemMT: A Semantic-Based Testing Approach for Machine Translation Systems.
ACM Trans. Softw. Eng. Methodol.
Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung, Haiming Chen
2021 A* conf
ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection.
USENIX Security Symposium
Yeting Li, Zixuan Chen, Jialun Cao, Zhiwu Xu, Qiancheng Peng, Haiming Chen, Liyuan Chen, Shing-Chi Cheung
2021 A* conf
TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair.
ICSE
Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung
2020 A* conf
FlashRegex: Deducing Anti-ReDoS Regexes from Examples.
ASE
Yeting Li, Zhiwu Xu, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao
2020 A* conf
FlashSchema: Achieving High Quality XML Schemas with Powerful Inference Algorithms and Large-scale Schema Data.
ICDE
Yeting Li, Jialun Cao, Haiming Chen, Tingjian Ge, Zhiwu Xu, Qiancheng Peng
2020 — conf
Grammars and a Random Generator for Deterministic Chain Regular Expressions.
SOFSEM (Doctoral Student Research Forum)
Xinyu Chu, Ping Lu, Haiming Chen
2020 J jnl
Inclusion algorithms for one-unambiguous regular expressions and their applications.
Sci. Comput. Program.
Haiming Chen, Zhiwu Xu
2020 B conf
Inferring Deterministic Regular Expression with Unorder.
SOFSEM
Xiaofan Wang, Haiming Chen
2020 — conf
Inferring Restricted Regular Expressions with Interleaving from Positive and Negative Samples.
PAKDD (2)
Yeting Li, Haiming Chen, Lingqi Zhang, Bo Huang, Jianzhao Zhang
2020 J jnl
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair.
CoRR
Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung
2019 — conf
A Large-Scale Repository of Deterministic Regular Expression Patterns and Its Applications.
PAKDD (3)
Haiming Chen, Yeting Li, Chunmei Dong, Xinyu Chu, Xiaoying Mou, Weidong Min
2019 J jnl
An Effective Algorithm for Learning Single Occurrence Regular Expressions with Interleaving.
CoRR
Yeting Li, Haiming Chen, Xiaolan Zhang, Lingqi Zhang
2019 C conf
An effective algorithm for learning single occurrence regular expressions with interleaving.
IDEAS
Yeting Li, Haiming Chen, Xiaolan Zhang, Lingqi Zhang
2019 C conf
Context-Free Grammars for Deterministic Regular Expressions with Interleaving.
ICTAC
Xiaoying Mou, Haiming Chen, Yeting Li
2019 — conf
Learning DMEs from Positive and Negative Examples.
DASFAA (3)
Yeting Li, Chunmei Dong, Xinyu Chu, Haiming Chen
2019 B conf
Learning Restricted Deterministic Regular Expressions with Counting.
WISE
Xiaofan Wang, Haiming Chen
2019 J jnl
Learning Restricted Regular Expressions with Interleaving.
CoRR
Chunmei Dong, Yeting Li, Haiming Chen
2019 — conf
Learning a Subclass of Deterministic Regular Expression with Counting.
KSEM (1)
Xiaofan Wang, Haiming Chen
2019 A conf
Learning k-Occurrence Regular Expressions from Positive and Negative Samples.
ER
Yeting Li, Xiaoying Mou, Haiming Chen
2019 — conf
Learning k-Occurrence Regular Expressions with Interleaving.
DASFAA (2)
Yeting Li, Xiaolan Zhang, Jialun Cao, Haiming Chen, Chong Gao
2019 J jnl
Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions.
Comput. J.
Zhiwu Xu, Ping Lu, Haiming Chen
2018 — conf
Inference of a Concise Regular Expression Considering Interleaving from XML Documents.
PAKDD (2)
Xiaolan Zhang, Yeting Li, Fanlin Cui, Chunmei Dong, Haiming Chen
2018 A conf
Inferring Deterministic Regular Expression with Counting.
ER
Xiaofan Wang, Haiming Chen
2018 — conf
Inferring Regular Expressions with Interleaving from XML Data.
APWeb/WAIM (2)
Xiaolan Zhang, Yeting Li, Fei Tian, Fanlin Cui, Chunmei Dong, Haiming Chen
2018 C conf
Learning Concise Relax NG Schemas Supporting Interleaving from XML Documents.
ADMA
Yeting Li, Xiaoying Mou, Haiming Chen
2018 A conf
Learning Restricted Regular Expressions with Interleaving from XML Data.
ER
Yeting Li, Xiaolan Zhang, Han Xu, Xiaoying Mou, Haiming Chen
2018 C conf
Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data.
IDEAS
Yeting Li, Xinyu Chu, Xiaoying Mou, Chunmei Dong, Haiming Chen
2018 J jnl
Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data.
CoRR
Yeting Li, Xinyu Chu, Xiaoying Mou, Chunmei Dong, Haiming Chen
2017 C conf
Derivatives and Finite Automata of Expressions in Star Normal Form.
LATA
Haiming Chen, Ping Lu
2017 J jnl
On trace languages generated by (small) spiking neural P systems.
Theor. Comput. Sci.
Haiming Chen, Mihai Ionescu, Andrei Paun, Gheorghe Paun
2017 B conf
The Complexity of SORE-definability Problems.
MFCS
Ping Lu, Zhilin Wu, Haiming Chen
2016 — conf
Practical Study of Subclasses of Regular Expressions in DTD and XML Schema.
APWeb (2)
Yeting Li, Xiaolan Zhang, Feifei Peng, Haiming Chen
2015 J jnl
Checking determinism of regular expressions with counting.
Inf. Comput.
Haiming Chen, Ping Lu
2015 J jnl
Deciding Determinism of Regular Languages.
Theory Comput. Syst.
Ping Lu, Joachim Bremer, Haiming Chen
2015 J jnl
Deciding determinism of unary languages.
Inf. Comput.
Ping Lu, Feifei Peng, Haiming Chen, Lixiao Zheng
2015 C conf
Deterministic Regular Expressions with Interleaving.
ICTAC
Feifei Peng, Haiming Chen, Xiaoying Mou
2015 C conf
Discovering Restricted Regular Expressions with Interleaving.
APWeb
Feifei Peng, Haiming Chen
2015 J jnl
Discovering Restricted Regular Expressions with Interleaving.
CoRR
Feifei Peng, Haiming Chen
2013 C conf
Deciding Determinism of Unary Languages Is coNP-Complete.
Developments in Language Theory
Ping Lu, Feifei Peng, Haiming Chen
2012 C conf
Checking Determinism of Regular Expressions with Counting.
Developments in Language Theory
Haiming Chen, Ping Lu
2012 — conf
Derivatives of Regular Expressions and an Application.
Computation, Physics and Beyond
Haiming Chen, Sheng Yu
2011 J jnl
A Toolkit for Generating Sentences from Context-Free Grammars.
Int. J. Softw. Informatics
Zhiwu Xu, Lixiao Zheng, Haiming Chen
2011 C conf
Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models.
APWeb
Haiming Chen, Ping Lu
2011 Misc conf
Determinacy and rewriting of conjunctive queries over unary database schemas.
SAC
Lixiao Zheng, Haiming Chen
2010 B conf
A Toolkit for Generating Sentences from Context-Free Grammars.
SEFM
Zhiwu Xu, Lixiao Zheng, Haiming Chen
2010 C conf
Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules.
ICTAC
Lei Chen, Haiming Chen
2009 — conf
A Systematic Framework for Grammar Testing.
ACIS-ICIS
Lixiao Zheng, Haiming Chen
2008 J jnl
Basic research in computer science and software engineering at SKLCS.
Frontiers Comput. Sci. China
Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu
2008 — conf
Efficient Type Checking for a Subclass of Regular Expression Types.
ICYCS
Lei Chen, Haiming Chen
2008 C conf
Inclusion Test Algorithms for One-Unambiguous Regular Expressions.
ICTAC
Haiming Chen, Lei Chen
2008 J jnl
Spiking neural P systems with extended rules: universality and languages.
Nat. Comput.
Haiming Chen, Mihai Ionescu, Tseren-Onolt Ishdorj, Andrei Paun, Gheorghe Paun, Mario J. Pérez-Jiménez
2007 J jnl
On String Languages Generated by Spiking Neural P Systems.
Fundam. Informaticae
Haiming Chen, Rudolf Freund, Mihai Ionescu, Gheorghe Paun, Mario J. Pérez-Jiménez
2006 J jnl
Facilitating formal specification acquisition by using recursive functions on context-free languages.
Knowl. Based Syst.
Haiming Chen, Yunmei Dong
2006 — conf
On Trace Languages Generated by (Small) Spiking Neural P Systems.
DCFS
Haiming Chen, Mihai Ionescu, Andrei Paun, Gheorghe Paun, Bianca Popa
2006 C conf
Towards Practical Computable Functions on Context-Free Languages.
TAMC
Haiming Chen, Yunmei Dong
2004 J jnl
Practical Type Checking of Functions Defined on Context-Free Languages.
J. Comput. Sci. Technol.
Haiming Chen, Yunmei Dong
2002 J jnl
Yet another meta-language for programming language processing.
ACM SIGPLAN Notices
Haiming Chen, Yunmei Dong
2001 J jnl
Pattern Matching Compilation of Functions Defined in Context-Free Languages.
J. Comput. Sci. Technol.
Haiming Chen, Yunmei Dong
1999 J jnl
Function Definition Language FDL and its implementation.
J. Comput. Sci. Technol.
Haiming Chen
1998 A conf
Combining CFG and Recursive Functions to Get a New Language.
ICFP
Haiming Chen