BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Italy
1 × Spain
3 × USA
Collaborated with:
C.McBride Darius Mercadier A.Kennedy N.Benton J.B.Jensen J.Chapman P.Morris C.Fournet N.Swamy J.Chen P.Strub B.Livshits T.Bourke Lélio Brun X.Leroy M.Pouzet L.Rieg A.Baumann P.Barham T.L.Harris R.Isaacs S.Peter T.Roscoe A.Schüpbach A.Singhania
Talks about:
ornament (2) compil (2) multikernel (1) architectur (1) throughput (1) javascript (1) treatment (1) transport (1) construct (1) multicor (1)

Person: Pierre-Évariste Dagand

DBLP DBLP: Dagand:Pierre==Eacute=variste

Contributed to:

LICS 20132013
POPL 20132013
PPDP 20132013
ICFP 20122012
ICFP 20102010
SOSP 20092009
PLDI 20172017
PLDI 20192019

Wrote 8 papers:

LICS-2013-DagandM #category theory
A Categorical Treatment of Ornaments (PÉD, CM), pp. 530–539.
POPL-2013-FournetSCDSL #compilation #javascript
Fully abstract compilation to JavaScript (CF, NS, JC, PÉD, PYS, BL), pp. 371–384.
PPDP-2013-KennedyBJD #assembly #coq #metaprogramming #named #question
Coq: the world’s best macro assembler? (AK, NB, JBJ, PÉD), pp. 13–24.
Transporting functions across ornaments (PÉD, CM), pp. 103–114.
The gentle art of levitation (JC, PÉD, CM, PM), pp. 3–14.
SOSP-2009-BaumannBDHIPRSS #architecture #kernel #manycore #scalability
The multikernel: a new OS architecture for scalable multicore systems (AB, PB, PÉD, TLH, RI, SP, TR, AS, AS), pp. 29–44.
PLDI-2017-BourkeBDLPR #compilation
A formally verified compiler for Lustre (TB, LB, PÉD, XL, MP, LR), pp. 586–601.
PLDI-2019-MercadierD #named
Usuba: high-throughput and constant-time ciphers, by construction (DM, PÉD), pp. 157–173.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.