hof.md

CS424 Hall of Fame

2024 Fall

Essay 1: Undecidability (계산불가능성)

• Sungmin Moon (문성민)
• Jaewoo Kim (김재우)
• Dongjae Lee (이동재)
• Bongjun Jang (장봉준)

Essay 2: Program Synthesis

• Sungmin Moon (문성민)
• Seonghun Park (박성훈)
• Hyunjoon Cho (조현준)
• Geon Park (박건)

LIA Synthesizer Competition Top Scorer 🏆

1. Jihun Kim (김지훈)
2. Sungchae Kim (김성채)
3. Jaeyoung Hwang (황재영)

SLIA Synthesizer Competition Top Scorer 🏆

1. Sungmin Moon (문성민), Heejin Ahn (안희진)
2. Jihun Kim (김지훈), Seunghwan Yoon (윤승환)
3. Jeho Yeon (연제호)

Prompt Master Award

• Bongjun Jang (장봉준)
• Seunghwan Yoon (윤승환)
• Shinyoung Lee (이신영)
• Seonghun Park (박성훈)

Art Competition

Equivalence Reduction 🥇 by leehahoon	Mining TDP by heojae	Synthesizing a program by JustinKim98
At the End of the Road 🥈 by rhaxod22	Enumerative Search 🥉 by etyu39

See the ceremony photos

2023 Fall

Essay 1: Undecidability (계산불가능성)

• Changgong Lee (이창공)

Essay 2: Program Synthesis

• Mincheol Kwon (권민철)
• Ingyu Baeg (백인규)
• Changgong Lee (이창공)
• Seohyun Lee (이서현)

LIA Synthesizer Competition Top Scorer 🏆

1. Hosung Lee (이호성)
2. Minsol Park (박민솔)
3. Seohyun Lee (이서현)

SLIA Synthesizer Competition Top Scorer 🏆

1. Hosung Lee (이호성), Ingyu Baeg (백인규)
2. Junghyun Kim (김정현)

Art Competition

Undecidability 🥇 by jidoc01	Probabilistic Language Model by mindol	Program Synthesis by frogfrog2	Program synthesis by representation-based search by spearo2
Top-down Enumeration 🥈 by frogfrog2	Enumeration Search by uk-jeong	Invariant 🥈 by 08kmc09	Top-Down Enumeration by 08kmc09
What is Invariant? 🥉 by GetRusty	Undecidability in Program Verification by 08kmc09	Undecidability of Mathematics by cwlo2F

See the ceremony photos

2022 Fall

Essay 1: Undecidability (계산불가능성)

• Jaeho Kim (김재호)
• Kim Hongjin (김홍진)
• Sunho Park (박선호)
• Janggun Lee (이장건)
• Jaehyun Lee (이재현)
• Jeong Seunghyeon (정승현)
• Park Suhyeon (박수현)
• Subeen Park (박수빈)
• Park Jungwung (박정웅)
• Woojin Lee(이우진)
• Haejoon Park (박해준)
• Hyerin Park (박혜린)

Essay 2: Program Synthesis

• Kim Hongjin (김홍진)
• Sunho Park (박선호)
• Heewon Lee (이희원)
• Park Suhyeon (박수현)
• Jaehyun Lee (이재현)
• Haejoon Park (박해준)
• Subeen Park (박수빈)

LIA Synthesizer Competition Top Scorer 🏆

1. Janggun Lee (이장건)
2. Youngil Yoon (윤영일)
3. Suhyeon Park (박수현)

SLIA Synthesizer Competition Top Scorer 🏆

1. 김재호, 김현구, 윤영일
2. 신민서
3. 박선호

See the ceremony photos.

Out-of-course Activities

• 이진서: Dude (motivation)

Art Competition

Bottom-up Enumeration by Gimongjin	Operational Semantics 🥈 by PSuHyeon	Correctness by Gimongjin	Incompleteness 🥉 by Calmadeas	First-order logic by Gimongjin
The Undecidability of Mathematics 🥉 by pingpingy1	Bottom-up search by creationyun	Search space pruning 🥈 by KunJeong	Program synthesis by KunJeong	Program Synthesis 🥉 by 702fbtngus
Program Synthesis by Timber-min	Semantics by kingdoctor123	Invariant 🥇 by hyerinshelly	Enumerative search 🥉 by yeonhee-ryou	program synthesizer by KihongHeo