科研组 : APR - Algorithms, Programmes and Resolution
Axes : SSR (👥👥), TMC (👥👥), ASN (👥).
Antoine Miné Campus Pierre et Marie Curie 25-26/311
The APR team works on thematics dealing with algorithms and programming languages, from both theoretical and practical aspects, combining the language approach (design, implementation and program analysis tools) and the algorithmic requirements (modeling, complexity analysis, random generation) in a wide range of applications, such as programing new machine architectures, developing languages for concurrence and mobility, from critical embedded applications to Web development. More generally, in the APR team, we develop formal and mathematically founded methodological approaches, in the domains of semantics and combinatorics, in order to achieve safe and efficient applications by combining programming languages and algorithms through theory (formal approach in semantics and combinatorics) and practice (concrete objectives producing prototyping softwares and industrial applications).
The APR team is based on three axes following a common research theme around concurrency:
- Combinatorics and Analysis of algorithms
- Languages and Tools for Critical Softwares and Web Applications
- Algorithms and Languages for Multicore Processors
APR Web site
Random Sampling, Combinatorial Structures, Analysis of Algorithms, Models and Applications.
Design and implementation of Programming Languages, Static analysis, typechecking, Abstract Interpretation, Concurrency, Parallel Programming, Language and Computation.
- C. Urban, A. Miné : “Inference of ranking functions for proving temporal properties by abstract interpretation”, Computer Languages, Systems and Structures, (Elsevier) [Urban 2015]
- 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]
- 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]
- Ph. Aubry, A. Valibouze : “Parallel computation of resolvents by multimodular techniques and decomposition formula”, International Journal of Algebra and Computation, vol. 22 (5), pp. 1-21, (World Scientific Publishing) [Aubry 2012b]
- 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.‑M. Bui‑Xuan, O. Suchy, J. Telle, M. Vatshelle : “Feedback vertex set on graphs of low cliquewidth”, European Journal of Combinatorics, vol. 34 (3), pp. 666-679, (Elsevier) [Bui-Xuan 2013b]
- 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]
- 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]
- A. Miné, J. Breck, Th. Reps : “An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs”, Lecture Notes in Computer Science, vol. 9632, Programming Languages and Systems, Eindhoven, Netherlands, pp. 560-588, (Springer) [Miné 2016a]
Antoine.Mine (at) nulllip6.fr