![[Program Synthesis #14] Program Synthesis in the Wild: 실제 시스템과 응용](proxy.php?url=https%3A%2F%2Fnahyun27.github.io%2Fassets%2Fimg%2Fposts%2Fprogram-synthesis%2Fps14.png)
[Program Synthesis #14] Program Synthesis in the Wild: 실제 시스템과 응용
Program Synthesis 시리즈 14편 – Superoptimization, Program Repair, LLM 기반 코드 생성까지 실제 환경에서의 synthesis 응용 이해하기
Nahyun's Tech Blog
👋 안녕하세요, 김나현입니다
AI Security Researcher · Creative Developer
📌 Featured
📚 Series in Progress
All Series →✨ Recent Posts
[Program Synthesis #14] Program Synthesis in the Wild: 실제 시스템과 응용
Program Synthesis 시리즈 14편 – Superoptimization, Program Repair, LLM 기반 코드 생성까지 실제 환경에서의 synthesis 응용 이해하기
![[Program Synthesis #13] Deductive Synthesis: Specification에서 프로그램을 유도하기](proxy.php?url=https%3A%2F%2Fnahyun27.github.io%2Fassets%2Fimg%2Fposts%2Fprogram-synthesis%2Fps13.png)
[Program Synthesis #13] Deductive Synthesis: Specification에서 프로그램을 유도하기
Program Synthesis 시리즈 13편 – specification으로부터 transformation rule을 통해 프로그램을 직접 유도하는 Deductive Synthesis 이해하기
![[Program Synthesis #12] Type-Guided Synthesis: 타입으로 탐색 공간을 줄이는 방법](proxy.php?url=https%3A%2F%2Fnahyun27.github.io%2Fassets%2Fimg%2Fposts%2Fprogram-synthesis%2Fps12.png)
[Program Synthesis #12] Type-Guided Synthesis: 타입으로 탐색 공간을 줄이는 방법
Program Synthesis 시리즈 12편 – 타입 정보를 활용해 프로그램 탐색 공간을 구조적으로 제한하는 Type-Guided Synthesis 이해하기
![[Program Synthesis #11] 실제 시스템으로 보는 Synthesis: FlashFill, Sketch, STOKE](proxy.php?url=https%3A%2F%2Fnahyun27.github.io%2Fassets%2Fimg%2Fposts%2Fprogram-synthesis%2Fps11.png)
[Program Synthesis #11] 실제 시스템으로 보는 Synthesis: FlashFill, Sketch, STOKE
Program Synthesis 시리즈 11편 – FlashFill, Sketch, STOKE를 통해 실제 시스템이 다양한 synthesis 기법을 어떻게 결합하는지 이해하기
![[Program Synthesis #10] Constraint-Based Synthesis: 논리로 프로그램을 만드는 방법](proxy.php?url=https%3A%2F%2Fnahyun27.github.io%2Fassets%2Fimg%2Fposts%2Fprogram-synthesis%2Fps10.png)
[Program Synthesis #10] Constraint-Based Synthesis: 논리로 프로그램을 만드는 방법
Program Synthesis 시리즈 10편 – SAT/SMT 기반으로 프로그램을 제약 문제로 변환하여 해결하는 Constraint-Based Synthesis 이해하기
![[Program Synthesis #9] Stochastic Search: 확률로 프로그램을 찾는 방법](proxy.php?url=https%3A%2F%2Fnahyun27.github.io%2Fassets%2Fimg%2Fposts%2Fprogram-synthesis%2Fps09.png)
[Program Synthesis #9] Stochastic Search: 확률로 프로그램을 찾는 방법
Program Synthesis 시리즈 9편 – 확률 기반 탐색과 local search를 통해 넓은 프로그램 공간을 효율적으로 탐색하는 방법 이해하기
![[Program Synthesis #8] Bidirectional Search: Top-down과 Bottom-up의 결합](proxy.php?url=https%3A%2F%2Fnahyun27.github.io%2Fassets%2Fimg%2Fposts%2Fprogram-synthesis%2Fps08.png)
[Program Synthesis #8] Bidirectional Search: Top-down과 Bottom-up의 결합
Program Synthesis 시리즈 8편 – Top-down과 Bottom-up 탐색을 결합하여 search space를 효과적으로 줄이는 Bidirectional Search 이해하기
![[Program Synthesis #7] Representation의 확장: FTA와 E-graph로 보는 프로그램 공간](proxy.php?url=https%3A%2F%2Fnahyun27.github.io%2Fassets%2Fimg%2Fposts%2Fprogram-synthesis%2Fps07.png)
[Program Synthesis #7] Representation의 확장: FTA와 E-graph로 보는 프로그램 공간
Program Synthesis 시리즈 7편 – Version Space Algebra를 넘어, Finite Tree Automata와 E-graph를 통해 다양한 프로그램 표현 방식 비교하기
![[Program Synthesis #6] Representation-Based Synthesis: 탐색 공간을 압축하는 방법](proxy.php?url=https%3A%2F%2Fnahyun27.github.io%2Fassets%2Fimg%2Fposts%2Fprogram-synthesis%2Fps06.png)
[Program Synthesis #6] Representation-Based Synthesis: 탐색 공간을 압축하는 방법
Program Synthesis 시리즈 6편 – 프로그램을 하나씩 탐색하는 대신, 탐색 공간 자체를 압축하는 Representation-Based Synthesis의 핵심 아이디어 이해하기
![[Program Synthesis #5] Search Prioritization: 어떤 프로그램부터 볼 것인가?](proxy.php?url=https%3A%2F%2Fnahyun27.github.io%2Fassets%2Fimg%2Fposts%2Fprogram-synthesis%2Fps05.png)
[Program Synthesis #5] Search Prioritization: 어떤 프로그램부터 볼 것인가?
Program Synthesis 시리즈 5편 – Enumerative Synthesis의 한계를 극복하기 위한 Search Prioritization과 확률 기반 탐색 전략 이해하기