Frédéric Gava

51 papers A 1B 2C 13Misc 9Journal 15Unranked 10

Year	Rank	Type	Title / Venue / Authors
2022	C	`conf`	A scalable algorithm for homomorphic computing on multi-core clusters. ISPDC Frédéric Gava, Léa Marziyeh Bayati
2022	C	`conf`	A type system to avoid runtime errors for Multi-ML. ISPDC Frédéric Gava, Victor Allombert, Julien Tesson
2020	J	`jnl`	Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution. Int. J. Parallel Program. Frédéric Gava, Yoann Marquer
2020	J	`jnl`	Programming bsp and multi-bsp algorithms in ml. J. Supercomput. Victor Allombert, Frédéric Gava
2019	J	`jnl`	Axiomatization and characterization of BSP algorithms. J. Log. Algebraic Methods Program. Yoann Marquer, Frédéric Gava
2018	C	`conf`	A Formal Semantics of the MULTI-ML Language. ISPDC Victor Allombert, Frédéric Gava, Julien Tesson
2018	—	`conf`	Algorithmic Completeness for BSP Languages. HPCS Yoann Marquer, Frédéric Gava
2018	—	`conf`	An Axiomatization for BSP Algorithms. ICA3PP (3) Yoann Marquer, Frédéric Gava
2018	—	`conf`	An ML Implementation of the MULTI-BSP Model. HPCS Victor Allombert, Frédéric Gava
2018	—	`conf`	Toward Performance Prediction for Multi-BSP Programs in ML. ICA3PP (3) Victor Allombert, Frédéric Gava, Julien Tesson
2017	J	`jnl`	Multi-ML: Programming Multi-BSP Algorithms in ML. Int. J. Parallel Program. Victor Allombert, Frédéric Gava, Julien Tesson
2016	J	`jnl`	BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation. Int. J. Parallel Program. Jean Fortin, Frédéric Gava
2015	—	`conf`	Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case. ICA3PP (Workshops and Symposiums) Jean Fortin, Frédéric Gava
2014	J	`jnl`	A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. J. Supercomput. Frédéric Gava, Franck Pommereau, Michaël Guedj
2013	B	`conf`	Deductive Verification of State-Space Algorithms. IFM Frédéric Gava, Jean Fortin, Michaël Guedj
2012	C	`conf`	A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols. PDCAT Frédéric Gava, Michaël Guedj, Franck Pommereau
2012	C	`conf`	A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols. ISPDC Frédéric Gava, Michaël Guedj, Franck Pommereau
2012	J	`jnl`	Guest Editors Note: High-Level Programming for Heterogeneous and Hierarchical Parallel Systems. Parallel Process. Lett. Gaétan Hains, Frédéric Gava, Kevin Hammond
2012	C	`conf`	Implementation of Data-Parallel Skeletons: A Case Study Using a Coarse-Grained Hierarchical Model. ISPDC Chong Li, Frédéric Gava, Gaétan Hains
2012	C	`conf`	Mechanised Verification of Distributed State-Space Algorithms for Security Protocols. PDCAT Frédéric Gava, Arthur Hidalgo, Jean Fortin
2012	C	`conf`	Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols. PDP Frédéric Gava, Michaël Guedj, Franck Pommereau
2012	—	`conf`	Towards verified cloud computing environments. HPCS Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre
2011	J	`jnl`	CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons. Int. J. Parallel Emergent Distributed Syst. Ilias Garnier, Frédéric Gava
2010	J	`jnl`	Bulk synchronous parallel ML with exceptions. Future Gener. Comput. Syst. Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
2010	Misc	`conf`	From BSP routines to high-performance ones: Formal verification of a transformation case. ICCS Jean Fortin, Frédéric Gava
2010	Misc	`conf`	Functional Parallel Programming with Revised Bulk Synchronous Parallel ML. ICNC Wadoud Bousdira, Frédéric Gava, Louis Gesbert, Frédéric Loulergue, Guillaume Petiot
2010	—	`conf`	Modular implementation of dense matrix operations in a high-level BSP language. HPCS Sovanna Tan, Frédéric Gava
2010	Misc	`conf`	Practical aspects of high-level parallel programming PAPP 2010. ICCS Anne Benoit, Frédéric Gava
2009	A	`conf`	New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons. IPDPS Frédéric Gava, Ilias Garnier
2009	C	`conf`	Two Formal Semantics of a Subset of the Paderborn University BSPlib. PDP Frédéric Gava, Jean Fortin
2008	J	`jnl`	A Modular Implementation of Data Structures in Bulk-Synchronous Parallel ML. Parallel Process. Lett. Frédéric Gava
2008	—	`conf`	BSP Functional Programming: Examples of a Cost Based Methodology. ICCS (1) Frédéric Gava
2008	C	`conf`	Formal Semantics of a Subset of the Paderborn's BSPlib. PDCAT Frédéric Gava, Jean Fortin
2007	Misc	`conf`	Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML. International Conference on Computational Science (1) Frédéric Gava
2006	Misc	`conf`	Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition. CSR Frédéric Loulergue, Radia Benheddi, Frédéric Gava, D. Louis-Régis
2006	J	`jnl`	Une bibliothèque certifiée de programmes fonctionnels BSP. Tech. Sci. Informatiques Frédéric Gava
2005	J	`jnl`	A Functional Language for Departmental Metacomputing. Parallel Process. Lett. Frédéric Gava, Frédéric Loulergue
2005	J	`jnl`	A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting. Future Gener. Comput. Syst. Frédéric Gava, Frédéric Loulergue
2005	—	`—`	Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification. (Functional approaches of parallel programming and méta-computers. Semantics, implementations and certification). Frédéric Gava
2005	Misc	`conf`	Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction. International Conference on Computational Science (2) Frédéric Loulergue, Frédéric Gava, David Billiet
2005	J	`jnl`	External Memory in Bulk-Synchronous Parallel ML. Scalable Comput. Pract. Exp. Frédéric Gava
2004	Misc	`conf`	Design of Departmental Metacomputing ML. International Conference on Computational Science Frédéric Gava
2004	Misc	`conf`	Parallel I/O in Bulk-Synchronous Parallel ML. International Conference on Computational Science Frédéric Gava
2003	C	`conf`	A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. SNPD Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
2003	Misc	`conf`	A Parallel Virtual Machine for Bulk Synchronous Parallel ML. International Conference on Computational Science Frédéric Gava, Frédéric Loulergue
2003	B	`conf`	A Polymorphic Type System for Bulk Synchronous Parallel ML. PaCT Frédéric Gava, Frédéric Loulergue
2003	J	`jnl`	Formal Proofs of Functional BSP Programs. Parallel Process. Lett. Frédéric Gava
2003	C	`conf`	Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. SNPD Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
2003	C	`conf`	Semantics of Minimally Synchronous Parallel ML. SNPD Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski
2003	—	`conf`	Semantics of a Functional BSP Language with Imperative Features. PARCO Frédéric Gava, Frédéric Loulergue
2003	—	`conf`	Synthèse de types pour Bulk Synchronous Parallel ML. JFLA Frédéric Gava, Frédéric Loulergue