연구실 홈페이지
연구자 DB
내 프로필
커뮤니티
New
N
로그인
회원가입
닫기
허기홍
겸임교수
한국과학기술원 공과대학 전산학부
본인인증
초대하기
프로필
연구 성과
논문[11]
#11. Adaptive Static Analysis via Learning with Bayesian Optimization
2018.12 · ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
(DOI) https://doi.org/10.1145/3121135
#10. Learning Analysis Strategies for Octagon and Context Sensitivity from Labeled Data Generated by Static Analyses
2018.10 · FORMAL METHODS IN SYSTEM DESIGN
(DOI) https://doi.org/10.1007/s10703-017-0306-7
+ 논문 더보기
발표[15]
#15. Learning Probabilistic Models for Static Analysis Alarms
The 44th ACM/IEEE International Conference on Software Engineering (ICSE 2022)
2022.5
#14. PacJam: Securing Dependencies Continuously via Package-Oriented Debloating
17th ACM ASIA Conference on Computer and Communications Security 2022, ASIA CCS 2022
2022.5
+ 발표 더보기
팔로우 추천
Dohyeong Kim
팔로우
Lee Hyun Min
팔로우
Lee Jong Chan
팔로우
RUDIA KIM
팔로우
Jiho LEE
팔로우