Publications

Nariyoshi Chida, Tachio Terauchi (2024). Repairing Regex-Dependent String Functions. In ASE 2024.

Nariyoshi Chida, Tachio Terauchi (2023). Repairing Regular Expressions for Extraction. In PLDI 2023.

Nariyoshi Chida, Tachio Terauchi (2022). On Lookaheads in Regular Expressions with Backreferences. In FSCD 2022.

Nariyoshi Chida, Tachio Terauchi (2022). Repairing DoS Vulnerability of Real-World Regexes. In S&P 2022.