hof.md

CS524 Hall of Fame

2024 Spring

Essay

• An unused analyzer is as useful as a broken one - Andrea Lepori
• 인간의 불완전함과 정적분석의 미래 - ChanU Kang (강찬우)
• 정적(靜的)이며 정적(情的)인 - Sehoon Kim (김세훈)
• 정적 분석기를 믿고 따라와 - Minsol Park (박민솔)
• 쓸모있는 연구하기 - Dongjae Lee (이동재)
• 개발자의 마음을 움직이는 공학 - Jae Hyun Lee (이재현)

Art Competition

AI x AI by doehyunback	Pre-Analysis 🥈 by leporia	Least Upper Bound by HLe4s-kaist	Inference Rule by HLe4s-kaist	Widening and Narrowing 🥉 by HLe4s-kaist
Widening and Narrowing 🥇 by leehahoon	Static Analysis Song 🥇 by 33577	Galois Connection by GetRusty	Memory update by mindol	Fixed Point Iteration by HoseongLee

Award Session : Checkout the photos here!!

2023 Fall

Art Competition

precise approximation 🥈 by doit-man	Taint Analysis 🥉 by spearo2	flow-sensitive analysis 🥉 by 702fbtngus	k-CFA by iv-y
Type inference 🥈 by iv-y	safety & liveness property 🥇 by Yeonwoo-Nam	Selective widening by Re-st

2022 Fall

Art Competition

Abstract Interpretation by forceow	Context-sensitive analysis 🥈 by KunJeong	Widening by Superstellar	Widening and Narrowing by whuang20226450	Starting program analysis by zzz845zz
Abstract Semantics by irfanariq	Static Analysis 🥉 by greenmonn	Invariant by sujin0529	Weak Update 🥈 by f52985	Abstract Interpretation by oojahooo
Abstract interpretaion by yeonhee-ryou	Abstract Interpretation 🥉 by PSuHyeon	Program analysis 🥉 by p51lee	Galois Connection 🥇 by 3-24	Computing least upper bound by KihongHeo

Award Session : Checkout the photos here!!

Essay

• 이데아를 향한 노력 - Jaeho Kim (김재호)
• 코드의 바다에서 정적 분석이라는 등대를 찾다 - Yewon Choi (최예원)

2021 Fall

Essay

• RC: Scaling Static Analyses at Facebook
• Scale, The Missing Link from Academia to Industry
• 프로그램 분석과 죽음의 성물