rapubs.bib
@techreport{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},
number = {RR-8549},
pages = {29},
institution = {{INRIA}},
year = {2014},
month = jun,
keywords = {Cooperative scheduling ; Type systems ; Semantics ; Functional languages ; Synchronous languages},
pdf = {https://inria.hal.science/hal-01010349/file/RR-8549.pdf},
hal_id = {hal-01010349},
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}
}
@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-01104033/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-00802885/file/ppopp207-le.pdf},
hal_id = {hal-00802885},
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 = {GPU acceleration ; Polyhedral compilation ; Deep learning layers},
hal_id = {hal-02458550},
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 = {D13 [Programming Techniques]: Concurrent programming ; Parallel programming ; D22 [Design Tools and Techniques]: Object-oriented design methods ; State diagrams ; General Terms: Languages ; Algorithms ; Performance ; Additional Key Words and Phrases: Action Language ; Parallels Languages ; Model Driven Engineering},
pdf = {https://inria.hal.science/hal-01425140/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-01425750/file/paper.pdf},
hal_id = {hal-01425750},
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-00938866/file/Sys2soft_WP3.1_D3.1_1_Causality_in_Hybrid_Systems_Modelers_V_1.0.pdf},
hal_id = {hal-00938866},
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-00645221/file/sas.pdf},
hal_id = {hal-00645221},
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}
}
@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}
}
@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}
}
@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-01239701/file/ENS2015Vuillemin.pdf},
hal_id = {cel-01239701},
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-00919271/file/MandelPasteur-JFLA-2014.pdf},
hal_id = {hal-00919271},
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-00919281/file/GuattoMandel-JFLA-2014.pdf},
hal_id = {hal-00919281},
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-01503070/file/cloudlens-jfla17.pdf},
hal_id = {hal-01503070},
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}
}
@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 = {synchronous languages ; type systems ; block-diagrams ; compilation ; optimization ; real-time systems ; semantics},
hal_id = {hal-00728527},
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}
}
@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-03401683/file/ssmls_iclr21.pdf},
hal_id = {hal-03401683},
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-01095111/file/WMCIS2014.pdf},
hal_id = {hal-01095111},
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 = {Index Terms-Mixed criticalities ; Multi-core ; Embedded real- time system ; Synchronous Language ; Time-triggered execution},
pdf = {https://inria.hal.science/hal-01425887/file/main.pdf},
hal_id = {hal-01425887},
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-02370558/file/IMPACT_2019_paper_7.pdf},
hal_id = {hal-02370558},
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 = {Symbolic Simulation ; Synchronous Languages ; Timed Automata ; Hybrid Systems ; Compilation ; Type System},
pdf = {https://inria.hal.science/hal-01575621v4/file/fdl_journal18.pdf},
hal_id = {hal-01575621},
hal_version = {v4}
}
@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-01939656/file/A-694.pdf},
hal_id = {hal-01939656},
hal_version = {v1}
}
@phdthesis{zhao:tel-01988073,
title = {{A combined language and polyhedral approach to heterogeneous parallelism}},
author = {Zhao, Jie},
url = {https://theses.hal.science/tel-01988073},
number = {2018PSLEE062},
school = {{Universit{\'e} Paris sciences et lettres}},
year = {2018},
month = dec,
keywords = {Parallel programming ; Polyhedral compilation ; Automatic parallelization ; 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}
}
@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}
}
@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-01958096/file/polyGen_author.pdf},
hal_id = {hal-01958096},
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 = {Synchronous programming ; Data abstraction ; Clock-synchronised shared memory ; Determinacy ; Concurrency ; Constructive semantics},
pdf = {https://hal.science/hal-01960404/file/esop_aguado_final.pdf},
hal_id = {hal-01960404},
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 locality ; parallel intermediate language ; NUMA sys- tems ; data layout},
pdf = {https://minesparis-psl.hal.science/hal-01529354/file/A-649.pdf},
hal_id = {hal-01529354},
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-00779789/file/jfla2013-11.pdf},
hal_id = {hal-00779789},
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 = {AODV ; protocol verification ; Isabelle/HOL},
hal_id = {hal-01092360},
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}
}
@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}
}
@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}
}
@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}
}
@techreport{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},
number = {RR-8764},
pages = {26},
institution = {{CNRS ; Inria ; ENS Lyon}},
year = {2016},
month = jan,
keywords = {Scheduling ; Deadlocks ; Polyhedral analysis and optimizations ; Dependences ; D{\'e}pendances ; Analyses et optimisations poly{\'e}driques ; Deadlocks ; Ordonnancement},
pdf = {https://inria.hal.science/hal-01184408v2/file/RR-8764.pdf},
hal_id = {hal-01184408},
hal_version = {v2}
}
@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{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}
}
@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{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{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{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{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 = {Interactive Theorem Proving (Isabelle/HOL) ; Compositional Invariant Proofs ; Networks ; Process Algebra ; Wireless Mesh Networks ; Mobile Ad hoc Networks},
pdf = {https://inria.hal.science/hal-01408217/file/final.pdf},
hal_id = {hal-01408217},
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-01575631/file/emsoft2017.pdf},
hal_id = {hal-01575631},
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}
}
@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}
}
@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-00654843/file/MandelPlateauPouzet-FMCAD-2011.pdf},
hal_id = {hal-00654843},
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 = {JavaScript ; Access control ; Security},
hal_id = {hal-00909080},
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-00911888/file/popl070-upadrasta.pdf},
hal_id = {hal-00911888},
hal_version = {v1}
}
@techreport{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},
number = {RR-8365},
institution = {{INRIA}},
year = {2013},
month = sep,
pdf = {https://inria.hal.science/hal-00862450/file/RR-8365.pdf},
hal_id = {hal-00862450},
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-03401708/file/probprog21-autoguides.pdf},
hal_id = {hal-03401708},
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 = {Probabilistic programming ; reactive programming ; streaming inference ; semantics ; program analysis},
pdf = {https://hal.science/hal-03401752/file/oopsla21.pdf},
hal_id = {hal-03401752},
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}
}
@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}
}
@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}
}
@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 = {Probabilistic programming ; Reactive programming ; Streaming inference ; Semantics ; Compilation},
pdf = {https://inria.hal.science/hal-03051954/file/pldi20.pdf},
hal_id = {hal-03051954},
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{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-03117800/file/fse20.pdf},
hal_id = {hal-03117800},
hal_version = {v1}
}
@techreport{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},
number = {RR-9243},
institution = {{Inria ; ENS Paris - Ecole Normale Sup{\'e}rieure de Paris ; ETH Zurich ; TU Delft ; IBM Z{\"u}rich}},
year = {2018},
month = dec,
keywords = {Tree rewriting ; Polyhedral model ; Loop nest optimization ; Mod{\`e}le poly{\'e}drique ; Transformations des nids de boucles ; R{\'e}{\'e}criture des arbres},
pdf = {https://inria.hal.science/hal-01965599/file/RR-9243.pdf},
hal_id = {hal-01965599},
hal_version = {v1}
}
@phdthesis{reddy:tel-02385670,
title = {{Polyhedral Compilation for Domain Specific Languages}},
author = {Reddy, Chandan},
url = {https://inria.hal.science/tel-02385670},
school = {{Ecole normale sup{\'e}rieure}},
year = {2019},
month = mar,
keywords = {Polyhedral compilation ; Compilation poly{\'e}drique},
type = {Theses},
pdf = {https://inria.hal.science/tel-02385670/file/reddy.pdf},
hal_id = {tel-02385670},
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-00744090/file/A-462.pdf},
hal_id = {hal-00744090},
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 = {Synchronous Languages ; Integer Linear Programming ; Real-time Embedded Systems ; Compilation Techniques},
pdf = {https://inria.hal.science/hal-04149828/file/LIPIcs-ECRTS-2023-1.pdf},
hal_id = {hal-04149828},
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{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{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, Unknown Region},
pages = {151--160},
year = {2005},
hal_id = {hal-01257296},
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}
}
@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 = {Quasi-synchrony ; Synchronous Programming ; Verification ; Model Checking ; Real-Time Embedded Systems},
pdf = {https://inria.hal.science/hal-01408208/file/final-extended.pdf},
hal_id = {hal-01408208},
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}
}
@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}
}
@incollection{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},
booktitle = {{Patterns for parallel programming on {GPU}s}},
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{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}
}
@phdthesis{morisset:tel-01823521,
title = {{Compiler optimisations and relaxed memory consistency models}},
author = {Morisset, Robin},
url = {https://theses.hal.science/tel-01823521},
number = {2017PSLEE050},
school = {{Universit{\'e} Paris sciences et lettres}},
year = {2017},
month = apr,
keywords = {Memory model ; Memory consistency model ; C11 ; Compiler optimisations ; Fence ; Mod{\`e}le m{\'e}moire ; C11 ; Optimisations ; Compilateur ; Barri{\`e}re},
type = {Theses},
pdf = {https://theses.hal.science/tel-01823521/file/Morisset-2017-These.pdf},
hal_id = {tel-01823521},
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-01425892/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 = {D34 [Programming Languages]: Processors-Compilers ; optimiza- ; tion ; General Terms: Algorithms ; Design ; Experimentation ; Performance ; Additional Key Words and Phrases: Compilers ; storage mapping optimization ; memory optimization ; array ; contraction ; polyhedral framework ; ACM Reference Format:},
pdf = {https://inria.hal.science/hal-01425564/file/paper.pdf},
hal_id = {hal-01425564},
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-03626762/file/jfla22_paper_8.pdf},
hal_id = {hal-03626762},
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-00911896/file/meph_llvm.pdf},
hal_id = {hal-00911896},
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{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 = {task parallelism ; Perfomance analysis ; trace visualization ; Performance debugging},
hal_id = {hal-01136508},
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-00875338/file/multigrain.pdf},
hal_id = {hal-00875338},
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 = {MLIR ; Progressive raising ; Multi-level intermediate representation},
pdf = {https://inria.hal.science/hal-03139764/file/dd32563bc520e040f16d3ab1e369d6467ee2796e.pdf},
hal_id = {hal-03139764},
hal_version = {v1}
}
@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-03464012/file/neurips21.pdf},
hal_id = {hal-03464012},
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 = {Execution platform ; Kahn process network ; Implementation model ; Semantic preservation ; Correctness ; Lustre ; Multi thread ; Scade ; Dataflow ; Synchronous languages},
hal_id = {hal-02422787},
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{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 = {Verified Compilation ; Formal Semantics ; Synchronous Languages (Lustre) ; Interactive Theorem Proving (Coq)},
pdf = {https://inria.hal.science/hal-04201401/file/velus-emsoft2023.pdf},
hal_id = {hal-04201401},
hal_version = {v1}
}
@phdthesis{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},
number = {2019PSLEE050},
school = {{Universit{\'e} Paris sciences et lettres}},
year = {2019},
month = jun,
keywords = {Compilation ; Code optimization ; Performance model ; GPU ; Constraint programing ; Compilation ; Optimisation de code ; Mod{\`e}le de performance ; GPU ; Programation par contraintes},
type = {Theses},
pdf = {https://theses.hal.science/tel-02385303v2/file/Beaugnon-2019-these.pdf},
hal_id = {tel-02385303},
hal_version = {v2}
}
@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 = {CCS Concepts: $\bullet$ Software and its engineering $\rightarrow$ Formal language definitions ; Software verification ; Compilers ; $\bullet$ Computer systems organization $\rightarrow$ Embedded software stream languages ; verified compilation ; interactive theorem proving},
pdf = {https://inria.hal.science/hal-03370264/file/paper.pdf},
hal_id = {hal-03370264},
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}
}
@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}
}
@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-00938891/file/MODRIO_PublicReport_D411.pdf},
hal_id = {hal-00938891},
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}
}
@techreport{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},
number = {RR-8001},
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{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-03936656/file/jfla23_paper_6388.pdf},
hal_id = {hal-03936656},
hal_version = {v1}
}
@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 = {Probabilistic Programming Reactive Programming Streaming Inference Parallel Computing Compilation ; Probabilistic Programming ; Reactive Programming ; Streaming Inference ; Parallel Computing ; Compilation},
pdf = {https://hal.science/hal-03891766/file/lctes22.pdf},
hal_id = {hal-03891766},
hal_version = {v1}
}
@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,
pdf = {https://inria.hal.science/hal-03689075/file/proceedings-jfla-2022.pdf},
hal_id = {hal-03689075},
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{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 = {Hybrid systems ; Hybrid automata ; Synchronous languages ; Block diagrams ; Type systems},
pdf = {https://inria.hal.science/hal-00909029/file/paper.pdf},
hal_id = {hal-00909029},
hal_version = {v1}
}
@mastersthesis{baudart:hal-01156601,
title = {{Antescofo : vers une programmation synchrone}},
author = {Baudart, Guillaume},
url = {https://inria.hal.science/hal-01156601},
pages = {46},
school = {{Master ATIAM, Universit{\'e} Pierre et Marie Curie (UPMC) et IRCAM}},
year = {2012},
month = sep,
keywords = {Synchronous reactive programming ; antescofo ; computer music},
pdf = {https://inria.hal.science/hal-01156601/file/index.pdf},
hal_id = {hal-01156601},
hal_version = {v1}
}
@phdthesis{zappanardelli:tel-01110117,
title = {{Reasoning between Programming Languages and Architectures}},
author = {Zappa Nardelli, Francesco},
url = {https://inria.hal.science/tel-01110117},
school = {{ENS Paris - Ecole Normale Sup{\'e}rieure de Paris}},
year = {2014},
month = jan,
keywords = {Semantics ; Concurrency ; Programming languges ; Concurrence ; Langages de programmation},
type = {Habilitation {\`a} diriger des recherches},
pdf = {https://inria.hal.science/tel-01110117/file/main.pdf},
hal_id = {tel-01110117},
hal_version = {v1}
}
@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 = {data flow computing ; data flow graphs ; parallel programming ; program compilers ; program interpreters ; GNU compiler collection ; arbitrary control flow ; automatic coarse-grained data-flow thread extraction ; automatic recursive C program parallelization ; data parallelism ; imperative programs ; parallel data-flow programs ; program dependence graph ; 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},
pdf = {https://hal.science/hal-00906099/file/paper.pdf},
hal_id = {hal-00906099},
hal_version = {v1}
}
@techreport{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},
number = {RR-8706},
pages = {37},
institution = {{INRIA}},
year = {2015},
month = may,
keywords = {PENCIL ; DSL ; Accelerator ; Domain Specific Language ; Intermediate Language ; OpenCL},
pdf = {https://inria.hal.science/hal-01154812v3/file/RR-8706.pdf},
hal_id = {hal-01154812},
hal_version = {v3}
}
@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-01243005/file/emsoft15.pdf},
hal_id = {hal-01243005},
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{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-01657608/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}
}
@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 = {Quasi-periodic Architectures ; Loosely Time-Triggered Architectures ; LTTA ; Back-Pressure LTTA ; Time-Based LTTA},
pdf = {https://inria.hal.science/hal-01408224/file/ltta.pdf},
hal_id = {hal-01408224},
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}
}
@techreport{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},
number = {RR-9180},
institution = {{INRIA Paris}},
year = {2018},
month = jun,
keywords = {Offlne scheduling ; Parallelization ; Compilation ; Hard real-time ; Many-core ; Code generation ; Timing analysis ; Lustre ; Scade ; Shared memory},
pdf = {https://inria.hal.science/hal-01810176v2/file/RR-9180.pdf},
hal_id = {hal-01810176},
hal_version = {v2}
}
@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 = { memory allocator ; PGAS ; POSoC ; Global address space ; GAS},
hal_id = {hal-01412919},
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 = {Synchronous languages ; Reactive Systems ; Programming Languages},
pdf = {https://inria.hal.science/hal-01508179/file/ppdp15.pdf},
hal_id = {hal-01508179},
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-02297690/file/main.pdf},
hal_id = {hal-02297690},
hal_version = {v1}
}
@phdthesis{baudart:tel-01507595,
title = {{A synchronous approach to quasi-periodic systems}},
author = {Baudart, Guillaume},
url = {https://theses.hal.science/tel-01507595},
number = {2017PSLEE007},
school = {{Universit{\'e} Paris sciences et lettres}},
year = {2017},
month = mar,
keywords = {Embedded systems ; Synchronous real-Time distributed systems ; Synchronous languages ; Quasi-Synchronous abstraction ; Loosely time-Triggered architectures ; Symbolic simulation ; 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}
}
@incollection{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},
booktitle = {{Computing and Software Science: State of the Art and Perspectives}},
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 = {Modelica ; CPS ; Modia ; Nonstandard analysis ; Differential index ; Differential algebraic equations ; Structural analysis ; Operational semantics ; Constructive semantics ; Cyber-physical systems ; Differentiation index ; DAE ; Multi-mode systems ; HybridLang ; mDAE ; StructAnalysis},
pdf = {https://inria.hal.science/hal-02333603/file/_lncs10k_multimode.pdf},
hal_id = {hal-02333603},
hal_version = {v1}
}
@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-00716183/file/Touati_hpcs_2012.pdf},
hal_id = {hal-00716183},
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-02005639/file/bourke-pouzet-jfla2019.pdf},
hal_id = {hal-02005639},
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 = {OpenStream ; Buffer bounding ; Dataflow task-parallelism},
pdf = {https://inria.hal.science/hal-02441182v2/file/IMPACT_2020_paper_4.pdf},
hal_id = {hal-02441182},
hal_version = {v2}
}
@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-02426573/file/bourke-brun-pouzet-popl2020.pdf},
hal_id = {hal-02426573},
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-02373088/file/ares2019_final%20%281%29.pdf},
hal_id = {hal-02373088},
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 = {Langages synchrones ; Probabiliste},
pdf = {https://inria.hal.science/hal-02430070/file/jfla20.pdf},
hal_id = {hal-02430070},
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{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-00911887/file/57_Diouf.pdf},
hal_id = {hal-00911887},
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}
}
@techreport{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},
number = {RR-8007},
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}
}
@phdthesis{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},
school = {{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 ; Concurrence ; Raffinement ; Langages synchrones ; Langages fonctionnels ; S{\'e}mantique ; Syst{\`e}mes de types-et-effets ; Parall{\'e}lisme},
type = {Theses},
pdf = {https://theses.hal.science/tel-00934919/file/Pasteur-These.pdf},
hal_id = {tel-00934919},
hal_version = {v1}
}
@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}
}
@techreport{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},
number = {RR-8755},
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-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-01521918/file/paper-author-version.pdf},
hal_id = {hal-01521918},
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-03401720/file/probprog21-sds.pdf},
hal_id = {hal-03401720},
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 = {OpenMP ; Performance Analysis ; Tracing},
pdf = {https://hal.sorbonne-universite.fr/hal-01343686/file/iwomp2016.pdf},
hal_id = {hal-01343686},
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 = {Loop tiling ; CCS Concepts: $\bullet$ Software and its engineering $\rightarrow$ Compilers ; Polyhedral compilation ; Automatic parallelization ; Stencil computations},
pdf = {https://inria.hal.science/hal-02458507/file/polytile.pdf},
hal_id = {hal-02458507},
hal_version = {v1}
}
@techreport{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},
number = {RR-8933},
pages = {1-23},
institution = {{Inria}},
year = {2017},
keywords = {Hybrid systems ; DAE ; index ; nonstandard analysis ; mDAE ; StructAnalysis ; HybridLang ; 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{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 = {Reactive Systems ; Synchronous Languages ; Physical Time ; Esterel ; Real-Time Systems},
pdf = {https://inria.hal.science/hal-01575629/file/PID4935757.pdf},
hal_id = {hal-01575629},
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}
}
@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{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}
}
@misc{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},
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-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}
}
@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 = {Python ; machine learning libraries ; interprocedural analysis},
pdf = {https://hal.science/hal-03891774/file/issta22.pdf},
hal_id = {hal-03891774},
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-03469475/file/ase21.pdf},
hal_id = {hal-03469475},
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 = {Semantics ; Formal software verification ; Compilers ; Verified Compilation ; Synchronous Languages (Lustre)},
pdf = {https://inria.hal.science/hal-01817949/file/paper.pdf},
hal_id = {hal-01817949},
hal_version = {v1}
}
@techreport{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-01433302/file/E-395.pdf},
hal_id = {hal-01433302},
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-01882137/file/paper.pdf},
hal_id = {hal-01882137},
hal_version = {v1}
}
@phdthesis{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},
number = {2014PA066270},
school = {{Universit{\'e} Pierre et Marie Curie - Paris VI}},
year = {2014},
month = oct,
keywords = {Polyhedric ; Hexagonal tiling ; Polyhedrique ; Compilation ; Pochoir ; Hexagonal tiling ; Boucle ; Delinearization},
type = {Theses},
pdf = {https://theses.hal.science/tel-01144563/file/pdf2star-1417100348-these_archivage_3160267.pdf},
hal_id = {tel-01144563},
hal_version = {v1}
}
@techreport{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},
number = {RR-9057},
pages = {31},
institution = {{Inria Paris}},
year = {2017},
month = apr,
keywords = {synchronous languages ; Kahn process networks ; semantics preservation ; parallel ; execution platform ; 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-01509314/file/RR-9057.pdf},
hal_id = {hal-01509314},
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{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}
}
@misc{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},
howpublished = {{ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}},
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{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 = {LLVM ; Polly ; Compilers ; Polyhedral Framework ; Scalar Dependence},
pdf = {https://inria.hal.science/hal-01814183/file/delicm-sigplan.pdf},
hal_id = {hal-01814183},
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 = {Hybrid systems ; synchronous languages ; compilation},
hal_id = {hal-01242732},
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 = {Cooperative scheduling ; Type systems ; Semantics ; Functional languages ; Synchronous languages},
hal_id = {hal-01093169},
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 = {Concurrency ; C/C++ ; Compilers ; Weak memory models ; Program transformations},
hal_id = {hal-01089047},
hal_version = {v1}
}
@misc{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},
howpublished = {{Tenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems}},
year = {2014},
month = jul,
keywords = {Trace analysis ; Task parallelism ; Performance debugging ; NUMA ; Many-core},
hal_id = {hal-01136519},
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 = {Synchronous Languages ; Modeling Pragmatics ; SCCharts ; Lustre ; View-Synthesis},
hal_id = {hal-03128683},
hal_version = {v1}
}
@phdthesis{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},
number = {2020UPSLE003},
school = {{Universit{\'e} Paris sciences et lettres}},
year = {2020},
month = jul,
keywords = {Synchronous dataflow languages ; Lustre ; Scade ; Verified compilation ; Mechanized semantics ; V{\'e}lus ; Interactive theorem provers ; Coq ; Modular reset ; Langages synchrones {\`a} flots de donn{\'e}es ; Lustre ; Scade ; Compilation v{\'e}rifi{\'e}e ; S{\'e}mantique m{\'e}canis{\'e}e ; V{\'e}lus ; Assistants de preuve interactifs ; Coq ; Reset modulaire},
type = {Theses},
pdf = {https://theses.hal.science/tel-03068862/file/Brun-2020-These.pdf},
hal_id = {tel-03068862},
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-00764521/file/mainSubmitMinPPCMJounal.pdf},
hal_id = {hal-00764521},
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 = {Type systems ; Subtyping ; Union types},
pdf = {https://inria.hal.science/hal-02297696/file/main%20%282%29.pdf},
hal_id = {hal-02297696},
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 = {array padding ; data cache ; performance ; conflict misses ; padding},
hal_id = {hal-01335346},
hal_version = {v1}
}
@article{zhao:hal-02452556,
title = {{HOOKED FLARE RIBBONS AND FLUX-ROPE-RELATED QSL FOOTPRINTS}},
author = {Zhao, Jie and A. Gilchrist, Stuart and Aulanier, Guillaume and Schmieder, Brigitte and Pariat, Etienne and Li, Hui},
url = {https://hal.science/hal-02452556},
journal = {{The Astrophysical Journal}},
publisher = {{American Astronomical Society}},
volume = {823},
number = {1},
pages = {62},
year = {2016},
month = may,
doi = {10.3847/0004-637X/823/1/62},
hal_id = {hal-02452556},
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 = {Direct manipulation ; Polyhedral model},
pdf = {https://inria.hal.science/hal-01744426/file/TACO_HAL.pdf},
hal_id = {hal-01744426},
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{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 = {Multi-core ; Synchronous languages ; Compiler},
pdf = {https://hal.science/hal-01960410/file/paper.pdf},
hal_id = {hal-01960410},
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 = {D34 [Programming Lan- ; guages]: Processors-Compilers ; optimization ; Keywords Compilers ; storage mapping optimization ; memory ; optimization ; array contraction ; polyhedral framework},
pdf = {https://inria.hal.science/hal-01425888/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 = {Task-parallel programming ; NUMA ; Scheduling ; Memory allocation ; Data-flow programming},
pdf = {https://inria.hal.science/hal-01425743/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 = {Automatic parallelization ; locality optimization ; polyhedral model ; loop transformations ; affine transformations ; tiling},
hal_id = {hal-01425546},
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 ; Branch and bound algorithms ; GPU optimization ; Performance Modeling ; Search Space Exploration},
pdf = {https://inria.hal.science/hal-01655602/file/paper.pdf},
hal_id = {hal-01655602},
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 = {Compilers ; Parallelizing compiler ; Loop nest optimization ; Polyhedral model ; Dynamic counted loop},
pdf = {https://inria.hal.science/hal-01720368/file/cc2018-paper.pdf},
hal_id = {hal-01720368},
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, Unknown Region},
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}
}
@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},
hal_id = {hal-01257288},
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{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}
}
@incollection{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},
booktitle = {{SSA-based Compiler Design}},
editor = {Fabrice Rastello},
publisher = {{springer}},
volume = {Loop tree and induction variables},
year = {2016},
month = aug,
hal_id = {hal-01257229},
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{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}
}
@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{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}
}
@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}
}
@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-01666470/file/tase17.pdf},
hal_id = {hal-01666470},
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 = {OCaml ; Sundials ; Foreign Function Interfaces (FFI)},
pdf = {https://inria.hal.science/hal-01408230/file/paper.pdf},
hal_id = {hal-01408230},
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-00645220/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-00645226/file/Jan_2011_Hotpar_Port_Perf_final.pdf},
hal_id = {hal-00645226},
hal_version = {v1}
}
@phdthesis{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},
number = {2011PA112096},
school = {{Universit{\'e} Paris Sud - Paris XI}},
year = {2011},
month = jul,
keywords = {Compilers ; Programming languages ; Polyhedral model ; Program transformations ; Loop transformations ; Automatic parallelization ; Intermediate representation ; Compilateurs ; Langages de programmation ; Mod{\`e}le poly{\'e}drique ; Transformations de programmes ; Transformations de boucles ; La parall{\'e}lisation automatique ; Repr{\'e}sentation interm{\'e}diaire},
type = {Theses},
pdf = {https://theses.hal.science/tel-00661334/file/VA_TRIFUNOVIC_KONRAD_04072011.pdf},
hal_id = {tel-00661334},
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-00911893/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}
}
@incollection{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},
booktitle = {{Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach}},
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}
}
@phdthesis{diouf:tel-00769403,
title = {{Decoupled approaches to register and software controlled memory allocations}},
author = {Diouf, Boubacar},
url = {https://theses.hal.science/tel-00769403},
number = {2011PA112349},
school = {{Universit{\'e} Paris Sud - Paris XI}},
year = {2011},
month = dec,
keywords = {Compilation ; Register allocation ; Memory allocations ; Scratchpad ; Weighted graphs coloring ; Submarine-building problem ; Compilation ; Allocation de registres ; Allocation de m{\'e}moire ; Scratchpad ; Coloration de graphes pond{\'e}r{\'e}s ; Probl{\`e}me de submarine-building},
type = {Theses},
pdf = {https://theses.hal.science/tel-00769403/file/VD2_DIOUF_BOUBACAR_15122011.pdf},
hal_id = {tel-00769403},
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-00850299/file/BaudartJacquemardMandelPouzet-EMSOFT-2013.pdf},
hal_id = {hal-00850299},
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 = {Interactive Theorem Proving ; Compositional Verification ; Invariant proof ; Reactive Systems ; Process Algebra},
pdf = {https://inria.hal.science/hal-01104031/file/document.pdf},
hal_id = {hal-01104031},
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-00786812/file/paper.pdf},
hal_id = {hal-00786812},
hal_version = {v1}
}
@techreport{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},
number = {RR-8339},
institution = {{INRIA}},
year = {2013},
month = jul,
pdf = {https://inria.hal.science/hal-00848691/file/RR-8339.pdf},
hal_id = {hal-00848691},
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 = {Code generation ; Static scheduling ; Timing analysis ; Parallelization ; Compilers ; Computer systems organization ; Multicore architectures ; Software and its engineering ; Data flow languages ; Real-time systems software},
hal_id = {hal-02422789},
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-03901645/file/IMPACT2022_Paper4_onesynch.pdf},
hal_id = {hal-03901645},
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}
}
@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 = {Content release ; lipid mixing ; holey silicon substrate ; protein mobility ; SNARE},
pdf = {https://hal.sorbonne-universite.fr/hal-01954048/file/DOI%2010.1021acs.langmuir.8b00116.pdf},
hal_id = {hal-01954048},
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-00647369/file/ramakrishna_taco.pdf},
hal_id = {hal-00647369},
hal_version = {v1}
}
@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-00850294/file/BaudartMandelPouzet-FARM-2013.pdf},
hal_id = {hal-00850294},
hal_version = {v1}
}
@techreport{verdoolaege:hal-01133962,
title = {{PENCIL support in pet and PPCG}},
author = {Verdoolaege, Sven},
url = {https://inria.hal.science/hal-01133962},
type = {Technical Report},
number = {RT-0457},
institution = {{INRIA Paris-Rocquencourt ; INRIA}},
year = {2015},
month = mar,
keywords = {polyhedral compilation ; function summary ; array of structures ; live-range reordering ; dead code elimination},
pdf = {https://inria.hal.science/hal-01133962v2/file/ppcg-pencil-v2.pdf},
hal_id = {hal-01133962},
hal_version = {v2}
}
@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 = {CCS Concepts: ; Software and its engineering $\rightarrow$ Compilers ; Theory of computation $\rightarrow$ Probabilistic computation Probabilistic programming ; Semantics ; Stan ; Pyro},
pdf = {https://hal.science/hal-03401742/file/pldi21.pdf},
hal_id = {hal-03401742},
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}
}
@techreport{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},
number = {RR-8630},
pages = {30},
institution = {{Inria}},
year = {2014},
month = nov,
keywords = {Hybrid systems ; DAE ; index ; nonstandard analysis ; mDAE ; StructAnalysis ; HybridLang},
pdf = {https://inria.hal.science/hal-01084069/file/RR-8630.pdf},
hal_id = {hal-01084069},
hal_version = {v1}
}
@phdthesis{li:tel-00992753,
title = {{Compiling for a multithreaded dataflow architecture : algorithms, tools, and experience}},
author = {Li, Feng},
url = {https://theses.hal.science/tel-00992753},
number = {2014PA066102},
school = {{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{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}
}
@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 = {work stealing ; lock-free algorithm ; fifo queue ; dynamic scheduling ; concurrent programming ; dataflow programming},
hal_id = {hal-01136491},
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 = {many-core ; Performance analysis ; Task parallelism ; Trace-based performance analysis ; Trace visualization},
hal_id = {hal-01136497},
hal_version = {v1}
}
@techreport{pop:hal-00717906,
title = {{Control-Driven Data Flow}},
author = {Pop, Antoniu and Cohen, Albert},
url = {https://inria.hal.science/hal-00717906},
type = {Research Report},
number = {RR-8015},
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}
}
@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 = {Isabelle/HOL ; process algebra ; reactive systems ; invariance proofs ; network protocols},
hal_id = {hal-01092348},
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-00918653/file/ijpp-article.13_3.pdf},
hal_id = {hal-00918653},
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{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}
}
@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 = {Langages synchrones (Lustre) ; Compilation ; Assistants de Preuve (Coq)},
pdf = {https://inria.hal.science/hal-01403830/file/bourke%20%281%29.pdf},
hal_id = {hal-01403830},
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 = {Constraints ; Programming Languages ; Types ; Constraint Programming ; Constrained Types},
hal_id = {hal-00798046},
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{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}
}
@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}
}
@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 = {Language design ; Type systems ; Object-orientation ; Gradual typing},
pdf = {https://inria.hal.science/hal-01882148/file/LIPIcs-ECOOP-2018-12.pdf},
hal_id = {hal-01882148},
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-01879026/file/hybridsyncieee.pdf},
hal_id = {hal-01879026},
hal_version = {v1}
}
@techreport{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},
number = {RR-9110},
pages = {41},
institution = {{Inria Paris}},
year = {2017},
month = nov,
keywords = {automatic parallelization ; polyhedral model ; loop nest optimization},
pdf = {https://inria.hal.science/hal-01628798/file/RR-9110.pdf},
hal_id = {hal-01628798},
hal_version = {v1}
}
@phdthesis{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},
school = {{Ecole normale sup{\'e}rieure - ENS PARIS}},
year = {2016},
month = sep,
keywords = {Lock-free concurrency ; Shared memory models ; Kahn process networks ; Task parallelism ; Concurrence non-bloquante ; Mod{\`e}le m{\'e}moire partag{\'e}e ; R{\'e}seaux de processus de Kahn ; Parall{\'e}lisme de t{\^a}ches},
type = {Theses},
pdf = {https://inria.hal.science/tel-01684181/file/nml-thesis.pdf},
hal_id = {tel-01684181},
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-01425902/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-03891782/file/oopsla22.pdf},
hal_id = {hal-03891782},
hal_version = {v1}
}
@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-03626802/file/jfla22_paper_16.pdf},
hal_id = {hal-03626802},
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 = {Synchronous languages ; n-synchrony ; Type systems},
pdf = {https://inria.hal.science/hal-01508142/file/MandelPlateau-MPC-2012.pdf},
hal_id = {hal-01508142},
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}
}
@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 = {Machine Learning ; Computing-In-Memory ; Tensor Comprehensions ; Loop Tactics ; Schedule Trees},
pdf = {https://inria.hal.science/hal-02441163/file/IMPACT_2020_paper_2.pdf},
hal_id = {hal-02441163},
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{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-03287572/file/jfla.pdf},
hal_id = {hal-03287572},
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}
}
@misc{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},
howpublished = {{ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)}},
year = {2017},
month = oct,
keywords = {meta- programming ; code generation and optimization ; intermediate language ; tensor methods},
pdf = {https://minesparis-psl.hal.science/hal-01666818/file/E-431-poster.pdf},
hal_id = {hal-01666818},
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 = {numerical methods ; computational fluid dynam ics (CFD) ; tensor methods ; intermediate language ; meta- programming ; code generation and optimization},
pdf = {https://minesparis-psl.hal.science/hal-01666797/file/A-671.pdf},
hal_id = {hal-01666797},
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 = {Synchronous Languages (Lustre) ; Verified Compilation ; Interactive Theorem Proving (Coq)},
pdf = {https://inria.hal.science/hal-01512286/file/velus-pldi17.pdf},
hal_id = {hal-01512286},
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}
}
@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-01239120/file/VuilleminSharedDichotomy.pdf},
hal_id = {hal-01239120},
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 = {network on chip ; shared-memory ; logic design},
hal_id = {hal-01142562},
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-00850290/file/MandelPasteurPouzet-PPDP-2013.pdf},
hal_id = {hal-00850290},
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 = {Multi-cores ; Dataflow ; Programming model ; Compilation ; Reliability ; Architecture ; Simulation ; Many-cores ; Exascale computing},
hal_id = {hal-00992721},
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}
}
@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 = {Compilers ; Polyhedral model},
pdf = {https://inria.hal.science/hal-01751823/file/paper.pdf},
hal_id = {hal-01751823},
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 = {Avionics software ; Multicores and many-cores ; ASSUME project ; ITEA3 ; Automatic code generation ; Synchronous ; Lustre},
pdf = {https://inria.hal.science/hal-01714054/file/ERTS_2018_paper_65.pdf},
hal_id = {hal-01714054},
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{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}
}
@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-00909062/file/tecs2012-accepted.pdf},
hal_id = {hal-00909062},
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}
}
@techreport{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},
number = {RR-8494},
pages = {14},
institution = {{INRIA}},
year = {2014},
month = mar,
keywords = {Time-Triggered Architecture ; Elastic Circuits ; Loosely Time-Triggered Architecture},
pdf = {https://inria.hal.science/hal-00955496/file/RR-8494.pdf},
hal_id = {hal-00955496},
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-00870687/file/A-462.pdf},
hal_id = {hal-00870687},
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{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-00654113/file/emsoft11.pdf},
hal_id = {hal-00654113},
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 = {OCaml ; Numeric simulation},
hal_id = {hal-01967659},
hal_version = {v1}
}