Kwangkeun Yi -

Registered user since Sat 11 Jun 2016

Name:Kwangkeun Yi

Bio:

Professor

Affiliation:Seoul National University

Personal website: http://kwangkeunyi.snu.ac.kr

Research interests:static analysis, programming language, static verification

Contributions

2024

Static Analysis Symposium

Keynote Speaker of Static Analysis Sparsity and Modularity within the SAS 2024-track

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

N40AI

Invited Speaker of Program Synthesis via Bi-directional Reduced-product Abstract Interpretation within the N40AI 2024-track

2023

PLDI

Author of Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation within the PLDI Research Papers-track

2022

PLDI

Author of (PLDI 2020) Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting within the SIGPLAN Track-track

ICSE

Author of A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code within the Posters-track

2021

PLDI

Committee Member in Program Committee within the PLDI-track

2020

Static Analysis Symposium

PLDI

Author of Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting within the PLDI Research Papers-track

2019

APLAS

Committee Member in Steering Committee

2018

PLDI

Author of Crellvm: Verified Credible Compilation for LLVM within the PLDI Research Papers-track

2017

PLDI

Committee Member in External Review Committee

2015

SPLASH

Author of Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation within the OOPSLA-track

SOAP

Committee Member in Program Committee within the SOAP-track

PEPM

Committee Member in Program Committee within the PEPM 2015-track