Herb.jl 프로그램 합성을 위한 통합 라이브러리

초록

Herb.jl은 Julia 기반의 모듈형 프로그램 합성 라이브러리로, 공통 빌딩 블록을 추상화하여 기존 합성기들의 재사용·확장을 용이하게 만든다. 문법 정의, 제약, 인터프리터, 탐색 전략을 각각 독립적인 모듈로 제공하고, Garden.jl과 HerbBenchmarks.jl을 통해 표준 합성기와 벤치마크를 손쉽게 적용·비교할 수 있다.

상세 분석

본 논문은 프로그램 합성 분야에서 반복적으로 나타나는 네 가지 재사용 문제—도메인 종속성, 빌딩 블록 비재사용, 구현 비교 난이도, 벤치마크 재현성—를 명확히 규정하고, 이를 해결하기 위한 설계 원칙을 제시한다. 핵심 아이디어는 합성 문제를 ‘스펙(Specification)’, ‘문법(Grammar)’, ‘제약(Constraints)’, ‘인터프리터(Interpreter)’, ‘탐색(Search)’라는 다섯 개의 추상 컴포넌트로 분해하는 것이다. 각각은 Julia의 추상 타입과 인터페이스로 정의되어, 사용자는 기본 구현을 그대로 쓰거나 필요에 따라 서브클래싱·오버라이드만 하면 된다.

문법 정의는 @csgrammar 매크로를 통해 CFG를 선언형으로 기술하고, 규칙 추가·삭제가 런타임에 가능하도록 설계돼 복잡한 도메인 언어에도 손쉽게 적용할 수 있다. 제약 모듈은 문법만으로 표현하기 어려운 의미적 제한(예: 연산 비용, 타입 일관성)을 선언형 API로 제공함으로써 탐색 공간을 효과적으로 축소한다. 인터프리터는 AST를 실행해 스펙 검증을 수행하며, 사용자 정의 인터프리터를 연결하면 비표준 언어나 외부 시뮬레이터와도 연동이 가능하다.

탐색 전략은 상향식, 하향식, 확률적(Genetic, MCMC) 등 다양한 알고리즘을 플러그인 형태로 제공한다. 특히 HerbSearch.jl은 탐색 전략을 함수형 파이프라인으로 구성해, 히스토리 기반 캐싱, 병렬 평가, 휴리스틱 스코어링 등을 조합할 수 있게 한다. 이러한 설계는 기존 논문에 제시된 알고리즘을 그대로 옮겨와도 최소한의 코드 변경만으로 동작하도록 보장한다.

또한, 저자들은 Garden.jl이라는 레퍼런스 구현 컬렉션을 구축해, 대표적인 합성기(예: CEGIS, Sketch, Neural‑Symbolic)들을 Herb.jl 인터페이스에 맞게 재구현하였다. 이를 통해 새로운 아이디어를 기존 구현에 삽입하거나, 동일한 벤치마크에서 서로 다른 합성기의 성능을 공정하게 비교할 수 있다. 벤치마크는 HerbBenchmarks.jl에 인간이 읽을 수 있는 형태로 제공되며, 스펙·문법·제약이 모두 명시돼 재현성을 크게 향상시킨다.

전반적으로 Herb.jl은 모듈성, 확장성, 재현성을 동시에 만족시키는 설계로, 프로그램 합성 연구와 실무 적용 사이의 격차를 줄이는 데 기여한다. 특히 Julia의 고성능 수치·과학 컴퓨팅 생태계와 자연스럽게 통합돼, 머신러닝 기반 휴리스틱과 전통적 제약 해결기를 혼합한 하이브리드 접근법을 손쉽게 실험할 수 있다.