Ceci est une ancienne révision du document !


Journaux

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, Annelie Heuser, Olivier Zendra), HiPEAC High Performance Embedded Architecture and Compilation - Workshop on Time, Energy and Security Analysis for Multicore Heterogenous Platforms, quantification des vulnérabilités
  • 2015 : Imperative characterization of Polynomial Time Algorithms (Yoann Marquer, Pierre Valarcher), DICE Developments in Implicit Computational Complexity, modèle de calcul séquentiel
  • 2015 : Imperative characterization of Polynomial Time Algorithms (Yoann Marquer, Pierre Valarcher), JAF Journées sur les Arithmétiques Faibles 34, modèle de calcul séquentiel
  • 2014 : Algorithmic Completeness of Imperative Programming Languages (Yoann Marquer, Pierre Valarcher), JAF Journées sur les Arithmétiques Faibles 33, modèle de calcul séquentiel

Rapports

Rapports techniques

Manuscrit de thèse

Présentations

Séminaires

  • 2020 : A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Yoann Marquer, Tania Richmond), LACL Laboratoire d’Algorithmique, Complexité et Logique, sécurisation logicielle
  • 2018 : Axiomatisation et caractérisation des algorithmes BSP (Yoann Marquer, Frédéric Gava), LACL Laboratoire d’Algorithmique, Complexité et Logique, modèle de calcul parallèle
  • 2017 : Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial (Yoann Marquer, Pierre Valarcher), LIFO Laboratoire d'Informatique Fondamentale d'Orléans, modèle de calcul séquentiel
  • 2017 : Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial (Yoann Marquer, Pierre Valarcher), GREYC Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen, modèle de calcul séquentiel
  • 2016 : Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial (Yoann Marquer, Pierre Valarcher), LIPN Laboratoire d'Informatique de Paris Nord, modèle de calcul séquentiel
  • 2013 : Complétude algorithmique des langages impératifs (Yoann Marquer, Pierre Valarcher), LACL Laboratoire d’Algorithmique, Complexité et Logique, modèle de calcul séquentiel

Exposés