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⟩
Journal articles
hal-01159182v1
|
|
Multi-ML: Programming Multi-BSP Algorithms in MLInternational Journal of Parallel Programming, 2015, pp.20
Journal articles
hal-01160164v3
|
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⟩
Conference papers
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
Conference papers
hal-01941250v2
|
|
A formal semantics of the MULTI-ML languageInternational Symposium on Parallel and Distributed Computing (ISPDC 2018), Jun 2018, Genève, Switzerland
Conference papers
hal-01835315v1
|
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs ExtractionInteractive Theorem Proving, 2014, Vienna, Austria
Conference papers
hal-00964061v1
|
|
Certified Parallel Program Calculation in Coq: A TutorialInternational Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy
Conference papers
hal-00966632v1
|
|
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
Conference papers
hal-00979092v1
|
|
Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values ProblemACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea
Conference papers
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⟩
Conference papers
hal-01105115v1
|
|
Programming with BSP HomomorphismsEuro-Par, 2013, Aachen, Germany. pp.446-457, ⟨10.1007/978-3-642-40047-6_46⟩
Conference papers
hal-00822992v1
|
|
A Verified Library of Algorithmic Skeletons on Evenly Distributed ArraysICA3PP, Sep 2012, Fukuoka, Japan
Conference papers
hal-00708822v1
|
|
Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML(PDPTA'11), 2011, United States
Conference papers
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⟩
Conference papers
hal-00588894v1
|
|
Program Calculation in CoqThirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010), 2010, Québec, Canada
Conference papers
inria-00484308v1
|
|
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._
Conference papers
hal-00512867v1
|
|
A Coq Library for Program CalculationJSSST Conference on Software Science and Technology, 2009, Shimane University, Shimane, Japan
Conference papers
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⟩
Conference papers
inria-00452540v1
|
Calcul de programmes parallèles avec CoqInformatique Mathématique, CNRS Éditions, 2015, collection Alpha
Book sections
hal-01107296v1
|
|
Systematic Development of Functional Bulk Synchronous Parallel Programs[Research Report] RR-2010-01, 2010, pp.21
Reports
inria-00465838v2
|
|
Program Calculation in Coq[Research Report] RR-2009-07, 2009, pp.18
Reports
inria-00448751v1
|