diff options
| author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-10-07 17:47:12 +0200 |
|---|---|---|
| committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-10-07 17:47:12 +0200 |
| commit | a66650006bd85a196d4a986ad36ee265d57b828c (patch) | |
| tree | a7458c385756d9adeb42ad452640f58a8a5a6c57 /doc | |
| parent | 043a6caa766bf1f3508b389cd3c7ae69d596eded (diff) | |
| download | compcert-kvx-a66650006bd85a196d4a986ad36ee265d57b828c.tar.gz compcert-kvx-a66650006bd85a196d4a986ad36ee265d57b828c.zip | |
update the title of our paper
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/index-kvx.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/index-kvx.html b/doc/index-kvx.html index 97eefc24..6906c212 100644 --- a/doc/index-kvx.html +++ b/doc/index-kvx.html @@ -34,8 +34,8 @@ a:active {color : Red; text-decoration : underline; } The unmodified parts of this table appear in <font color=gray>gray</font>. <br> <br> - A high-level view of this backend of CompCert is provided by this HAL preprint of Six, Boulmé and Monniaux (2019): - <div><a href=https://hal.archives-ouvertes.fr/hal-02185883>Certified Compiler Backends for VLIW Processors (Highly Modular Postpass-Scheduling in the CompCert Certified Compiler)</a></div> + A high-level view of this CompCert backend is provided by this OOSPLA'20 paper (of Six, Boulmé and Monniaux): + <div><a href=https://hal.archives-ouvertes.fr/hal-02185883>Certified and Efficient Instruction Scheduling. Application to Interlocked VLIW Processors.</a></div> <br> Our source code is available on our <a href=https://gricad-gitlab.univ-grenoble-alpes.fr/certicompil/compcert-kvx>GitLab public repository</a> (see conditions in the LICENSE file). </p> |