[Blog] fix typo

Author: KihongHeo

_posts/2025-07-03-high-and-far.md

@@ -51,7 +51,7 @@ JavaScript 프로그램을 자동으로 생성하여 오류를 찾는 기술은
 효율적인 번역검산을 위해서 특정 최적화를 일으키는 프로그램을 마구 생산하는 기술이 필요하지 않을까?
 이런 문제는 아무도 제대로 집중하고 있지 않은 듯 했다.
 우리가 TurboTV를 만드는 길을 갔기에, 그 와중에 마구실행기와 번역검산기를 결합하는 선택을 했기에 가능했던 흔치 않은 시선이라고 본다.
-또한 마침 프로그램의 특정 지점에 집중하는 입력을 만드는 비슷한 연구는 연구실에서 활발히 진행되고 있었다.
+또한 마침 프로그램의 특정 지점에 집중하는 입력을 만드는 비슷한 연구가 연구실에서 활발히 진행되고 있었다.
 [지향성 퍼징]({{ site.url }}{{ site.baseurl }}/dafl-story),
 [지향성 단위 테스트 생성기]({{ site.url }}{{site.baseurl}}/sky-and-star)에 이어
 최적화 지향성 컴파일러 입력 생성기까지.
@@ -75,19 +75,20 @@ TurboTV를 함께 만든 [재성](https://doitman.kr)이와 당시 학부 연구
 재성이와 봉준이는 거리낌없이 치고나가면서 앞에 놓인 장애물을 매주 차근차근 부수기 시작했다.
 그렇게 [Optimuzz](https://prosys.kaist.ac.kr/optimuzz/) 프로젝트가 시작되었다.
 어느정도 시스템이 성숙하자 야생으로 나가보기로 했다.
-세상에서 가장에서 널리 쓰이는 컴파일러인 LLVM에 우리 기술을 적용해 봤더니 오류가 무더기로 쏟아져 나왔다.
+세상에서 가장 널리 쓰이는 컴파일러인 LLVM에 우리 기술을 적용해 봤더니 오류가 무더기로 쏟아져 나왔다.
 TurboFan에서도 기존보다 월등히 나은 성능을 보였다.
 성공적인 기술임을 확신했다. 약 1년 정도 연구를 거쳐 2024년 11월, 결과를 PLDI에 제출했다.
 역시나 다들 우리의 시선에 공감했다. 평가는 매우 긍정적이었고 무난하게 채택되었다. 특히, 아래와 같은 심사평이 뿌듯했다:
 > It opens a new direction of compiler fuzzing, i.e., guided compiler fuzzing. (Reviewer A)
 >
 > To my knowledge, one of the first (if not the first) work to apply guided fuzzing to test complex software like compiler optimizations. (Reviewer B)
 
-봉준호 감독이 <기생충>으로 아카데미상을 받았을 때, 그의 우상인 마틴 스코세이지 감독 앞에서 그의 말을 빌려 수상 소감을 전했다.
+봉준호 감독은 <기생충>으로 아카데미상을 받았을 때, 우상인 마틴 스코세이지 감독 앞에서 그의 말을 빌려 수상 소감을 전했다.
 > 가장 개인적인 것이 가장 창의적인 것이다
 
 유명한 사람이 하는 것, 요새 유행하는 것을 쫓는다면 쉽게 2류까지는 될 수 있을 것이다.
-하지만 분야를 막론하고 창의적인 생각은 (가령, 영화 감독에게는 영화 주제) 남의 뒤통수에 있지 않은 것이 분명하다. 현재 맡은 일에 충실하면서 내 안의 자그마한 소리에 귀를 기울여야 누구도 발견하지 못한 색을 갖게 된다고 본다.
+하지만 분야를 막론하고 창의적인 생각은 (가령, 영화 감독에게는 영화 주제) 남의 뒤통수에 있지 않은 것이 분명하다.
+현재 맡은 일에 충실하면서 내 안의 자그마한 소리에 귀를 기울여야 누구도 발견하지 못한 색을 갖게 된다.
 
 나만의 길을 개척해가는 수레바퀴는 멈추지 않고 돌아갈 것이다. 파고들면 들수록 세상에 나만 아는 비밀로 가득할 것이다.
 가슴 벅차지 않은가? 세상에 나만 아는 비밀이 있다는 것. 그리고 곧 그 비밀을 모두에게 자랑스럽게 이야기해 줄 수 있는 기회가 있다는 것.