Programming Language Research Group

Recruiting grad students

Korea University · Computer Science and Engineering

Information sourcenot verified yet

This lab is recruiting graduate students

프로그래밍 언어 및 소프트웨어 공학에 관심 있는 대학원생·학부생·박사후연구원 모집.

Apply / Contact

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

박지혁 교수 연구실(프로그래밍 언어 연구실, Programming Language Research Group, PLRG)은 고려대학교 컴퓨터학과 소속으로, 프로그래밍 언어 기술을 연구한다. 프로그램의 동작을 이해하고 버그·취약점을 탐지하는 프로그램 분석, 사람이 읽을 수 있는 명세와 기계 친화적 명세를 연결하는 기계화된 명세(mechanized specification), 코드 자동 생성을 위한 프로그램 합성, 자동화 테스팅을 다룬다.

Research keywords

프로그래밍 언어 연구실

Selected publications

Debun: Detecting Bundled JavaScript Libraries on Web using Property-Order GraphsIEEE/ACM International Conference on Automated Software Engineering (ASE) · 2025
JSSpecVis: A JavaScript Language Specification Visualization ToolACM International Conference on the Foundations of Software Engineering (FSE), Demonstrations · 2025
PL4XGL: A Programming Language Approach to Explainable Graph LearningProceedings of the ACM on Programming Languages (PLDI) · 2024
JavaScript Language Design and Implementation in TandemCommunications of the ACM (CACM), Vol. 67(5) · 2024
Feature-Sensitive Coverage for Conformance Testing of Programming Language ImplementationsProceedings of the ACM on Programming Languages (PLDI) · 2023
A Survey of Parametric Static AnalysisACM Computing Surveys, Vol. 54(7) · 2022

Other labs in this department

See all labs in this department