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