Équipe : APR - Algorithmes, Programmes et Résolution
Axes : SSR (👥👥), TMC (👥👥), ASN (👥).Responsable :
Antoine Miné Campus Pierre et Marie Curie 25-26/311
Soutenances de thèse (APR)
25/11/2024 - 14 h : SYLVESTRE Loic
Programmation sûre, expressive et efficace de circuits FPGA
Campus Pierre et Marie Curie, Salle de réunion de l'UFR d'Ingénierie (55-65/211)
Aucune manisfestation prévue actuellement.
Brève présentation
Les thématiques de l’équipe APR concernent l’algorithmique et les langages de programmation, sous des aspects fondamentaux à la fois théoriques et pratiques, en combinant l’approche langage (conception, implantation, analyse statique) et les besoins algorithmiques (modélisation algorithmique, analyse de complexité, génération aléatoire) dans des domaines d’application qui vont de la programmation des nouvelles architectures de machines au développement de langages pour la concurrence et la mobilité, des applications embarquées critiques au développement Web. De façon générale, nous développons dans l'équipe APR, des approches méthodologiques, formelles et mathématisées, en sémantique et en combinatoire, pour parvenir jusqu’à des objectifs très concrets, dans la construction de prototypes logiciels expérimentaux et la réalisation d’applications industrielles.
L'équipe APR est basée sur trois axes suivant un thème de recherche commun autour de la concurrence:
- Combinatoire et analyse d'algorithmes
- Langages et outils pour les logiciels critiques et les applications Web
- Algorithmes et langages pour les processeurs multicœurs
site Web APR
Génération aléatoire, Structures Combinatoires, Analyse d'Algorithmes, Modélisation et Applications. Conception et Implantation de langages, Analyses statiques, Typage, Interprétation Abstraite, Concurrence, Programmation Parallèle, Langage et Calcul.
Sélection de publications
- Ph. Aubry, J. Marrez, A. Valibouze : “Computing real solutions of fuzzy polynomial systems” Fuzzy Sets and Systems, vol. 399, pp. 55-76, (Elsevier)[Aubry 2020]
- B. Sall, F. Peschanski, E. Chailloux : “A Mechanized Theory of Program Refinement” ICFEM 2019 - 21st International Conference on Formal Engineering Methods, vol. 11852, Lecture Notes in Computer Science, Shenzhen, China, pp. 305-321, (Springer)[Sall 2019]
- M. Journault, A. Miné, R. Monat, A. Ouadjaout : “Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer” Verified Software. Theories, Tools, and Experiments, vol. 12031, Lecture Notes in Computer Science, New York, United States, pp. 1-18, (Springer)[Journault 2019b]
- V. Botbol, E. Chailloux, T. Le Gall : “Static Analysis of Communicating Processes Using Symbolic Transducers” International Conference on Verification, Model Checking, and Abstract Interpretation - VMCAI 2017, vol. 10145, Lecture Notes in Computer Science, Paris, France, (Springer International Publishing)[Botbol 2017]
- R. Demangeon, L. Bocchi, N. Yoshida, T.‑Ch. Chen, K. Honda : “Monitoring networks through multiparty session types” Theoretical Computer Science, vol. 669, pp. 33-58, (Elsevier)[Demangeon 2017]
- O. Bodini, M. Dien, A. Genitrini, F. Peschanski : “The Ordered and Colored Products in Analytic Combinatorics: Application to the Quantitative Study of Synchronizations in Concurrent Processes” 2017 Proceedings of the Fourteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO), Barcelone, Spain, pp. 16-30[Bodini 2017c]
- A. Miné, L. Mauborgne, X. Rival, J. Feret, P. Cousot, D. Kästner, S. Wilhelm, Ch. Ferdinand : “Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée” 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Toulouse, France[Miné 2016b]
- A. Darrasse, H.‑K. Hwang, M. Soria : “Shape Measures of Random Increasing k-trees” Combinatorics, Probability and Computing, vol. 25, pp. 668-699, (Cambridge University Press (CUP))[Darrasse 2016]
- A. Genitrini, B. Gittenberger, V. Kraus, C. Mailler : “Associative and commutative tree representations for Boolean functions” Theoretical Computer Science, vol. 570, pp. 70-101, (Elsevier)[Genitrini 2015]
- S. Abbes, J. Mairesse : “Uniform and Bernoulli measures on the boundary of trace monoids” Journal of Combinatorial Theory, Series A, vol. 135, pp. 201-236, (Elsevier)[Abbes 2015a]
- B. Vaugon, Ph. Wang, E. Chailloux : “Programming Microcontrollers in Ocaml: the OCaPIC Project” International Symposium on Practical Aspects of Declarative Languages (PADL 2015), vol. 9131, Lecture Notes in Computer Science, Portland, OR, United States, pp. 132-148, (Springer Verlag)[Vaugon 2015]
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “Efficient Abstractions for GPGPU Programming” International Journal of Parallel Programming, vol. 42 (4), pp. 583-600, (Springer Verlag)[Bourgoin 2014c]
Contact
Antoine.Mine (at) nulllip6.fr