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

Publications APR	2016	2017	2018	2019	2020	2021	Total
Livres	0	0	0	0	1	0	1
Éditions de livres	1	0	0	0	0	0	1
Articles de revues	9	5	4	5	7	0	30
Chapitres de livres	0	0	0	0	0	0	0
Conférences	11	13	12	16	12	0	64
Habilitations	0	1	0	0	0	0	1
Thèses	1	1	2	4	0	0	8

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, United States [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) [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) [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]