[동정] 김수현 석사졸업생 (지도교수: 고상기) ESOP 2023(32nd European Symposium on Programming) 학술대회 논문 등재
- 작성자 컴퓨터공학과
- 작성일 2023.05.02
- 조회 1,254
강원대학교 컴퓨터공학과 계산이론 연구실의 김수현 석사졸업생(지도교수 고상기, 2023년 2월 졸업)은 이번 2023년 4월 22~27일 개최된 ESOP 2023(32nd European Symposium on Programming) 학술대회에 "Automated Grading of Regular Expressions"라는 제목의 논문을 발표하였다. ESOP은 프로그래밍 언어 및 시스템의 명세, 설계, 분석 및 구현에 관한 근본적인 문제들을 다루는 학술대회로 BK21 플러스 사업 Computer Science 분야 우수국제학술대회에 등재되어 있다.
본 논문에서는 형식언어 및 오토마타 관련 교과목(프로그래밍 언어, 컴파일러 설계 등)에서 다루게 되는 정규 표현식(regular expression) 설계 문제(정규 문자열 패턴에 대한 자연어 기술이 주어졌을 때 해당하는 정규 표현식을 정확하게 기술하는 문제)에서 학습자가 제출한 정규 표현식 답안을 자동적으로 채점을 수행하고 더불어 효과적인 피드백을 생성하는 기술을 제안하였다. 개발된 기술은 실제 웹 UI로 구현되어 학습자가 단순히 웹페이지에 접속해서 주어진 문제에 대한 답안을 작성하면 실시간으로 제출된 답안에 대한 점수와 피드백을 받아볼 수 있다.
본 논문에서는 형식언어 및 오토마타 관련 교과목(프로그래밍 언어, 컴파일러 설계 등)에서 다루게 되는 정규 표현식(regular expression) 설계 문제(정규 문자열 패턴에 대한 자연어 기술이 주어졌을 때 해당하는 정규 표현식을 정확하게 기술하는 문제)에서 학습자가 제출한 정규 표현식 답안을 자동적으로 채점을 수행하고 더불어 효과적인 피드백을 생성하는 기술을 제안하였다. 개발된 기술은 실제 웹 UI로 구현되어 학습자가 단순히 웹페이지에 접속해서 주어진 문제에 대한 답안을 작성하면 실시간으로 제출된 답안에 대한 점수와 피드백을 받아볼 수 있다.
본 연구는 컴퓨터공학과 고상기, 임현승 교수가 함께 참여 중인 한국연구재단 기초연구실지원사업인 『휴먼-AI 협업 프로그래밍 플랫폼 기술 연구실』 과제 수행의 일환으로 진행되었다.
