Skip to main content
Lab directory

Programming Languages Lab

Programming Languages Lab

KAIST · School of Computing

Information sourcenot verified yet

Ask current students about this lab

Post your question to the Career board — students who have verified their school can answer under blind identities.

Professor

Prof. 류석영

Professor's page · publications

About

류석영(Sukyoung Ryu) 교수는 KAIST 전산학부 교수로 프로그래밍 언어 연구 그룹(PLRG, Programming Language Research Group)을 이끈다. 고급 타입 시스템, 인증 컴파일러, 자동·확장 가능한 프로그램 분석, 실용적 디버깅·테스팅 도구를 통해 안전하고 신뢰할 수 있는 시스템을 구축하는 연구를 한다. JavaScript·WebAssembly 분석 및 C-to-Rust 변환 등에서 활발한 성과를 내고 있으며 2025년 PLDI에서 기조강연을 했다.

Research keywords

Programming languagesprogram analysiscompilers

Selected publications

  • Failing with Purpose: Dangling Coverage-Guided Negative Test GenerationFSE · 2026
  • Selective Feature-Sensitive Coverage for Conformance TestingTOSEM · 2026
  • WEST: Specification-Based Test Generation for WebAssemblyASE (ACM SIGSOFT Distinguished Paper Award) · 2025
  • Forcrat: Automatic I/O API Translation from C to RustASE · 2025
  • Automatically Translating C to RustCommunications of the ACM (CACM) · 2025
  • Don't Write, but Return: Replacing Output ParametersPLDI · 2024
  • Bringing the WebAssembly Standard up to Speed with SpecTecPLDI · 2024

Other labs in this department

See all labs in this department