Adrien Piérard

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 1

Top Topics

Lambda Calculus

Algorithms And Data Structures

Top Venues

Publications

Grant P. Strimel, Ariya Rastrow, Gautam Tiwari, Adrien Piérard, Jon Webb
Rescore in a Flash: Compact, Cache Efficient Hashing Data Structures for n-Gram Language Models. INTERSPEECH (2020)
Adrien Piérard, Eijiro Sumii
A Higher-Order Distributed Calculus with Name Creation. LICS (2012)
Adrien Piérard, Eijiro Sumii
Sound Bisimulations for Higher-Order Distributed Process Calculus. FoSSaCS (2011)
Adrien Piérard, Eijiro Sumii
Sound Bisimulations for Higher-Order Distributed Process Calculus CoRR (2010)