Update README.md

README.md

@@ -6,6 +6,11 @@ This repository contains miscellaneous supporting materals for HPVM.
 
 [PPoPP'18 paper](http://rsim.cs.illinois.edu/Pubs/17-PPOPP-HPVM.pdf)
 
+## Docs
+[HPVM Documentation](/hpvm/docs/hpvm-specification.md)
+
+[HPVM-C Language Specification](/hpvm/docs/hpvm-c.md)
+
 ## Dependencies
 You would need to download and install the following components for using NVIDIA GPUs to speed up your programs
 
@@ -48,5 +53,5 @@ export LLVM_SRC_ROOT=<full path to hpvm>/llvm
 We are providing the following benchamrks with HPVM:
 * Select benchmarks from the Parboil benchmark suite, located under [test/parboil](/hpvm/test/parboil).
 * An edge detection pipeline benchmark, located under [test/pipeline](/hpvm/test/pipeline).
-* A Camera ISP pipeline, curtosy of our collaborators at Harvard, located under [test/cava](/hpvm/test/pipeline).
+* A Camera ISP pipeline, curtosy of our collaborators at [Harvard](http://vlsiarch.eecs.harvard.edu), located under [test/cava](/hpvm/test/pipeline).