Fellows
/Senior Distinguished
Researchers
/Distinguished
Researchers

Distinguished Researcher Nariyoshi Chida
  • Distinguished Researcher

    Nariyoshi Chida

  • NTT Social Informatics Laboratories

Research on Automated Techniques for Detecting and Repairing Bugs and Vulnerabilities in Software

Software is a critical foundation of our society, and bugs and vulnerabilities are significant threat to the society. To overcome these threats, we are conducting research on technologies that automatically detect and repair bugs and vulnerabilities in software.

In this page

Awards

  • Shigeo Tsujii Security Paper Award, Grand Prize
  • Computer Security Symposium 2018, Incentive Award

Academic Activities

  • The 26th Programming Land Programming Language Workshop (PPL'24), Program Committee
  • PPL Summer School 2023, Lecturer

Publications

Papers

  • Nariyoshi Chida and Tachio Terauchi. Repairing Regex-Dependent String Functions, In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE'24).
  • Nariyoshi Chida and Tachio Terauchi. Repairing Regular Expressions for Extraction, In Proceedings of the 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'23).
  • Nariyoshi Chida and Tachio Terauchi. On Lookaheads in Regular Expressions with Backreferences, In Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction (FSCD'22).
  • Nariyoshi Chida and Tachio Terauchi. Repairing DoS Vulnerability of Real-World Regexes, In Proceedings of the 43rd IEEE Symposium on Security and Privacy (S&P'22).
  • Nariyoshi Chida, Yuhei Kawakoya, Dai Ikarashi, Kenji Takahashi, and Koushik Sen. Is Stateful Packrat Parsing Really Linear in Practice?, In Proceedings of the 29th ACM SIGPLAN Conference on Compiler Construction (CC'20).

Keywords

Programming Languages, Formal Language and Automata Theory, Cybersecurity

Academic Activities

Related Contents