Nariyoshi Chida

Nariyoshi Chida

Researcher

NTT

Biography

I am an associate distinguished researcher at NTT. I received my Ph.D. from Waseda University. My research interests include formal languages and automata theory, program synthesis, and security.

Interests
  • Formal Languages and Automata Theory (Parsing Expression Grammars, (Extended) Regular Expressions)
  • Parsing (Packrat Parsing, Stateful Packrat Parsing)
  • Program Synthesis
  • Security
Education

  • Dr. of Engineering, 2023

    Waseda University

  • ME in Physics, Electrical and Computer Engineering, 2017

    Yokohama National University

  • BS in Computer Science and Engineering, 2015

    University of Aizu

Recent Publications

The full list of publications is available here.
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.

Contact