프로그래밍 언어에 대한 생각을 바꾼 논문과 블로그 게시글

이 블로그 게시글에서는 프로그래밍 언어와 컴파일러에 대한 저자의 이해를 크게 바꾼 논문과 블로그 게시글 몇 가지를 소개합니다. 다루는 주제는 가비지 컬렉션, 코드 최적화, 레지스터 할당, 정규 표현식 엔진, 머신 러닝, SSA 형식, 컴파일러 설계 등 다양합니다. 저자는 Z3를 증명 엔진으로 사용하는 것, 퍼징을 활용하여 버그를 발견하는 것, 효율적인 식 구문 분석 기법 등 제시된 통찰력 있는 접근 방식을 강조합니다. 이 컬렉션은 저자가 프로그래밍 언어 설계 및 구현의 복잡한 세부 사항에 깊이 천착해 왔음을 보여줍니다.