update README.md

Author: bongjunj

README.md

@@ -6,7 +6,9 @@
 
 This is an Optimuzz instantiation for LLVM.
 Optimuzz performs directed fuzzing on LLVM optimizer passes with Alive2 translation validator.
-Our recent development is avaiable at [our website](https://prosys.kaist.ac.kr/optimuzz/).
+Our recent development is available at [our website](https://prosys.kaist.ac.kr/optimuzz/).
+
+We also provide an Optimuzz instantiation with TurboTV for the past bugs of TurboFan.
 
 ## Installation
 
@@ -44,6 +46,11 @@ The script `build.sh` installs the followings:
 
 We provide following tools to employ Optimuzz.
 
+* `tools/build.py`: instruments and builds LLVM with a target file
+* `tools/harvest.py` collects unit test cases as seeds from LLVM of the targeted commit
+* `tools/targetline.py` asks an LLM to infer the target location from an LLVM commit
+* `tools/fuzz.py` runs our fuzzer.
+
 ```sh
 # Build LLVM with our instrumentation pass
 $ tools/build.py commit <commit-sha> <target-file> [--fresh]
@@ -71,3 +78,7 @@ $ tools/fuzz.py <llvm-dir> <seed-dir> <target-file> <target-line> -r <run-dir>
 [*] Running fuzzer
 ...
 ```
+
+In addition, `scripts/repro-turbofan.sh 1195650` performs the reproduction experiment for the TurboFan Bug 1195650.
+You can change the number to one of `1195650 1198705 1199345 1200490 1234764 1234770`.
+The reproduction detail appears in our paper.