APR - Conférences

Équipes actuelles :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Anciennes équipes :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Anciens thèmes :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publications APR	2015	2016	2017	2018	2019	2020	Total
Livres	0	0	0	0	0	0	0
Éditions de livres	0	1	0	0	0	0	1
Articles de revues	11	9	5	3	4	1	33
Chapitres de livres	0	0	0	0	0	0	0
Conférences	12	12	12	12	14	2	64
Habilitations	0	0	1	0	0	0	1
Thèses	0	1	1	2	7	0	11

LIP6

O. Bodini, A. Genitrini, F. Peschanski : “The Combinatorics of Non-determinism”, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 24, Leibniz International Proceedings in Informatics, Guwahati, India, pp. 425-436 [Bodini 2013]
M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “Efficient Abstractions for GPGPU Programming”, International Symposium on High-level Parallel Programming and Applications, Paris, France [Bourgoin 2013a]
M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “High-Performance GPGPU Programming with OCaml”, The OCaml Users and Developers Workshop, Boston, MA, USA [Bourgoin 2013b]
M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “Retour d'expérience : portage d'une application haute-performance vers un langage de haut niveau”, Compas'13, Grenoble, France, pp. 8 [Bourgoin 2013c]
B. Canou, E. Chailloux, V. Balat : “A Declarative-friendly API for Web Document Manipulation”, International Symposium on Practical Aspects of Declarative Languages (PADL 2013), vol. 7752, Lecture Notes in Computer Science, Rome, Italy, pp. 109-124, (Springer Verlag) [Canou 2013a]
B. Canou, E. Chailloux, V. Botbol : “Static Typing and JavaScript Libraries: Towards a More Considerate Relationship”, International World Wide Web Conference, dev track, Rio de Janeiro, Brazil, pp. 15-17 [Canou 2013b]
R. Demangeon, R. Hu, R. Neykova, N. Yoshida : “Practical interruptible conversations: Distributed Dynamic Verification with Session Types and Python”, 4^th International Conference, RV 2013, vol. 8174, Lecture Notes in Computer Science, Rennes, France, pp. 130-148, (Springer Berlin Heidelberg), (ISBN: 978-3-642-40786-4) [Demangeon 2013]
M. Soria : “Combinatorial Systems and Newton iteration”, 24^th International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA13, Cala Galdana, Menorca, Spain [Soria 2013]