
Julien Tesson
22
Documents
Publications
Publications
|
Calculating Parallel Programs in Coq using List HomomorphismsInternational Journal of Parallel Programming, 2017, 45 (2), pp.300-319. ⟨10.1007/s10766-016-0415-8⟩
Article dans une revue
hal-01159182
v1
|
|
Multi-ML: Programming Multi-BSP Algorithms in MLInternational Journal of Parallel Programming, 2015, pp.20
Article dans une revue
hal-01160164
v3
|
A type system to avoid runtime errors for Multi-ML2022 21st International Symposium on Parallel and Distributed Computing (ISPDC), Jul 2022, Basel, France. pp.41-48, ⟨10.1109/ISPDC55340.2022.00015⟩
Communication dans un congrès
hal-04709223
v1
|
|
|
Toward performance prediction for Multi-BSP programs in ML18th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), Nov 2018, Guangzhou, China
Communication dans un congrès
hal-01941250
v2
|
|
A formal semantics of the MULTI-ML languageInternational Symposium on Parallel and Distributed Computing (ISPDC 2018), Jun 2018, Genève, Switzerland
Communication dans un congrès
hal-01835315
v1
|
Interactive Bulk Synchronous Parallel Functional Programming in a Browser2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI), Oct 2018, Guangzhou, China. pp.1593-1598, ⟨10.1109/SmartWorld.2018.00273⟩
Communication dans un congrès
hal-02317093
v1
|
|
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs ExtractionInteractive Theorem Proving, 2014, Vienna, Austria
Communication dans un congrès
hal-00964061
v1
|
|
Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus prochesApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France
Communication dans un congrès
hal-00979092
v1
|
|
Implementing powerlists with Bulk Synchronous Parallel ML16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania. ⟨10.1109/SYNASC.2014.51⟩
Communication dans un congrès
hal-01105115
v1
|
|
Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values ProblemACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea
Communication dans un congrès
hal-00905950
v1
|
|
Certified Parallel Program Calculation in Coq: A TutorialInternational Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy
Communication dans un congrès
hal-00966632
v1
|
|
Programming with BSP HomomorphismsEuro-Par, 2013, Aachen, Germany. pp.446-457, ⟨10.1007/978-3-642-40047-6_46⟩
Communication dans un congrès
istex
hal-00822992
v1
|
|
A Verified Library of Algorithmic Skeletons on Evenly Distributed ArraysICA3PP, Sep 2012, Fukuoka, Japan
Communication dans un congrès
hal-00708822
v1
|
|
|
A Verified Bulk Synchronous Parallel ML Heat Diffusion SimulationThe 11th International Conference on Computational Science (ICCS 2011), Jun 2011, Singapour, Singapore. pp.36 - 45, ⟨10.1016/j.procs.2011.04.005⟩
Communication dans un congrès
hal-00588894
v1
|
Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML(PDPTA'11), 2011, United States
Communication dans un congrès
hal-00592539
v1
|
|
Program Calculation in CoqThirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010), 2010, Québec, Canada
Communication dans un congrès
inria-00484308
v1
|
|
Systematic Development of Correct Bulk Synchronous Parallel ProgramsThe 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT2010), The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT2010) proceedings, Dec 2010, Wuhan, Chine, Singapore. pp._
Communication dans un congrès
hal-00512867
v1
|
|
A Coq Library for Program CalculationJSSST Conference on Software Science and Technology, 2009, Shimane University, Shimane, Japan
Communication dans un congrès
inria-00452515
v1
|
|
Formal Semantics for the DRMA Programming Style Subset of the BSPlib LibrarySeventh International Conference on Parallel Processing and Applied Mathematics (PPAM 2007), Workshop on Language-Based Parallel Programming Models, Sep 2007, Gdansk, Poland. pp.1122-1129, ⟨10.1007/978-3-540-68111-3_119⟩
Communication dans un congrès
istex
inria-00452540
v1
|
Calcul de programmes parallèles avec CoqInformatique Mathématique, CNRS Éditions, 2015, collection Alpha
Chapitre d'ouvrage
hal-01107296
v1
|
|
Systematic Development of Functional Bulk Synchronous Parallel Programs[Research Report] RR-2010-01, 2010, pp.21
Rapport
(rapport de recherche)
inria-00465838
v2
|
|
Program Calculation in Coq[Research Report] RR-2009-07, 2009, pp.18
Rapport
(rapport de recherche)
inria-00448751
v1
|
Chargement...
Chargement...