HVM Paper typos and broken links

[Lorenzobattistela]

HVM Paper

Found some typos and broken links in the current paper version.

• Page 4: "Lastly, an Book consists of" . -> "Lastly a Book consists of"
• Page 8: Column 2, second row of the table has a typo: "LNIK" -> Link
• Page 16: HVM2 repo link is broken (I think is the pre-release one)
• Page 17: same link broken
  Suggestion to add reference in page 22 about EAL inference.

And also, the first phrase of page 24:

For example, a single-core C program that adds numbers from 0 to a few billions
will easily outperform an HVM2 one that uses thousands of threads, given the C
version is doing no allocation, while C is allocating a tree-like recursive stack.

Sounds a little bit confusing, It seems like one of the C's should be HVM or something similar.

I know the paper is a WIP, was just reading and saw those. Thanks!

System Settings

Not applicable

Additional context

No response