Merge remote-tracking branch 'origin/master'

Author: daejunpark

PLDI15-AEC.README.md

@@ -3,14 +3,14 @@
 ## KJS: A Complete Formal Semantics of JavaScript
 
 The artifact consists of:
- * Formal semantics
-   * Testing the semantics against test262
- * Applications
-   * Measuring the semantic coverage of test262
-   * Finding a known security attack
-   * Verifying JavaScript programs
+ * [Formal semantics](README.md#directory-structure)
+   * [Testing the semantics against test262](README.md#5-run-ecmascript-conformance-test-suitetest262)
+ * [Applications](README.md#directory-structure)
+   * [Measuring the semantic coverage of test262](test262-coverage/README.md)
+   * [Finding a known security attack](security-attack/README.md)
+   * [Verifying JavaScript programs](verification/README.md)
 
-You can simply reproduce all of the results by using `run-all.sh`:
+You can simply reproduce all of the results by using [`run-all.sh`](run-all.sh):
 ```
 $ ./run-all.sh
 ```