Ceci est une ancienne révision du document !
Table des matières
Journaux
- 2020 : Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution (Frédéric Gava, Yoann Marquer), IJPP International Journal of Parallel Programming (Rang B), modèle de calcul parallèle
- 2019 : Axiomatization and characterization of BSP algorithms (Yoann Marquer, Frédéric Gava), JLAMP Journal of Logical and Algebraic Methods in Programming (Rang B), modèle de calcul parallèle
- 2019 : Algorithmic Completeness of Imperative Programming Languages (Yoann Marquer), FI Fundamenta Informaticae (Rang B), modèle de calcul séquentiel
- 2016 : An Imperative Language Characterizing PTIME Algorithms (Yoann Marquer, Pierre Valarcher)), CSLI Publications Studies in Weak Arithmetics (non classé), modèle de calcul séquentiel
Conférences
Conférences internationales avec comité et actes publiés
- 2020 : A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Yoann Marquer, Tania Richmond), ARITH 27th IEEE International Symposium on Computer Arithmetic (Rang A), sécurisation logicielle
- 2019 : Type-Driven Verification of Non-functional Properties (Christopher Brown, Adam Barwell, Yoann Marquer, Céline Minh, Olivier Zendra), PPDP 21st International Symposium on Principles and Practice of Programming Languages 2019 (Rang B), expressivité et contrats
- 2018 : An Axiomatization for BSP Algorithms (Yoann Marquer, Frédéric Gava), ICA3PP 18th International Conference on Algorithms and Architectures for Parallel Processing (Rang B), modèle de calcul parallèle
- 2018 : Algorithmic Completeness for BSP Languages (Yoann Marquer, Frédéric Gava), HPCS The 2018 International Conference on High Performance Computing and Simulation (Rang B), modèle de calcul parallèle
Conférences internationales avec comité sans acte publié
- 2020 : The Indistinguishability Approach: Quantifying Security in the TeamPlay Project (Yoann Marquer), HiPEAC High Performance Embedded Architecture and Compilation - Workshop on Time, Energy and Security Analysis for Multicore Heterogenous Platforms, quantification des vulnérabilités
Rapports
Rapports techniques
- 2021 : A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Extended Version) (Yoann Marquer, Tania Richmond, Pascal Véron), HAL 03157804, sécurisation logicielle
- 2018 : Proving Formally a Field-Based FSSP Solution (Yoann Marquer, Luidnel Maignan, Jean-Baptiste Yunès), HAL 01739317, preuve de correction