Team APR

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
~~NOTOC~~
====== Research activity ======

The scientific activity of APR mainly develops around Algorithms and Languages and several projects exist, with many collaborations. We follow a dual approach to achieving safe and efficient applications by combining programming languages (design, implementation and program analysis tools) and algorithms (modeling, complexity analysis,random generation) through theory (formal approach in semantics and combinatorics) and practice (concrete objectives producing prototyping softwares and industrial applications).

<html><table style='border:none;'><tr style='border:none;'></html>
<html><td style='border:none;width:40%;'><div style='margin:1em'></html>
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

<html><h3>Combinatorics and Analysis of algorithms</h3></html>
In the APR team, we develop combinatorial me- thods for analysing the performances of algorithms and randomly sampling complex structures. Our methods allow to quantify the complexity of algorithms and efficiently generate combinatorial objects. Our research both aims at extending the expressiveness of the models, and adapting the methods to real application domains : information retrieval in massive data, robustness tests or software validation, modeling of graphs, quantita- tive study of concurrency. We lead several ambitious projects such as non-uniform sampling, sampling with multi-parameter specifications, graph computing with GPU programming as well as quantitative analysis of programming languages.


-------------

<html><h3>Languages and tools for Critical Softwares and Web Applications</h3></html>

The APR team works also on design and implementation of programming languages from the point of view of expressiveness, reliability and efficiency. We aim at building a complete chain from computation models (processes calculus, type systems, static analysis, ...) to actual implementations. Theses works focus on two different application domains. On the one hand we are interested in the development of tools for the certification of critical systems (tests and static analysis by abstract interpretation). On the other hand, web-based technologies offers an excellent laboratory for new ideas, such as computational migration and synchronous-reactive programming for multi-tier applications. Both domains revolve around component-based systems which strongly benefit from a top-down vision (global control, type system, monitors, multi-tier design)


-------------

<html><h3>Algorithms and Languages for Multicore Processors</h3></html>

A real need for abstraction arose out of the democratization of parallelism and concurrency. These abstractions should facilitate parallel composition while allowing a compiler to generate efficient code for a given target architecture. These abstractions must also be clearly specified and allow the static analysis of a number of properties to ensure the safe execution of the programs created. The great strength of our team on this research theme is the complementarity of the work we have carried out in recent years. On the one hand, we have a recognized expertise concerning advanced algorithmics and parallel programming techniques, particularly in the shared memory model and data-parallelism. This concerns, on the one hand, the abstraction of the hardware, CPU and GPU, and the algorithms adaptation for these specific hardware and on the other hand the tools of static analysis by abstract interpretation for concurrent programs for shared memory models as well as for communicating processes. In a complementary way, we have studied concurrency and mobility based on π-calculus.

-------------


<html></td></html>
<html><td style='border:none;width:40%;'><div style='margin:1em'></html>



<html><h3>Projects in collaboration</h3></html>

  * ERC  project [[https://www-apr.lip6.fr/~mine/mopsa/index.html | MOPSA]] (2016-21)
  * Systematic project LCHIP (2017-20)
  * PEPS APRES (2017)
  * PEPS GraphGPU (2016-17)
  * GDRI [[http://aleanetwork.net/ | ALEA NETWORK ]] (2015-19)
  * ANR project [[http://www.anr-coverif.fr|COVERIF]] (2015-19)
  * ANR project [[http://metaconc.stat.sinica.edu.tw|MOST]] (2015-19)
  * ITEA3 project [[http://assume-project.eu | ASSUME]] (2015-18)


  * SU-FAPERJ project PSwmsGpu (2015-16)
  * Systematic project UCF (2014-17)
  * ANR network CHRONOS (2014-16)
  * ANR project [[http://www.algo-prog.info/cercles/|CERCLES]] (2011-14)
  * ANR project [[http://www-apr.lip6.fr/anrMagnum/|MAGNUM]] (2010-15)
  * ANR project [[http://www-sop.inria.fr/indes/pwd/|PWD]] (2010-14)
  * Systematic project [[http://opengpu.net/|OpenGPU]] (2010-12)
  * ANR project [[http://www-apr.lip6.fr/anrGamma/|GAMMA]] (2007-10)
  * System@tic project [[http://www.projet-couverture.com/|COUVERTURE]] (2008-10)
  * PEPS project STOCHASFLIP (2008-10)
  * Digiteo project PWT (2007-10)

-------------

<html><h3>LIP6 Projects</h3></html>

  * PART (2017-) : Conception d'algorithmes de tracking efficace sur architectures hétérogène (with ALSOC)
  * LinkThreads (2014-) : Link flow analysis of dynamic graphs from traces of multithreaded programs  (with Complex networks and MOVE)
  * Z3 (2010-12): Implantation of the ZAM functional machine in the VMkit virtual  machine  (with  REGAL)
  * AFMI  (2008-10) : Formal Approaches for the metrology of  the Internet (with Complex Network)
  * PAME  (2008-10): Programming Emerging  Multicore Architectures (with PEQUAN and ALSOC)
  * SYNUS (2007-09): Symbolic-Numeric Algorithms for Solving Polynomial Systems (with PEQUAN and SALSA)

-------------

<html><h3>Seminars and working groups</h3></html>

  * [[http://www-apr.lip6.fr/sem-comb-anal-enum.html|Combinatorics Seminar]], animated by M. Soria and S. Corteel
  * [[http://www-apr.lip6.fr/~chaillou/Public/programmation/|"Programming" working group]], animated by E. Chailloux {{rss>http://gdtprog.blogspot.com/feeds/posts/default 1 date 1h }}
  * [[https://www.lip6.fr/recherche/organise-archive.php?acronyme=APR|APR Seminar, animated by R. Demangeon  (previously by B-M Bui-Xuan & A. Genitrini & J. Baste)]]
  * [[http://wiki.sagemath.org/GroupeUtilisateursParis|Sage User Group in Paris region]], animated by F. Hivert, N. Thiéry (LRI, Paris-Sud), A. Valibouze, ...



-------------

 <html><h3>APR days</h3></html>

    * July 2019: [[apr:journees:ete2019|Summer-APR-2019]]
    * June 2018: [[http://www-apr.lip6.fr/APR/journeeAPR2018.pdf|APR-2018]], organized by E. Chailloux
    * May 2016: [[http://www-apr.lip6.fr/journeesAPR2016.pdf|APR-2016]], organized by E. Chailloux
    * June 2014 :  [[http://www-apr.lip6.fr/journeeAPR2014.pdf|APR-2014]], organized by E. Chailloux
    * June 2013 : [[http://www-apr.lip6.fr/journeeAPR2013.pdf|APR-2013]], organized by E. Chailloux, P. Trébuchet
    * Feb 2012 [[http://www-apr.lip6.fr/journeeAPRfev2012.pdf|APR-2012]], organized by E. Chailloux
    * June 2010 [[http://www-apr.lip6.fr/Seminaire-2010/programme-seminaire-apr.html|APR-2010]], organized by F. Peschanski, P. Trebuchet, A. Valibouze

-------------


<html></td></tr></table></html>
Team APR

User Tools

Site Tools

Page Tools
