Publications

백소연 and 이성호, LLVM IR 대상 정적 분석의 요약 값 정제를 위한 조건 분기의 불변식 추출, In 정보과학회 컴퓨팅의 실제 논문지(KTCP), October 2024
Soyeon Baek and Sungho Lee, CaLLi: OCaml Library for Static Analysis of LLVM bitcode, In SoftwareX, September 2024
백소연 and 이성호, LLVM IR 대상 정적 분석의 요약 값 정제를 위한 조건 분기의 불변식 추출, In 정보과학회(KSC), December 2023 Distinguished Presentation Paper Award
이예성, 백소연, and 이성호, REcode: 프로그램 분석 도구를 쉽게 적용할 수 있는 VS Code 확장 플러그인, In 정보과학회(KSC) 학부생논문, December 2022
서성덕, 백소연, and 이성호, LLVM 기반의 최적화 기법을 통한 바이너리 역난독화, In 정보과학회(KSC) 학부생논문, December 2021

Honors

우수발표논문상

2024
한국정보과학회(KSC)