-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpubs.html
69 lines (57 loc) · 2.48 KB
/
pubs.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
<dl>
<dt>
[<a name="velus:jfla:2019">BP19</a>]
</dt>
<dd>
Timothy Bourke and Marc Pouzet.
Clocked arguments in a verified Lustre compiler.
In <em>JFLA 2019 - Les Trentièmes Journées Francophones des
Langages Applicatifs</em>, Les actes des trentièmes Journées
Francophones des Langages Applicatifs (JFLA 2019), page 16, Les Rousses,
France, January 2019.<br />
[ <a href="dist/pubs_bib.html#velus:jfla:2019">bib</a> |
<a href="https://hal.inria.fr/hal-02005639">http</a> |
<a href="https://hal.inria.fr/hal-02005639/file/bourke-pouzet-jfla2019.pdf">.pdf</a> ]
</dd>
<dt>
[<a name="velus:scopes:2008">BBP18</a>]
</dt>
<dd>
Timothy Bourke, Lélio Brun, and Marc Pouzet.
Towards a verified Lustre compiler with modular reset.
In <em>21st International Workshop on Software and Compilers for
Embedded Systems (SCOPES 2018)</em>, Proceedings of the 21st International
Workshop on Software and Compilers for Embedded Systems (SCOPES 2018),
page 4, Sankt Goar, Germany, May 2018. ACM Press.<br />
[ <a href="dist/pubs_bib.html#velus:scopes:2008">bib</a> |
<a href="http://dx.doi.org/10.1145/3207719.3207732">DOI</a> |
<a href="https://hal.inria.fr/hal-01817949">http</a> |
<a href="https://hal.inria.fr/hal-01817949/file/paper.pdf">.pdf</a> ]
</dd>
<dt>
[<a name="velus:pldi:2017">BBD<sup>+</sup>17</a>]
</dt>
<dd>
Timothy Bourke, Lélio Brun, Pierre-Evariste Dagand, Xavier Leroy, Marc
Pouzet, and Lionel Rieg.
A Formally Verified Compiler for Lustre.
In <em>PLDI 2017 - 38th ACM SIGPLAN Conference on Programming
Language Design and Implementation</em>, Barcelone, Spain, June 2017. ACM.<br />
[ <a href="dist/pubs_bib.html#velus:pldi:2017">bib</a> |
<a href="https://hal.inria.fr/hal-01512286">http</a> |
<a href="https://hal.inria.fr/hal-01512286/file/velus-pldi17.pdf">.pdf</a> ]
</dd>
<dt>
[<a name="velus:jfla:2017">BDPR17</a>]
</dt>
<dd>
Timothy Bourke, Pierre-Evariste Dagand, Marc Pouzet, and Lionel Rieg.
Vérification de la génération modulaire du code
impératif pour Lustre.
In <em>JFLA 2017 - Vingt-huitième Journées Francophones des
Langages Applicatifs</em>, Gourette, France, January 2017.<br />
[ <a href="dist/pubs_bib.html#velus:jfla:2017">bib</a> |
<a href="https://hal.inria.fr/hal-01403830">http</a> |
<a href="https://hal.inria.fr/hal-01403830/file/bourke%20%281%29.pdf">.pdf</a> ]
</dd>
</dl>