Kwangkeun Yi

Recruiting grad students

Information sourcenot verified yet

This lab is recruiting graduate students

연구실 홈페이지에 '학생모집' 안내가 게시되어 있음

Check the professor and homepage links below for how to reach out.

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

Prof. 이광근

프로그래밍 연구실(ROPAS)은 정적 프로그램 분석을 중심으로 안전한 소프트웨어를 위한 분석 기법과 그 응용을 연구한다. 고차·타입 프로그래밍 시스템과 프로그래밍 언어 시스템 전반을 다룬다.

Programming

Inductive Program Synthesis by Meta-Analysis-Guided Hole FillingPOPL (ACM Symposium on Principles of Programming Languages) · 2026
React-tRace: A Semantics for Understanding React HooksOOPSLA (ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications) · 2025
Inductive Program Synthesis via Iterative Forward-Backward Abstract InterpretationPLDI (ACM Conference on Programming Language Design and Implementation) · 2023
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-Bounded Exhaustive SearchACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 45, Issue 3, Article 16 · 2023
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term RewritingPLDI (ACM Conference on Programming Language Design and Implementation) · 2020