연구실 목록
이광근 교수 연구실
Kwangkeun Yi
대학원생 모집 중
서울대학교 · 컴퓨터공학부
정보 출처아직 확인되지 않음
이 랩은 대학원생을 모집하고 있어요
연구실 홈페이지에 '학생모집' 안내가 게시되어 있음
아래 교수·홈페이지 링크에서 컨택 방법을 확인하세요.
교수 소개
이광근 교수
교수 홈페이지·논문소개
프로그래밍 연구실(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
같은 학과의 다른 연구실
- 김건희 교수 연구실모집 중
Vision & Learning
- 김태현 교수 연구실모집 중
Quantum Information & Computing
- 박경수 교수 연구실모집 중
T-Networking
- 박재식 교수 연구실모집 중
Vision & Geometric Intelligence
- 서진욱 교수 연구실모집 중
Human-Computer Interaction
- 송용수 교수 연구실모집 중
Cryptography & Privacy