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!
HVM Paper
Found some typos and broken links in the current paper version.
And also, the first phrase of page 24:
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