박지혁 교수 연구실

Programming Language Research Group

대학원생 모집 중

고려대학교 · 컴퓨터학과

정보 출처아직 확인되지 않음

이 랩은 대학원생을 모집하고 있어요

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

지원·문의

이 연구실, 재학생에게 물어보세요

궁금한 점을 진로·진학 게시판에 남겨보세요. 학교를 인증한 재학생·대학원생이 블라인드 신원으로 답할 수 있어요.

교수 소개

박지혁 교수

교수 홈페이지·논문

소개

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

연구 키워드

프로그래밍 언어 연구실

대표 논문

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

같은 학과의 다른 연구실

이 학과 연구실 전체 보기