Julien Tesson
21
Documents
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-01159182v1
|
|
Multi-ML: Programming Multi-BSP Algorithms in MLInternational Journal of Parallel Programming, 2015, pp.20
Article dans une revue
hal-01160164v3
|
|
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-01835315v1
|
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-02317093v1
|
|
|
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-01941250v2
|
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-00905950v1
|
|
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-01105115v1
|
|
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-00966632v1
|
|
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs ExtractionInteractive Theorem Proving, 2014, Vienna, Austria
Communication dans un congrès
hal-00964061v1
|
|
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-00979092v1
|
|
Programming with BSP HomomorphismsEuro-Par, 2013, Aachen, Germany. pp.446-457, ⟨10.1007/978-3-642-40047-6_46⟩
Communication dans un congrès
hal-00822992v1
|
|
A Verified Library of Algorithmic Skeletons on Evenly Distributed ArraysICA3PP, Sep 2012, Fukuoka, Japan
Communication dans un congrès
hal-00708822v1
|
|
Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML(PDPTA'11), 2011, United States
Communication dans un congrès
hal-00592539v1
|
|
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-00588894v1
|
|
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-00512867v1
|
|
Program Calculation in CoqThirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010), 2010, Québec, Canada
Communication dans un congrès
inria-00484308v1
|
|
A Coq Library for Program CalculationJSSST Conference on Software Science and Technology, 2009, Shimane University, Shimane, Japan
Communication dans un congrès
inria-00452515v1
|
|
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
inria-00452540v1
|
Calcul de programmes parallèles avec CoqInformatique Mathématique, CNRS Éditions, 2015, collection Alpha
Chapitre d'ouvrage
hal-01107296v1
|
|
Systematic Development of Functional Bulk Synchronous Parallel Programs[Research Report] RR-2010-01, 2010, pp.21
Rapport
inria-00465838v2
|
|
Program Calculation in Coq[Research Report] RR-2009-07, 2009, pp.18
Rapport
inria-00448751v1
|