research
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
research [2018/01/03 12:19] emmanuel [Research activity] |
research [2024/05/02 11:08] (current) |
||
|---|---|---|---|
| Line 11: | Line 11: | ||
| - Algorithms and Languages for Multicore Processors | - Algorithms and Languages for Multicore Processors | ||
| - | <html><h3><a href='/actionGA/'>Combinatorics and Analysis of algorithms</a></h3></html> | + | <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. | 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. | ||
| Line 38: | Line 38: | ||
| <html><h3>Projects in collaboration</h3></html> | <html><h3>Projects in collaboration</h3></html> | ||
| - | * ERC Consolidator project [[https://www-apr.lip6.fr/~mine/mopsa/index.html | MOPSA]] (2015-2020) | + | * ERC project [[https://www-apr.lip6.fr/~mine/mopsa/index.html | MOPSA]] (2016-21) |
| - | * Systematic project LCHIP (2017-2020) | + | * Systematic project LCHIP (2017-20) |
| - | * ANR project [[http://www.anr-coverif.fr|COVERIF]] (2015-2019) | + | |
| - | * ITEA3 project [[https://itea3.org/project/assume.html | ASSUME]] (2015-2018) | + | |
| * PEPS APRES (2017) | * PEPS APRES (2017) | ||
| - | * PEPS GraphGPU (2016-2017) | + | * PEPS GraphGPU (2016-17) |
| - | * Systematic project UCF (2014-2017) | + | * GDRI [[http://aleanetwork.net/ | ALEA NETWORK ]] (2015-19) |
| - | * ANR network CHRONOS (2014-2016) | + | * ANR project [[http://www.anr-coverif.fr|COVERIF]] (2015-19) |
| - | * ANR project [[http://www.algo-prog.info/cercles/|CERCLES]] (2011-2014) | + | * ANR project [[http://metaconc.stat.sinica.edu.tw|MOST]] (2015-19) |
| - | * ANR project [[http://www-apr.lip6.fr/anrMagnum/|MAGNUM]] (2010-2015) | + | * 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) | * ANR project [[http://www-sop.inria.fr/indes/pwd/|PWD]] (2010-14) | ||
| * Systematic project [[http://opengpu.net/|OpenGPU]] (2010-12) | * Systematic project [[http://opengpu.net/|OpenGPU]] (2010-12) | ||
| Line 59: | Line 64: | ||
| <html><h3>LIP6 Projects</h3></html> | <html><h3>LIP6 Projects</h3></html> | ||
| - | * PART (2017-) : Conception d'algorithmes de tracking efficace sur architectures hétérogène | + | * 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) | * 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) | * Z3 (2010-12): Implantation of the ZAM functional machine in the VMkit virtual machine (with REGAL) | ||
| Line 71: | Line 76: | ||
| * [[http://www-apr.lip6.fr/sem-comb-anal-enum.html|Combinatorics Seminar]], animated by M. Soria and S. Corteel | * [[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 2 date 1h }} | + | * [[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 & J. Baste (previously by B-M Bui-Xuan & A. Genitrini)]] | + | * [[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, ... | * [[http://wiki.sagemath.org/GroupeUtilisateursParis|Sage User Group in Paris region]], animated by F. Hivert, N. Thiéry (LRI, Paris-Sud), A. Valibouze, ... | ||
| Line 81: | Line 86: | ||
| <html><h3>APR days</h3></html> | <html><h3>APR days</h3></html> | ||
| - | * May 2016: [[http://www-apr.lip6.fr/journeeAPR2016.pdf|APR-2016]], organized by E. Chailloux | + | * Mai 2024: [[apr:journees:ete2024|Summer-APR-2024]], organized by A. Miné |
| + | * June 2023: [[apr:journees:ete2023|Summer-APR-2023]], organized by A. Miné | ||
| + | * June 2022: [[http://www-apr.lip6.fr/APR/journeeAPR2022f.pdf|Summer-APR-2022]], organized by E. Chailloux | ||
| + | * July 2019: [[apr:journees:ete2019|Summer-APR-2019]], organized by A. Miné | ||
| + | * 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 2014 : [[http://www-apr.lip6.fr/journeeAPR2014.pdf|APR-2014]], organized by E. Chailloux | ||
| - | * June 2013 : [[http://www-apr.lip6.fr/journeeAPRjune2013.pdf|APR-2013]], organized by E. Chailloux, P. Trébuchet | + | * 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 | * 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 | * June 2010 [[http://www-apr.lip6.fr/Seminaire-2010/programme-seminaire-apr.html|APR-2010]], organized by F. Peschanski, P. Trebuchet, A. Valibouze | ||
research.1514978383.txt.gz · Last modified: 2018/01/03 12:19 by emmanuel
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
