Haiming Chen

Registered user since Thu 24 Dec 2020

Name:Haiming Chen
Affiliation:Institute of Software, Chinese Academy of Sciences
Research interests:Web data and programming techniques, computation models, formal languages and automata theory, program analysis, programming languages


ASE 2020 Author of FlashRegex: Deducing Anti-ReDoS Regexes from Examples within the Research Papers-track
ICSE 2021 Author of TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair within the Technical Track-track