KAIST, 프로그래밍 언어 국제학술대회서 입증
류석영 교수 기조강연, 5편의 논문 채택 등
KAIST는 18∼20일까지 서울에서 개최되는 세계 최대 컴퓨터학회인 ACM이 주관하는 프로그래밍 언어 분야 국제 학술대회인 'PLDI 2025'에서 기조 강연과 5건의 논문을 발표한다고 밝혔다.
PLDI는 지난 46년 간 전산학 분야에서 커다란 영향을 주는 주요 논문이 다수 발표되는 권위 있는 국제학술대회로, 프로그래밍 언어와 컴파일러 등 소프트웨어 기초가 되는 핵심 기술들이 매년 발표된다.
류석영 KAIST 전산학부 교수는 학술대회 첫 기조 강연자로 나서 자바스크립트와 같은 언어의 정형화를 통한 소프트웨어 안전성 향상과 프로그래밍 언어 연구가 사회적으로 다양성과 형평성, 포용성 확산에 기여할 수 있는 방식을 사례를 통해 제시한다.
강지훈·양홍석·허기홍 KAIST 전산학부 교수 연구팀이 총 5편의 논문을 발표한다. 5편의 논문 비중은 전체 채택 논문 89편 중 6.7%에 해당한다는 점에서 이 분야에서 KAIST 교수진의 탁월한 연구성과를 입증한다. 5편의 논문은 멀티코어 컴퓨팅 시스템에서의 병렬 자료 구조 성능 향상 및 검증, 컴파일러의 신뢰성 확보, 프로그래밍 언어 의미론 연구 등 고성능 시스템 SW 품질 향상에 기여할 것으로 기대된다.
이들 논문은 ACM 공식 저널인 PACMPL에 게재됐다.
류석영 KAIST 학부장은 "KAIST 전산학부는 학문적 깊이와 사회적 책임을 동시에 지향하는 연구를 꾸준히 이어가고 있으며, 이번 PLDI 2025에서 그 성과를 세계와 공유할 수 있어 매우 뜻깊다"고 말했다. 이준기기자 bongchu@dt.co.kr
18일부터 20일까지 개최되는 'PLDI 2025'에서 논문을 발표하는 KAIST 교수진. 양홍석(왼쪽부터) 강지훈 , 류석영, 허기홍 교수. KAIST 제공
