rapubs.bib
@inproceedings{baudart:hal-03464012,
title = {{Pipeline Combinators for Gradual AutoML}},
author = {Baudart, Guillaume and Hirzel, Martin and Kate, Kiran and Ram, Parikshit and Shinnar, Avraham and Tsay, Jason},
url = {https://hal.science/hal-03464012},
booktitle = {{NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems}},
address = {Virtual, France},
year = {2021},
month = dec,
pdf = {https://hal.science/hal-03464012v1/file/neurips21.pdf},
hal_id = {hal-03464012},
hal_version = {v1}
}
@thesis{reddy:tel-02385670,
title = {{Polyhedral Compilation for Domain Specific Languages}},
author = {Reddy, Chandan},
url = {https://inria.hal.science/tel-02385670},
institution = {{Ecole normale sup{\'e}rieure}},
year = {2019},
month = mar,
keywords = {Polyhedral compilation ; Compilation poly{\'e}drique},
type = {Theses},
pdf = {https://inria.hal.science/tel-02385670v1/file/reddy.pdf},
hal_id = {tel-02385670},
hal_version = {v1}
}
@inproceedings{pouchet:hal-01257272,
title = {{A Note on the Performance Distribution of Affine Schedules}},
author = {Pouchet, Louis-No{\"e}l and Bastoul, C{\'e}dric and Cavazos, John and Cohen, Albert},
url = {https://hal.science/hal-01257272},
booktitle = {{2nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART)}},
address = {Gothenburg, Sweden},
year = {2008},
month = jan,
hal_id = {hal-01257272},
hal_version = {v1}
}
@inproceedings{pouchet:hal-01257273,
title = {{Iterative Optimization in the Polyhedral Model: Part II, Multidimensional Time}},
author = {Pouchet, Louis-No{\"e}l and Bastoul, C{\'e}dric and Cohen, Albert and Cavazos, John},
url = {https://hal.science/hal-01257273},
booktitle = {{ACM Conference on Programming Language Design and Implementation (PLDI)}},
address = {Tucson, Arizona, United States},
year = {2008},
month = jun,
hal_id = {hal-01257273},
hal_version = {v1}
}
@inproceedings{cohen:hal-01257274,
title = {{Abstraction of Clocks in Synchronous Data-flow Systems}},
author = {Cohen, Albert and Mandel, Louis and Plateau, Florence and Pouzet, Marc},
url = {https://hal.science/hal-01257274},
booktitle = {{6th Asian Symposium on Programming Languages and Systems (APLAS)}},
address = {Bangalore, India},
year = {2008},
month = dec,
hal_id = {hal-01257274},
hal_version = {v1}
}
@inproceedings{didier:hal-02422787,
title = {{Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software}},
author = {Didier, Keryan and Cohen, Albert and Potop-Butucaru, Dumitru and Gauffriau, Adrien},
url = {https://inria.hal.science/hal-02422787},
booktitle = {{ACSD 2019 - 19th International Conference on Application of Concurrency to System Design}},
address = {Aachen, Germany},
publisher = {{IEEE}},
pages = {43-52},
year = {2019},
month = jun,
doi = {10.1109/ACSD.2019.00009},
keywords = {Dataflow ; Synchronous languages ; Scade ; Execution platform ; Kahn process network ; Implementation model ; Semantic preservation ; Correctness ; Lustre ; Multi thread},
hal_id = {hal-02422787},
hal_version = {v1}
}
@inproceedings{beaugnon:hal-01508181,
title = {{VOBLA: a vehicle for optimized basic linear algebra}},
author = {Beaugnon, Ulysse and Kravets, Alexey and Haastregt, Sven Van and Baghdadi, Mohamed Riyadh and Tweed, David and Absar, Javed and Lokhmotov, Anton},
url = {https://inria.hal.science/hal-01508181},
booktitle = {{Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems (LCTES'14)}},
address = {Edinburgh, United Kingdom},
series = {Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems (LCTES'14)},
pages = {115-124},
year = {2014},
month = jun,
doi = {10.1145/2666357.2597818},
hal_id = {hal-01508181},
hal_version = {v1}
}
@inproceedings{cohen:hal-01257297,
title = {{Towards a High-Productivity and High-Performance Marshaling Library for Compound Data}},
author = {Cohen, Albert and Herrmann, Christoph},
url = {https://hal.science/hal-01257297},
note = {%HEVEA\publinkCH05.ps.gz},
booktitle = {{2nd MetaOCaml Workshop (associated with GPCE)}},
address = {Tallinn, Estonia},
year = {2005},
hal_id = {hal-01257297},
hal_version = {v1}
}
@thesis{morisset:tel-01823521,
title = {{Compiler optimisations and relaxed memory consistency models}},
author = {Morisset, Robin},
url = {https://theses.hal.science/tel-01823521},
institution = {{Universit{\'e} Paris sciences et lettres}},
year = {2017},
month = apr,
keywords = {Fence ; Compiler optimisations ; C11 ; Memory consistency model ; Memory model ; C11 ; Barri{\`e}re ; Compilateur ; Optimisations ; Mod{\`e}le m{\'e}moire},
type = {Theses},
pdf = {https://theses.hal.science/tel-01823521v1/file/Morisset-2017-These.pdf},
hal_id = {tel-01823521},
hal_version = {v1}
}
@inproceedings{do:hal-01257237,
title = {{An Empirical Evaluation of a Programming Model for Context-Dependent Real-time Streaming Applications}},
author = {Do, Xuan Khanh and Louise, St{\'e}phane and Cohen, Albert and Dubrulle, Paul and Goubier, Thierry and Cudennec, Lo{\"i}c and Dor{\'e}, Philippe},
url = {https://hal.science/hal-01257237},
booktitle = {{Workshop on Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems (ALCHEMY 2015, associated with ICCS)}},
address = {Reykjavik, Iceland},
year = {2015},
hal_id = {hal-01257237},
hal_version = {v1}
}
@article{kong:hal-01257247,
title = {{Compiler/Run-Time Framework for Dynamic Data-Flow Parallelization of Tiled Programs}},
author = {Kong, Martin and Pop, Antoniu and Pouchet, Louis-No{\"e}l and Govindarajan, R. and Cohen, Albert and Sadayappan, P.},
url = {https://hal.science/hal-01257247},
note = {Selected for presentation at the HiPEAC 2015 Conference},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
year = {2014},
doi = {10.1145/2687652},
hal_id = {hal-01257247},
hal_version = {v1}
}
@inproceedings{baghdadi:hal-01257236,
title = {{PENCIL: a Platform-Neutral Compute Intermediate Language for Accelerator Programming}},
author = {Baghdadi, Mohamed Riyadh and Beaugnon, Ulysse and Cohen, Albert and Grosser, Tobias and Kruse, Michael and Reddy, Chandan and Verdoolaege, Sven and Betts, Adam and Donaldson, Alastair F. and Ketema, Jeroen and Absar, Javed and D{\'a}vid, R{\'o}bert and Haastregt, Sven Van and Kravets, Alexey and Lokhmotov, Anton and Hajiyev, Elnar},
url = {https://hal.science/hal-01257236},
booktitle = {{Parallel Architectures and Compilation Techniques (PACT)}},
address = {San Francisco, California, United States},
year = {2015},
hal_id = {hal-01257236},
hal_version = {v1}
}
@article{grosser:hal-01257249,
title = {{The relation between diamond tiling and hexagonal tiling}},
author = {Grosser, Tobias and Verdoolaege, Sven and Cohen, Albert and Sadayappan, P.},
url = {https://hal.science/hal-01257249},
journal = {{Parallel Processing Letters}},
publisher = {{World Scientific Publishing}},
volume = {24},
number = {3},
year = {2014},
month = sep,
hal_id = {hal-01257249},
hal_version = {v1}
}
@inproceedings{llopard:hal-00911896,
title = {{Code Generation for an Application-Specific VLIW Processor With Clustered, Addressable Register Files}},
author = {Llopard, Ivan and Cohen, Albert and Fabre, Christian and Martin, J{\'e}r{\^o}me and Charles, Henri-Pierre and Bernard, Christian},
url = {https://inria.hal.science/hal-00911896},
booktitle = {{ODES'13 - 10th Workshop on Optimizations for DSP and Embedded Systems, associated with CGO}},
address = {Shenzhen, China},
publisher = {{ACM}},
pages = {11-19},
year = {2013},
month = feb,
doi = {10.1145/2443608.2443612},
keywords = {Clustered VLIW ; address generation ; LLVM ; back-end compiler},
pdf = {https://inria.hal.science/hal-00911896v1/file/meph_llvm.pdf},
hal_id = {hal-00911896},
hal_version = {v1}
}
@inproceedings{vet:hal-00875338,
title = {{Multigrain Affinity for Heterogeneous Work Stealing}},
author = {Vet, Jean-Yves and Carribault, Patrick and Cohen, Albert},
url = {https://hal.science/hal-00875338},
booktitle = {{Programmability Issues for Heterogeneous Multicores}},
address = {France},
year = {2012},
month = jan,
pdf = {https://hal.science/hal-00875338v1/file/multigrain.pdf},
hal_id = {hal-00875338},
hal_version = {v1}
}
@unpublished{baudart:hal-03117782,
title = {{Extending Stan for Deep Probabilistic Programming}},
author = {Baudart, Guillaume and Burroni, Javier and Hirzel, Martin and Mandel, Louis and Shinnar, Avraham},
url = {https://inria.hal.science/hal-03117782},
note = {working paper or preprint},
year = {2018},
month = sep,
hal_id = {hal-03117782},
hal_version = {v1}
}
@inproceedings{bourke:hal-04149828,
title = {{Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints}},
author = {Bourke, Timothy and Bregeon, Vincent and Pouzet, Marc},
url = {https://inria.hal.science/hal-04149828},
booktitle = {{35th Euromicro Conference on Real-Time Systems (ECRTS 2023)}},
address = {Vienna, Austria},
series = {35th Euromicro Conference on Real-Time Systems (ECRTS 2023)},
volume = {262},
pages = {1:1--1:22},
year = {2023},
month = jul,
doi = {10.4230/LIPIcs.ECRTS.2023.1},
keywords = {Compilation Techniques ; Real-time Embedded Systems ; Integer Linear Programming ; Synchronous Languages},
pdf = {https://inria.hal.science/hal-04149828v1/file/LIPIcs-ECRTS-2023-1.pdf},
hal_id = {hal-04149828},
hal_version = {v1}
}
@inproceedings{cha:hal-03117800,
title = {{A Principled Approach to GraphQL Query Cost Analysis}},
author = {Cha, Alan and Wittern, Erik and Baudart, Guillaume and Davis, James C. and Mandel, Louis and Laredo, Jim A.},
url = {https://inria.hal.science/hal-03117800},
booktitle = {{ESEC/FSE 2020 - 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering}},
address = {Sacramento / Virtual, United States},
year = {2020},
month = nov,
doi = {10.1145/3368089.3409670},
keywords = {GraphQL ; algorithmic complexity attacks ; static analysis},
pdf = {https://inria.hal.science/hal-03117800v1/file/fse20.pdf},
hal_id = {hal-03117800},
hal_version = {v1}
}
@inproceedings{drebes:hal-01136508,
title = {{Aftermath: A graphical tool for performance analysis and debugging of fine-grained task-parallel programs and run-time systems}},
author = {Drebes, Andi and Pop, Antoniu and Heydemann, Karine and Cohen, Albert and Drach, Nathalie},
url = {https://hal.science/hal-01136508},
booktitle = {{Seventh Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-2014)}},
address = {Vienna, Austria},
year = {2014},
month = jan,
keywords = {Performance debugging ; trace visualization ; Perfomance analysis ; task parallelism},
hal_id = {hal-01136508},
hal_version = {v1}
}
@inproceedings{baghdadi:hal-00786828,
title = {{PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs}},
author = {Baghdadi, Mohamed Riyadh and Cohen, Albert and Guelton, Serge and Verdoolaege, Sven and Inoue, Jun and Grosser, Tobias and Kouveli, Georgia and Kravets, Alexey and Lokhmotov, Anton and Nugteren, Cedric and Waters, Fraser and Donaldson, Alastair},
url = {https://inria.hal.science/hal-00786828},
booktitle = {{WOLFHPC 2012 - 2nd Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing}},
address = {Salt Lake City, Utah, United States},
year = {2012},
month = nov,
hal_id = {hal-00786828},
hal_version = {v1}
}
@inproceedings{chelini:hal-03139764,
title = {{Progressive Raising in Multi-level IR}},
author = {Chelini, Lorenzo and Drebes, Andi and Zinenko, Oleksandr and Cohen, Albert and Vasilache, Nicolas and Grosser, Tobias and Corporaal, Henk},
url = {https://inria.hal.science/hal-03139764},
booktitle = {{CGO 2021 : International Symposium on Code Generation and Optimization}},
address = {Seoul / Virtual, South Korea},
series = {International Conference on Code Generation and Optimization (CGO)},
year = {2021},
month = feb,
keywords = {Multi-level intermediate representation ; Progressive raising ; MLIR},
pdf = {https://inria.hal.science/hal-03139764v1/file/dd32563bc520e040f16d3ab1e369d6467ee2796e.pdf},
hal_id = {hal-03139764},
hal_version = {v1}
}
@report{zinenko:hal-01965599,
title = {{Declarative Transformations in the Polyhedral Model}},
author = {Zinenko, Oleksandr and Chelini, Lorenzo and Grosser, Tobias},
url = {https://inria.hal.science/hal-01965599},
type = {Research Report},
institution = {{Inria ; ENS Paris - Ecole Normale Sup{\'e}rieure de Paris ; ETH Zurich ; TU Delft ; IBM Z{\"u}rich}},
year = {2018},
month = dec,
keywords = {Polyhedral model ; Loop nest optimization ; Tree rewriting ; R{\'e}{\'e}criture des arbres ; Transformations des nids de boucles ; Mod{\`e}le poly{\'e}drique},
pdf = {https://inria.hal.science/hal-01965599v1/file/RR-9243.pdf},
hal_id = {hal-01965599},
hal_version = {v1}
}
@inproceedings{azizian:hal-04488225,
title = {{Automatic Rao-Blackwellization for Sequential Monte Carlo with Belief Propagation}},
author = {Azizian, Wa{\"i}ss and Baudart, Guillaume and Lelarge, Marc},
url = {https://hal.science/hal-04488225},
booktitle = {{SPIGM@ICML 2023 - Structured Probabilistic Inference and Generative Modeling Workshop}},
address = {Honolulu, United States},
year = {2023},
month = jul,
pdf = {https://hal.science/hal-04488225v1/file/2312.09860.pdf},
hal_id = {hal-04488225},
hal_version = {v1}
}
@article{girbal:hal-01257288,
title = {{Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies}},
author = {Girbal, Sylvain and Vasilache, Nicolas and Bastoul, C{\'e}dric and Cohen, Albert and Parello, David and Sigler, Marc and Temam, Olivier},
url = {https://hal.science/hal-01257288},
note = {Special issue on Microgrids. %HEVEA\publinkGVBCPST06.ps.gz},
journal = {{International Journal of Parallel Programming}},
publisher = {{Springer Verlag}},
volume = {34},
number = {3},
pages = {261--317},
year = {2006},
month = jun,
doi = {10.1007/s10766-006-0012-3},
keywords = {Compiler optimization ; Semi-automatic program transformation ; Polyhedral model ; Automatic parallelization},
pdf = {https://hal.science/hal-01257288v1/file/GVBCPST06.pdf},
hal_id = {hal-01257288},
hal_version = {v1}
}
@inproceedings{baghdadi:hal-01165017,
title = {{Pencil A Platform-Neutral Compute Intermediate Language for DSL Compilers}},
author = {Baghdadi, Mohamed Riyadh and Absar, Javed and Beaugnon, Ulysse and Betts, Adam and Cohen, Albert and D{\'a}vid, R{\'o}bert and Donaldson, Alastair and Grosser, Tobias and van Haastregt, Sven and Hajiyev, Elnar and Ketema, Jeroen and Kravets, Alexey and Kruse, Michael and Lokhmotov, Anton and Reddy, Chandan and Verdoolaege, Sven},
url = {https://hal.science/hal-01165017},
booktitle = {{10th International Conference on High Performance and Embedded Architectures and Compilers - HIPEAC 2015}},
address = {Amsterdam, Netherlands},
year = {2015},
month = jan,
keywords = {PENCIL},
hal_id = {hal-01165017},
hal_version = {v1}
}
@inproceedings{baudart:hal-01408208,
title = {{Soundness of the Quasi-Synchronous Abstraction}},
author = {Baudart, Guillaume and Bourke, Timothy and Pouzet, Marc},
url = {https://inria.hal.science/hal-01408208},
booktitle = {{Formal Methods in Computer-Aided Design (FMCAD)}},
address = {Mountain View, CA, United States},
series = {Proceedings of the 16th International Conference on Formal Methods in Computer-Aided Design},
pages = {9-16},
year = {2016},
month = oct,
keywords = {Real-Time Embedded Systems ; Model Checking ; Verification ; Synchronous Programming ; Quasi-synchrony},
pdf = {https://inria.hal.science/hal-01408208v1/file/final-extended.pdf},
hal_id = {hal-01408208},
hal_version = {v1}
}
@inproceedings{bourke:hal-04201401,
title = {{Verified Compilation of Synchronous Dataflow with State Machines}},
author = {Bourke, Timothy and Pesin, Basile and Pouzet, Marc},
url = {https://inria.hal.science/hal-04201401},
booktitle = {{EMSOFT 2023: 23rd International Conference on Embedded Software}},
address = {Hamburg, Germany},
volume = {22},
number = {5s},
pages = {137:1--137:26},
year = {2023},
month = sep,
doi = {10.1145/3608102},
keywords = {Interactive Theorem Proving (Coq) ; Synchronous Languages (Lustre) ; Formal Semantics ; Verified Compilation},
pdf = {https://inria.hal.science/hal-04201401v1/file/velus-emsoft2023.pdf},
hal_id = {hal-04201401},
hal_version = {v1}
}
@inproceedings{baudart:hal-03626762,
title = {{Inf{\'e}rence parall{\`e}le pour un langage r{\'e}actif probabiliste}},
author = {Baudart, Guillaume and Mandel, Louis and Pouzet, Marc and Tekin, Reyyan},
url = {https://inria.hal.science/hal-03626762},
booktitle = {{33{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}},
address = {Saint-M{\'e}dard-d'Excideuil, France},
editor = {Chantal Keller and Timothy Bourke},
number = {6-23},
year = {2022},
month = jun,
pdf = {https://inria.hal.science/hal-03626762v1/file/jfla22_paper_8.pdf},
hal_id = {hal-03626762},
hal_version = {v1}
}
@inproceedings{li:hal-00744090,
title = {{Advances in Parallel-Stage Decoupled Software Pipelining Leveraging Loop Distribution, Stream-Computing and the SSA Form}},
author = {Li, Feng and Pop, Antoniu and Cohen, Albert},
url = {https://minesparis-psl.hal.science/hal-00744090},
note = {8 pages Categories and Subject Descriptors D.3.4 [Programming Languages]: Processors-Compilers, Optimization},
booktitle = {{WIR 2011: Workshop on Intermediate Representations}},
address = {Chamonix, France},
publisher = {{Florent Bouchez and Sebastian Hack and Eelco Visser}},
pages = {pp.29-36},
year = {2011},
month = apr,
keywords = {automatic parallelization ; stream-computing ; loop distribution},
pdf = {https://minesparis-psl.hal.science/hal-00744090v1/file/A-462.pdf},
hal_id = {hal-00744090},
hal_version = {v1}
}
@inproceedings{cohen:hal-01257296,
title = {{Facilitating the Search for Compositions of Program Transformations}},
author = {Cohen, Albert and Girbal, Sylvain and Parello, David and Sigler, Marc and Temam, Olivier and Vasilache, Nicolas},
url = {https://hal.science/hal-01257296},
note = {%HEVEA\publinkCGPSTV05.ps.gz},
booktitle = {{ics \# (ICS)}},
address = {Boston, Massachusetts, United States},
pages = {151--160},
year = {2005},
hal_id = {hal-01257296},
hal_version = {v1}
}
@inproceedings{bondhugula:hal-01257240,
title = {{Tiling and Optimizing Time-Iterated Computations on Periodic Domains}},
author = {Bondhugula, Uday and Bandishti, Vinayaka and Cohen, Albert and Potron, Guillain and Vasilache, Nicolas},
url = {https://hal.science/hal-01257240},
note = {Nominated for best paper award.},
booktitle = {{Parallel Architectures and Compilation Techniques (PACT)}},
address = {Edmonton, Alberta, Canada},
year = {2014},
hal_id = {hal-01257240},
hal_version = {v1}
}
@inbook{juega:hal-01257261,
title = {{Patterns for parallel programming on GPUs}},
author = {Juega, Juan Carlos and Verdoolaege, Sven and Cohen, Albert and G{\'o}mez, Jos{\'e} Ignacio and Tenllado, Christian and Catthoor, Francky},
url = {https://hal.science/hal-01257261},
note = {ISBN 978-1-874672-57-9},
editor = {Fr{\'e}d{\'e}ric Magoul{\`e}s},
publisher = {{Saxe-Cobourg}},
volume = {Evaluation of State-of-the-Art Parallelizing Compilers Generating CUDA Code for Heterogeneous CPU/GPU Computing},
year = {2013},
hal_id = {hal-01257261},
hal_version = {v1}
}
@inproceedings{drebes:hal-01425892,
title = {{Interactive visualization of cross-layer performance anomalies in dynamic task-parallel applications and systems}},
author = {Drebes, Andi and Pop, Antoniu and Heydemann, Karine and Cohen, Albert},
url = {https://inria.hal.science/hal-01425892},
booktitle = {{IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)}},
address = {Uppsala, Sweden},
pages = {274 - 283},
year = {2016},
month = apr,
doi = {10.1109/ISPASS.2016.7482102},
pdf = {https://inria.hal.science/hal-01425892v1/file/paper.pdf},
hal_id = {hal-01425892},
hal_version = {v1}
}
@article{bhaskaracharya:hal-01425564,
title = {{Automatic Storage Optimization for Arrays}},
author = {Bhaskaracharya, Somashekaracharya G and Bondhugula, Uday and Cohen, Albert},
url = {https://inria.hal.science/hal-01425564},
journal = {{ACM Transactions on Programming Languages and Systems (TOPLAS)}},
publisher = {{ACM}},
volume = {38},
pages = {1 - 23},
year = {2016},
doi = {10.1145/2845078},
keywords = { memory optimization ; ACM Reference Format: ; polyhedral framework ; contraction ; array ; storage mapping optimization ; Additional Key Words and Phrases: Compilers ; Performance ; Experimentation ; Design ; General Terms: Algorithms ; tion ; optimiza- ; D34 [Programming Languages]: Processors-Compilers},
pdf = {https://inria.hal.science/hal-01425564v1/file/paper.pdf},
hal_id = {hal-01425564},
hal_version = {v1}
}
@inproceedings{baudart:hal-03051954,
title = {{Reactive probabilistic programming}},
author = {Baudart, Guillaume and Mandel, Louis and Atkinson, Eric and Sherman, Benjamin and Pouzet, Marc and Carbin, Michael},
url = {https://inria.hal.science/hal-03051954},
booktitle = {{PLDI 2020 - 41th ACM SIGPLAN International Conference in Programming Language Design and Implementation}},
address = {London / Virtual, United Kingdom},
year = {2020},
month = jun,
doi = {10.1145/3385412.3386009},
keywords = {Compilation ; Semantics ; Streaming inference ; Reactive programming ; Probabilistic programming},
pdf = {https://inria.hal.science/hal-03051954v1/file/pldi20.pdf},
hal_id = {hal-03051954},
hal_version = {v1}
}
@article{proy:hal-01657542,
title = {{Compiler-Assisted Loop Hardening Against Fault Attacks}},
author = {Proy, Julien and Heydemann, Karine and Berzati, Alexandre and Cohen, Albert},
url = {https://hal.sorbonne-universite.fr/hal-01657542},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
volume = {14},
number = {4},
pages = {36},
year = {2017},
month = dec,
doi = {10.1145/3141234},
hal_id = {hal-01657542},
hal_version = {v1}
}
@inproceedings{morisset:hal-00909083,
title = {{Compiler testing via a theory of sound optimisations in the C11/C++11 memory model}},
author = {Morisset, Robin and Pawan, Pankaj and Zappa Nardelli, Francesco},
url = {https://inria.hal.science/hal-00909083},
booktitle = {{PLDI 2013 - 34th ACM SIGPLAN conference on Programming language design and implementation}},
address = {Seattle, WA, United States},
publisher = {{ACM}},
pages = {187-196},
year = {2013},
month = jun,
doi = {10.1145/2491956.2491967},
keywords = {compiler testing ; C11/C++11 memory model},
hal_id = {hal-00909083},
hal_version = {v1}
}
@inproceedings{verdoolaege:hal-00645221,
title = {{Transitive Closures of Affine Integer Tuple Relations and their Overapproximations}},
author = {Verdoolaege, Sven and Cohen, Albert and Beletska, Anna},
url = {https://inria.hal.science/hal-00645221},
booktitle = {{SAS 2011 - The 18th International Static Analysis Symposium}},
address = {Venice, Italy},
editor = {Eran Yahav},
publisher = {{Springer}},
series = {LNCS},
volume = {6887},
pages = {216-232},
year = {2011},
month = sep,
doi = {10.1007/978-3-642-23702-7\_18},
pdf = {https://inria.hal.science/hal-00645221v1/file/sas.pdf},
hal_id = {hal-00645221},
hal_version = {v1}
}
@inproceedings{rakamnouykit:hal-03401683,
title = {{Extracting Hyperparameter Constraints from Code}},
author = {Rak-Amnouykit, Ingkarat and Milanova, Ana and Baudart, Guillaume and Hirzel, Martin and Dolby, Julian},
url = {https://hal.science/hal-03401683},
booktitle = {{ICLR Workshop on Security and Safety in Machine Learning Systems}},
address = {Virtual, United States},
year = {2021},
month = may,
pdf = {https://hal.science/hal-03401683v1/file/ssmls_iclr21.pdf},
hal_id = {hal-03401683},
hal_version = {v1}
}
@unpublished{vuillemin:cel-01239701,
title = {{Systeme digital : de l'algorithme au circuit}},
author = {Vuillemin, Jean},
url = {https://hal.science/cel-01239701},
note = {Lecture},
type = {Licence},
address = {DI/ENS Paris, France},
pages = {275},
institution = {{DI/ENS Paris}},
year = {2014},
month = sep,
pdf = {https://hal.science/cel-01239701v1/file/ENS2015Vuillemin.pdf},
hal_id = {cel-01239701},
hal_version = {v1}
}
@inproceedings{richards:hal-01239167,
title = {{Concrete Types for TypeScript}},
author = {Richards, Gregor and Zappa Nardelli, Francesco and Jan, Vitek},
url = {https://inria.hal.science/hal-01239167},
booktitle = {{29th European Conference on Object-Oriented Programming (ECOOP 2015)}},
address = {Prague, Czech Republic},
year = {2015},
month = jul,
doi = {10.4230/LIPIcs.ECOOP.2015.76},
hal_id = {hal-01239167},
hal_version = {v1}
}
@misc{benveniste:hal-00938866,
title = {{A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers}},
author = {Benveniste, Albert and Bourke, Timothy and Caillaud, Beno{\^i}t and Pagano, Bruno and Pouzet, Marc},
url = {https://inria.hal.science/hal-00938866},
note = {Deliverable D3.1\_1 v 1.0 of the Sys2soft collaborative project ''Physics Aware Software''},
year = {2013},
month = dec,
keywords = {Modeling Languages ; Hybrid Systems ; HybridLang},
pdf = {https://inria.hal.science/hal-00938866v1/file/Sys2soft_WP3.1_D3.1_1_Causality_in_Hybrid_Systems_Modelers_V_1.0.pdf},
hal_id = {hal-00938866},
hal_version = {v1}
}
@inproceedings{cohen:hal-01425887,
title = {{Hard Real Time and Mixed Time Criticality on Off-The-Shelf Embedded Multi-Cores}},
author = {Cohen, Albert and Perrelle, Valentin and Potop-Butucaru, Dumitru and Pouzet, Marc and Soubiran, Elie and Zhang, Zhen},
url = {https://inria.hal.science/hal-01425887},
booktitle = {{International Conference on Embedded and Real-Time Software and Systems (ERTS2)}},
address = {Toulouse, France},
year = {2016},
month = jan,
keywords = {Time-triggered execution ; Synchronous Language ; Embedded real- time system ; Multi-core ; Index Terms-Mixed criticalities},
pdf = {https://inria.hal.science/hal-01425887v1/file/main.pdf},
hal_id = {hal-01425887},
hal_version = {v1}
}
@article{llopard:hal-01425140,
title = {{A From a Formalized Parallel Action Language to its Efficient Code Generation}},
author = {Llopard, Ivan and Fabre, Christian and Cohen, Albert},
url = {https://inria.hal.science/hal-01425140},
journal = {{ACM Transactions on Embedded Computing Systems (TECS)}},
publisher = {{ACM}},
year = {2017},
month = jan,
doi = {10.1145/0000000.0000000},
keywords = { Performance ; Model Driven Engineering ; Parallels Languages ; Additional Key Words and Phrases: Action Language ; Algorithms ; General Terms: Languages ; State diagrams ; D22 [Design Tools and Techniques]: Object-oriented design methods ; Parallel programming ; D13 [Programming Techniques]: Concurrent programming},
pdf = {https://inria.hal.science/hal-01425140v1/file/tecs16.pdf},
hal_id = {hal-01425140},
hal_version = {v1}
}
@inproceedings{reddy:hal-01425750,
title = {{Reduction Drawing: Language Constructs and Polyhedral Compilation for Reductions on GPUs}},
author = {Reddy, Chandan and Kruse, Michael and Cohen, Albert},
url = {https://inria.hal.science/hal-01425750},
booktitle = {{PACT'16 - ACM/IEEE Conference on Parallel Architectures and Compilation Techniques}},
address = {Haifa, Israel},
pages = {87 - 97},
year = {2016},
month = sep,
doi = {10.1145/2967938.2967950},
pdf = {https://inria.hal.science/hal-01425750v1/file/paper.pdf},
hal_id = {hal-01425750},
hal_version = {v1}
}
@inproceedings{guatto:hal-00919281,
title = {{R{\'e}seaux de Kahn {\`a} rafales et horloges enti{\`e}res}},
author = {Guatto, Adrien and Mandel, Louis},
url = {https://inria.hal.science/hal-00919281},
booktitle = {{JFLA 2014 - Vingt-cinqui{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}},
address = {Fr{\'e}jus, France},
year = {2014},
month = jan,
pdf = {https://inria.hal.science/hal-00919281v1/file/GuattoMandel-JFLA-2014.pdf},
hal_id = {hal-00919281},
hal_version = {v1}
}
@inproceedings{cohen:hal-01095111,
title = {{Mixed-criticality in Railway Systems: A Case Study on Signalling Application}},
author = {Cohen, Albert and Perrelle, Valentin and Potop-Butucaru, Dumitru and Soubiran, Elie and Zhang, Zhen},
url = {https://inria.hal.science/hal-01095111},
booktitle = {{Workshop on Mixed Criticality for Industrial Systems (WMCIS'2014)}},
address = {Paris, France},
series = {Proceedings WMCIS 2014},
year = {2014},
month = jun,
pdf = {https://inria.hal.science/hal-01095111v1/file/WMCIS2014.pdf},
hal_id = {hal-01095111},
hal_version = {v1}
}
@inproceedings{mandel:hal-00919271,
title = {{Ex{\'e}cution efficace de programmes ReactiveML}},
author = {Mandel, Louis and Pasteur, C{\'e}dric},
url = {https://inria.hal.science/hal-00919271},
booktitle = {{JFLA 2014 - Vingt-cinqui{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}},
address = {Fr{\'e}jus, France},
year = {2014},
month = jan,
pdf = {https://inria.hal.science/hal-00919271v1/file/MandelPasteur-JFLA-2014.pdf},
hal_id = {hal-00919271},
hal_version = {v1}
}
@inproceedings{gerard:hal-00728527,
title = {{A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler}},
author = {G{\'e}rard, L{\'e}onard and Guatto, Adrien and Pasteur, C{\'e}dric and Pouzet, Marc},
url = {https://inria.hal.science/hal-00728527},
booktitle = {{Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems}},
address = {Beijing, China},
publisher = {{ACM}},
pages = {51--60},
year = {2012},
month = jun,
doi = {10.1145/2248418.2248426},
keywords = {block-diagrams ; compilation ; optimization ; real-time systems ; semantics ; synchronous languages ; type systems},
hal_id = {hal-00728527},
hal_version = {v1}
}
@inproceedings{baudart:hal-01503070,
title = {{CloudLens, un langage de script pour l'analyse de donn{\'e}es semi-structur{\'e}es}},
author = {Baudart, Guillaume and Mandel, Louis and Tardieu, Olivier and Vaziri, Mandana},
url = {https://hal.science/hal-01503070},
booktitle = {{JFLA 2017 - 28i{\`e}me Journ{\'e}es Francophones des Langages Applicatifs}},
address = {Gourette, France},
pages = {1-16},
year = {2017},
month = jan,
pdf = {https://hal.science/hal-01503070v1/file/cloudlens-jfla17.pdf},
hal_id = {hal-01503070},
hal_version = {v1}
}
@inproceedings{inglart:hal-01257277,
title = {{Hybrid Performance Analysis to Accelerate Compiler Optimization Space Exploration for In-Order Processors}},
author = {Inglart, Nicolas and Niar, Smail and Cohen, Albert},
url = {https://hal.science/hal-01257277},
booktitle = {{2nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART)}},
address = {Gothenburg, Sweden},
year = {2008},
hal_id = {hal-01257277},
hal_version = {v1}
}
@inproceedings{cohen:hal-01257292,
title = {{Automatic Correction of Loop Transformations}},
author = {Cohen, Albert},
url = {https://hal.science/hal-01257292},
note = {Keynote presentation},
booktitle = {{6{\th} Workshop of the ACES Network (Architectures and Compilers for Embedded Systems)}},
address = {Edegem, Belgium},
year = {2006},
hal_id = {hal-01257292},
hal_version = {v1}
}
@article{vasilache:hal-02458550,
title = {{The Next 700 Accelerated Layers}},
author = {Vasilache, Nicolas and Zinenko, Oleksandr and Theodoridis, Theodoros and Goyal, Priya and Devito, Zachary and Moses, William and Verdoolaege, Sven and Adams, Andrew and Cohen, Albert},
url = {https://inria.hal.science/hal-02458550},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
volume = {16},
number = {4},
pages = {1-26},
year = {2019},
month = dec,
doi = {10.1145/3355606},
keywords = {Deep learning layers ; Polyhedral compilation ; GPU acceleration},
hal_id = {hal-02458550},
hal_version = {v1}
}
@inproceedings{lazarescu:hal-01257245,
title = {{Energy-Aware Parallelization Flow and Toolset for C Code}},
author = {Lazarescu, Mihai and Cohen, Albert and Guatto, Adrien and Lavagno, Luciano and L{\^e}, Nhat Minh and Pop, Antoniu and Prieto, Manuel and Terechko, Andrei and Sutii, Alexandru},
url = {https://hal.science/hal-01257245},
booktitle = {{SCOPES 2014 - 17th International Workshop on Software and Compilers for Embedded Systems}},
address = {Saint Goar, Germany},
year = {2014},
month = jun,
doi = {10.1145/2609248.2609264},
hal_id = {hal-01257245},
hal_version = {v1}
}
@inproceedings{li:hal-01257265,
title = {{Extending Loop Distribution to PS-DSWP}},
author = {Li, Feng and Pop, Antoniu and Cohen, Albert},
url = {https://hal.science/hal-01257265},
booktitle = {{1\st Workshop on Intermediate Representations (WIR, associated with CGO)}},
address = {Chamonix, France},
year = {2011},
hal_id = {hal-01257265},
hal_version = {v1}
}
@inproceedings{do:hal-01257231,
title = {{Managing the Latency of Data-Dependent Tasks in Embedded Streaming Applications}},
author = {Do, Xuan Khanh and Louise, St{\'e}phane and Cohen, Albert},
url = {https://hal.science/hal-01257231},
booktitle = {{IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2015)}},
address = {Turin, Italy},
year = {2015},
hal_id = {hal-01257231},
hal_version = {v1}
}
@report{mandel:hal-01010349,
title = {{Reactivity of Cooperative Systems: Application to ReactiveML -- extended version}},
author = {Mandel, Louis and Pasteur, C{\'e}dric},
url = {https://inria.hal.science/hal-01010349},
type = {Research Report},
pages = {29},
institution = {{INRIA}},
year = {2014},
month = jun,
keywords = {Cooperative scheduling ; Type systems ; Semantics ; Functional languages ; Synchronous languages},
pdf = {https://inria.hal.science/hal-01010349v1/file/RR-8549.pdf},
hal_id = {hal-01010349},
hal_version = {v1}
}
@misc{bourke:hal-01104033,
title = {{Loop freedom of the (untimed) AODV routing protocol}},
author = {Bourke, Timothy and H{\"o}fner, Peter},
url = {https://inria.hal.science/hal-01104033},
note = {Entry in the Archive of Formal Proofs (ISSN: 2150-914x)},
pages = {496},
year = {2014},
month = oct,
keywords = {AODV ; Protocol Verification ; Isabelle/HOL},
pdf = {https://inria.hal.science/hal-01104033v1/file/document-2.pdf},
hal_id = {hal-01104033},
hal_version = {v1}
}
@inproceedings{le:hal-00802885,
title = {{Correct and Efficient Work-Stealing for Weak Memory Models}},
author = {L{\^e}, Nhat Minh and Pop, Antoniu and Cohen, Albert and Zappa Nardelli, Francesco},
url = {https://inria.hal.science/hal-00802885},
booktitle = {{PPoPP '13 - Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming}},
address = {Shenzhen, China},
pages = {69-80},
year = {2013},
month = feb,
doi = {10.1145/2442516.2442524},
pdf = {https://inria.hal.science/hal-00802885v1/file/ppopp207-le.pdf},
hal_id = {hal-00802885},
hal_version = {v1}
}
@inproceedings{solinas:hal-00920903,
title = {{The TERAFLUX Project: Exploiting the DataFlow Paradigm in Next Generation Teradevices}},
author = {Solinas, Marco and Badia, Rosa M. and Bodin, Fran{\c c}ois and Cohen, Albert and Evripidou, Paraskevas and Faraboschi, Paolo and Fechner, Bernhard and Gao, Guang R. and Garbade, Arne and Girbal, Sylvain and Goodman, Daniel and Khan, Behram and Koliai, Souad and Li, Feng and Luj{\'a}n, Mikel and Morin, Laurent and Mendelson, Avi and Navarro, Nacho and Pop, Antoniu and Trancoso, Pedro and Ungerer, Theo and Valero, Mateo and Weis, Sebastian and Watson, Ian and Zuckerman, St{\'e}phane and Giorgi, Roberto},
url = {https://inria.hal.science/hal-00920903},
booktitle = {{DSD}},
address = {Los Alamitos, United States},
pages = {272-279},
year = {2013},
month = sep,
hal_id = {hal-00920903},
hal_version = {v1}
}
@book{dowek:hal-00765220,
title = {{Informatique et Sciences du Num{\'e}rique - Sp{\'e}cialit{\'e} ISN en Terminale S}},
author = {Dowek, Gilles and Archambault, Jean-Pierre and Baccelli, Emmanuel and Cimellli, Claudio and Cohen, Albert and Eisenbeis, Christine and Vi{\'e}ville, Thierry and Wack, Benjamin},
url = {https://inria.hal.science/hal-00765220},
publisher = {{Eyrolles}},
pages = {303},
year = {2012},
month = aug,
hal_id = {hal-00765220},
hal_version = {v1}
}
@unpublished{proy:hal-02102373,
title = {{Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level}},
author = {Proy, Julien and Heydemann, Karine and Majeric, Fabien and Cohen, Albert and Berzati, Alexandre},
url = {https://hal.sorbonne-universite.fr/hal-02102373},
note = {working paper or preprint},
year = {2019},
month = apr,
hal_id = {hal-02102373},
hal_version = {v1}
}
@inproceedings{bourke:hal-01092360,
title = {{A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol}},
author = {Bourke, Timothy and van Glabbeek, Robert J. and H{\"o}fner, Peter},
url = {https://inria.hal.science/hal-01092360},
booktitle = {{ATVA 2014: Automated Technology for Verification and Analysis}},
address = {Sydney, Australia},
publisher = {{Springer}},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {17},
year = {2014},
month = nov,
doi = {10.1007/978-3-319-11936-6\_5},
keywords = {Isabelle/HOL ; protocol verification ; AODV},
hal_id = {hal-01092360},
hal_version = {v1}
}
@inproceedings{aguado:hal-01960404,
title = {{Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach}},
author = {Aguado, Joaqu{\'i}n and Mendler, Michael and Pouzet, Marc and Roop, Partha and von Hanxleden, Reinhard},
url = {https://hal.science/hal-01960404},
booktitle = {{ESOP 2018 - European Symposium on Programming}},
address = {Thessaloniki, Greece},
year = {2018},
month = apr,
keywords = {Constructive semantics ; Concurrency ; Determinacy ; Clock-synchronised shared memory ; Data abstraction ; Synchronous programming},
pdf = {https://hal.science/hal-01960404v1/file/esop_aguado_final.pdf},
hal_id = {hal-01960404},
hal_version = {v1}
}
@misc{nobre:hal-02370558,
title = {{Beyond Polyhedral Analysis of OpenStream Programs}},
author = {Nobre, Nuno Miguel and Drebes, Andi and Riley, Graham and Pop, Antoniu},
url = {https://inria.hal.science/hal-02370558},
howpublished = {{9th International Workshop on Polyhedral Compilation Techniques}},
year = {2019},
month = jan,
pdf = {https://inria.hal.science/hal-02370558v1/file/IMPACT_2019_paper_7.pdf},
hal_id = {hal-02370558},
hal_version = {v1}
}
@article{pouzet:hal-01242733,
title = {{Time Refinement in a Functional Synchronous Language}},
author = {Pouzet, Marc and Pasteur, C{\'e}dric and Mandel, Louis},
url = {https://inria.hal.science/hal-01242733},
journal = {{Science of Computer Programming}},
publisher = {{Elsevier}},
year = {2015},
month = jul,
keywords = {Reactive systems ; synchronous languages ; ML ; type systems ; compilation},
hal_id = {hal-01242733},
hal_version = {v1}
}
@article{atkinson:hal-03401752,
title = {{Statically bounded-memory delayed sampling for probabilistic streams}},
author = {Atkinson, Eric and Baudart, Guillaume and Mandel, Louis and Yuan, Charles and Carbin, Michael},
url = {https://hal.science/hal-03401752},
journal = {{Proceedings of the ACM on Programming Languages}},
publisher = {{ACM}},
volume = {5},
number = {OOPSLA},
pages = {1-28},
year = {2021},
month = oct,
doi = {10.1145/3485492},
keywords = {program analysis ; semantics ; streaming inference ; reactive programming ; Probabilistic programming},
pdf = {https://hal.science/hal-03401752v1/file/oopsla21.pdf},
hal_id = {hal-03401752},
hal_version = {v1}
}
@inproceedings{baudart:hal-03401708,
title = {{Automatic Guide Generation for Stan via NumPyro}},
author = {Baudart, Guillaume and Mandel, Louis},
url = {https://hal.science/hal-03401708},
booktitle = {{PROBPROG 2021 - Third International Conference on Probabilistic Programming}},
address = {Virtual, United States},
year = {2021},
month = oct,
pdf = {https://hal.science/hal-03401708v1/file/probprog21-autoguides.pdf},
hal_id = {hal-03401708},
hal_version = {v1}
}
@article{benveniste:hal-00766726,
title = {{Non-standard semantics of hybrid systems modelers}},
author = {Benveniste, Albert and Bourke, Timothy and Caillaud, Beno{\^i}t and Pouzet, Marc},
url = {https://inria.hal.science/hal-00766726},
journal = {{Journal of Computer and System Sciences}},
hal_local_reference = {3},
publisher = {{Elsevier}},
series = {In Commemoration of Amir Pnueli},
volume = {78},
number = {3},
pages = {877-910},
year = {2012},
doi = {10.1016/j.jcss.2011.08.009},
keywords = {Hybrid systems ; Hybrid systems modelers ; Non-standard analysis ; Non-standard semantics ; Constructive semantics ; Kahn process networks ; Compilation of hybrid systems},
hal_id = {hal-00766726},
hal_version = {v1}
}
@article{bourke:hal-01408217,
title = {{Mechanizing a Process Algebra for Network Protocols}},
author = {Bourke, Timothy and van Glabbeek, Robert J and H{\"o}fner, Peter},
url = {https://inria.hal.science/hal-01408217},
journal = {{Journal of Automated Reasoning}},
publisher = {{Springer Verlag}},
volume = {56},
pages = {309-341},
year = {2016},
month = mar,
doi = {10.1007/s10817-015-9358-9},
keywords = {Mobile Ad hoc Networks ; Wireless Mesh Networks ; Process Algebra ; Networks ; Compositional Invariant Proofs ; Interactive Theorem Proving (Isabelle/HOL)},
pdf = {https://inria.hal.science/hal-01408217v1/file/final.pdf},
hal_id = {hal-01408217},
hal_version = {v1}
}
@article{baghdadi:hal-00786674,
title = {{Improved Loop Tiling based on the Removal of Spurious False Dependences}},
author = {Baghdadi, Riyadh and Cohen, Albert and Verdoolaege, Sven and Trifunovi{\'c}, Konrad},
url = {https://inria.hal.science/hal-00786674},
note = {Selected for presentation at the HiPEAC 2013 Conf.},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
volume = {9},
number = {4},
year = {2013},
doi = {10.1145/2400682.2400711},
hal_id = {hal-00786674},
hal_version = {v1}
}
@inproceedings{susungi:hal-01939656,
title = {{Meta-programming for cross-domain tensor optimizations}},
author = {Susungi, Adilla and Rink, Norman A and Cohen, Albert and Castrillon, Jeronimo and Tadonki, Claude},
url = {https://minesparis-psl.hal.science/hal-01939656},
booktitle = {{17th International Conference on Generative Programming: Concepts \& Experiences (GPCE)}},
address = {Boston, United States},
pages = {79-92},
year = {2018},
month = nov,
keywords = {code generation and optimization ; meta-programming ; tensor algebra ; denotational semantics},
pdf = {https://minesparis-psl.hal.science/hal-01939656v1/file/A-694.pdf},
hal_id = {hal-01939656},
hal_version = {v1}
}
@inproceedings{verdoolaege:hal-01257224,
title = {{Live Range Reordering}},
author = {Verdoolaege, Sven and Cohen, Albert},
url = {https://hal.science/hal-01257224},
booktitle = {{6{\th} Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC)}},
address = {Prag, Czech Republic},
year = {2016},
hal_id = {hal-01257224},
hal_version = {v1}
}
@inproceedings{cohen:hal-01257253,
title = {{Correct and Efficient Manycore Processor Programming}},
author = {Cohen, Albert},
url = {https://hal.science/hal-01257253},
booktitle = {{Roundtable on ``IT systems in the industry: how to ensure software reliability?'', India-France Technology Summit}},
address = {New Delhi, India},
year = {2013},
hal_id = {hal-01257253},
hal_version = {v1}
}
@article{carribault:hal-01257275,
title = {{Deep Jam: Conversion of Coarse-Grain Parallelism to Fine-Grain and Vector Parallelism}},
author = {Carribault, Patrick and Zuckerman, St{\'e}phane and Cohen, Albert and Jalby, William},
url = {https://hal.science/hal-01257275},
journal = {{The Journal of Instruction-Level Parallelism}},
publisher = {{North Carolina State University}},
volume = {9},
pages = {1--26},
year = {2008},
hal_id = {hal-01257275},
hal_version = {v1}
}
@inproceedings{grosser:hal-01257248,
title = {{The relation between diamond tiling and hexagonal tiling}},
author = {Grosser, Tobias and Verdoolaege, Sven and Cohen, Albert and Sadayappan, P.},
url = {https://hal.science/hal-01257248},
booktitle = {{1\st International Workshop on High-Performance Stencil Computations (HiStencils, associated with HiPEAC)}},
address = {Vienna, Austria},
year = {2014},
hal_id = {hal-01257248},
hal_version = {v1}
}
@inproceedings{fursin:hal-01257278,
title = {{Building a Practical Iterative Compiler}},
author = {Fursin, Grigori and Cohen, Albert},
url = {https://hal.science/hal-01257278},
note = {%HEVEA\publinkFC07.pdf},
booktitle = {{1\st Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART)}},
address = {Ghent, Belgium},
year = {2007},
hal_id = {hal-01257278},
hal_version = {v1}
}
@inproceedings{mandel:hal-00779789,
title = {{R{\'e}activit{\'e} des syst{\`e}mes coop{\'e}ratifs : le cas de ReactiveML}},
author = {Mandel, Louis and Pasteur, C{\'e}dric},
url = {https://inria.hal.science/hal-00779789},
booktitle = {{JFLA - Journ{\'e}es francophones des langages applicatifs}},
address = {Aussois, France},
organization = {{Damien Pous and Christine Tasson}},
editor = {Damien Pous and Christine Tasson},
year = {2013},
month = feb,
keywords = {ReactiveML ; Syst{\`e}mes coop{\'e}ratifs},
pdf = {https://inria.hal.science/hal-00779789v1/file/jfla2013-11.pdf},
hal_id = {hal-00779789},
hal_version = {v1}
}
@book{wong:hal-01257282,
title = {{Dagstuhl Seminar 13142 on Programming Models for Ubiquitous Parallelism}},
author = {Wong, David Chi-Leung and Cohen, Albert and Garzar{\'a}n, Mar{\'i}a J. and Lengauer, Christian and Midkiff, Samuel P.},
url = {https://hal.science/hal-01257282},
editor = {David Chi-Leung Wong and Albert Cohen and Mar\'{\i}a J. Garzar{\'a}n and Christian Lengauer and Samuel P. Midkiff},
publisher = {{Dagstuhl Publishing}},
series = {Dagstuhl Reports},
volume = {1},
number = {1},
year = {2007},
month = sep,
hal_id = {hal-01257282},
hal_version = {v1}
}
@inproceedings{trifunovic:hal-00992740,
title = {{Elimination of memory-based dependences for loop-nest optimization and parallelization}},
author = {Trifunovic, Konrad and Cohen, Albert and Razya, Ladelski and Li, Feng},
url = {https://inria.hal.science/hal-00992740},
booktitle = {{GROW 2011 : 3rd Workshop on GCC Research Opportunities}},
address = {Chamonix, France},
year = {2011},
month = jun,
hal_id = {hal-00992740},
hal_version = {v1}
}
@inproceedings{richards:hal-00909080,
title = {{Flexible access control for JavaScript}},
author = {Richards, Gregor and Hammer, Christian and Zappa Nardelli, Francesco and Jagannathan, Suresh and Vitek, Jan},
url = {https://inria.hal.science/hal-00909080},
booktitle = {{OOPSLA 2013 - CM SIGPLAN international conference on Object oriented programming systems languages \& applications}},
address = {Indianapolis, IN, United States},
publisher = {{ACM}},
pages = {305-322},
year = {2013},
month = oct,
doi = {10.1145/2509136.2509542},
keywords = {Security ; Access control ; JavaScript},
hal_id = {hal-00909080},
hal_version = {v1}
}
@unpublished{atkinson:hal-04488233,
title = {{Verifying Performance Properties of Probabilistic Inference}},
author = {Atkinson, Eric and Cheng, Ellie Y. and Baudart, Guillaume and Mandel, Louis and Carbin, Michael},
url = {https://hal.science/hal-04488233},
note = {working paper or preprint},
year = {2024},
month = mar,
pdf = {https://hal.science/hal-04488233v1/file/2307.07355.pdf},
hal_id = {hal-04488233},
hal_version = {v1}
}
@inproceedings{susungi:hal-01529354,
title = {{More Data Locality for Static Control Programs on NUMA Architectures}},
author = {Susungi, Adilla and Cohen, Albert and Tadonki, Claude},
url = {https://minesparis-psl.hal.science/hal-01529354},
booktitle = {{IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques IMPACT 2017}},
address = {Stockholm, Sweden},
pages = {11},
year = {2017},
month = jan,
keywords = {data layout ; NUMA sys- tems ; parallel intermediate language ; data locality},
pdf = {https://minesparis-psl.hal.science/hal-01529354v1/file/A-649.pdf},
hal_id = {hal-01529354},
hal_version = {v1}
}
@unpublished{baudart:hal-04488216,
title = {{Density-Based Semantics for Reactive Probabilistic Programming}},
author = {Baudart, Guillaume and Mandel, Louis and Tasson, Christine},
url = {https://hal.science/hal-04488216},
note = {working paper or preprint},
year = {2024},
month = mar,
pdf = {https://hal.science/hal-04488216v1/file/2308.01676.pdf},
hal_id = {hal-04488216},
hal_version = {v1}
}
@inproceedings{bourke:hal-01575631,
title = {{A Synchronous Look at the Simulink Standard Library}},
author = {Bourke, Timothy and Carcenac, Francois and Cola{\c c}o, Jean-Louis and Pagano, Bruno and Pasteur, C{\'e}dric and Pouzet, Marc},
url = {https://inria.hal.science/hal-01575631},
booktitle = {{EMSOFT 2017 - 17th International Conference on Embedded Software}},
address = {Seoul, South Korea},
publisher = {{ACM Press}},
pages = {23},
year = {2017},
month = oct,
keywords = {Block Diagrams ; Synchronous Languages ; Hybrid Systems},
pdf = {https://inria.hal.science/hal-01575631v1/file/emsoft2017.pdf},
hal_id = {hal-01575631},
hal_version = {v1}
}
@article{sylvestre:hal-05169350,
title = {{Programming Parallelism on FPGAs with Eclat}},
author = {Sylvestre, Lo{\"i}c and S{\'e}rot, Jocelyn and Chailloux, Emmanuel},
url = {https://hal.science/hal-05169350},
journal = {{International Journal of Parallel Programming}},
publisher = {{Springer Verlag}},
volume = {53},
number = {4},
pages = {26},
year = {2025},
month = jun,
doi = {10.1007/s10766-025-00801-7},
keywords = {Language design and implementation ; FPGAs ; Performance prediction ; Algorithmic skeletons ; Synchronous programming},
pdf = {https://hal.science/hal-05169350v1/file/IJPP-2025-eclat-preprint.pdf},
hal_id = {hal-05169350},
hal_version = {v1}
}
@report{cohen:hal-01184408,
title = {{Static Analysis of OpenStream Programs}},
author = {Cohen, Albert and Darte, Alain and Feautrier, Paul},
url = {https://inria.hal.science/hal-01184408},
note = {Corresponding publication at IMPACT'16 (http://impact.gforge.inria.fr/impact2016)},
type = {Research Report},
pages = {26},
institution = {{CNRS ; Inria ; ENS Lyon}},
year = {2016},
month = jan,
keywords = {Dependences ; Polyhedral analysis and optimizations ; Deadlocks ; Scheduling ; D{\'e}pendances ; Ordonnancement ; Deadlocks ; Analyses et optimisations poly{\'e}driques},
pdf = {https://inria.hal.science/hal-01184408v2/file/RR-8764.pdf},
hal_id = {hal-01184408},
hal_version = {v2}
}
@inproceedings{cohen:hal-01251845,
title = {{Static Analysis of OpenStream Programs}},
author = {Cohen, Albert and Darte, Alain and Feautrier, Paul},
url = {https://inria.hal.science/hal-01251845},
booktitle = {{6th International Workshop on Polyhedral Compilation Techniques (IMPACT'16), held with HIPEAC'16}},
address = {Prague, Czech Republic},
organization = {{Michelle Strout and Tomofumi Yuki}},
series = {Proceedings of the IMPACT series},
year = {2016},
month = jan,
hal_id = {hal-01251845},
hal_version = {v1}
}
@inproceedings{baudart:hal-01575621,
title = {{Symbolic Simulation of Dataflow Synchronous Programs with Timers}},
author = {Baudart, Guillaume and Bourke, Timothy and Pouzet, Marc},
url = {https://inria.hal.science/hal-01575621},
booktitle = {{12th Forum on Specification and Design Languages (FDL 2017)}},
address = {V{\'e}rone, Italy},
organization = {{Electronic Chips \& System Design Initiative (ECSI)}},
editor = {Daniel Gro{\ss}e and Sara Vinco and Hiren Patel},
publisher = {{Springer}},
series = {Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017},
volume = {530},
pages = {25},
year = {2017},
month = sep,
doi = {10.1007/978-3-030-02215-0\_3},
keywords = {Timed Automata ; Hybrid Systems ; Compilation ; Synchronous Languages ; Type System ; Symbolic Simulation},
pdf = {https://inria.hal.science/hal-01575621v4/file/fdl_journal18.pdf},
hal_id = {hal-01575621},
hal_version = {v4}
}
@thesis{pauget:tel-04832859,
title = {{Memory Specification in a Data-flow Synchronous Language with Statically Sized Arrays}},
author = {Pauget, Baptiste},
url = {https://inria.hal.science/tel-04832859},
institution = {{PSL University}},
year = {2023},
month = dec,
keywords = {Synchronous Programming ; Arrays ; Type Systems ; Compilation ; Embedded Systems ; Syst{\`e}mes de types ; Compilation ; Tableaux ; Programmation synchrone ; Syst{\`e}mes embarqu{\'e}es},
type = {Theses},
pdf = {https://inria.hal.science/tel-04832859v1/file/phd_pauget.pdf},
hal_id = {tel-04832859},
hal_version = {v1}
}
@inproceedings{feautrier:hal-01958096,
title = {{On polynomial Code Generation}},
author = {Feautrier, Paul and Cohen, Albert and Darte, Alain},
url = {https://inria.hal.science/hal-01958096},
booktitle = {{IMPACT 2018}},
address = {Manchester, United Kingdom},
year = {2018},
month = jan,
pdf = {https://inria.hal.science/hal-01958096v1/file/polyGen_author.pdf},
hal_id = {hal-01958096},
hal_version = {v1}
}
@inproceedings{upadrasta:hal-00911888,
title = {{Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra}},
author = {Upadrasta, Ramakrishna and Cohen, Albert},
url = {https://inria.hal.science/hal-00911888},
booktitle = {{POPL'13 - 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}},
address = {Rome, Italy},
publisher = {{ACM}},
pages = {483-496},
year = {2013},
month = jan,
doi = {10.1145/2429069.2429127},
pdf = {https://inria.hal.science/hal-00911888v1/file/popl070-upadrasta.pdf},
hal_id = {hal-00911888},
hal_version = {v1}
}
@inproceedings{bourke:hal-04832995,
title = {{Towards a denotational semantics of streams for a verified Lustre compiler}},
author = {Bourke, Timothy and Jeanmaire, Paul and Pouzet, Marc},
url = {https://inria.hal.science/hal-04832995},
booktitle = {{TYPES 2022: 28th International Conference on Types for Proofs and Programs}},
address = {Nantes, France},
organization = {{Delia Kesner and Pierre-Marie P{\'e}drot}},
year = {2022},
month = jun,
keywords = {Denotational Semantics ; Proof Assistants ; Verified Compilation ; Synchronous Programming},
pdf = {https://inria.hal.science/hal-04832995v1/file/TYPES_2022_paper_28.pdf},
hal_id = {hal-04832995},
hal_version = {v1}
}
@inproceedings{mandel:hal-00654843,
title = {{Static Scheduling of Latency Insensitive Designs with Lucy-n}},
author = {Mandel, Louis and Plateau, Florence and Pouzet, Marc},
url = {https://inria.hal.science/hal-00654843},
booktitle = {{FMCAD 2011 - Formal Methods in Computer Aided Design}},
address = {Austin, TX, United States},
year = {2011},
month = oct,
pdf = {https://inria.hal.science/hal-00654843v1/file/MandelPlateauPouzet-FMCAD-2011.pdf},
hal_id = {hal-00654843},
hal_version = {v1}
}
@article{colaco:hal-04491219,
title = {{A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines}},
author = {Cola{\c c}o, Jean-Louis and Mendler, Michael and Pauget, Baptiste and Pouzet, Marc},
url = {https://hal.science/hal-04491219},
journal = {{ACM Transactions on Embedded Computing Systems (TECS)}},
publisher = {{ACM}},
volume = {22},
number = {5s},
pages = {Article 152: 1-26},
year = {2023},
month = sep,
doi = {10.1145/3609131},
keywords = {Dynamic Semantics ; Synchronous Programming ; Programming Language ; Embedded Software ; Compilers ; Interpreters ; Semantics},
pdf = {https://hal.science/hal-04491219v1/file/emsoft23b-extended.pdf},
hal_id = {hal-04491219},
hal_version = {v1}
}
@thesis{zhao:tel-01988073,
title = {{A combined language and polyhedral approach to heterogeneous parallelism}},
author = {Zhao, Jie},
url = {https://theses.hal.science/tel-01988073},
institution = {{Universit{\'e} Paris sciences et lettres}},
year = {2018},
month = dec,
keywords = {Automatic parallelization ; Polyhedral compilation ; Parallel programming ; Programmation parall{\`e}le ; Compilation poly{\'e}drique ; Parall{\'e}lisation automatique},
type = {Theses},
pdf = {https://theses.hal.science/tel-01988073v2/file/Zhao-2018-These.pdf},
hal_id = {tel-01988073},
hal_version = {v2}
}
@thesis{pauget:tel-05363057,
title = {{Memory specification in a data-flow synchronous language with statically sized arrays}},
author = {Pauget, Baptiste},
url = {https://theses.hal.science/tel-05363057},
institution = {{Universit{\'e} Paris sciences et lettres}},
year = {2023},
month = dec,
keywords = {Compilation ; Type systems ; Arrays ; Synchronous programming ; Embedded systems ; Compilation ; Syst{\`e}mes de types ; Tableaux ; Programmation synchrone ; Syst{\`e}mes embarqu{\'e}s},
type = {Theses},
pdf = {https://theses.hal.science/tel-05363057v1/file/Pauget_2023_These.pdf},
hal_id = {tel-05363057},
hal_version = {v1}
}
@article{chelini:hal-02458680,
title = {{Declarative Loop Tactics for Domain-specific Optimization}},
author = {Chelini, Lorenzo and Zinenko, Oleksandr and Grosser, Tobias and Corporaal, Henk},
url = {https://inria.hal.science/hal-02458680},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
volume = {16},
number = {4},
pages = {4:1-25},
year = {2019},
month = dec,
doi = {10.1145/3372266},
keywords = {Loop tactics ; Polyhedral model ; Declarative loop optimizations},
hal_id = {hal-02458680},
hal_version = {v1}
}
@report{le:hal-00862450,
title = {{Correct and Efficient Bounded FIFO Queues}},
author = {L{\^e}, Nhat Minh and Guatto, Adrien and Cohen, Albert and Pop, Antoniu},
url = {https://inria.hal.science/hal-00862450},
type = {Research Report},
institution = {{INRIA}},
year = {2013},
month = sep,
pdf = {https://inria.hal.science/hal-00862450v1/file/RR-8365.pdf},
hal_id = {hal-00862450},
hal_version = {v1}
}
@inproceedings{bourke:hal-03936656,
title = {{Analyse de d{\'e}pendance v{\'e}rifi{\'e}e pour un langage synchrone {\`a} flot de donn{\'e}es}},
author = {Bourke, Timothy and Pesin, Basile and Pouzet, Marc},
url = {https://inria.hal.science/hal-03936656},
booktitle = {{JFLA 2023 - 34{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}},
address = {Praz-sur-Arly, France},
editor = {Timothy Bourke and Delphine Demange},
pages = {101-120},
year = {2023},
month = jan,
keywords = {Synchronous Programming ; Lustre programming language ; Interactive Theorem Proving ; Coq Proof Assistant ; Verified Compilation ; Programmation Synchrone ; Lanage de programmation Lustre ; Assistants de preuve Coq},
pdf = {https://inria.hal.science/hal-03936656v1/file/jfla23_paper_6388.pdf},
hal_id = {hal-03936656},
hal_version = {v1}
}
@inproceedings{verdoolaege:hal-00911894,
title = {{Schedule Trees}},
author = {Verdoolaege, Sven and Guelton, Serge and Grosser, Tobias and Cohen, Albert},
url = {https://inria.hal.science/hal-00911894},
booktitle = {{IMPACT - 4th Workshop on Polyhedral Compilation Techniques, associated with HiPEAC}},
address = {Vienna, Austria},
publisher = {{ACM}},
year = {2014},
month = jan,
hal_id = {hal-00911894},
hal_version = {v1}
}
@thesis{baudart:hal-01156601,
title = {{Antescofo : vers une programmation synchrone}},
author = {Baudart, Guillaume},
url = {https://inria.hal.science/hal-01156601},
pages = {46},
institution = {{Master ATIAM, Universit{\'e} Pierre et Marie Curie (UPMC) et IRCAM}},
year = {2012},
month = sep,
keywords = {computer music ; antescofo ; Synchronous reactive programming},
pdf = {https://inria.hal.science/hal-01156601v1/file/index.pdf},
hal_id = {hal-01156601},
hal_version = {v1}
}
@inproceedings{bourke:hal-00909029,
title = {{Z{\'e}lus: A Synchronous Language with ODEs}},
author = {Bourke, Timothy and Pouzet, Marc},
url = {https://inria.hal.science/hal-00909029},
booktitle = {{HSCC - 16th International Conference on Hybrid systems: computation and control}},
address = {Philadelphia, United States},
organization = {{Calin Belta and Franjo Ivan{\v c}i{\'c}}},
editor = {Calin Belta and Franjo Ivan{\v c}i{\'c}},
publisher = {{ACM}},
series = {Proceedings of the 16th International Conference on Hybrid systems: computation and control},
pages = {113-118},
year = {2013},
month = apr,
doi = {10.1145/2461328.2461348},
keywords = {Type systems ; Block diagrams ; Synchronous languages ; Hybrid automata ; Hybrid systems},
pdf = {https://inria.hal.science/hal-00909029v1/file/paper.pdf},
hal_id = {hal-00909029},
hal_version = {v1}
}
@thesis{zappanardelli:tel-01110117,
title = {{Reasoning between Programming Languages and Architectures}},
author = {Zappa Nardelli, Francesco},
url = {https://inria.hal.science/tel-01110117},
institution = {{ENS Paris - Ecole Normale Sup{\'e}rieure de Paris}},
year = {2014},
month = jan,
keywords = {Semantics ; Concurrency ; Programming languges ; Concurrence ; Langages de programmation},
type = {Accreditation to supervise research},
pdf = {https://inria.hal.science/tel-01110117v1/file/main.pdf},
hal_id = {tel-01110117},
hal_version = {v1}
}
@inproceedings{llopard:hal-01001900,
title = {{A Parallel Action Language for Embedded Applications and its Compilation Flow}},
author = {Llopard, Ivan and Cohen, Albert and Fabre, Christian and Hili, Nicolas},
url = {https://inria.hal.science/hal-01001900},
booktitle = {{17th International Workshop on Software and Compilers for Embedded Systems}},
address = {Sankt Goar, Germany},
series = {Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems},
pages = {118-127},
year = {2014},
month = jun,
doi = {10.1145/2609248.2609257},
keywords = {Action Language ; Parallel Languages ; Model Driven Engineering},
hal_id = {hal-01001900},
hal_version = {v1}
}
@inproceedings{vuillemin:hal-01241861,
title = {{Defensive Leakage Camouflage}},
author = {Vuillemin, Jean (etienne)},
url = {https://hal.science/hal-01241861},
booktitle = {{Smart Card Research and Advanced Applications - 11th International Conference, CARDIS }},
address = {Graz, Austria, Austria},
organization = {{Stefan Mangard}},
editor = {Stefan Mangard},
series = { Lecture Notes in Computer Science },
volume = {7771},
year = {2012},
hal_id = {hal-01241861},
hal_version = {v1}
}
@article{pop:hal-00786675,
title = {{OpenStream: Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs}},
author = {Pop, Antoniu and Cohen, Albert},
url = {https://inria.hal.science/hal-00786675},
note = {Selected for presentation at the HiPEAC 2013 Conf.},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
volume = {9},
number = {4},
year = {2013},
doi = {10.1145/2400682.2400712},
hal_id = {hal-00786675},
hal_version = {v1}
}
@article{verdoolaege:hal-00786677,
title = {{Polyhedral Parallel Code Generation for CUDA}},
author = {Verdoolaege, Sven and Juega, Juan Carlos and Cohen, Albert and G{\'o}mez, Jos{\'e} Ignacio and Tenllado, Christian and Catthoor, Francky},
url = {https://inria.hal.science/hal-00786677},
note = {Selected for presentation at the HiPEAC 2013 Conf.},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
volume = {9},
number = {4},
pages = {art. 54:1-23},
year = {2013},
doi = {10.1145/2400682.2400713},
hal_id = {hal-00786677},
hal_version = {v1}
}
@inproceedings{pop:hal-00786830,
title = {{Work-Streaming Compilation of Futures}},
author = {Pop, Antoniu and Cohen, Albert},
url = {https://inria.hal.science/hal-00786830},
booktitle = {{PLACES'12 - 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software}},
address = {Tallin, Estonia},
year = {2012},
month = mar,
hal_id = {hal-00786830},
hal_version = {v1}
}
@inproceedings{li:hal-00786831,
title = {{A Compiler and Runtime System Perspective to Scalable Data-Flow Computing}},
author = {Li, Feng and Arnoux, Boris and Cohen, Albert},
url = {https://inria.hal.science/hal-00786831},
booktitle = {{5th Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG)}},
address = {Paris, France},
year = {2012},
month = jan,
hal_id = {hal-00786831},
hal_version = {v1}
}
@inproceedings{upadrasta:hal-00786832,
title = {{A Case for Strongly Polynomial Time Sub-Polyhedral Scheduling Using Two-Variable-Per-Inequality Polyhedra}},
author = {Upadrasta, Ramakrishna and Cohen, Albert},
url = {https://inria.hal.science/hal-00786832},
booktitle = {{IMPACT 2012 - 2nd Workshop on Polyhedral Compilation Techniques (associated with HiPEAC)}},
address = {Paris, France},
year = {2012},
month = jan,
keywords = {Approximation Algorithms ; Complexity Theory ; Compilers ; Optimization ; Geometric Algorithms},
hal_id = {hal-00786832},
hal_version = {v1}
}
@book{cohen:hal-01257234,
title = {{Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)}},
author = {Cohen, Albert and Grove, David},
url = {https://hal.science/hal-01257234},
editor = {Albert Cohen and David Grove},
publisher = {{ACM}},
year = {2015},
month = feb,
hal_id = {hal-01257234},
hal_version = {v1}
}
@article{verdoolaege:hal-01257239,
title = {{Polyhedral AST generation is more than scanning polyhedra}},
author = {Verdoolaege, Sven and Grosser, Tobias and Cohen, Albert},
url = {https://hal.science/hal-01257239},
note = {Original submission, candidate for presentation at PLDI 2016},
journal = {{ACM Transactions on Programming Languages and Systems (TOPLAS)}},
publisher = {{ACM}},
volume = {37},
number = {4},
year = {2015},
doi = {10.1145/2743016},
hal_id = {hal-01257239},
hal_version = {v1}
}
@book{cohen:hal-01257260,
title = {{Dagstuhl Seminar 13142 on Correct and Efficient Accelerator Programming}},
author = {Cohen, Albert and Donaldson, Alastair F. and Huisman, Marieke and Katoen, Joost-Pieter},
url = {https://hal.science/hal-01257260},
editor = {Albert Cohen and Alastair F. Donaldson and Marieke Huisman and Joost-Pieter Katoen},
publisher = {{Dagstuhl Publishing}},
series = {Dagstuhl Reports},
volume = {1},
number = {1},
year = {2013},
month = apr,
hal_id = {hal-01257260},
hal_version = {v1}
}
@inproceedings{colaco:hal-04491216,
title = {{Polymorphic Types with Polynomial Sizes}},
author = {Cola{\c c}o, Jean-Louis and Pauget, Baptiste and Pouzet, Marc},
url = {https://hal.science/hal-04491216},
booktitle = {{9th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY 2023)}},
address = {Orlando, United States},
editor = {Artjoms Sinkarovs and Troels Henriksen},
publisher = {{ACM}},
pages = {36-49},
year = {2023},
month = jun,
doi = {10.1145/3589246.3595372},
keywords = {array programming ; Type systems},
pdf = {https://hal.science/hal-04491216v1/file/ARRAY-23-author-version.pdf},
hal_id = {hal-04491216},
hal_version = {v1}
}
@inbook{benveniste:hal-02333603,
title = {{Multi-Mode DAE Models - Challenges, Theory and Implementation}},
author = {Benveniste, Albert and Caillaud, Beno{\^i}t and Elmqvist, Hilding and Ghorbal, Khalil and Otter, Martin and Pouzet, Marc},
url = {https://inria.hal.science/hal-02333603},
publisher = {{Springer}},
series = {Lecture Notes in Computer Science},
volume = {LNCS-10000},
pages = {283-310},
year = {2019},
month = oct,
doi = {10.1007/978-3-319-91908-9\_16},
keywords = {StructAnalysis ; mDAE ; HybridLang ; Multi-mode systems ; DAE ; Differentiation index ; Cyber-physical systems ; Constructive semantics ; Operational semantics ; Structural analysis ; Differential algebraic equations ; Differential index ; Nonstandard analysis ; Modia ; CPS ; Modelica},
pdf = {https://inria.hal.science/hal-02333603v1/file/_lncs10k_multimode.pdf},
hal_id = {hal-02333603},
hal_version = {v1}
}
@misc{benveniste:hal-00938891,
title = {{Semantics of multi-mode DAE systems}},
author = {Benveniste, Albert and Bourke, Timothy and Caillaud, Beno{\^i}t and Pouzet, Marc},
url = {https://inria.hal.science/hal-00938891},
note = {Deliverable D.4.1.1 of the ITEA2 Modrio collaborative project},
year = {2013},
month = aug,
keywords = {DAE ; mDAE ; Structural Analysis ; StructAnalysis ; HybridLang},
pdf = {https://inria.hal.science/hal-00938891v1/file/MODRIO_PublicReport_D411.pdf},
hal_id = {hal-00938891},
hal_version = {v1}
}
@inproceedings{bourke:hal-02005639,
title = {{Clocked arguments in a verified Lustre compiler}},
author = {Bourke, Timothy and Pouzet, Marc},
url = {https://inria.hal.science/hal-02005639},
booktitle = {{JFLA 2019 - Les Trenti{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}},
address = {Les Rousses, France},
series = {Les actes des trenti{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs (JFLA 2019)},
pages = {16},
year = {2019},
month = jan,
pdf = {https://inria.hal.science/hal-02005639v1/file/bourke-pouzet-jfla2019.pdf},
hal_id = {hal-02005639},
hal_version = {v1}
}
@inproceedings{gindraud:hal-01412919,
title = {{A bounded memory allocator for software-defined global address spaces}},
author = {Gindraud, Fran{\c c}ois and Rastello, Fabrice and Cohen, Albert and Broquedis, Fran{\c c}ois},
url = {https://inria.hal.science/hal-01412919},
booktitle = {{ISMM 2016 - 2016 ACM SIGPLAN International Symposium on Memory Management}},
address = {Santa Barbara, United States},
year = {2016},
month = jun,
keywords = { GAS ; Global address space ; POSoC ; PGAS ; memory allocator},
hal_id = {hal-01412919},
hal_version = {v1}
}
@article{bastian:hal-02297690,
title = {{Reliable and Fast DWARF-Based Stack Unwinding}},
author = {Bastian, Th{\'e}ophile and Kell, Stephen and Zappa Nardelli, Francesco},
url = {https://inria.hal.science/hal-02297690},
journal = {{Proceedings of the ACM on Programming Languages}},
publisher = {{ACM}},
volume = {OOPSLA},
year = {2019},
doi = {10.1145/3360572},
keywords = {Stack unwinding ; Compilers ; Debugging},
pdf = {https://inria.hal.science/hal-02297690v1/file/main.pdf},
hal_id = {hal-02297690},
hal_version = {v1}
}
@report{didier:hal-01810176,
title = {{Efficient parallelization of large-scale hard real-time applications}},
author = {Didier, Keryan and Potop-Butucaru, Dumitru and Iooss, Guillaume and Cohen, Albert and Souyris, Jean and Baufreton, Philippe and Graillat, Amaury},
url = {https://inria.hal.science/hal-01810176},
type = {Research Report},
institution = {{INRIA Paris}},
year = {2018},
month = jun,
keywords = {Lustre ; Shared memory ; Scade ; Offlne scheduling ; Timing analysis ; Code generation ; Many-core ; Hard real-time ; Compilation ; Parallelization},
pdf = {https://inria.hal.science/hal-01810176v2/file/RR-9180.pdf},
hal_id = {hal-01810176},
hal_version = {v2}
}
@inproceedings{baudart:hal-03891766,
title = {{JAX based parallel inference for reactive probabilistic programming}},
author = {Baudart, Guillaume and Mandel, Louis and Tekin, Reyyan},
url = {https://hal.science/hal-03891766},
booktitle = {{LCTES'22 - 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems}},
address = {San Diego CA, United States},
year = {2022},
month = jun,
doi = {10.1145/3519941.3535066},
keywords = {Compilation ; Parallel Computing ; Streaming Inference ; Reactive Programming ; Probabilistic Programming ; Probabilistic Programming Reactive Programming Streaming Inference Parallel Computing Compilation},
pdf = {https://hal.science/hal-03891766v1/file/lctes22.pdf},
hal_id = {hal-03891766},
hal_version = {v1}
}
@article{baudart:hal-01408224,
title = {{Loosely Time-Triggered Architectures}},
author = {Baudart, Guillaume and Benveniste, Albert and Bourke, Timothy},
url = {https://inria.hal.science/hal-01408224},
journal = {{ACM Transactions on Embedded Computing Systems (TECS)}},
publisher = {{ACM}},
volume = {15},
pages = {Article 71},
year = {2016},
month = aug,
doi = {10.1145/2932189},
keywords = {Back-Pressure LTTA ; Time-Based LTTA ; Quasi-periodic Architectures ; Loosely Time-Triggered Architectures ; LTTA},
pdf = {https://inria.hal.science/hal-01408224v1/file/ltta.pdf},
hal_id = {hal-01408224},
hal_version = {v1}
}
@thesis{baudart:tel-01507595,
title = {{A synchronous approach to quasi-periodic systems}},
author = {Baudart, Guillaume},
url = {https://theses.hal.science/tel-01507595},
institution = {{Universit{\'e} Paris sciences et lettres}},
year = {2017},
month = mar,
keywords = {Symbolic simulation ; Loosely time-Triggered architectures ; Quasi-Synchronous abstraction ; Synchronous languages ; Synchronous real-Time distributed systems ; Embedded systems ; Syst{\`e}mes embarqu{\'e}s ; Syst{\`e}mes distribu{\'e}s temps-R{\'e}els synchrones ; Langages synchrones ; Abstraction quasi-Synchrone ; Architecture LTTA ; Simulation symbolique},
type = {Theses},
pdf = {https://theses.hal.science/tel-01507595v2/file/BAUDART2017archivage.pdf},
hal_id = {tel-01507595},
hal_version = {v2}
}
@report{pop:hal-00710409,
title = {{Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs}},
author = {Pop, Antoniu and Cohen, Albert},
url = {https://inria.hal.science/hal-00710409},
type = {Research Report},
pages = {28},
institution = {{INRIA}},
year = {2012},
month = jun,
keywords = {Data-flow computing ; stream computing ; parallel programming ; compilation},
pdf = {https://inria.hal.science/hal-00710409v2/file/RR-8001.pdf},
hal_id = {hal-00710409},
hal_version = {v2}
}
@inproceedings{bachir:hal-00716183,
title = {{On the Effectiveness of Register Moves to Minimise Post-Pass Unrolling in Software Pipelined Loops}},
author = {Bachir, Mounira and Cohen, Albert and Touati, Sid},
url = {https://inria.hal.science/hal-00716183},
booktitle = {{HPCS 2012 : International Conference on High Performance Computing \& Simulation}},
address = {Madrid, Spain},
organization = {{Pr Waleed Smari}},
editor = {IEEE, ACM},
year = {2012},
month = jul,
pdf = {https://inria.hal.science/hal-00716183v1/file/Touati_hpcs_2012.pdf},
hal_id = {hal-00716183},
hal_version = {v1}
}
@article{bourke:hal-03370264,
title = {{Verified Lustre Normalization with Node Subsampling}},
author = {Bourke, Timothy and Jeanmaire, Paul and Pesin, Basile and Pouzet, Marc},
url = {https://inria.hal.science/hal-03370264},
journal = {{ACM Transactions on Embedded Computing Systems (TECS)}},
publisher = {{ACM}},
volume = {20},
number = {5s},
pages = {1-25},
year = {2021},
month = oct,
doi = {10.1145/3477041},
keywords = {interactive theorem proving ; verified compilation ; $\bullet$ Computer systems organization $\rightarrow$ Embedded software stream languages ; Compilers ; Software verification ; CCS Concepts: $\bullet$ Software and its engineering $\rightarrow$ Formal language definitions},
pdf = {https://inria.hal.science/hal-03370264v1/file/paper.pdf},
hal_id = {hal-03370264},
hal_version = {v1}
}
@report{baghdadi:hal-01154812,
title = {{PENCIL Language Specification}},
author = {Baghdadi, Mohamed Riyadh and Cohen, Albert and Grosser, Tobias and Verdoolaege, Sven and Lokhmotov, Anton and Absar, Javed and van Haastregt, Sven and Kravets, Alexey and Donaldson, Alastair},
url = {https://inria.hal.science/hal-01154812},
type = {Research Report},
pages = {37},
institution = {{INRIA}},
year = {2015},
month = may,
keywords = {Domain Specific Language ; Intermediate Language ; OpenCL ; Accelerator ; DSL ; PENCIL},
pdf = {https://inria.hal.science/hal-01154812v3/file/RR-8706.pdf},
hal_id = {hal-01154812},
hal_version = {v3}
}
@article{li:hal-00906099,
title = {{Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs}},
author = {Li, Feng and Pop, Antoniu and Cohen, Albert},
url = {https://hal.science/hal-00906099},
journal = {{IEEE Micro}},
publisher = {{Institute of Electrical and Electronics Engineers}},
volume = {32},
number = {4},
pages = {19-31},
year = {2012},
doi = {10.1109/MM.2012.49},
keywords = {sequential imperative program transformation ; task extraction ; Instruction sets ; Parallel processing ; Pipeline processing ; Radiation detectors ; Sequential analysis ; Synchronization ; SSA form ; automatic parallelization ; data-flow model ; loop fusion ; sequential imperative programs ; program dependence graph ; parallel data-flow programs ; imperative programs ; data parallelism ; automatic recursive C program parallelization ; automatic coarse-grained data-flow thread extraction ; arbitrary control flow ; GNU compiler collection ; program interpreters ; program compilers ; parallel programming ; data flow graphs ; data flow computing},
pdf = {https://hal.science/hal-00906099v1/file/paper.pdf},
hal_id = {hal-00906099},
hal_version = {v1}
}
@inproceedings{mandel:hal-01508179,
title = {{ReactiveML, ten years later}},
author = {Mandel, Louis and Pasteur, C{\'e}dric and Pouzet, Marc},
url = {https://inria.hal.science/hal-01508179},
booktitle = {{17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15)}},
address = {Siena, Italy},
pages = {6 - 17},
year = {2015},
month = jul,
doi = {10.1145/2790449.2790509},
keywords = { Programming Languages ; Reactive Systems ; Synchronous languages},
pdf = {https://inria.hal.science/hal-01508179v1/file/ppdp15.pdf},
hal_id = {hal-01508179},
hal_version = {v1}
}
@inproceedings{baudart:hal-01243005,
title = {{Loosely Time-Triggered Architectures: Improvements and Comparisons}},
author = {Baudart, Guillaume and Bourke, Timothy and Benveniste, Albert},
url = {https://inria.hal.science/hal-01243005},
booktitle = {{Proceedings of the 12th International Conference on Embedded Software (EMSOFT '15)}},
address = {Amsterdam, Netherlands},
year = {2015},
month = oct,
doi = {10.1109/EMSOFT.2015.7318263},
keywords = {LTTA},
pdf = {https://inria.hal.science/hal-01243005v1/file/emsoft15.pdf},
hal_id = {hal-01243005},
hal_version = {v1}
}
@inproceedings{cohen:hal-01257295,
title = {{Synchronization of Periodic Clocks}},
author = {Cohen, Albert and Duranton, Marc and Eisenbeis, Christine and Pagetti, Claire and Plateau, Florence and Pouzet, Marc},
url = {https://hal.science/hal-01257295},
note = {%HEVEA\publinkCDEPPP05.ps.gz},
booktitle = {{ACM Conference on Embedded Software (EMSOFT)}},
address = {Jersey City, NJ, United States},
pages = {339--342 (short paper)},
year = {2005},
hal_id = {hal-01257295},
hal_version = {v1}
}
@inproceedings{zhao:hal-01657608,
title = {{A general compilation algorithm to parallelize and optimize counted loops with dynamic data-dependent bounds}},
author = {Zhao, Jie and Cohen, Albert},
url = {https://inria.hal.science/hal-01657608},
booktitle = {{ IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques}},
address = {Stockholm, Sweden},
pages = {1-10},
year = {2017},
month = jan,
keywords = {loop nest optimization ; polyhedral model ; dynamic counted loop ; dynamic counted loop ; polyhedral model ; loop nest optimization ; parallelizing compiler},
pdf = {https://inria.hal.science/hal-01657608v1/file/impact-17-a-general-compilation-algorithm-to-parallelize-and-optimize-counted-loops-with-dynamic-data-dependences.pdf},
hal_id = {hal-01657608},
hal_version = {v1}
}
@thesis{beaugnon:tel-02385303,
title = {{Efficient code generation for hardware accelerators by refining partially specified implementation}},
author = {Beaugnon, Ulysse},
url = {https://theses.hal.science/tel-02385303},
institution = {{Universit{\'e} Paris sciences et lettres}},
year = {2019},
month = jun,
keywords = {Constraint programing ; GPU ; Performance model ; Code optimization ; Compilation ; Optimisation de code ; Mod{\`e}le de performance ; GPU ; Programation par contraintes ; Compilation},
type = {Theses},
pdf = {https://theses.hal.science/tel-02385303v2/file/Beaugnon-2019-these.pdf},
hal_id = {tel-02385303},
hal_version = {v2}
}
@book{keller:hal-03689075,
title = {{33{\`e}mes journ{\'e}es francophones des langages applicatifs}},
author = {Keller, Chantal and Bourke, Timothy and Blazy, Sandrine and Bour, Fr{\'e}d{\'e}ric and Bury, Guillaume and Dumbrava, Stefania and Gallois-Wong, Diane and Guatto, Adrien and Janin, David and Kerjean, Marie and Pellissier, Luc and Pereira, M{\'a}rio and Trieu, Alix and Zakowski, Yannick},
url = {https://inria.hal.science/hal-03689075},
editor = {Chantal Keller and Timothy Bourke},
pages = {1-292},
year = {2022},
month = jun,
keywords = {Electroacoustique ; Programation ; Scala},
pdf = {https://inria.hal.science/hal-03689075v1/file/proceedings-jfla-2022.pdf},
hal_id = {hal-03689075},
hal_version = {v1}
}
@inproceedings{drebes:hal-01365746,
title = {{NUMA-aware scheduling and memory allocation for data-flow task-parallel applications}},
author = {Drebes, Andi and Pop, Antoniu and Heydemann, Karine and Drach, Nathalie and Cohen, Albert},
url = {https://hal.sorbonne-universite.fr/hal-01365746},
note = {Poster},
booktitle = {{ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}},
address = {Barcelona, Spain},
publisher = {{ACM New York, NY, USA}},
pages = {44:1-44:2},
year = {2016},
month = mar,
doi = {10.1145/2851141.2851193},
hal_id = {hal-01365746},
hal_version = {v1}
}
@inproceedings{mandel:hal-01093169,
title = {{Reactivity of Cooperative Systems}},
author = {Mandel, Louis and Pasteur, C{\'e}dric},
url = {https://inria.hal.science/hal-01093169},
booktitle = {{Static Analysis (SAS)}},
address = {Munich, Germany},
publisher = {{Springer}},
series = {Lecture Notes in Computer Science},
volume = {8723},
pages = {17},
year = {2014},
month = sep,
doi = {10.1007/978-3-319-10936-7\_14},
keywords = {Synchronous languages ; Functional languages ; Semantics ; Type systems ; Cooperative scheduling},
hal_id = {hal-01093169},
hal_version = {v1}
}
@inproceedings{atkinson:hal-03401720,
title = {{Checking Bounded-Memory Execution for Delayed Sampling on Probabilistic Streams}},
author = {Atkinson, Eric and Baudart, Guillaume and Mandel, Louis and Yuan, Charles and Carbin, Michael},
url = {https://hal.science/hal-03401720},
booktitle = {{PROBPROG 2021 - Third International Conference on Probabilistic Programming}},
address = {Virtual, United States},
year = {2021},
month = oct,
pdf = {https://hal.science/hal-03401720v1/file/probprog21-sds.pdf},
hal_id = {hal-03401720},
hal_version = {v1}
}
@article{zappanardelli:hal-01882137,
title = {{Julia Subtyping: A Rational Reconstruction}},
author = {Zappa Nardelli, Francesco and Belyakova, Julia and Pelenitsyn, Artem and Chung, Benjamin and Bezanson, Jeff and Vitek, Jan},
url = {https://inria.hal.science/hal-01882137},
note = {OOPSLA, Article 113},
journal = {{Proceedings of the ACM on Programming Languages}},
publisher = {{ACM}},
volume = {27},
year = {2018},
doi = {10.1145/3276483},
keywords = {Multiple Dispatch ; Semantics ; Subtyping ; Data types and structures},
pdf = {https://inria.hal.science/hal-01882137v1/file/paper.pdf},
hal_id = {hal-01882137},
hal_version = {v1}
}
@proceedings{bourke:hal-03962188,
title = {{JFLA 2023 - 34{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}},
author = {Bourke, Timothy and Demange, Delphine},
url = {https://inria.hal.science/hal-03962188},
booktitle = {{JFLA 2023 - 34{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}},
series = {Journ{\'e}es Francophones des Langages Applicatifs},
pages = {1-308},
year = {2023},
month = jan,
pdf = {https://inria.hal.science/hal-03962188v2/file/actes-jfla-2023.pdf},
hal_id = {hal-03962188},
hal_version = {v2}
}
@inproceedings{benveniste:hal-01521918,
title = {{Structural Analysis of Multi-Mode DAE Systems}},
author = {Benveniste, Albert and Caillaud, Beno{\^i}t and Elmqvist, Hilding and Ghorbal, Khalil and Otter, Martin and Pouzet, Marc},
url = {https://inria.hal.science/hal-01521918},
booktitle = {{Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017}},
address = {Pittsburgh, PA, United States},
year = {2017},
month = apr,
doi = {10.1145/3049797.3049806},
keywords = {multi-mode systems ; differential algebraic equations ; DAE ; differential index ; structural analysis ; operational semantics ; nonstandard analysis ; mDAE ; StructAnalysis ; HybridLang},
pdf = {https://inria.hal.science/hal-01521918v1/file/paper-author-version.pdf},
hal_id = {hal-01521918},
hal_version = {v1}
}
@inproceedings{diouf:hal-00911887,
title = {{A Polynomial Spilling Heuristic: Layered Allocation}},
author = {Diouf, Boubacar and Cohen, Albert and Rastello, Fabrice},
url = {https://inria.hal.science/hal-00911887},
booktitle = {{CGO 2013 - International Symposium on Code Generation and Optimization}},
address = {Shenzhen, China},
publisher = {{IEEE}},
year = {2013},
month = feb,
doi = {10.1109/CGO.2013.6495005},
keywords = {Compilers ; Register allocation},
pdf = {https://inria.hal.science/hal-00911887v1/file/57_Diouf.pdf},
hal_id = {hal-00911887},
hal_version = {v1}
}
@inproceedings{vafeiadis:hal-01089047,
title = {{Common compiler optimisations are invalid in the C11 memory model and what we can do about it}},
author = {Vafeiadis, Viktor and Balabonski, Thibaut and Chakraborty, Soham and Morisset, Robin and Zappa Nardelli, Francesco},
url = {https://inria.hal.science/hal-01089047},
booktitle = {{POPL 2015 - 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}},
address = {Mumbai, India},
year = {2015},
month = jan,
keywords = {Program transformations ; Weak memory models ; Compilers ; C/C++ ; Concurrency},
hal_id = {hal-01089047},
hal_version = {v1}
}
@inproceedings{grosser:hal-00911177,
title = {{Hybrid Hexagonal/Classical Tiling for GPUs}},
author = {Grosser, Tobias and Cohen, Albert and Holewinski, Justin and Sadayappan, Ponnuswamy and Verdoolaege, Sven},
url = {https://inria.hal.science/hal-00911177},
booktitle = {{Intl. Symp. on Code Generation and Optimization (CGO)}},
address = {Orlando, FL, United States},
year = {2014},
month = feb,
hal_id = {hal-00911177},
hal_version = {v1}
}
@inproceedings{vonhanxleden:hal-01575629,
title = {{Real-Time Ticks for Synchronous Programming}},
author = {von Hanxleden, Reinhard and Bourke, Timothy and Girault, Alain},
url = {https://inria.hal.science/hal-01575629},
booktitle = {{FDL 2017 - 12th Forum on Specification and Design Languages}},
address = {V{\'e}rone, Italy},
organization = {{Electronic Chips \& System Design Initiative (ECSI)}},
year = {2017},
month = sep,
keywords = {Physical Time ; Esterel ; Synchronous Languages ; Reactive Systems ; Real-Time Systems},
pdf = {https://inria.hal.science/hal-01575629v1/file/PID4935757.pdf},
hal_id = {hal-01575629},
hal_version = {v1}
}
@inproceedings{bourke:hal-01817949,
title = {{Towards a verified Lustre compiler with modular reset}},
author = {Bourke, Timothy and Brun, L{\'e}lio and Pouzet, Marc},
url = {https://inria.hal.science/hal-01817949},
booktitle = {{21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018)}},
address = {Sankt Goar, Germany},
publisher = {{ACM Press}},
series = {Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018)},
pages = {4},
year = {2018},
month = may,
doi = {10.1145/3207719.3207732},
keywords = {Synchronous Languages (Lustre) ; Verified Compilation ; Compilers ; Formal software verification ; Semantics},
pdf = {https://inria.hal.science/hal-01817949v1/file/paper.pdf},
hal_id = {hal-01817949},
hal_version = {v1}
}
@inproceedings{bourke:hal-01242732,
title = {{A Synchronous-based Code Generator For Explicit Hybrid Systems Languages}},
author = {Bourke, Timothy and Cola{\c c}o, Jean-Louis and Pagano, Bruno and Pasteur, C{\'e}dric and Pouzet, Marc},
url = {https://inria.hal.science/hal-01242732},
booktitle = {{International Conference on Compiler Construction (CC)}},
address = {London, United Kingdom},
series = {LNCS},
year = {2015},
month = jul,
keywords = { compilation ; synchronous languages ; Hybrid systems},
hal_id = {hal-01242732},
hal_version = {v1}
}
@report{baudart:hal-01175571,
title = {{Soundness of the Quasi-Synchronous Abstraction}},
author = {Baudart, Guillaume and Bourke, Timothy and Pouzet, Marc},
url = {https://inria.hal.science/hal-01175571},
type = {Research Report},
pages = {19},
institution = {{INRIA Paris-Rocquencourt ; INRIA}},
year = {2015},
month = aug,
keywords = {Quasi-Synchronous Abstraction ; Quasi-periodic Architectures},
pdf = {https://inria.hal.science/hal-01175571v2/file/RR-8755-2.pdf},
hal_id = {hal-01175571},
hal_version = {v2}
}
@inproceedings{benveniste:hal-00654112,
title = {{Divide and recycle: types and compilation for a hybrid synchronous language}},
author = {Benveniste, Albert and Bourke, Timothy and Caillaud, Benoit and Pouzet, Marc},
url = {https://inria.hal.science/hal-00654112},
booktitle = {{Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011}},
address = {Chicago, IL, United States},
year = {2011},
month = apr,
doi = {10.1145/1967677.1967687},
hal_id = {hal-00654112},
hal_version = {v1}
}
@report{didier:hal-01509314,
title = {{Sheep in wolf's clothing: Implementation models for data-flow multi-threaded software}},
author = {Didier, Keryan and Cohen, Albert and Gauffriau, Adrien and Graillat, Amaury and Potop-Butucaru, Dumitru},
url = {https://inria.hal.science/hal-01509314},
type = {Research Report},
pages = {31},
institution = {{Inria Paris}},
year = {2017},
month = apr,
keywords = {execution platform ; parallel ; semantics preservation ; Kahn process networks ; synchronous languages ; langages synchrones ; r{\'e}seaux de Kahn ; plateforme d’ex{\'e}cution ; pr{\'e}servation s{\'e}mantique ; mod{\`e}le d’impl{\'e}mentation ; multi-thread ; parell{\`e}lisme ; Lustre ; Scad},
pdf = {https://inria.hal.science/hal-01509314v1/file/RR-9057.pdf},
hal_id = {hal-01509314},
hal_version = {v1}
}
@inproceedings{drebes:hal-01343686,
title = {{Language-Centric Performance Analysis of OpenMP Programs with Aftermath}},
author = {Drebes, Andi and Br{\'e}jon, Jean-Baptiste and Pop, Antoniu and Heydemann, Karine and Cohen, Albert},
url = {https://hal.sorbonne-universite.fr/hal-01343686},
booktitle = {{IWOMP 2016 - 12th International Workshop on OpenMP}},
address = {Nara, Japan},
publisher = {{Springer}},
series = {Lecture Notes in Computer Science},
volume = {9903},
pages = {237-250},
year = {2016},
month = oct,
doi = {10.1007/978-3-319-45550-1\_17},
keywords = {Tracing ; Performance Analysis ; OpenMP},
pdf = {https://hal.sorbonne-universite.fr/hal-01343686v1/file/iwomp2016.pdf},
hal_id = {hal-01343686},
hal_version = {v1}
}
@inproceedings{grimm:hal-03128683,
title = {{From Lustre to Graphical Models and SCCharts}},
author = {Grimm, Lena and Smyth, Steven and Schulz-Rosengarten, Alexander and von Hanxleden, Reinhard and Pouzet, Marc},
url = {https://inria.hal.science/hal-03128683},
booktitle = {{FDL 2020 - Forum for Specification and Design Languages}},
address = {Kiel, Germany},
publisher = {{IEEE}},
series = {2020 Forum for Specification and Design Languages (FDL)},
year = {2020},
month = sep,
doi = {10.1109/FDL50818.2020.9232944},
keywords = {View-Synthesis ; Lustre ; SCCharts ; Modeling Pragmatics ; Synchronous Languages},
hal_id = {hal-03128683},
hal_version = {v1}
}
@report{benveniste:hal-01343967,
title = {{Structural Analysis of Multi-Mode DAE Systems}},
author = {Benveniste, Albert and Caillaud, Beno{\^i}t and Elmqvist, Hilding and Ghorbal, Khalil and Otter, Martin and Pouzet, Marc},
url = {https://inria.hal.science/hal-01343967},
type = {Research Report},
pages = {1-23},
institution = {{Inria}},
year = {2017},
keywords = {HybridLang ; StructAnalysis ; mDAE ; nonstandard analysis ; index ; DAE ; Hybrid systems ; syst{\`e}mes hybrides ; DAE systems ; analyse non standard ; index},
pdf = {https://inria.hal.science/hal-01343967v3/file/techreport.pdf},
hal_id = {hal-01343967},
hal_version = {v3}
}
@inproceedings{drebes:hal-01136519,
title = {{Aftermath: Performance analysis of task-parallel applications on many-core NUMA systems}},
author = {Drebes, Andi and Heydemann, Karine and Drach, Nathalie and Antoniu, Pop and Cohen, Albert},
url = {https://hal.science/hal-01136519},
note = {Poster},
booktitle = {{Tenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems}},
address = {Fiuggi, Italy},
year = {2014},
month = jul,
keywords = {Many-core ; NUMA ; Performance debugging ; Task parallelism ; Trace analysis},
hal_id = {hal-01136519},
hal_version = {v1}
}
@inproceedings{cohen:hal-01257258,
title = {{Who wants to adopt a polyhedral compiler?}},
author = {Cohen, Albert},
url = {https://hal.science/hal-01257258},
booktitle = {{3rd Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC)}},
address = {Berlin, Germany},
year = {2013},
month = jan,
hal_id = {hal-01257258},
hal_version = {v1}
}
@thesis{pasteur:tel-00934919,
title = {{Raffinement temporel et ex{\'e}cution parall{\`e}le dans un langage synchrone fonctionnel}},
author = {Pasteur, C{\'e}dric},
url = {https://theses.hal.science/tel-00934919},
institution = {{Universit{\'e} Pierre et Marie Curie - Paris VI}},
year = {2013},
month = nov,
keywords = {Concurrency ; Refinement ; Synchronous languages ; Functional languages ; Semantics ; Type-and-effect systems ; Parallelism ; Parall{\'e}lisme ; Syst{\`e}mes de types-et-effets ; S{\'e}mantique ; Langages fonctionnels ; Langages synchrones ; Raffinement ; Concurrence},
type = {Theses},
pdf = {https://theses.hal.science/tel-00934919v1/file/Pasteur-These.pdf},
hal_id = {tel-00934919},
hal_version = {v1}
}
@inproceedings{morisset:hal-01423612,
title = {{Partially Redundant Fence Elimination for x86, ARM and Power processors}},
author = {Morisset, Robin and Zappa Nardelli, Francesco},
url = {https://inria.hal.science/hal-01423612},
booktitle = {{International Conference on Compiler Construction (CC)}},
address = {Austin, United States},
year = {2017},
month = feb,
hal_id = {hal-01423612},
hal_version = {v1}
}
@article{cohen:hal-02458507,
title = {{Flextended Tiles: a Flexible Extension of Overlapped Tiles for Polyhedral Compilation}},
author = {Cohen, Albert and Zhao, Jie},
url = {https://inria.hal.science/hal-02458507},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
year = {2020},
month = jan,
doi = {10.1145/3369382},
keywords = {Stencil computations ; Loop tiling ; CCS Concepts: $\bullet$ Software and its engineering $\rightarrow$ Compilers ; Polyhedral compilation ; Automatic parallelization},
pdf = {https://inria.hal.science/hal-02458507v1/file/polytile.pdf},
hal_id = {hal-02458507},
hal_version = {v1}
}
@book{cohen:hal-01257238,
title = {{28th International Conference on the Architecture of Computing Systems (ARCS)}},
author = {Cohen, Albert},
url = {https://hal.science/hal-01257238},
editor = {Albert Cohen},
publisher = {{Springer}},
series = {LNCS},
number = {9017},
year = {2015},
month = mar,
hal_id = {hal-01257238},
hal_version = {v1}
}
@inproceedings{pouchet:hal-01257291,
title = {{Iterative Optimization in the Polyhedral Model: One-Dimensional Scheduling Case}},
author = {Pouchet, Louis-No{\"e}l and Bastoul, C{\'e}dric and Cohen, Albert},
url = {https://hal.science/hal-01257291},
note = {%HEVEA\publinkPBC06.ps.gz},
booktitle = {{2nd HiPEAC Industrial Workshop}},
address = {Eindhoven, The, Netherlands},
year = {2006},
hal_id = {hal-01257291},
hal_version = {v1}
}
@thesis{grosser:tel-01144563,
title = {{A decoupled approach to high-level loop optimization : tile shapes, polyhedral building blocks and low-level compilers}},
author = {Grosser, Tobias},
url = {https://theses.hal.science/tel-01144563},
institution = {{Universit{\'e} Pierre et Marie Curie - Paris VI}},
year = {2014},
month = oct,
keywords = {Hexagonal tiling ; Polyhedric ; Polyhedrique ; Compilation ; Pochoir ; Hexagonal tiling ; Boucle ; Delinearization},
type = {Theses},
pdf = {https://theses.hal.science/tel-01144563v1/file/pdf2star-1417100348-these_archivage_3160267.pdf},
hal_id = {tel-01144563},
hal_version = {v1}
}
@article{bourke:hal-02426573,
title = {{Mechanized semantics and verified compilation for a dataflow synchronous language with reset}},
author = {Bourke, Timothy and Brun, L{\'e}lio and Pouzet, Marc},
url = {https://inria.hal.science/hal-02426573},
journal = {{Proceedings of the ACM on Programming Languages}},
publisher = {{ACM}},
volume = {4},
number = {POPL},
pages = {1-29},
year = {2020},
month = jan,
doi = {10.1145/3371112},
keywords = {Interactive theorem proving ; $\bullet$ Computer systems organization $\rightarrow$ Embedded software Additional Key Words and Phrases: stream languages ; Verified compilation ; Compilers ; CCS Concepts: $\bullet$ Software and its engineering $\rightarrow$ Formal language definitions ; Software verification},
pdf = {https://inria.hal.science/hal-02426573v1/file/bourke-brun-pouzet-popl2020.pdf},
hal_id = {hal-02426573},
hal_version = {v1}
}
@thesis{brun:tel-03068862,
title = {{Mechanized semantics and verified compilation for a dataflow synchronous language with reset}},
author = {Brun, L{\'e}lio},
url = {https://theses.hal.science/tel-03068862},
institution = {{Universit{\'e} Paris sciences et lettres}},
year = {2020},
month = jul,
keywords = {Mechanized semantics ; Modular reset ; Coq ; Interactive theorem provers ; V{\'e}lus ; Verified compilation ; Synchronous dataflow languages ; Lustre ; Scade ; Reset modulaire ; Coq ; Assistants de preuve interactifs ; V{\'e}lus ; S{\'e}mantique m{\'e}canis{\'e}e ; Compilation v{\'e}rifi{\'e}e ; Scade ; Lustre ; Langages synchrones {\`a} flots de donn{\'e}es},
type = {Theses},
pdf = {https://theses.hal.science/tel-03068862v1/file/Brun-2020-These.pdf},
hal_id = {tel-03068862},
hal_version = {v1}
}
@inproceedings{baudart:hal-02430070,
title = {{Programmation d'Applications R{\'e}actives Probabilistes}},
author = {Baudart, Guillaume and Mandel, Louis and Pouzet, Marc and Atkinson, Eric and Sherman, Benjamin and Carbin, Michael},
url = {https://inria.hal.science/hal-02430070},
booktitle = {{JLFA 2020 - Journ{\'e}es Francophones des Langages Applicatifs}},
address = {Gruissan, France},
year = {2020},
month = jan,
keywords = {Probabiliste ; Langages synchrones},
pdf = {https://inria.hal.science/hal-02430070v1/file/jfla20.pdf},
hal_id = {hal-02430070},
hal_version = {v1}
}
@inproceedings{mavroudeas:hal-03469475,
title = {{Learning GraphQL Query Cost}},
author = {Mavroudeas, Georgios and Baudart, Guillaume and Cha, Alan and Hirzel, Martin and Laredo, Jim A and Magdon-Ismail, Malik and Mandel, Louis and Wittern, Erik},
url = {https://hal.science/hal-03469475},
booktitle = {{ASE 2021 - IEEE/ACM International Conference on Automated Software Engineering -- Industry Showcase}},
address = {Melbourne / Virtuel, Australia},
year = {2021},
month = nov,
pdf = {https://hal.science/hal-03469475v1/file/ase21.pdf},
hal_id = {hal-03469475},
hal_version = {v1}
}
@inproceedings{proy:hal-02373088,
title = {{A First ISA-Level Characterization of EM Pulse Effects on Superscalar Microarchitectures}},
author = {Proy, Julien and Heydemann, Karine and Berzati, Alexandre and Majeric, Fabien and Cohen, Albert},
url = {https://hal.sorbonne-universite.fr/hal-02373088},
booktitle = {{ARES 2019 - 14th International Conference on Availability, Reliability and Security}},
address = {Canterbury, United Kingdom},
publisher = {{ACM Press}},
pages = {7:1--7:10},
year = {2019},
month = aug,
doi = {10.1145/3339252.3339253},
pdf = {https://hal.sorbonne-universite.fr/hal-02373088v1/file/ares2019_final%20%281%29.pdf},
hal_id = {hal-02373088},
hal_version = {v1}
}
@article{bachir:hal-00764521,
title = {{Minimal Unroll Factor for Code Generation of Software Pipelining}},
author = {Bachir, Mounira and Touati, Sid and Fr{\'e}d{\'e}ric, Brault and Gregg, David and Cohen, Albert},
url = {https://inria.hal.science/hal-00764521},
journal = {{International Journal of Parallel Programming}},
publisher = {{Springer Verlag}},
year = {2012},
month = jul,
doi = {10.1007/s10766-012-0203-z},
keywords = {Periodic register allocation ; Software pipelining ; Code generation ; Instruction level parallelism ; Embedded systems ; Compilation},
pdf = {https://inria.hal.science/hal-00764521v1/file/mainSubmitMinPPCMJounal.pdf},
hal_id = {hal-00764521},
hal_version = {v1}
}
@inproceedings{stock:hal-01016093,
title = {{A Framework for Enhancing Data Reuse via Associative Reordering}},
author = {Stock, Kevin and Kong, Martin and Grosser, Tobias and Pouchet, Louis-No{\"e}l and Rastello, Fabrice and Ramanujam, Jagannathan and Sadayappan, Ponnuswamy},
url = {https://inria.hal.science/hal-01016093},
booktitle = {{PLDI '14 - 35th ACM SIGPLAN Conference on Programming Language Design and Implementation}},
address = {Edinburgh, United Kingdom},
publisher = {{ACM}},
pages = {65-76},
year = {2014},
month = jun,
doi = {10.1145/2594291.2594342},
hal_id = {hal-01016093},
hal_version = {v1}
}
@inproceedings{kruse:hal-01814183,
title = {{DeLICM: Scalar Dependence Removal at Zero Memory Cost}},
author = {Kruse, Michael and Grosser, Tobias},
url = {https://inria.hal.science/hal-01814183},
booktitle = {{CGO'18 - International Symposium on Code Generation and Optimization}},
address = {Vienna, Austria},
publisher = {{ACM Press}},
pages = {241-253},
year = {2018},
month = feb,
doi = {10.1145/3168815},
keywords = {Scalar Dependence ; Polyhedral Framework ; Compilers ; Polly ; LLVM},
pdf = {https://inria.hal.science/hal-01814183v1/file/delicm-sigplan.pdf},
hal_id = {hal-01814183},
hal_version = {v1}
}
@inproceedings{rakamnouykit:hal-03891774,
title = {{The raise of machine learning hyperparameter constraints in Python code}},
author = {Rak-Amnouykit, Ingkarat and Milanova, Ana and Baudart, Guillaume and Hirzel, Martin and Dolby, Julian},
url = {https://hal.science/hal-03891774},
booktitle = {{ISSTA 2022 - 31st ACM SIGSOFT International Symposium on Software Testing and Analysis}},
address = {Virtual, South Korea},
year = {2022},
month = jul,
doi = {10.1145/3533767.3534400},
keywords = {interprocedural analysis ; machine learning libraries ; Python},
pdf = {https://hal.science/hal-03891774v1/file/issta22.pdf},
hal_id = {hal-03891774},
hal_version = {v1}
}
@inproceedings{nobre:hal-02441182,
title = {{Bounded Stream Scheduling in Polyhedral OpenStream}},
author = {Nobre, Nuno Miguel and Drebes, Andi and Riley, Graham and Pop, Antoniu},
url = {https://inria.hal.science/hal-02441182},
booktitle = {{IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques}},
address = {Bologna, Italy},
year = {2020},
month = jan,
keywords = {Dataflow task-parallelism ; Buffer bounding ; OpenStream},
pdf = {https://inria.hal.science/hal-02441182v2/file/IMPACT_2020_paper_4.pdf},
hal_id = {hal-02441182},
hal_version = {v2}
}
@report{diouf:hal-00713693,
title = {{A Polynomial Spilling Heuristic: Layered Allocation}},
author = {Diouf, Boubacar and Cohen, Albert and Rastello, Fabrice},
url = {https://inria.hal.science/hal-00713693},
type = {Research Report},
pages = {23},
institution = {{INRIA}},
year = {2012},
month = jul,
pdf = {https://inria.hal.science/hal-00713693v2/file/RR-8007.pdf},
hal_id = {hal-00713693},
hal_version = {v2}
}
@inproceedings{cohen:hal-00786682,
title = {{Programming Parallelism with Futures in Lustre}},
author = {Cohen, Albert and G{\'e}rard, L{\'e}onard and Pouzet, Marc},
url = {https://inria.hal.science/hal-00786682},
note = {Best paper award.},
booktitle = {{EMSOFT '12 Proceedings of the tenth ACM international conference on Embedded software}},
address = {Tampere, Finland, Finland},
publisher = {{ACM}},
pages = {197-206},
year = {2012},
month = oct,
doi = {10.1145/2380356.2380394},
hal_id = {hal-00786682},
hal_version = {v1}
}
@report{barthou:hal-01433302,
title = {{Automated Code Generation for Lattice QCD Simulation}},
author = {Barthou, Denis and Grosdidier, Gilbert and Petrov, Konstantin and Kruse, Michael and Eisenbeis, Christine and P{\`e}ne, Olivier and Brand-Foissac, Olivier and Tadonki, Claude and Dolbeau, Romain},
url = {https://minesparis-psl.hal.science/hal-01433302},
type = {Research Report},
institution = {{University of Bordeaux, University of Paris Sud, INRIA, University of Paris Sud, Mines ParisTech, CAPS Entreprise}},
year = {2016},
month = jun,
pdf = {https://minesparis-psl.hal.science/hal-01433302v1/file/E-395.pdf},
hal_id = {hal-01433302},
hal_version = {v1}
}
@book{dowek:hal-01262640,
title = {{Informatique et sciences du num{\'e}rique : {\'E}dition sp{\'e}ciale Python}},
author = {Dowek, Gilles and Archambault, Jean-Pierre and Baccelli, Emmanuel and Cimellli, Claudio and Cohen, Albert and Eisenbeis, Christine and Vi{\'e}ville, Thierry and Wack, Benjamin and Bersini, Hugues and Le Blanc, Guillaume},
url = {https://inria.hal.science/hal-01262640},
publisher = {{Eyrolles}},
pages = {352},
year = {2013},
month = aug,
hal_id = {hal-01262640},
hal_version = {v1}
}
@inproceedings{baudart:hal-04407154,
title = {{Programmation r{\'e}active probabiliste}},
author = {Baudart, Guillaume and Tasson, Christine},
url = {https://inria.hal.science/hal-04407154},
booktitle = {{35es Journ{\'e}es Francophones des Langages Applicatifs (JFLA 2024)}},
address = {Saint-Jacut-de-la-Mer, France},
year = {2024},
month = jan,
pdf = {https://inria.hal.science/hal-04407154v1/file/jfla2024-paper-baudart-tasson.pdf},
hal_id = {hal-04407154},
hal_version = {v1}
}
@thesis{jeanmaire:tel-04885682,
title = {{A denotational semantics for a verified synchronous compiler}},
author = {Jeanmaire, Paul},
url = {https://hal.science/tel-04885682},
institution = {{Universit{\'e} PSL (Paris Sciences \& Lettres)}},
year = {2024},
month = dec,
keywords = {Proof of programs ; Proof assistants ; Synchronous programming ; Denotational semantics ; Verified compilation ; Embedded systems ; Compilation v{\'e}rifi{\'e}e ; S{\'e}mantique d{\'e}notationnelle ; Programmation synchrone ; Syst{\`e}mes embarqu{\'e}s ; Preuves de programmes ; Assistants de preuve},
type = {Theses},
pdf = {https://hal.science/tel-04885682v1/file/these.pdf},
hal_id = {tel-04885682},
hal_version = {v1}
}
@thesis{diouf:tel-00769403,
title = {{Decoupled approaches to register and software controlled memory allocations}},
author = {Diouf, Boubacar},
url = {https://theses.hal.science/tel-00769403},
institution = {{Universit{\'e} Paris Sud - Paris XI}},
year = {2011},
month = dec,
keywords = {Memory allocations ; Submarine-building problem ; Weighted graphs coloring ; Scratchpad ; Register allocation ; Compilation ; Probl{\`e}me de submarine-building ; Coloration de graphes pond{\'e}r{\'e}s ; Scratchpad ; Allocation de m{\'e}moire ; Allocation de registres ; Compilation},
type = {Theses},
pdf = {https://theses.hal.science/tel-00769403v1/file/VD2_DIOUF_BOUBACAR_15122011.pdf},
hal_id = {tel-00769403},
hal_version = {v1}
}
@inproceedings{chung:hal-02297696,
title = {{Julia's efficient algorithm for subtyping unions and covariant tuples (Pearl)}},
author = {Chung, Benjamin and Zappa Nardelli, Francesco and Vitek, Jan},
url = {https://inria.hal.science/hal-02297696},
booktitle = {{ECOOP 2019 - 33rd European Conference of Object-Oriented Programming}},
address = {London, United Kingdom},
year = {2019},
month = jul,
doi = {10.4230/LIPIcs.ECOOP.2019.6},
keywords = {Union types ; Subtyping ; Type systems},
pdf = {https://inria.hal.science/hal-02297696v1/file/main%20%282%29.pdf},
hal_id = {hal-02297696},
hal_version = {v1}
}
@misc{bourke:hal-01104031,
title = {{Mechanization of the Algebra for Wireless Networks (AWN)}},
author = {Bourke, Timothy},
url = {https://inria.hal.science/hal-01104031},
note = {Entry in the Archive of Formal Proofs (ISSN: 2150-914x)},
pages = {186},
year = {2014},
month = aug,
keywords = {Process Algebra ; Reactive Systems ; Invariant proof ; Compositional Verification ; Interactive Theorem Proving},
pdf = {https://inria.hal.science/hal-01104031v1/file/document.pdf},
hal_id = {hal-01104031},
hal_version = {v1}
}
@misc{bourke:hal-01408230,
title = {{Sundials/ML: interfacing with numerical solvers}},
author = {Bourke, Timothy and Inoue, Jun and Pouzet, Marc},
url = {https://inria.hal.science/hal-01408230},
howpublished = {{ACM Workshop on ML}},
year = {2016},
month = sep,
keywords = {Foreign Function Interfaces (FFI) ; Sundials ; OCaml},
pdf = {https://inria.hal.science/hal-01408230v1/file/paper.pdf},
hal_id = {hal-01408230},
hal_version = {v1}
}
@inproceedings{zhao:hal-01720368,
title = {{A polyhedral compilation framework for loops with dynamic data-dependent bounds}},
author = {Zhao, Jie and Kruse, Michael and Cohen, Albert},
url = {https://inria.hal.science/hal-01720368},
booktitle = {{CC'18 - 27th International Conference on Compiler Construction}},
address = {Vienna, Austria},
publisher = {{ACM Press}},
year = {2018},
month = feb,
doi = {10.1145/3178372.3179509},
keywords = {Dynamic counted loop ; Polyhedral model ; Loop nest optimization ; Parallelizing compiler ; Compilers},
pdf = {https://inria.hal.science/hal-01720368v1/file/cc2018-paper.pdf},
hal_id = {hal-01720368},
hal_version = {v1}
}
@inproceedings{colaco:hal-01960410,
title = {{Scade 6: from a Kahn Semantics to a Kahn Implementation for Multicore}},
author = {Cola{\c c}o, Jean-Louis and Pagano, Bruno and Pasteur, C{\'e}dric and Pouzet, Marc},
url = {https://hal.science/hal-01960410},
booktitle = {{Forum on specification \& Design Languages (FDL)}},
address = {Munich, Germany},
year = {2018},
month = sep,
keywords = {Compiler ; Synchronous languages ; Multi-core},
pdf = {https://hal.science/hal-01960410v1/file/paper.pdf},
hal_id = {hal-01960410},
hal_version = {v1}
}
@thesis{trifunovic:tel-00661334,
title = {{Efficient search-based strategies for polyhedral compilation : algorithms and experience in a production compiler}},
author = {Trifunovic, Konrad},
url = {https://theses.hal.science/tel-00661334},
institution = {{Universit{\'e} Paris Sud - Paris XI}},
year = {2011},
month = jul,
keywords = {Loop transformations ; Intermediate representation ; Automatic parallelization ; Program transformations ; Polyhedral model ; Programming languages ; Compilers ; Repr{\'e}sentation interm{\'e}diaire ; La parall{\'e}lisation automatique ; Transformations de boucles ; Transformations de programmes ; Mod{\`e}le poly{\'e}drique ; Langages de programmation ; Compilateurs},
type = {Theses},
pdf = {https://theses.hal.science/tel-00661334v1/file/VA_TRIFUNOVIC_KONRAD_04072011.pdf},
hal_id = {tel-00661334},
hal_version = {v1}
}
@inproceedings{cohen:hal-00786812,
title = {{Split Tiling for GPUs: Automatic Parallelization Using Trapezoidal Tiles to Reconcile Parallelism and Locality, avoiding Divergence and Load Imbalance}},
author = {Cohen, Albert and Grosser, Tobias and Kelly, Paul H. J. and Ramanujam, J. and Sadayappan, Ponnuswamy and Verdoolaege, Sven},
url = {https://inria.hal.science/hal-00786812},
booktitle = {{GPGPU 6 - Sixth Workshop on General Purpose Processing Using GPUs}},
address = {Houston, United States},
year = {2013},
month = mar,
pdf = {https://inria.hal.science/hal-00786812v1/file/paper.pdf},
hal_id = {hal-00786812},
hal_version = {v1}
}
@article{zinenko:hal-01744426,
title = {{Visual Program Manipulation in the Polyhedral Model}},
author = {Zinenko, Oleksandr and Huot, St{\'e}phane and Bastoul, C{\'e}dric},
url = {https://inria.hal.science/hal-01744426},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
volume = {15},
number = {1},
pages = {1 - 25},
year = {2018},
month = mar,
doi = {10.1145/3177961},
keywords = {Polyhedral model ; Direct manipulation},
pdf = {https://inria.hal.science/hal-01744426v1/file/TACO_HAL.pdf},
hal_id = {hal-01744426},
hal_version = {v1}
}
@inproceedings{beaugnon:hal-01655602,
title = {{Optimization Space Pruning without Regrets}},
author = {Beaugnon, Ulysse and Pouille, Antoine and Pouzet, Marc and Pienaar, Jacques and Cohen, Albert},
url = {https://inria.hal.science/hal-01655602},
booktitle = {{CC 2017 - 26th International Conference on Compiler Construction}},
address = {Austin, TX, United States},
publisher = {{ACM Press}},
series = {Proceedings of the International Conference on Compiler Construction},
pages = {34-44},
year = {2017},
month = feb,
doi = {10.1145/3033019.3033023},
keywords = {Compilers ; Search Space Exploration ; Performance Modeling ; GPU optimization ; Branch and bound algorithms},
pdf = {https://inria.hal.science/hal-01655602v1/file/paper.pdf},
hal_id = {hal-01655602},
hal_version = {v1}
}
@inproceedings{varoumas:hal-03154265,
title = {{Programming microcontrollers through high-level abstractions}},
author = {Varoumas, Steven and Pesin, Basile and Vaugon, Beno{\^i}t and Chailloux, Emmanuel},
url = {https://hal.science/hal-03154265},
booktitle = {{VMIL 2020 - 12th ACM SIGPLAN International Workshop on Virtual Machine and Intermediate Languages}},
address = {Chicago / Virtual, United States},
publisher = {{Association for Computing Machinery}},
pages = {5-14},
year = {2020},
month = nov,
doi = {10.1145/3427765.3428495},
hal_id = {hal-03154265},
hal_version = {v1}
}
@inproceedings{le:hal-00911893,
title = {{Correct and Efficient Bounded FIFO Queues}},
author = {L{\^e}, Nhat Minh and Guatto, Adrien and Cohen, Albert and Pop, Antoniu},
url = {https://inria.hal.science/hal-00911893},
booktitle = {{SBAC-PAD 2013 : International Symposium on Computer Architecture and High Performance Computing}},
address = {Porto de Galinhas, Brazil},
publisher = {{IEEE}},
year = {2013},
month = oct,
pdf = {https://inria.hal.science/hal-00911893v1/file/sbac13.pdf},
hal_id = {hal-00911893},
hal_version = {v1}
}
@inproceedings{couvreur:hal-00911895,
title = {{Two-layer Run-Time Power Management for embedded heterogeneous multi-core platforms}},
author = {Couvreur, Chantal and Avasare, Prabhat and Broekaert, Florian and Cohen, Albert},
url = {https://inria.hal.science/hal-00911895},
note = {1 page and poster},
booktitle = {{DATE 13 - Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications}},
address = {Grenoble, France},
year = {2013},
month = mar,
hal_id = {hal-00911895},
hal_version = {v1}
}
@inproceedings{leupers:hal-01257251,
title = {{Technology transfer towards Horizon 2020}},
author = {Leupers, Rainer and Wehn, Norbert and Roodzant, Marco and Stahl, Johannes and Fanucci, Luca and Cohen, Albert and Janson, Bernd},
url = {https://hal.science/hal-01257251},
note = {1 page. Special session},
booktitle = {{Design, Automation \& Test in Europe Conference \& Exhibition (DATE)}},
address = {Dresden, Germany},
year = {2014},
doi = {10.7873/DATE.2014.049},
hal_id = {hal-01257251},
hal_version = {v1}
}
@book{cohen:hal-01257255,
title = {{10th International Symposium on Advanced Parallel Processing Technologies (APPT)}},
author = {Cohen, Albert and Wu, Chenggang},
url = {https://hal.science/hal-01257255},
editor = {Albert Cohen and Chenggang Wu},
publisher = {{Springer}},
series = {LNCS},
number = {8299},
year = {2013},
month = aug,
hal_id = {hal-01257255},
hal_version = {v1}
}
@inproceedings{posadas:hal-01257259,
title = {{The PHARAON project: Parallel and Heterogeneous Architecture for Real-Time Applications}},
author = {Posadas, Hector and Villar, Eugenio and Broekaert, Florian and Bourdell{\`e}s, Michel and Cohen, Albert and Pop, Antoniu and L{\^e}, Nhat Minh and Guatto, Adrien and Lazarescu, Mihai T. and Lavagno, Luciano and Terechko, Andrei and Glassee, Miguel and Calvo, Daniel and Heras, Edouardo de Las},
url = {https://hal.science/hal-01257259},
booktitle = {{Euromicro Conference on Digital System Design (DSD)}},
address = {Santander, Spain},
year = {2013},
hal_id = {hal-01257259},
hal_version = {v1}
}
@inproceedings{upadrasta:hal-01257267,
title = {{Exploring the use of Sub-Polyhedra in the Polyhedral Model: A TVPI Based Approach}},
author = {Upadrasta, Ramakrishna and Cohen, Albert},
url = {https://hal.science/hal-01257267},
booktitle = {{1\st Workshop on Polyhedral Compilation Techniques (IMPACT, associated with CGO)}},
address = {Chamonix, France},
year = {2011},
hal_id = {hal-01257267},
hal_version = {v1}
}
@inproceedings{nuzman:hal-01257268,
title = {{Vapor SIMD -- Auto-Vectorize Once, Run Everywhere}},
author = {Nuzman, Dorit and Dyshel, Sergei and Rohou, Erven and Rosen, Ira and Williams, Kevin and Yuste, David and Cohen, Albert and Zaks, Ayal},
url = {https://hal.science/hal-01257268},
booktitle = {{cgo \# (CGO)}},
address = {Chamonix, France},
year = {2011},
hal_id = {hal-01257268},
hal_version = {v1}
}
@inproceedings{fursin:hal-01257279,
title = {{Practical Run-time Adaptation with Procedure Cloning to Enable Continuous Collective Compilation}},
author = {Fursin, Grigori and Miranda, Cupertino and Pop, Sebastian and Cohen, Albert and Temam, Olivier},
url = {https://hal.science/hal-01257279},
note = {%HEVEA\publinkFMPCT07.pdf},
booktitle = {{Proc. of the 5{\th} GCC Developper's Summit}},
address = {Ottawa, Ontario, Canada},
year = {2007},
hal_id = {hal-01257279},
hal_version = {v1}
}
@inproceedings{lesnicki:hal-01257280,
title = {{Split Compilation: an Application to Just-in-Time Vectorization}},
author = {Lesnicki, Piotr and Cohen, Albert and Cornero, Marco and Fursin, Grigori and Ornstein, Andrea and Rohou, Erven},
url = {https://hal.science/hal-01257280},
booktitle = {{Workshop on GCC for Research in Embedded and Parallel Systems (GREPS)}},
address = {Brasov, Romania},
year = {2007},
hal_id = {hal-01257280},
hal_version = {v1}
}
@inproceedings{cohen:hal-01257286,
title = {{N-Synchronous Kahn Networks}},
author = {Cohen, Albert and Duranton, Marc and Eisenbeis, Christine and Pagetti, Claire and Plateau, Florence and Pouzet, Marc},
url = {https://hal.science/hal-01257286},
note = {%HEVEA\publinkCDEPPP06.ps.gz},
booktitle = {{POPL 2006 - 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages }},
address = {Charleston, South Carolina, United States},
pages = {180--193},
year = {2006},
month = jan,
hal_id = {hal-01257286},
hal_version = {v1}
}
@inproceedings{amiranoff:hal-01257289,
title = {{Beyond Iteration Vectors: Instancewise Relational Abstract Domains}},
author = {Amiranoff, Pierre and Cohen, Albert and Feautrier, Paul},
url = {https://hal.science/hal-01257289},
note = {%HEVEA\publinkACF06.ps.gz},
booktitle = {{Static Analysis Symposium (SAS)}},
address = {Seoul, Korea, Unknown Region},
year = {2006},
hal_id = {hal-01257289},
hal_version = {v1}
}
@inproceedings{beaugnon:hal-01257241,
title = {{PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs}},
author = {Beaugnon, Ulysse and Baghdadi, Mohamed Riyadh and Absar, Javed and Betts, Adam and Cohen, Albert and Donaldson, Alastair and Grosser, Tobias and Haastregt, Sven Van and Hu, Yabin and Ketema, Jeroen and Kravets, Alexey and Lokhmotov, Anton and Verdoolaege, Sven},
url = {https://hal.science/hal-01257241},
booktitle = {{Domain-Specific Language Design and Implementation (DSLDI, associated with SPLASH/OOPSLA)}},
address = {Portland, Oregon, Unknown Region},
year = {2014},
hal_id = {hal-01257241},
hal_version = {v1}
}
@inbook{pop:hal-01257229,
title = {{SSA-based Compiler Design}},
author = {Pop, Sebastian and Cohen, Albert},
url = {https://hal.science/hal-01257229},
note = {ISBN 978-1-4419-6201-0},
editor = {Fabrice Rastello},
publisher = {{springer}},
volume = {Loop tree and induction variables},
year = {2016},
month = aug,
hal_id = {hal-01257229},
hal_version = {v1}
}
@inproceedings{vasilache:hal-01257290,
title = {{Violated Dependence Analysis}},
author = {Vasilache, Nicolas and Cohen, Albert and Bastoul, C{\'e}dric and Girbal, Sylvain},
url = {https://hal.science/hal-01257290},
note = {%HEVEA\publinkVCBG06.ps.gz},
booktitle = {{ics \# (ICS)}},
address = {Cairns, Australia},
year = {2006},
hal_id = {hal-01257290},
hal_version = {v1}
}
@inproceedings{cohen:hal-01257230,
title = {{Streaming Task Parallelism}},
author = {Cohen, Albert},
url = {https://hal.science/hal-01257230},
note = {Keynote presentation},
booktitle = {{Intl. Conf. on Supercomputing (ICS)}},
address = {Newport Beach, California, United States},
year = {2015},
hal_id = {hal-01257230},
hal_version = {v1}
}
@inproceedings{do:hal-01257246,
title = {{Comparing the StreamIt and $\Sigma$C Languages for Manycore Processors}},
author = {Do, Xuan Khanh and Louise, St{\'e}phane and Cohen, Albert},
url = {https://hal.science/hal-01257246},
booktitle = {{Fourth International workshop on Data-Flow Models for extreme scale computing (DFM 2014, associated with PACT)}},
address = {Edmonton, Canada},
year = {2014},
hal_id = {hal-01257246},
hal_version = {v1}
}
@inproceedings{halle:hal-00645220,
title = {{A Mutable Hardware Abstraction to Replace Threads}},
author = {Halle, Sean and Cohen, Albert},
url = {https://inria.hal.science/hal-00645220},
booktitle = {{LCPC'11 - The 24th International Workshop on Languages and Compilers for Parallel Computing}},
address = {Fort Collins, United States},
year = {2011},
month = sep,
pdf = {https://inria.hal.science/hal-00645220v1/file/lcpc11.pdf},
hal_id = {hal-00645220},
hal_version = {v1}
}
@inproceedings{halle:hal-00645226,
title = {{Support of Collective Effort Towards Performance Portability}},
author = {Halle, Sean and Cohen, Albert},
url = {https://inria.hal.science/hal-00645226},
booktitle = {{HotPar'11 - 3rd USENIX Workshop on Hot Topics in Parallelism}},
address = {Berkeley, United States},
year = {2011},
month = may,
pdf = {https://inria.hal.science/hal-00645226v1/file/Jan_2011_Hotpar_Port_Perf_final.pdf},
hal_id = {hal-00645226},
hal_version = {v1}
}
@article{didier:hal-02422789,
title = {{Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware}},
author = {Didier, Keryan and Potop-Butucaru, Dumitru and Iooss, Guillaume and Cohen, Albert and Souyris, Jean and Baufreton, Philippe and Graillat, Amaury},
url = {https://inria.hal.science/hal-02422789},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
volume = {16},
number = {3},
pages = {1-27},
year = {2019},
month = aug,
doi = {10.1145/3328799},
keywords = {Real-time systems software ; Code generation ; Static scheduling ; Data flow languages ; Software and its engineering ; Multicore architectures ; Computer systems organization ; Compilers ; Parallelization ; Timing analysis},
hal_id = {hal-02422789},
hal_version = {v1}
}
@inbook{clauss:hal-00671226,
title = {{Polyhedral Techniques for Parametric Memory Requirement Estimation}},
author = {Clauss, Philippe and Garbervetsky, Diego and Loechner, Vincent and Verdoolaege, Sven},
url = {https://inria.hal.science/hal-00671226},
editor = {Balasa and F. and Pradhan and D.},
publisher = {{Taylor and Francis}},
series = {Chapman \& Hall/Crc Computer and Information Science},
year = {2011},
hal_id = {hal-00671226},
hal_version = {v1}
}
@inproceedings{colaco:hal-01666470,
title = {{Scade 6: A Formal Language for Embedded Critical Software Development}},
author = {Cola{\c c}o, Jean-Louis and Pagano, Bruno and Pouzet, Marc},
url = {https://inria.hal.science/hal-01666470},
booktitle = {{TASE 2017 - 11th International Symposium on Theoretical Aspects of Software Engineering}},
address = {Nice, France},
pages = {1-10},
year = {2017},
month = sep,
keywords = {Embedded Systems ; Formal Methods ; Compilation ; Synchronous languages},
pdf = {https://inria.hal.science/hal-01666470v1/file/tase17.pdf},
hal_id = {hal-01666470},
hal_version = {v1}
}
@inproceedings{bhaskaracharya:hal-01425888,
title = {{SMO: An Integrated Approach to Intra-array and Inter-array Storage Optimization}},
author = {Bhaskaracharya, Somashekaracharya G and Bondhugula, Uday and Cohen, Albert},
url = {https://inria.hal.science/hal-01425888},
booktitle = {{POPL 2016 - ACM Symposium on Principles of Programming Languages}},
address = {Saint Petersburg, United States},
pages = {526-538},
year = {2016},
month = jan,
doi = {10.1145/2837614.2837636},
keywords = { polyhedral framework ; array contraction ; optimization ; memory ; storage mapping optimization ; Keywords Compilers ; optimization ; guages]: Processors-Compilers ; D34 [Programming Lan-},
pdf = {https://inria.hal.science/hal-01425888v1/file/paper.pdf},
hal_id = {hal-01425888},
hal_version = {v1}
}
@inproceedings{drebes:hal-01425743,
title = {{Scalable Task Parallelism for NUMA: A Uniform Abstraction for Coordinated Scheduling and Memory Management}},
author = {Drebes, Andi and Pop, Antoniu and Heydemann, Karine and Cohen, Albert and Drach, Nathalie},
url = {https://inria.hal.science/hal-01425743},
booktitle = {{PACT'16 - ACM/IEEE Conference on Parallel Architectures and Compilation Techniques}},
address = {Haifa, Israel},
pages = {125 - 137},
year = {2016},
month = sep,
doi = {10.1145/2967938.2967946},
keywords = {Data-flow programming ; Memory allocation ; Scheduling ; NUMA ; Task-parallel programming},
pdf = {https://inria.hal.science/hal-01425743v1/file/paper.pdf},
hal_id = {hal-01425743},
hal_version = {v1}
}
@article{bondhugula:hal-01425546,
title = {{The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests}},
author = {Bondhugula, Uday and Acharya, Aravind and Cohen, Albert},
url = {https://inria.hal.science/hal-01425546},
journal = {{ACM Transactions on Programming Languages and Systems (TOPLAS)}},
publisher = {{ACM}},
volume = {38},
number = {3},
year = {2016},
month = may,
doi = {10.1145/2896389},
keywords = {tiling ; affine transformations ; loop transformations ; polyhedral model ; locality optimization ; Automatic parallelization},
hal_id = {hal-01425546},
hal_version = {v1}
}
@report{grosser:hal-00848691,
title = {{The Promises of Hybrid Hexagonal/Classical Tiling for GPU}},
author = {Grosser, Tobias and Verdoolaege, Sven and Cohen, Albert and Sadayappan, P.},
url = {https://inria.hal.science/hal-00848691},
type = {Research Report},
institution = {{INRIA}},
year = {2013},
month = jul,
pdf = {https://inria.hal.science/hal-00848691v1/file/RR-8339.pdf},
hal_id = {hal-00848691},
hal_version = {v1}
}
@inproceedings{baudart:hal-00850299,
title = {{A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music}},
author = {Baudart, Guillaume and Mandel, Louis and Jacquemard, Florent and Pouzet, Marc},
url = {https://inria.hal.science/hal-00850299},
booktitle = {{EMSOFT 2013 - 13th International Conference on Embedded Software}},
address = {Montreal, Canada},
year = {2013},
month = sep,
pdf = {https://inria.hal.science/hal-00850299v1/file/BaudartJacquemardMandelPouzet-EMSOFT-2013.pdf},
hal_id = {hal-00850299},
hal_version = {v1}
}
@inproceedings{hong:hal-01335346,
title = {{Effective padding of multidimensional arrays to avoid cache conflict misses}},
author = {Hong, Changwan and Bao, Wenlei and Cohen, Albert and Krishnamoorthy, Sriram and Pouchet, Louis-No{\"e}l and Rastello, Fabrice and Ramanujam, Jagannathan and Ponnuswany, Sadayappan},
url = {https://inria.hal.science/hal-01335346},
booktitle = {{PLDI 2016: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation}},
address = {Santa Barbara, United States},
year = {2016},
month = jun,
keywords = { padding ; conflict misses ; performance ; data cache ; array padding},
hal_id = {hal-01335346},
hal_version = {v1}
}
@inproceedings{iooss:hal-03901645,
title = {{Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems}},
author = {Iooss, Guillaume and Cohen, Albert and Potop-Butucaru, Dumitru and Pouzet, Marc and Bregeon, Vincent and Souyris, Jean and Baufreton, Philippe},
url = {https://inria.hal.science/hal-03901645},
booktitle = {{IMPACT 2022 - 12th International Workshop on Polyhedral Compilation Techniques}},
address = {Budapest, Hungary},
pages = {1-12},
year = {2022},
month = jun,
pdf = {https://inria.hal.science/hal-03901645v1/file/IMPACT2022_Paper4_onesynch.pdf},
hal_id = {hal-03901645},
hal_version = {v1}
}
@article{azuelos:hal-01762097,
title = {{Relationship between Autophagy and Ventilator-induced Diaphragmatic Dysfunction}},
author = {Azuelos, Ilan and Jung, Boris and Picard, Martin and Li, Feng and Li, Tong and Lemaire, Christian and Giordano, Christian and Hussain, Sabah and Petrof, Basil},
url = {https://hal.umontpellier.fr/hal-01762097},
journal = {{Anesthesiology}},
publisher = {{Lippincott, Williams \& Wilkins}},
volume = {122},
number = {6},
pages = {1349 - 1361},
year = {2015},
doi = {10.1097/ALN.0000000000000656},
hal_id = {hal-01762097},
hal_version = {v1}
}
@unpublished{iooss:hal-02495471,
title = {{1-Synchronous Programming of Large Scale, Multi-Periodic Real-Time Applications with Functional Degrees of Freedom}},
author = {Iooss, Guillaume and Pouzet, Marc and Cohen, Albert and Potop-Butucaru, Dumitru and Souyris, Jean and Bregeon, Vincent and Baufreton, Philippe},
url = {https://inria.hal.science/hal-02495471},
note = {working paper or preprint},
year = {2020},
month = mar,
keywords = {Synchronous languages ; Clock inference ; Underspecified computation},
pdf = {https://inria.hal.science/hal-02495471v2/file/paper_1sync_hal.pdf},
hal_id = {hal-02495471},
hal_version = {v2}
}
@report{zinenko:hal-01628798,
title = {{Unified Polyhedral Modeling of Temporal and Spatial Locality}},
author = {Zinenko, Oleksandr and Verdoolaege, Sven and Reddy, Chandan and Shirako, Jun and Grosser, Tobias and Sarkar, Vivek and Cohen, Albert},
url = {https://inria.hal.science/hal-01628798},
type = {Research Report},
pages = {41},
institution = {{Inria Paris}},
year = {2017},
month = nov,
keywords = {polyhedral model ; loop nest optimization ; automatic parallelization},
pdf = {https://inria.hal.science/hal-01628798v1/file/RR-9110.pdf},
hal_id = {hal-01628798},
hal_version = {v1}
}
@unpublished{baudart:hal-02426533,
title = {{Reactive Probabilistic Programming}},
author = {Baudart, Guillaume and Mandel, Louis and Atkinson, Eric and Sherman, Benjamin and Pouzet, Marc and Carbin, Michael},
url = {https://inria.hal.science/hal-02426533},
note = {working paper or preprint},
year = {2019},
month = aug,
keywords = {Synchronous Data-flow Languages ; Probabilistic and statistical models in industrial plant control ; Probabilistic Inference},
hal_id = {hal-02426533},
hal_version = {v1}
}
@inproceedings{cohen:hal-01257233,
title = {{Challenges in Correct-by-Construction Multiprocessor Programming}},
author = {Cohen, Albert},
url = {https://hal.science/hal-01257233},
booktitle = {{EPFL-INRIA Workshop}},
address = {Lausanne, Switzerland},
year = {2015},
hal_id = {hal-01257233},
hal_version = {v1}
}
@inproceedings{vasilache:hal-01257283,
title = {{Automatic Correction of Loop Transformations}},
author = {Vasilache, Nicolas and Cohen, Albert and Pouchet, Louis-No{\"e}l},
url = {https://hal.science/hal-01257283},
booktitle = {{pact \# (PACT)}},
address = {Brasov, Romania},
year = {2007},
hal_id = {hal-01257283},
hal_version = {v1}
}
@inproceedings{hili:hal-01071208,
title = {{Model-Based Platform Composition for Embedded System Design}},
author = {Hili, Nicolas and Fabre, Christian and Dupuy-Chessa, Sophie and Rieu, Dominique and Llopard, Ivan},
url = {https://inria.hal.science/hal-01071208},
booktitle = {{2014 IEEE 8th International Symposium on Embedded Multicore/Manycore SoCs}},
address = {Aizu-Wakamatsu, Japan},
organization = {{University of Aizu}},
publisher = {{IEEE}},
series = {Rapid System Prototyping (RSP)},
pages = {23-29},
year = {2014},
month = sep,
doi = {10.1109/MCSoC.2014.31},
hal_id = {hal-01071208},
hal_version = {v1}
}
@inproceedings{mandel:hal-01508142,
title = {{Scheduling and Buffer Sizing of n-Synchronous Systems}},
author = {Mandel, Louis and Plateau, Florence},
url = {https://inria.hal.science/hal-01508142},
booktitle = {{Eleventh International Conference on Mathematics of Program Construction ({MPC'12})}},
address = {Madrid, Spain},
year = {2012},
month = jun,
keywords = { Type systems ; n-synchrony ; Synchronous languages},
pdf = {https://inria.hal.science/hal-01508142v1/file/MandelPlateau-MPC-2012.pdf},
hal_id = {hal-01508142},
hal_version = {v1}
}
@report{pop:hal-00717906,
title = {{Control-Driven Data Flow}},
author = {Pop, Antoniu and Cohen, Albert},
url = {https://inria.hal.science/hal-00717906},
type = {Research Report},
pages = {48},
institution = {{INRIA}},
year = {2012},
month = jul,
keywords = {model of computation ; operational semantics ; programming languages ; data-flow ; stream computing ; parallel programming},
pdf = {https://inria.hal.science/hal-00717906v2/file/RR-8015.pdf},
hal_id = {hal-00717906},
hal_version = {v2}
}
@book{dowek:hal-01257263,
title = {{Informatique et sciences du num{\'e}rique -- Sp{\'e}cialit{\'e} ISN en terminale S, avec des exercices corrig{\'e}s et des id{\'e}es de projets}},
author = {Dowek, Gilles and Archambault, Jean-Pierre and Baccelli, Emmanuel and Cimelli, Claudio and Cohen, Albert and Eisenbeis, Christine and Vi{\'e}ville, Thierry and Wack, Benjamin and Berry, G{\'e}rard},
url = {https://hal.science/hal-01257263},
publisher = {{Eyrolles}},
year = {2012},
month = aug,
hal_id = {hal-01257263},
hal_version = {v1}
}
@article{park:hal-00918653,
title = {{Predictive Modeling in a Polyhedral Optimization Space}},
author = {Park, Eunjung and Cavazos, John and Pouchet, Louis-No{\"e}l and Bastoul, C{\'e}dric and Cohen, Albert and Sadayappan, P.},
url = {https://inria.hal.science/hal-00918653},
journal = {{International Journal of Parallel Programming}},
hal_local_reference = {5},
publisher = {{Springer Verlag}},
volume = {41},
number = {5},
pages = {704--750},
year = {2013},
doi = {10.1007/s10766-013-0241-1},
keywords = {Loop transformation ; polyhedral optimization ; iterative compilation ; machine learning ; performance counters},
pdf = {https://inria.hal.science/hal-00918653v1/file/ijpp-article.13_3.pdf},
hal_id = {hal-00918653},
hal_version = {v1}
}
@misc{drebes:hal-02441163,
title = {{TC-CIM: Empowering Tensor Comprehensions for Computing-In-Memory}},
author = {Drebes, Andi and Chelini, Lorenzo and Zinenko, Oleksandr and Cohen, Albert and Corporaal, Henk and Grosser, Tobias and Vadivel, Kanishkan and Vasilache, Nicolas},
url = {https://inria.hal.science/hal-02441163},
howpublished = {{IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques}},
year = {2020},
month = jan,
keywords = {Schedule Trees ; Loop Tactics ; Tensor Comprehensions ; Computing-In-Memory ; Machine Learning},
pdf = {https://inria.hal.science/hal-02441163v1/file/IMPACT_2020_paper_2.pdf},
hal_id = {hal-02441163},
hal_version = {v1}
}
@inproceedings{giorgi:hal-01257257,
title = {{Bridging the Exascale Programming Gap with Dataflow-Based Technologies}},
author = {Giorgi, Roberto and Cohen, Albert and Mendelson, Avi and Navarro, Nacho and Ungerer, Theo and Zuckerman, St{\'e}phane},
url = {https://hal.science/hal-01257257},
booktitle = {{6{\th} Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG, associated with HiPEAC)}},
address = {Berlin, Germany},
year = {2013},
hal_id = {hal-01257257},
hal_version = {v1}
}
@article{das:hal-00647369,
title = {{Efficient Liveness Computation Using Merge Sets and DJ-Graphs}},
author = {Das, Dibyendu and Upadrasta, Ramakrishna and Dupont de Dinechin, Beno{\^i}t},
url = {https://inria.hal.science/hal-00647369},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
series = {ACM TACO Special Issue on ''High-Performance and Embedded Architectures and Compilers''},
volume = {8},
number = {4},
year = {2012},
month = jan,
doi = {10.1145/2086696.2086706},
pdf = {https://inria.hal.science/hal-00647369v1/file/ramakrishna_taco.pdf},
hal_id = {hal-00647369},
hal_version = {v1}
}
@inproceedings{bourke:hal-03287572,
title = {{Verified normalization of the Lustre language}},
author = {Bourke, Timothy and Jeanmaire, Paul and Pesin, Basile and Pouzet, Marc},
url = {https://inria.hal.science/hal-03287572},
booktitle = {{JFLA 2021 - 32{\`e}me Journ{\'e}es Francophones des Langages Applicatifs}},
address = {En ligne, France},
organization = {{Yann R{\'e}gis-Gianas et Chantal Keller}},
pages = {117-133},
year = {2021},
month = apr,
keywords = {assistants de preuve (Coq)},
pdf = {https://inria.hal.science/hal-03287572v1/file/jfla.pdf},
hal_id = {hal-03287572},
hal_version = {v1}
}
@article{benveniste:hal-01879026,
title = {{Building a Hybrid Systems Modeler on Synchronous Languages Principles}},
author = {Benveniste, Albert and Bourke, Timothy and Caillaud, Benoit and Cola{\c c}o, Jean-Louis and Pasteur, C{\'e}dric and Pouzet, Marc},
url = {https://inria.hal.science/hal-01879026},
journal = {{Proceedings of the IEEE}},
publisher = {{Institute of Electrical and Electronics Engineers}},
series = {Design Automation for Cyber-Physical Systems},
volume = {106},
number = {9},
pages = {1568 - 1592},
year = {2018},
month = sep,
doi = {10.1109/JPROC.2018.2858016},
keywords = {Hybrid Systems ; Synchronous Languages ; Numerical Simulation ; HybridLang},
pdf = {https://inria.hal.science/hal-01879026v1/file/hybridsyncieee.pdf},
hal_id = {hal-01879026},
hal_version = {v1}
}
@inproceedings{bourke:hal-01092348,
title = {{Showing Invariance Compositionally for a Process Algebra for Network Protocols}},
author = {Bourke, Timothy and van Glabbeek, Robert J. and H{\"o}fner, Peter},
url = {https://inria.hal.science/hal-01092348},
booktitle = {{ITP 2014: Interactive Theorem Proving}},
address = {Vienna, Austria},
publisher = {{Springer}},
series = {Lecture Notes in Computer Science},
volume = {8558},
pages = {16},
year = {2014},
month = jul,
doi = {10.1007/978-3-319-08970-6\_10},
keywords = {network protocols ; invariance proofs ; reactive systems ; process algebra ; Isabelle/HOL},
hal_id = {hal-01092348},
hal_version = {v1}
}
@thesis{le:tel-01684181,
title = {{Kahn Process Networks as Concurrent Data Structures: Lock Freedom, Parallelism, Relaxation in Shared Memory}},
author = {L{\^e}, Nhat Minh},
url = {https://inria.hal.science/tel-01684181},
institution = {{Ecole normale sup{\'e}rieure - ENS PARIS}},
year = {2016},
month = sep,
keywords = {Task parallelism ; Kahn process networks ; Shared memory models ; Lock-free concurrency ; Mod{\`e}le m{\'e}moire partag{\'e}e ; Parall{\'e}lisme de t{\^a}ches ; R{\'e}seaux de processus de Kahn ; Concurrence non-bloquante},
type = {Theses},
pdf = {https://inria.hal.science/tel-01684181v1/file/nml-thesis.pdf},
hal_id = {tel-01684181},
hal_version = {v1}
}
@inproceedings{drebes:hal-01136497,
title = {{Automatic Detection of Performance Anomalies in Task-Parallel Programs}},
author = {Drebes, Andi and Heydemann, Karine and Pop, Antoniu and Cohen, Albert and Drach, Nathalie},
url = {https://hal.science/hal-01136497},
booktitle = {{1st Workshop on Resource Awareness and Adaptivity in Multi-Core Computing (Racing 2014)}},
address = {Paderborn, Germany},
year = {2014},
month = may,
keywords = {Trace visualization ; Trace-based performance analysis ; Task parallelism ; Performance analysis ; many-core},
hal_id = {hal-01136497},
hal_version = {v1}
}
@article{drebes:hal-01136491,
title = {{Topology-Aware and Dependence-Aware Scheduling and Memory Allocation for Task-Parallel Languages}},
author = {Drebes, Andi and Heydemann, Karine and Drach, Nathalie and Pop, Antoniu and Cohen, Albert},
url = {https://hal.science/hal-01136491},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
volume = {11},
number = {3},
pages = {30},
year = {2014},
month = oct,
doi = {10.1145/2641764},
keywords = {dataflow programming ; concurrent programming ; dynamic scheduling ; fifo queue ; lock-free algorithm ; work stealing},
hal_id = {hal-01136491},
hal_version = {v1}
}
@inproceedings{benveniste:hal-01093388,
title = {{A Type-Based Analysis of Causality Loops in Hybrid Modelers}},
author = {Benveniste, Albert and Caillaud, Beno{\^i}t and Pagano, Bruno and Pouzet, Marc},
url = {https://inria.hal.science/hal-01093388},
booktitle = {{HSCC '14: International Conference on Hybrid Systems: Computation and Control}},
address = {Berlin, Germany},
publisher = {{ACM Press}},
series = {Proceedings of the 17th international conference on Hybrid systems: computation and control (HSCC '14)},
pages = {13},
year = {2014},
month = apr,
doi = {10.1145/2562059.2562125},
keywords = {Static analysis ; Block diagrams ; Type systems ; Synchronous programming languages ; Hybrid systems ; HybridLang},
hal_id = {hal-01093388},
hal_version = {v1}
}
@article{varoumas:hal-04279767,
title = {{Programming microcontrollers through high-level abstractions: The OMicroB project}},
author = {Varoumas, Steven and Pesin, Basile and Vaugon, Beno{\^i}t and Chailloux, Emmanuel},
url = {https://hal.sorbonne-universite.fr/hal-04279767},
journal = {{Journal of Computer Languages}},
publisher = {{Elsevier}},
volume = {77},
pages = {101228},
year = {2023},
month = nov,
doi = {10.1016/j.cola.2023.101228},
keywords = {Microcontrollers ; Virtual machine ; High-level programming ; OCaml ; Functors ; Synchronous programming},
pdf = {https://hal.sorbonne-universite.fr/hal-04279767v1/file/cola.pdf},
hal_id = {hal-04279767},
hal_version = {v1}
}
@inproceedings{baudart:hal-03401742,
title = {{Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming}},
author = {Baudart, Guillaume and Burroni, Javier and Hirzel, Martin and Mandel, Louis and Shinnar, Avraham},
url = {https://hal.science/hal-03401742},
booktitle = {{PLDI '21 - 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation}},
address = {Virtual, Canada},
publisher = {{ACM}},
pages = {497-510},
year = {2021},
month = jun,
doi = {10.1145/3453483.3454058},
keywords = {Pyro ; Stan ; Semantics ; Theory of computation $\rightarrow$ Probabilistic computation Probabilistic programming ; Software and its engineering $\rightarrow$ Compilers ; CCS Concepts:},
pdf = {https://hal.science/hal-03401742v1/file/pldi21.pdf},
hal_id = {hal-03401742},
hal_version = {v1}
}
@inproceedings{chung:hal-01882148,
title = {{KafKa: Gradual Typing for Objects}},
author = {Chung, Benjamin and Li, Paley and Zappa Nardelli, Francesco and Vitek, Jan},
url = {https://inria.hal.science/hal-01882148},
booktitle = {{ECOOP 2018 - 2018 European Conference on Object-Oriented Programming}},
address = {Amsterdam, Netherlands},
year = {2018},
month = jul,
keywords = {Gradual typing ; Object-orientation ; Type systems ; Language design},
pdf = {https://inria.hal.science/hal-01882148v1/file/LIPIcs-ECOOP-2018-12.pdf},
hal_id = {hal-01882148},
hal_version = {v1}
}
@inproceedings{bourke:hal-01403830,
title = {{V{\'e}rification de la g{\'e}n{\'e}ration modulaire du code imp{\'e}ratif pour Lustre}},
author = {Bourke, Timothy and Dagand, Pierre-Evariste and Pouzet, Marc and Rieg, Lionel},
url = {https://inria.hal.science/hal-01403830},
booktitle = {{JFLA 2017 - Vingt-huiti{\`e}me Journ{\'e}es Francophones des Langages Applicatifs}},
address = {Gourette, France},
year = {2017},
month = jan,
keywords = { Assistants de Preuve (Coq) ; Compilation ; Langages synchrones (Lustre)},
pdf = {https://inria.hal.science/hal-01403830v1/file/bourke%20%281%29.pdf},
hal_id = {hal-01403830},
hal_version = {v1}
}
@thesis{li:tel-00992753,
title = {{Compiling for a multithreaded dataflow architecture : algorithms, tools, and experience}},
author = {Li, Feng},
url = {https://theses.hal.science/tel-00992753},
institution = {{Universit{\'e} Pierre et Marie Curie - Paris VI}},
year = {2014},
month = may,
keywords = {Dataflow ; Multiprocessors ; Flot de donn{\'e}es ; Parall{\'e}lisation ; Multiprocesseur ; Architecture ; Partitionnement d'un programme},
type = {Theses},
pdf = {https://theses.hal.science/tel-00992753v2/file/these_archivage_3072164.pdf},
hal_id = {tel-00992753},
hal_version = {v2}
}
@inproceedings{baudart:hal-00850294,
title = {{Programming Mixed Music in ReactiveML}},
author = {Baudart, Guillaume and Mandel, Louis and Pouzet, Marc},
url = {https://inria.hal.science/hal-00850294},
booktitle = {{FARM '13 - ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design}},
address = {Boston, United States},
publisher = {{ACM}},
pages = {11-22},
year = {2013},
month = sep,
doi = {10.1145/2505341.2505344},
pdf = {https://inria.hal.science/hal-00850294v1/file/BaudartMandelPouzet-FARM-2013.pdf},
hal_id = {hal-00850294},
hal_version = {v1}
}
@inproceedings{sevcik:hal-00907801,
title = {{Relaxed-memory concurrency and verified compilation}},
author = {Sevcik, Jaroslav and Vafeiadis, Viktor and Zappa Nardelli, Francesco and Jagannathan, Suresh and Sewell, Peter},
url = {https://inria.hal.science/hal-00907801},
booktitle = {{POPL - 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}},
address = {Austin, TX, United States},
year = {2011},
month = jan,
hal_id = {hal-00907801},
hal_version = {v1}
}
@report{verdoolaege:hal-01133962,
title = {{PENCIL support in pet and PPCG}},
author = {Verdoolaege, Sven},
url = {https://inria.hal.science/hal-01133962},
type = {Technical Report},
institution = {{INRIA Paris-Rocquencourt ; INRIA}},
year = {2015},
month = mar,
keywords = {dead code elimination ; live-range reordering ; array of structures ; function summary ; polyhedral compilation},
pdf = {https://inria.hal.science/hal-01133962v2/file/ppcg-pencil-v2.pdf},
hal_id = {hal-01133962},
hal_version = {v2}
}
@article{ramakrishnan:hal-01954048,
title = {{High-Throughput Monitoring of Single Vesicle Fusion Using Freestanding Membranes and Automated Analysis}},
author = {Ramakrishnan, Sathish and Gohlke, Andrea and Li, Feng and Coleman, Jeff and Xu, Weiming and Rothman, James E and Pincet, Fr{\'e}d{\'e}ric},
url = {https://hal.sorbonne-universite.fr/hal-01954048},
journal = {{Langmuir}},
publisher = {{American Chemical Society}},
volume = {34},
number = {20},
pages = {5849-5859},
year = {2018},
month = may,
doi = {10.1021/acs.langmuir.8b00116},
keywords = {SNARE ; protein mobility ; holey silicon substrate ; lipid mixing ; Content release},
pdf = {https://hal.sorbonne-universite.fr/hal-01954048v1/file/DOI%2010.1021acs.langmuir.8b00116.pdf},
hal_id = {hal-01954048},
hal_version = {v1}
}
@article{benveniste:hal-01549183,
title = {{A Type-based Analysis of Causality Loops in Hybrid Systems Modelers}},
author = {Benveniste, Albert and Bourke, Timothy and Caillaud, Beno{\^i}t and Pagano, Bruno and Pouzet, Marc},
url = {https://inria.hal.science/hal-01549183},
journal = {{Nonlinear Analysis: Hybrid Systems}},
publisher = {{Elsevier}},
volume = {26},
pages = {168--189},
year = {2017},
month = nov,
doi = {10.1016/j.nahs.2017.04.004},
keywords = {Hybrid systems ; Synchronous programming languages ; Type systems ; Numerical solver ; Mathematical modelling language ; HybridLang},
pdf = {https://inria.hal.science/hal-01549183v2/file/paper.pdf},
hal_id = {hal-01549183},
hal_version = {v2}
}
@inproceedings{colaco:hal-03626802,
title = {{Inf{\'e}rer et v{\'e}rifier les tailles de tableaux avec des types polymorphes}},
author = {Cola{\c c}o, Jean-Louis and Pauget, Baptiste and Pouzet, Marc},
url = {https://inria.hal.science/hal-03626802},
booktitle = {{33{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}},
address = {Saint-M{\'e}dard-d'Excideuil, France},
editor = {Chantal Keller and Timothy Bourke},
pages = {140-164},
year = {2022},
month = jun,
pdf = {https://inria.hal.science/hal-03626802v1/file/jfla22_paper_16.pdf},
hal_id = {hal-03626802},
hal_version = {v1}
}
@report{benveniste:hal-01084069,
title = {{On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)}},
author = {Benveniste, Albert and Bourke, Timothy and Caillaud, Beno{\^i}t and Pouzet, Marc},
url = {https://inria.hal.science/hal-01084069},
type = {Research Report},
pages = {30},
institution = {{Inria}},
year = {2014},
month = nov,
keywords = {Hybrid systems ; DAE ; index ; nonstandard analysis ; mDAE ; StructAnalysis ; HybridLang},
pdf = {https://inria.hal.science/hal-01084069v1/file/RR-8630.pdf},
hal_id = {hal-01084069},
hal_version = {v1}
}
@inproceedings{do:hal-01425902,
title = {{Transaction Parameterized Dataflow: A Model for Context-Dependent Streaming Applications}},
author = {Do, Xuan Khanh and Louise, Stephane and Cohen, Albert},
url = {https://inria.hal.science/hal-01425902},
booktitle = {{Design, Automation \& Test in Europe Conference \& Exhibition (DATE)}},
address = {Dresden, Germany},
year = {2016},
month = mar,
pdf = {https://inria.hal.science/hal-01425902v1/file/date2016.pdf},
hal_id = {hal-01425902},
hal_version = {v1}
}
@article{atkinson:hal-03891782,
title = {{Semi-symbolic inference for efficient streaming probabilistic programming}},
author = {Atkinson, Eric and Yuan, Charles and Baudart, Guillaume and Mandel, Louis and Carbin, Michael},
url = {https://hal.science/hal-03891782},
journal = {{Proceedings of the ACM on Programming Languages}},
publisher = {{ACM}},
volume = {6},
pages = {1668 - 1696},
year = {2022},
month = oct,
doi = {10.1145/3563347},
keywords = {Probabilistic programming ; Streaming inference},
pdf = {https://hal.science/hal-03891782v1/file/oopsla22.pdf},
hal_id = {hal-03891782},
hal_version = {v1}
}
@article{zhao:hal-02452600,
title = {{Erratum: "Hooked Flare Ribbons And Flux-Rope Related Qsl Footprints" (2016, Apj, 823, 62)}},
author = {Zhao, Jie and Gilchrist, Stuart and Aulanier, Guillaume and Schmieder, Brigitte and Pariat, Etienne and Li, Hui},
url = {https://hal.science/hal-02452600},
journal = {{The Astrophysical Journal}},
publisher = {{American Astronomical Society}},
volume = {825},
number = {1},
pages = {80},
year = {2016},
month = jul,
doi = {10.3847/0004-637X/825/1/80},
hal_id = {hal-02452600},
hal_version = {v1}
}
@inproceedings{saraswat:hal-00798046,
title = {{Constrained Types - Future Directions}},
author = {Saraswat, Vijay and Cunningham, David and Hadarean, Liana and Mandel, Louis and Shinnar, Avraham and Tardieu, Olivier},
url = {https://inria.hal.science/hal-00798046},
note = {Position Paper},
booktitle = {{CP 2012 - 18th International Conference on Principles and Practice of Constraint Programming}},
address = {Qu{\'e}bec, Canada},
year = {2012},
month = oct,
keywords = {Constrained Types ; Constraint Programming ; Types ; Programming Languages ; Constraints},
hal_id = {hal-00798046},
hal_version = {v1}
}
@inproceedings{mandel:hal-00850290,
title = {{Time Refinement in a Functional Synchronous Language}},
author = {Mandel, Louis and Pasteur, C{\'e}dric and Pouzet, Marc},
url = {https://inria.hal.science/hal-00850290},
booktitle = {{PPDP '13 - 15th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming}},
address = {Madrid, Spain},
publisher = {{ACM}},
pages = {169-180},
year = {2013},
month = sep,
doi = {10.1145/2505879.2505904},
pdf = {https://inria.hal.science/hal-00850290v1/file/MandelPasteurPouzet-PPDP-2013.pdf},
hal_id = {hal-00850290},
hal_version = {v1}
}
@inproceedings{zinenko:hal-01751823,
title = {{Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling}},
author = {Zinenko, Oleksandr and Verdoolaege, Sven and Reddy, Chandan and Shirako, Jun and Grosser, Tobias and Sarkar, Vivek and Cohen, Albert},
url = {https://inria.hal.science/hal-01751823},
booktitle = {{CC'18 - 27th International Conference on Compiler Construction}},
address = {Vienna, Austria},
publisher = {{ACM Press}},
year = {2018},
month = feb,
doi = {10.1145/3178372.3179507},
keywords = {Polyhedral model ; Compilers},
pdf = {https://inria.hal.science/hal-01751823v1/file/paper.pdf},
hal_id = {hal-01751823},
hal_version = {v1}
}
@inproceedings{li:hal-00870687,
title = {{Advances in Parallel-Stage Decoupled Software Pipelining}},
author = {Li, Feng and Antoniu, Pop and Cohen, Albert},
url = {https://hal.science/hal-00870687},
booktitle = {{WIR}},
address = {France},
year = {2011},
month = apr,
pdf = {https://hal.science/hal-00870687v1/file/A-462.pdf},
hal_id = {hal-00870687},
hal_version = {v1}
}
@article{giorgi:hal-00992721,
title = {{TERAFLUX: Harnessing dataflow in next generation teradevices}},
author = {Giorgi, Roberto and Badia, Rosa M. and Bodin, Fran{\c c}ois and Cohen, Albert and Evripidou, Paraskevas and Faraboschi, Paolo and Fechner, Bernhard and Gao, Guang R. and Garbade, Arne and Gayatri, Rahul and Girbal, Sylvain and Goodman, Daniel and Khan, Behran and Kolia{\"i}, Souad and Landwehr, Joshua and Minh, Nhat and Li, Feng and Luj{\`a}n, Mikel and Mendelson, Avi and Morin, Laurent and Navarro, Nacho and Patejko, Tomasz and Pop, Antoniu and Trancoso, Pedro and Ungerer, Theo and Watson, Ian and Weis, Sebastian and Zuckerman, St{\'e}phane and Valero, Mateo},
url = {https://inria.hal.science/hal-00992721},
note = {Available online 18 April 2014},
journal = {{Microprocessors and Microsystems: Embedded Hardware Design }},
publisher = {{Elsevier}},
volume = {38},
number = {8},
pages = {pp. 976--990},
year = {2014},
doi = {10.1016/j.micpro.2014.04.001},
keywords = {Exascale computing ; Many-cores ; Simulation ; Architecture ; Reliability ; Compilation ; Programming model ; Dataflow ; Multi-cores},
hal_id = {hal-00992721},
hal_version = {v1}
}
@article{zhang:hal-01142562,
title = {{On-the-Field Test and Configuration Infrastructure for 2-D-Mesh NoCs in Shared-Memory Many-Core Architectures}},
author = {Zhang, Zhen and Refauvelet, Dimitri and Greiner, Alain and Benabdenbi, Mounir and Pecheux, Fran{\c c}ois},
url = {https://hal.science/hal-01142562},
note = {Special Issue: 99},
journal = {{IEEE Transactions on Very Large Scale Integration (VLSI) Systems}},
publisher = {{IEEE}},
volume = {22},
number = {6},
pages = {1364 - 1376},
year = {2014},
month = jun,
doi = {10.1109/TVLSI.2013.2271697},
keywords = {logic design ; shared-memory ; network on chip},
hal_id = {hal-01142562},
hal_version = {v1}
}
@article{bourke:hal-01967659,
title = {{Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers}},
author = {Bourke, Timothy and Inoue, Jun and Pouzet, Marc},
url = {https://inria.hal.science/hal-01967659},
journal = {{Electronic Proceedings in Theoretical Computer Science}},
publisher = {{EPTCS}},
series = {ML Family Workshop / OCaml Users and Developers workshops (MLOCAML 2016)},
volume = {285},
pages = {101-130},
year = {2018},
month = dec,
doi = {10.4204/EPTCS.285.4},
keywords = {Numeric simulation ; OCaml},
pdf = {https://inria.hal.science/hal-01967659v1/file/1812.11668v1.pdf},
hal_id = {hal-01967659},
hal_version = {v1}
}
@article{sevcik:hal-00909076,
title = {{CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency}},
author = {Sevcik, Jaroslav and Vafeiadis, Viktor and Zappa Nardelli, Francesco and Jagannathan, Suresh and Sewell, Peter},
url = {https://inria.hal.science/hal-00909076},
journal = {{Journal of the ACM (JACM)}},
publisher = {{Association for Computing Machinery}},
volume = {60},
number = {3},
pages = {art. 22:1-50},
year = {2013},
doi = {10.1145/2487241.2487248},
keywords = {Relaxed memory models ; semantics ; verified compilation},
hal_id = {hal-00909076},
hal_version = {v1}
}
@thesis{pesin:tel-05144899,
title = {{Verified compilation of a synchronous dataflow language with state machines}},
author = {Pesin, Basile},
url = {https://theses.hal.science/tel-05144899},
institution = {{Universit{\'e} Paris sciences et lettres}},
year = {2023},
month = oct,
keywords = {Synchronous dataflow languages ; Lustre ; Scade ; Verified compilation ; State machines ; V{\'e}lus ; Coq ; Coq ; V{\'e}lus ; Machines {\`a} {\'e}tats ; Compilation v{\'e}rifi{\'e}e ; Scade ; Lustre ; Langages synchrones {\`a} flots de donn{\'e}es},
type = {Theses},
pdf = {https://theses.hal.science/tel-05144899v2/file/Pesin_2023_These.pdf},
hal_id = {tel-05144899},
hal_version = {v2}
}
@report{baudart:hal-00955496,
title = {{A Unifying View of Loosely Time-Triggered Architectures}},
author = {Baudart, Guillaume and Benveniste, Albert and Bouillard, Anne and Caspi, Paul},
url = {https://inria.hal.science/hal-00955496},
type = {Research Report},
pages = {14},
institution = {{INRIA}},
year = {2014},
month = mar,
keywords = {Time-Triggered Architecture ; Elastic Circuits ; Loosely Time-Triggered Architecture},
pdf = {https://inria.hal.science/hal-00955496v1/file/RR-8494.pdf},
hal_id = {hal-00955496},
hal_version = {v1}
}
@article{bourke:hal-00909062,
title = {{Analyzing an Embedded Sensor with Timed Automata in Uppaal}},
author = {Bourke, Timothy and Sowmya, Arcot},
url = {https://inria.hal.science/hal-00909062},
journal = {{ACM Transactions on Embedded Computing Systems (TECS)}},
publisher = {{ACM}},
volume = {13},
number = {3},
pages = {44-1--44-26},
year = {2013},
month = dec,
doi = {10.1145/2539036.2539040},
keywords = {Timed automata ; Uppaal ; timing diagrams ; timed trace inclusion},
pdf = {https://inria.hal.science/hal-00909062v1/file/tecs2012-accepted.pdf},
hal_id = {hal-00909062},
hal_version = {v1}
}
@inproceedings{souyris:hal-01714054,
title = {{Automatic Parallelization from Lustre Models in Avionics}},
author = {Souyris, Jean and Didier, Keryan and Potop-Butucaru, Dumitru and Iooss, Guillaume and Bourke, Timothy and Cohen, Albert and Pouzet, Marc},
url = {https://inria.hal.science/hal-01714054},
booktitle = {{ERTS2 2018 - 9th European Congress Embedded Real-Time Software and Systems}},
address = {Toulouse, France},
organization = {{3AF - Association A{\'e}ronautique Astronautique de France and SEE - Soci{\'e}t{\'e} de l'{\'e}lectricit{\'e}, de l'{\'e}lectronique et des technologies de l'information et de la communication and SIA - Soci{\'e}t{\'e} de Ing{\'e}nieurs de l'Automobile}},
series = {Proceedings of the 9th European Congress on Embedded Real-Time Software and Systems (ERTS2)},
pages = {1-4},
year = {2018},
month = jan,
keywords = {Automatic code generation ; Synchronous ; Lustre ; ITEA3 ; ASSUME project ; Multicores and many-cores ; Avionics software},
pdf = {https://inria.hal.science/hal-01714054v1/file/ERTS_2018_paper_65.pdf},
hal_id = {hal-01714054},
hal_version = {v1}
}
@inproceedings{baudart:hal-03936566,
title = {{Filtrer sans s'appauvrir : inf{\'e}rer les param{\`e}tres constants des mod{\`e}les r{\'e}actifs probabilistes}},
author = {Baudart, Guillaume and Bussone, Gr{\'e}goire and Mandel, Louis and Tasson, Christine},
url = {https://inria.hal.science/hal-03936566},
booktitle = {{JFLA 2023 - 34{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}},
address = {Praz-sur-Arly, France},
editor = {Timothy Bourke and Delphine Demange},
pages = {24-42},
year = {2023},
month = jan,
pdf = {https://inria.hal.science/hal-03936566v2/file/jfla23-APF%20%282%29.pdf},
hal_id = {hal-03936566},
hal_version = {v2}
}
@inproceedings{trifunovic:hal-01257266,
title = {{Elimination of Memory-Based Dependences for Loop-Nest Optimization and Parallelization: Evaluation of a Revised Violated Dependence Analysis Method on a Three-Address Code Polyhedral Compiler}},
author = {Trifunovi{\'c}, Konrad and Cohen, Albert and Ladelski, Razya and Li, Feng},
url = {https://hal.science/hal-01257266},
booktitle = {{3rd GCC Research Opportunities Workshop (GROW, associated with CGO)}},
address = {Chamonix, France},
year = {2011},
hal_id = {hal-01257266},
hal_version = {v1}
}
@book{cohen:hal-01257250,
title = {{17{\th} International Conference on Compiler Construction (CC)}},
author = {Cohen, Albert},
url = {https://hal.science/hal-01257250},
editor = {Albert Cohen},
publisher = {{springer}},
series = {lncs},
number = {8409},
year = {2014},
month = apr,
hal_id = {hal-01257250},
hal_version = {v1}
}
@article{posadas:hal-01257252,
title = {{Improving the Design Flow for Parallel and Heterogeneous Architectures running Real-Time applications: The PHARAON FP7 project}},
author = {Posadas, Hector and Villar, Eugenio and Broekaert, Florian and Bourdell{\`e}s, Michel and Cohen, Albert and G{\'e}rard, L{\'e}onard and Guatto, Adrien and Lazarescu, Mihai T. and Lavagno, Luciano and L{\^e}, Nhat Minh and Terechko, Andrei and Glassee, Miguel and Prieto, Manuel and Pop, Antoniu},
url = {https://hal.science/hal-01257252},
note = {DOI information: http://dx.doi.org/10.1016/j.micpro.2014.05.003},
journal = {{Microprocessors and Microsystems: Embedded Hardware Design }},
publisher = {{Elsevier}},
volume = {MICPRO2141},
year = {2014},
month = jun,
hal_id = {hal-01257252},
hal_version = {v1}
}
@inproceedings{pop:hal-01257284,
title = {{GRAPHITE: Loop Optimizations Based on the Polyhedral Model for GCC}},
author = {Pop, Sebastian and Cohen, Albert and Bastoul, C{\'e}dric and Girbal, Sylvain and Silber, Geogres-Andr{\'e} and Vasilache, Nicolas},
url = {https://hal.science/hal-01257284},
note = {%HEVEA\publinkPCBGSV06.ps.gz},
booktitle = {{Proc. of the 4{\th} GCC Developper's Summit}},
address = {Ottawa, Ontario, Unknown Region},
year = {2006},
hal_id = {hal-01257284},
hal_version = {v1}
}
@article{cohen:hal-01257287,
title = {{In Search of a Program Generator to Implement Generic Transformations for High-Performance Computing}},
author = {Cohen, Albert and Donadio, S{\'e}bastien and Garzar{\'a}n, Mar{\'i}a J. and Herrmann, Christoph and Kiselyov, Oleg and Padua, David},
url = {https://hal.science/hal-01257287},
note = {Special issue on the First MetaOCaml Workshop 2004. %HEVEA\publinkCDGHKP06.ps.gz},
journal = {{Science of Computer Programming}},
publisher = {{Elsevier}},
volume = {62},
number = {1},
pages = {25--46},
year = {2006},
month = sep,
hal_id = {hal-01257287},
hal_version = {v1}
}
@inproceedings{carribault:hal-01257293,
title = {{Deep Jam: Conversion of Coarse-Grain Parallelism to Instruction-Level and Vector Parallelism for Irregular Applications}},
author = {Carribault, Patrick and Cohen, Albert and Jalby, William},
url = {https://hal.science/hal-01257293},
booktitle = {{pact \# (PACT)}},
address = {St-Louis, Missouri, Unknown Region},
pages = {291--300},
year = {2005},
hal_id = {hal-01257293},
hal_version = {v1}
}
@inproceedings{pop:hal-01257294,
title = {{Induction Variable Analysis with Delayed Abstractions}},
author = {Pop, Sebastian and Cohen, Albert and Silber, Georges-Andr{\'e}},
url = {https://hal.science/hal-01257294},
booktitle = {{hipeac \# (HiPEAC)}},
address = {Barcelona, Spain},
publisher = {{springer}},
series = {lncs},
number = {3793},
pages = {218--232},
year = {2005},
hal_id = {hal-01257294},
hal_version = {v1}
}
@article{bourke:hal-04815075,
title = {{Lustre, Fast First and Fresh}},
author = {Bourke, Timothy and Pouzet, Marc},
url = {https://inria.hal.science/hal-04815075},
journal = {{IEEE Embedded Systems Letters}},
publisher = {{Institute of Electrical and Electronics Engineers}},
pages = {1-1},
year = {2024},
doi = {10.1109/LES.2024.3498932},
keywords = {Dataflow Synchronous Programming ; Time-Centric Reactive Software},
pdf = {https://inria.hal.science/hal-04815075v1/file/tcrs24.pdf},
hal_id = {hal-04815075},
hal_version = {v1}
}
@unpublished{vuillemin:hal-01239120,
title = {{Shared Integer Dichotomy}},
author = {Vuillemin, Jean},
url = {https://hal.science/hal-01239120},
note = {working paper or preprint},
year = {2014},
month = may,
pdf = {https://hal.science/hal-01239120v1/file/VuilleminSharedDichotomy.pdf},
hal_id = {hal-01239120},
hal_version = {v1}
}
@inproceedings{bourke:hal-01512286,
title = {{A Formally Verified Compiler for Lustre}},
author = {Bourke, Timothy and Brun, L{\'e}lio and Dagand, Pierre-Evariste and Leroy, Xavier and Pouzet, Marc and Rieg, Lionel},
url = {https://inria.hal.science/hal-01512286},
booktitle = {{PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation}},
address = {Barcelone, Spain},
organization = {{ACM}},
year = {2017},
month = jun,
keywords = {Interactive Theorem Proving (Coq) ; Verified Compilation ; Synchronous Languages (Lustre)},
pdf = {https://inria.hal.science/hal-01512286v1/file/velus-pldi17.pdf},
hal_id = {hal-01512286},
hal_version = {v1}
}
@inproceedings{bourke:hal-05107499,
title = {{Functional Stream Semantics for a Synchronous Block-Diagram Compiler}},
author = {Bourke, Timothy and Jeanmaire, Paul and Pouzet, Marc},
url = {https://inria.hal.science/hal-05107499},
booktitle = {{LICS 2025 - 40th Annual ACM/IEEE Symposium on Logic in Computer Science}},
address = {Singapour, Singapore},
year = {2025},
month = jun,
keywords = {Program correctness ; Synchronous languages ; Denotational semantics ; Interactive theorem proving},
pdf = {https://inria.hal.science/hal-05107499v1/file/paper.pdf},
hal_id = {hal-05107499},
hal_version = {v1}
}
@inproceedings{benveniste:hal-00654113,
title = {{A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code}},
author = {Benveniste, Albert and Bourke, Timothy and Caillaud, Benoit and Pouzet, Marc},
url = {https://inria.hal.science/hal-00654113},
booktitle = {{EMSOFT 2011 - Embedded Software}},
address = {Taipei, Taiwan},
year = {2011},
month = oct,
doi = {10.1145/2038642.2038664},
pdf = {https://inria.hal.science/hal-00654113v1/file/emsoft11.pdf},
hal_id = {hal-00654113},
hal_version = {v1}
}
@inproceedings{susungi:hal-01666797,
title = {{Towards Compositional and Generative Tensor Optimizations}},
author = {Susungi, Adilla and Rink, Norman A. and Castrillon, Jeronimo and Huismann, Immo and Cohen, Albert and Tadonki, Claude and Stiller, J{\"o}rg and Fr{\"o}hlich, Jochen},
url = {https://minesparis-psl.hal.science/hal-01666797},
booktitle = {{GPCE 2017 - 16th International Conference on Generative Programming: Concepts \& Experience}},
address = {Vancouver, Canada},
series = {Proceedings of GPCE 2017 - 16th International Conference on Generative Programming: Concepts \& Experience},
volume = {Volume 52 Issue 12},
pages = {Pages 169-175},
year = {2017},
month = oct,
keywords = {code generation and optimization ; meta- programming ; intermediate language ; tensor methods ; computational fluid dynam ics (CFD) ; numerical methods},
pdf = {https://minesparis-psl.hal.science/hal-01666797v1/file/A-671.pdf},
hal_id = {hal-01666797},
hal_version = {v1}
}
@inproceedings{susungi:hal-01666818,
title = {{Towards Compositional and Generative Tensor Optimizations}},
author = {Susungi, Adilla and Rink, Norman A and Castrill{\'o}n, Jer{\'o}nimo and Huismann, Immo and Cohen, Albert and Tadonki, Claude and Stiller, J{\"o}rg and Fr{\"o}hlich, Jochen},
url = {https://minesparis-psl.hal.science/hal-01666818},
note = {Poster},
booktitle = {{ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)}},
address = {Vancouver, Canada},
year = {2017},
month = oct,
keywords = {tensor methods ; intermediate language ; code generation and optimization ; meta- programming},
pdf = {https://minesparis-psl.hal.science/hal-01666818v1/file/E-431-poster.pdf},
hal_id = {hal-01666818},
hal_version = {v1}
}
@article{diouf:hal-00786676,
title = {{A Decoupled Local Memory Allocator}},
author = {Diouf, Boubacar and Hanta{\c s}, Can and Cohen, Albert and {\"O}zturk, {\"O}zcan and Palsberg, Jens},
url = {https://inria.hal.science/hal-00786676},
note = {Selected for presentation at the HiPEAC 2013 Conf.},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
volume = {9},
number = {4},
year = {2013},
doi = {10.1145/2400682.2400693},
hal_id = {hal-00786676},
hal_version = {v1}
}