We have two papers accepted for CIAA 2023; M-equivalence of
Parikh Matrix over a Ternary Alphabet
and Smaller Representation of Compiled Regular Expressions.
Well done, Joonghyuk, Hyunjoon and Sicheol!
협업 프로그래밍 플랫폼 과제 2단계가 시작되었습니다. 기간은 2023.03
~ 2025.02 입니다.
We have one paper accepted for DCFS 2023; Existential and
Universal Width of Alternating Finite Automata.
This is joint work with Prof. Salomaa (Queen's, Canada) and Prof. Ko
(KNU, South Korea).
We have two papers accepted for DLT 2023;
Neighborhood of Languages and On the Simon's Congruence
Neighborhood of Languages. Good job, Hyunjoon and Sungmin!
Indeed we are a language research group.
Our "Contrastive Learning with Keyword-based Data Augmentation
for Code Search and Code Question Answering" paper is accepted for
EACL 2023. Congrats Shinwoo and Youngwook.
Our "Automated Grading of Regular Expressions" paper is accepted for
ESOP 2023. Good job, Youngwook. This is joint work with
Prof. Sang-Ki Ko's group from Kangwon National University.
- Formal language and automata theory
- Grammar inference: formal grammars vs natural
- Information retrieval and classification
Department of Computer Science, Yonsei University
50 Yonsei-Ro, Seodaemun-Gu, Seoul 03722, Republic of Korea
Email: emmous [at] yonsei [dot] ac [dot] kr
Last updated 2023/01/25