rapubs.bib
@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{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}
}
@report{baudart:hal-00955496,
title = {{A Unifying View of Loosely Time-Triggered Architectures}},
author = {Baudart, Guillaume and Benveniste, Albert and Bouillard, Anne and Caspi, Paul},
url = {https://inria.hal.science/hal-00955496},
type = {Research Report},
pages = {14},
institution = {{INRIA}},
year = {2014},
month = mar,
keywords = {Time-Triggered Architecture ; Elastic Circuits ; Loosely Time-Triggered Architecture},
pdf = {https://inria.hal.science/hal-00955496/file/RR-8494.pdf},
hal_id = {hal-00955496},
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{susungi:hal-01666818,
title = {{Towards Compositional and Generative Tensor Optimizations}},
author = {Susungi, Adilla and Rink, Norman A and Castrill{\'o}n, Jer{\'o}nimo and Huismann, Immo and Cohen, Albert and Tadonki, Claude and Stiller, J{\"o}rg and Fr{\"o}hlich, Jochen},
url = {https://minesparis-psl.hal.science/hal-01666818},
note = {Poster},
booktitle = {{ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)}},
address = {Vancouver, Canada},
year = {2017},
month = oct,
keywords = {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{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}
}
@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{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}
}
@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}
}
@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{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}
}
@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{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}
}
@inproceedings{trifunovic:hal-01257266,
title = {{Elimination of Memory-Based Dependences for Loop-Nest Optimization and Parallelization: Evaluation of a Revised Violated Dependence Analysis Method on a Three-Address Code Polyhedral Compiler}},
author = {Trifunovi{\'c}, Konrad and Cohen, Albert and Ladelski, Razya and Li, Feng},
url = {https://hal.science/hal-01257266},
booktitle = {{3rd GCC Research Opportunities Workshop (GROW, associated with CGO)}},
address = {Chamonix, France},
year = {2011},
hal_id = {hal-01257266},
hal_version = {v1}
}
@book{cohen:hal-01257250,
title = {{17{\th} International Conference on Compiler Construction (CC)}},
author = {Cohen, Albert},
url = {https://hal.science/hal-01257250},
editor = {Albert Cohen},
publisher = {{springer}},
series = {lncs},
number = {8409},
year = {2014},
month = apr,
hal_id = {hal-01257250},
hal_version = {v1}
}
@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}
}
@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{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{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{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{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}
}
@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}
}
@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}
}
@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{grosser:hal-01257249,
title = {{The relation between diamond tiling and hexagonal tiling}},
author = {Grosser, Tobias and Verdoolaege, Sven and Cohen, Albert and Sadayappan, P.},
url = {https://hal.science/hal-01257249},
journal = {{Parallel Processing Letters}},
publisher = {{World Scientific Publishing}},
volume = {24},
number = {3},
year = {2014},
month = sep,
hal_id = {hal-01257249},
hal_version = {v1}
}
@inproceedings{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}
}
@thesis{reddy:tel-02385670,
title = {{Polyhedral Compilation for Domain Specific Languages}},
author = {Reddy, Chandan},
url = {https://inria.hal.science/tel-02385670},
institution = {{Ecole normale sup{\'e}rieure}},
year = {2019},
month = mar,
keywords = {Polyhedral compilation ; Compilation poly{\'e}drique},
type = {Theses},
pdf = {https://inria.hal.science/tel-02385670/file/reddy.pdf},
hal_id = {tel-02385670},
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}
}
@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}
}
@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{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}
}
@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}
}
@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}
}
@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{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{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}
}
@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{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}
}
@inbook{juega:hal-01257261,
title = {{Patterns for parallel programming on GPUs}},
author = {Juega, Juan Carlos and Verdoolaege, Sven and Cohen, Albert and G{\'o}mez, Jos{\'e} Ignacio and Tenllado, Christian and Catthoor, Francky},
url = {https://hal.science/hal-01257261},
note = {ISBN 978-1-874672-57-9},
editor = {Fr{\'e}d{\'e}ric Magoul{\`e}s},
publisher = {{Saxe-Cobourg}},
volume = {Evaluation of State-of-the-Art Parallelizing Compilers Generating CUDA Code for Heterogeneous CPU/GPU Computing},
year = {2013},
hal_id = {hal-01257261},
hal_version = {v1}
}
@inproceedings{drebes:hal-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}
}
@thesis{morisset:tel-01823521,
title = {{Compiler optimisations and relaxed memory consistency models}},
author = {Morisset, Robin},
url = {https://theses.hal.science/tel-01823521},
institution = {{Universit{\'e} Paris sciences et lettres}},
year = {2017},
month = apr,
keywords = {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{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}
}
@article{kong:hal-01257247,
title = {{Compiler/Run-Time Framework for Dynamic Data-Flow Parallelization of Tiled Programs}},
author = {Kong, Martin and Pop, Antoniu and Pouchet, Louis-No{\"e}l and Govindarajan, R. and Cohen, Albert and Sadayappan, P.},
url = {https://hal.science/hal-01257247},
note = {Selected for presentation at the HiPEAC 2015 Conference},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
year = {2014},
doi = {10.1145/2687652},
hal_id = {hal-01257247},
hal_version = {v1}
}
@inproceedings{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{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{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}
}
@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}
}
@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{do:hal-01257237,
title = {{An Empirical Evaluation of a Programming Model for Context-Dependent Real-time Streaming Applications}},
author = {Do, Xuan Khanh and Louise, St{\'e}phane and Cohen, Albert and Dubrulle, Paul and Goubier, Thierry and Cudennec, Lo{\"i}c and Dor{\'e}, Philippe},
url = {https://hal.science/hal-01257237},
booktitle = {{Workshop on Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems (ALCHEMY 2015, associated with ICCS)}},
address = {Reykjavik, Iceland},
year = {2015},
hal_id = {hal-01257237},
hal_version = {v1}
}
@article{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{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{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}
}
@report{zinenko:hal-01965599,
title = {{Declarative Transformations in the Polyhedral Model}},
author = {Zinenko, Oleksandr and Chelini, Lorenzo and Grosser, Tobias},
url = {https://inria.hal.science/hal-01965599},
type = {Research Report},
institution = {{Inria ; ENS Paris - Ecole Normale Sup{\'e}rieure de Paris ; ETH Zurich ; TU Delft ; IBM Z{\"u}rich}},
year = {2018},
month = dec,
keywords = {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}
}
@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-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{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{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{azizian:hal-04488225,
title = {{Automatic Rao-Blackwellization for Sequential Monte Carlo with Belief Propagation}},
author = {Azizian, Wa{\"i}ss and Baudart, Guillaume and Lelarge, Marc},
url = {https://hal.science/hal-04488225},
booktitle = {{SPIGM@ICML}},
address = {Honolulu, United States},
year = {2023},
month = jul,
pdf = {https://hal.science/hal-04488225/file/2312.09860.pdf},
hal_id = {hal-04488225},
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}
}
@unpublished{baudart:hal-04488216,
title = {{Density-Based Semantics for Reactive Probabilistic Programming}},
author = {Baudart, Guillaume and Mandel, Louis and Tasson, Christine},
url = {https://hal.science/hal-04488216},
note = {working paper or preprint},
year = {2024},
month = mar,
pdf = {https://hal.science/hal-04488216/file/2308.01676.pdf},
hal_id = {hal-04488216},
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{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{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}
}
@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{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{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{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{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}
}
@report{le:hal-00862450,
title = {{Correct and Efficient Bounded FIFO Queues}},
author = {L{\^e}, Nhat Minh and Guatto, Adrien and Cohen, Albert and Pop, Antoniu},
url = {https://inria.hal.science/hal-00862450},
type = {Research Report},
institution = {{INRIA}},
year = {2013},
month = sep,
pdf = {https://inria.hal.science/hal-00862450/file/RR-8365.pdf},
hal_id = {hal-00862450},
hal_version = {v1}
}
@article{benveniste:hal-00766726,
title = {{Non-standard semantics of hybrid systems modelers}},
author = {Benveniste, Albert and Bourke, Timothy and Caillaud, Beno{\^i}t and Pouzet, Marc},
url = {https://inria.hal.science/hal-00766726},
journal = {{Journal of Computer and System Sciences}},
hal_local_reference = {3},
publisher = {{Elsevier}},
series = {In Commemoration of Amir Pnueli},
volume = {78},
number = {3},
pages = {877-910},
year = {2012},
doi = {10.1016/j.jcss.2011.08.009},
keywords = {Hybrid systems ; Hybrid systems modelers ; Non-standard analysis ; Non-standard semantics ; Constructive semantics ; Kahn process networks ; Compilation of hybrid systems},
hal_id = {hal-00766726},
hal_version = {v1}
}
@article{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}
}
@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}
}
@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{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{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}
}
@unpublished{proy:hal-02102373,
title = {{Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level}},
author = {Proy, Julien and Heydemann, Karine and Majeric, Fabien and Cohen, Albert and Berzati, Alexandre},
url = {https://hal.sorbonne-universite.fr/hal-02102373},
note = {working paper or preprint},
year = {2019},
month = apr,
hal_id = {hal-02102373},
hal_version = {v1}
}
@inproceedings{trifunovic:hal-00992740,
title = {{Elimination of memory-based dependences for loop-nest optimization and parallelization}},
author = {Trifunovic, Konrad and Cohen, Albert and Razya, Ladelski and Li, Feng},
url = {https://inria.hal.science/hal-00992740},
booktitle = {{GROW 2011 : 3rd Workshop on GCC Research Opportunities}},
address = {Chamonix, France},
year = {2011},
month = jun,
hal_id = {hal-00992740},
hal_version = {v1}
}
@inproceedings{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}
}
@thesis{zhao:tel-01988073,
title = {{A combined language and polyhedral approach to heterogeneous parallelism}},
author = {Zhao, Jie},
url = {https://theses.hal.science/tel-01988073},
institution = {{Universit{\'e} Paris sciences et lettres}},
year = {2018},
month = dec,
keywords = {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}
}
@report{cohen:hal-01184408,
title = {{Static Analysis of OpenStream Programs}},
author = {Cohen, Albert and Darte, Alain and Feautrier, Paul},
url = {https://inria.hal.science/hal-01184408},
note = {Corresponding publication at IMPACT'16 (http://impact.gforge.inria.fr/impact2016)},
type = {Research Report},
pages = {26},
institution = {{CNRS ; Inria ; ENS Lyon}},
year = {2016},
month = jan,
keywords = {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}
}
@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}
}
@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{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{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{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}
}
@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}
}
@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}
}
@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}
}
@unpublished{atkinson:hal-04488233,
title = {{Verifying Performance Properties of Probabilistic Inference}},
author = {Atkinson, Eric and Cheng, Ellie Y. and Baudart, Guillaume and Mandel, Louis and Carbin, Michael},
url = {https://hal.science/hal-04488233},
note = {working paper or preprint},
year = {2024},
month = mar,
pdf = {https://hal.science/hal-04488233/file/2307.07355.pdf},
hal_id = {hal-04488233},
hal_version = {v1}
}
@article{colaco:hal-04491219,
title = {{A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines}},
author = {Cola{\c c}o, Jean-Louis and Mendler, Michael and Pauget, Baptiste and Pouzet, Marc},
url = {https://hal.science/hal-04491219},
journal = {{ACM Transactions on Embedded Computing Systems (TECS)}},
publisher = {{ACM}},
volume = {22},
number = {5s},
pages = {Article 152: 1-26},
year = {2023},
month = sep,
doi = {10.1145/3609131},
keywords = {Semantics ; Interpreters ; Compilers ; Embedded Software ; Programming Language ; Dynamic Semantics ; Synchronous Programming},
pdf = {https://hal.science/hal-04491219/file/emsoft23b-extended.pdf},
hal_id = {hal-04491219},
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{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{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}
}
@thesis{baudart:hal-01156601,
title = {{Antescofo : vers une programmation synchrone}},
author = {Baudart, Guillaume},
url = {https://inria.hal.science/hal-01156601},
pages = {46},
institution = {{Master ATIAM, Universit{\'e} Pierre et Marie Curie (UPMC) et IRCAM}},
year = {2012},
month = sep,
keywords = {Synchronous reactive programming ; antescofo ; computer music},
pdf = {https://inria.hal.science/hal-01156601/file/index.pdf},
hal_id = {hal-01156601},
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{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{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}
}
@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}
}
@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{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}
}
@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}
}
@thesis{zappanardelli:tel-01110117,
title = {{Reasoning between Programming Languages and Architectures}},
author = {Zappa Nardelli, Francesco},
url = {https://inria.hal.science/tel-01110117},
institution = {{ENS Paris - Ecole Normale Sup{\'e}rieure de Paris}},
year = {2014},
month = jan,
keywords = {Semantics ; Concurrency ; Programming languges ; Concurrence ; Langages de programmation},
type = {Habilitation {\`a} diriger des recherches},
pdf = {https://inria.hal.science/tel-01110117/file/main.pdf},
hal_id = {tel-01110117},
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}
}
@thesis{baudart:tel-01507595,
title = {{A synchronous approach to quasi-periodic systems}},
author = {Baudart, Guillaume},
url = {https://theses.hal.science/tel-01507595},
institution = {{Universit{\'e} Paris sciences et lettres}},
year = {2017},
month = mar,
keywords = {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}
}
@inproceedings{upadrasta:hal-00786832,
title = {{A Case for Strongly Polynomial Time Sub-Polyhedral Scheduling Using Two-Variable-Per-Inequality Polyhedra}},
author = {Upadrasta, Ramakrishna and Cohen, Albert},
url = {https://inria.hal.science/hal-00786832},
booktitle = {{IMPACT 2012 - 2nd Workshop on Polyhedral Compilation Techniques (associated with HiPEAC)}},
address = {Paris, France},
year = {2012},
month = jan,
keywords = {Approximation Algorithms ; Complexity Theory ; Compilers ; Optimization ; Geometric Algorithms},
hal_id = {hal-00786832},
hal_version = {v1}
}
@book{cohen:hal-01257234,
title = {{Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)}},
author = {Cohen, Albert and Grove, David},
url = {https://hal.science/hal-01257234},
editor = {Albert Cohen and David Grove},
publisher = {{ACM}},
year = {2015},
month = feb,
hal_id = {hal-01257234},
hal_version = {v1}
}
@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}
}
@report{baghdadi:hal-01154812,
title = {{PENCIL Language Specification}},
author = {Baghdadi, Mohamed Riyadh and Cohen, Albert and Grosser, Tobias and Verdoolaege, Sven and Lokhmotov, Anton and Absar, Javed and van Haastregt, Sven and Kravets, Alexey and Donaldson, Alastair},
url = {https://inria.hal.science/hal-01154812},
type = {Research Report},
pages = {37},
institution = {{INRIA}},
year = {2015},
month = may,
keywords = {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{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{verdoolaege:hal-00911894,
title = {{Schedule Trees}},
author = {Verdoolaege, Sven and Guelton, Serge and Grosser, Tobias and Cohen, Albert},
url = {https://inria.hal.science/hal-00911894},
booktitle = {{IMPACT - 4th Workshop on Polyhedral Compilation Techniques, associated with HiPEAC}},
address = {Vienna, Austria},
publisher = {{ACM}},
year = {2014},
month = jan,
hal_id = {hal-00911894},
hal_version = {v1}
}
@thesis{beaugnon:tel-02385303,
title = {{Efficient code generation for hardware accelerators by refining partially specified implementation}},
author = {Beaugnon, Ulysse},
url = {https://theses.hal.science/tel-02385303},
institution = {{Universit{\'e} Paris sciences et lettres}},
year = {2019},
month = jun,
keywords = {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{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}
}
@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}
}
@report{didier:hal-01810176,
title = {{Efficient parallelization of large-scale hard real-time applications}},
author = {Didier, Keryan and Potop-Butucaru, Dumitru and Iooss, Guillaume and Cohen, Albert and Souyris, Jean and Baufreton, Philippe and Graillat, Amaury},
url = {https://inria.hal.science/hal-01810176},
type = {Research Report},
institution = {{INRIA Paris}},
year = {2018},
month = jun,
keywords = {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{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}
}
@inbook{benveniste:hal-02333603,
title = {{Multi-Mode DAE Models - Challenges, Theory and Implementation}},
author = {Benveniste, Albert and Caillaud, Beno{\^i}t and Elmqvist, Hilding and Ghorbal, Khalil and Otter, Martin and Pouzet, Marc},
url = {https://inria.hal.science/hal-02333603},
publisher = {{Springer}},
series = {Lecture Notes in Computer Science},
volume = {LNCS-10000},
pages = {283-310},
year = {2019},
month = oct,
doi = {10.1007/978-3-319-91908-9\_16},
keywords = {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{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}
}
@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{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}
}
@report{pop:hal-00710409,
title = {{Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs}},
author = {Pop, Antoniu and Cohen, Albert},
url = {https://inria.hal.science/hal-00710409},
type = {Research Report},
pages = {28},
institution = {{INRIA}},
year = {2012},
month = jun,
keywords = {Data-flow computing ; stream computing ; parallel programming ; compilation},
pdf = {https://inria.hal.science/hal-00710409v2/file/RR-8001.pdf},
hal_id = {hal-00710409},
hal_version = {v2}
}
@inproceedings{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-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}
}
@article{verdoolaege:hal-00786677,
title = {{Polyhedral Parallel Code Generation for CUDA}},
author = {Verdoolaege, Sven and Juega, Juan Carlos and Cohen, Albert and G{\'o}mez, Jos{\'e} Ignacio and Tenllado, Christian and Catthoor, Francky},
url = {https://inria.hal.science/hal-00786677},
note = {Selected for presentation at the HiPEAC 2013 Conf.},
journal = {{ACM Transactions on Architecture and Code Optimization}},
publisher = {{Association for Computing Machinery}},
volume = {9},
number = {4},
pages = {art. 54:1-23},
year = {2013},
doi = {10.1145/2400682.2400713},
hal_id = {hal-00786677},
hal_version = {v1}
}
@inproceedings{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}
}
@book{keller:hal-03689075,
title = {{33{\`e}mes journ{\'e}es francophones des langages applicatifs}},
author = {Keller, Chantal and Bourke, Timothy and Blazy, Sandrine and Bour, Fr{\'e}d{\'e}ric and Bury, Guillaume and Dumbrava, Stefania and Gallois-Wong, Diane and Guatto, Adrien and Janin, David and Kerjean, Marie and Pellissier, Luc and Pereira, M{\'a}rio and Trieu, Alix and Zakowski, Yannick},
url = {https://inria.hal.science/hal-03689075},
editor = {Chantal Keller and Timothy Bourke},
pages = {1-292},
year = {2022},
month = jun,
keywords = {Programation ; Scala ; Electroacoustique},
pdf = {https://inria.hal.science/hal-03689075/file/proceedings-jfla-2022.pdf},
hal_id = {hal-03689075},
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{morisset:hal-00909083,
title = {{Compiler testing via a theory of sound optimisations in the C11/C++11 memory model}},
author = {Morisset, Robin and Pawan, Pankaj and Zappa Nardelli, Francesco},
url = {https://inria.hal.science/hal-00909083},
booktitle = {{PLDI 2013 - 34th ACM SIGPLAN conference on Programming language design and implementation}},
address = {Seattle, WA, United States},
publisher = {{ACM}},
pages = {187-196},
year = {2013},
month = jun,
doi = {10.1145/2491956.2491967},
keywords = {compiler testing ; C11/C++11 memory model},
hal_id = {hal-00909083},
hal_version = {v1}
}
@inproceedings{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{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{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}
}
@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{li:hal-01257265,
title = {{Extending Loop Distribution to PS-DSWP}},
author = {Li, Feng and Pop, Antoniu and Cohen, Albert},
url = {https://hal.science/hal-01257265},
booktitle = {{1\st Workshop on Intermediate Representations (WIR, associated with CGO)}},
address = {Chamonix, France},
year = {2011},
hal_id = {hal-01257265},
hal_version = {v1}
}
@inproceedings{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{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}
}
@report{mandel:hal-01010349,
title = {{Reactivity of Cooperative Systems: Application to ReactiveML -- extended version}},
author = {Mandel, Louis and Pasteur, C{\'e}dric},
url = {https://inria.hal.science/hal-01010349},
type = {Research Report},
pages = {29},
institution = {{INRIA}},
year = {2014},
month = jun,
keywords = {Cooperative scheduling ; Type systems ; Semantics ; Functional languages ; Synchronous languages},
pdf = {https://inria.hal.science/hal-01010349/file/RR-8549.pdf},
hal_id = {hal-01010349},
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{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}
}
@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}
}
@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{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{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}
}
@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}
}
@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}
}
@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{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}
}
@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{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{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{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{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}
}
@thesis{pasteur:tel-00934919,
title = {{Raffinement temporel et ex{\'e}cution parall{\`e}le dans un langage synchrone fonctionnel}},
author = {Pasteur, C{\'e}dric},
url = {https://theses.hal.science/tel-00934919},
institution = {{Universit{\'e} Pierre et Marie Curie - Paris VI}},
year = {2013},
month = nov,
keywords = {Concurrency ; Refinement ; Synchronous languages ; Functional languages ; Semantics ; Type-and-effect systems ; Parallelism ; 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{drebes:hal-01136519,
title = {{Aftermath: Performance analysis of task-parallel applications on many-core NUMA systems}},
author = {Drebes, Andi and Heydemann, Karine and Drach, Nathalie and Antoniu, Pop and Cohen, Albert},
url = {https://hal.science/hal-01136519},
note = {Poster},
booktitle = {{Tenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems}},
address = {Fiuggi, Italy},
year = {2014},
month = jul,
keywords = {Trace analysis ; Task parallelism ; Performance debugging ; NUMA ; Many-core},
hal_id = {hal-01136519},
hal_version = {v1}
}
@report{didier:hal-01509314,
title = {{Sheep in wolf's clothing: Implementation models for data-flow multi-threaded software}},
author = {Didier, Keryan and Cohen, Albert and Gauffriau, Adrien and Graillat, Amaury and Potop-Butucaru, Dumitru},
url = {https://inria.hal.science/hal-01509314},
type = {Research Report},
pages = {31},
institution = {{Inria Paris}},
year = {2017},
month = apr,
keywords = {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}
}
@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}
}
@thesis{brun:tel-03068862,
title = {{Mechanized semantics and verified compilation for a dataflow synchronous language with reset}},
author = {Brun, L{\'e}lio},
url = {https://theses.hal.science/tel-03068862},
institution = {{Universit{\'e} Paris sciences et lettres}},
year = {2020},
month = jul,
keywords = {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}
}
@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}
}
@thesis{grosser:tel-01144563,
title = {{A decoupled approach to high-level loop optimization : tile shapes, polyhedral building blocks and low-level compilers}},
author = {Grosser, Tobias},
url = {https://theses.hal.science/tel-01144563},
institution = {{Universit{\'e} Pierre et Marie Curie - Paris VI}},
year = {2014},
month = oct,
keywords = {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}
}
@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}
}
@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{grosser:hal-00911177,
title = {{Hybrid Hexagonal/Classical Tiling for GPUs}},
author = {Grosser, Tobias and Cohen, Albert and Holewinski, Justin and Sadayappan, Ponnuswamy and Verdoolaege, Sven},
url = {https://inria.hal.science/hal-00911177},
booktitle = {{Intl. Symp. on Code Generation and Optimization (CGO)}},
address = {Orlando, FL, United States},
year = {2014},
month = feb,
hal_id = {hal-00911177},
hal_version = {v1}
}
@inproceedings{vonhanxleden:hal-01575629,
title = {{Real-Time Ticks for Synchronous Programming}},
author = {von Hanxleden, Reinhard and Bourke, Timothy and Girault, Alain},
url = {https://inria.hal.science/hal-01575629},
booktitle = {{FDL 2017 - 12th Forum on Specification and Design Languages}},
address = {V{\'e}rone, Italy},
organization = {{Electronic Chips \& System Design Initiative (ECSI)}},
year = {2017},
month = sep,
keywords = {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}
}
@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{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}
}
@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{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}
}
@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}
}
@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}
}
@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{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{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{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}
}
@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}
}
@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{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{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}
}
@inproceedings{drebes:hal-01365746,
title = {{NUMA-aware scheduling and memory allocation for data-flow task-parallel applications}},
author = {Drebes, Andi and Pop, Antoniu and Heydemann, Karine and Drach, Nathalie and Cohen, Albert},
url = {https://hal.sorbonne-universite.fr/hal-01365746},
note = {Poster},
booktitle = {{ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}},
address = {Barcelona, Spain},
publisher = {{ACM New York, NY, USA}},
pages = {44:1-44:2},
year = {2016},
month = mar,
doi = {10.1145/2851141.2851193},
hal_id = {hal-01365746},
hal_version = {v1}
}
@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}
}
@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{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}
}
@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}
}
@report{diouf:hal-00713693,
title = {{A Polynomial Spilling Heuristic: Layered Allocation}},
author = {Diouf, Boubacar and Cohen, Albert and Rastello, Fabrice},
url = {https://inria.hal.science/hal-00713693},
type = {Research Report},
pages = {23},
institution = {{INRIA}},
year = {2012},
month = jul,
pdf = {https://inria.hal.science/hal-00713693v2/file/RR-8007.pdf},
hal_id = {hal-00713693},
hal_version = {v2}
}
@inproceedings{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{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}
}
@report{benveniste:hal-01343967,
title = {{Structural Analysis of Multi-Mode DAE Systems}},
author = {Benveniste, Albert and Caillaud, Beno{\^i}t and Elmqvist, Hilding and Ghorbal, Khalil and Otter, Martin and Pouzet, Marc},
url = {https://inria.hal.science/hal-01343967},
type = {Research Report},
pages = {1-23},
institution = {{Inria}},
year = {2017},
keywords = {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{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}
}
@report{baudart:hal-01175571,
title = {{Soundness of the Quasi-Synchronous Abstraction}},
author = {Baudart, Guillaume and Bourke, Timothy and Pouzet, Marc},
url = {https://inria.hal.science/hal-01175571},
type = {Research Report},
pages = {19},
institution = {{INRIA Paris-Rocquencourt ; INRIA}},
year = {2015},
month = aug,
keywords = {Quasi-Synchronous Abstraction ; Quasi-periodic Architectures},
pdf = {https://inria.hal.science/hal-01175571v2/file/RR-8755-2.pdf},
hal_id = {hal-01175571},
hal_version = {v2}
}
@proceedings{bourke:hal-03962188,
title = {{JFLA 2023 - 34{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}},
author = {Bourke, Timothy and Demange, Delphine},
url = {https://inria.hal.science/hal-03962188},
booktitle = {{JFLA 2023 - 34{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}},
series = {Journ{\'e}es Francophones des Langages Applicatifs},
pages = {1-308},
year = {2023},
month = jan,
pdf = {https://inria.hal.science/hal-03962188v2/file/actes-jfla-2023.pdf},
hal_id = {hal-03962188},
hal_version = {v2}
}
@report{barthou:hal-01433302,
title = {{Automated Code Generation for Lattice QCD Simulation}},
author = {Barthou, Denis and Grosdidier, Gilbert and Petrov, Konstantin and Kruse, Michael and Eisenbeis, Christine and P{\`e}ne, Olivier and Brand-Foissac, Olivier and Tadonki, Claude and Dolbeau, Romain},
url = {https://minesparis-psl.hal.science/hal-01433302},
type = {Research Report},
institution = {{University of Bordeaux, University of Paris Sud, INRIA, University of Paris Sud, Mines ParisTech, CAPS Entreprise}},
year = {2016},
month = jun,
pdf = {https://minesparis-psl.hal.science/hal-01433302/file/E-395.pdf},
hal_id = {hal-01433302},
hal_version = {v1}
}
@book{dowek:hal-01262640,
title = {{Informatique et sciences du num{\'e}rique : {\'E}dition sp{\'e}ciale Python}},
author = {Dowek, Gilles and Archambault, Jean-Pierre and Baccelli, Emmanuel and Cimellli, Claudio and Cohen, Albert and Eisenbeis, Christine and Vi{\'e}ville, Thierry and Wack, Benjamin and Bersini, Hugues and Le Blanc, Guillaume},
url = {https://inria.hal.science/hal-01262640},
publisher = {{Eyrolles}},
pages = {352},
year = {2013},
month = aug,
hal_id = {hal-01262640},
hal_version = {v1}
}
@article{rakamnouykit:hal-04489590,
title = {{Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints}},
author = {Rak-amnouykit, Ingkarat and Milanova, Ana and Baudart, Guillaume and Hirzel, Martin and Dolby, Julian},
url = {https://hal.science/hal-04489590},
journal = {{Software: Practice and Experience}},
publisher = {{Wiley}},
volume = {54},
number = {3},
pages = {363-393},
year = {2024},
doi = {10.1002/spe.3279},
keywords = {interprocedural analysis machine learning libraries Python ; interprocedural analysis ; machine learning libraries ; Python ; Python machine learning libraries interprocedural analysis},
pdf = {https://hal.science/hal-04489590/file/paper.pdf},
hal_id = {hal-04489590},
hal_version = {v1}
}
@inbook{clauss:hal-00671226,
title = {{Polyhedral Techniques for Parametric Memory Requirement Estimation}},
author = {Clauss, Philippe and Garbervetsky, Diego and Loechner, Vincent and Verdoolaege, Sven},
url = {https://inria.hal.science/hal-00671226},
editor = {Balasa and F. and Pradhan and D.},
publisher = {{Taylor and Francis}},
series = {Chapman \& Hall/Crc Computer and Information Science},
year = {2011},
hal_id = {hal-00671226},
hal_version = {v1}
}
@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{couvreur:hal-00911895,
title = {{Two-layer Run-Time Power Management for embedded heterogeneous multi-core platforms}},
author = {Couvreur, Chantal and Avasare, Prabhat and Broekaert, Florian and Cohen, Albert},
url = {https://inria.hal.science/hal-00911895},
note = {1 page and poster},
booktitle = {{DATE 13 - Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications}},
address = {Grenoble, France},
year = {2013},
month = mar,
hal_id = {hal-00911895},
hal_version = {v1}
}
@inproceedings{leupers:hal-01257251,
title = {{Technology transfer towards Horizon 2020}},
author = {Leupers, Rainer and Wehn, Norbert and Roodzant, Marco and Stahl, Johannes and Fanucci, Luca and Cohen, Albert and Janson, Bernd},
url = {https://hal.science/hal-01257251},
note = {1 page. Special session},
booktitle = {{Design, Automation \& Test in Europe Conference \& Exhibition (DATE)}},
address = {Dresden, Germany},
year = {2014},
doi = {10.7873/DATE.2014.049},
hal_id = {hal-01257251},
hal_version = {v1}
}
@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}
}
@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{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{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}
}
@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{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}
}
@thesis{diouf:tel-00769403,
title = {{Decoupled approaches to register and software controlled memory allocations}},
author = {Diouf, Boubacar},
url = {https://theses.hal.science/tel-00769403},
institution = {{Universit{\'e} Paris Sud - Paris XI}},
year = {2011},
month = dec,
keywords = {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{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}
}
@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}
}
@thesis{trifunovic:tel-00661334,
title = {{Efficient search-based strategies for polyhedral compilation : algorithms and experience in a production compiler}},
author = {Trifunovic, Konrad},
url = {https://theses.hal.science/tel-00661334},
institution = {{Universit{\'e} Paris Sud - Paris XI}},
year = {2011},
month = jul,
keywords = {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}
}
@inbook{pop:hal-01257229,
title = {{SSA-based Compiler Design}},
author = {Pop, Sebastian and Cohen, Albert},
url = {https://hal.science/hal-01257229},
note = {ISBN 978-1-4419-6201-0},
editor = {Fabrice Rastello},
publisher = {{springer}},
volume = {Loop tree and induction variables},
year = {2016},
month = aug,
hal_id = {hal-01257229},
hal_version = {v1}
}
@report{grosser:hal-00848691,
title = {{The Promises of Hybrid Hexagonal/Classical Tiling for GPU}},
author = {Grosser, Tobias and Verdoolaege, Sven and Cohen, Albert and Sadayappan, P.},
url = {https://inria.hal.science/hal-00848691},
type = {Research Report},
institution = {{INRIA}},
year = {2013},
month = jul,
pdf = {https://inria.hal.science/hal-00848691/file/RR-8339.pdf},
hal_id = {hal-00848691},
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{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{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}
}
@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{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{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{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{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}
}
@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}
}
@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{vasilache:hal-01257290,
title = {{Violated Dependence Analysis}},
author = {Vasilache, Nicolas and Cohen, Albert and Bastoul, C{\'e}dric and Girbal, Sylvain},
url = {https://hal.science/hal-01257290},
note = {%HEVEA\publinkVCBG06.ps.gz},
booktitle = {{ics \# (ICS)}},
address = {Cairns, Australia},
year = {2006},
hal_id = {hal-01257290},
hal_version = {v1}
}
@inproceedings{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}
}
@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{baudart:hal-04407154,
title = {{Programmation r{\'e}active probabiliste}},
author = {Baudart, Guillaume and Tasson, Christine},
url = {https://inria.hal.science/hal-04407154},
booktitle = {{35es Journ{\'e}es Francophones des Langages Applicatifs (JFLA 2024)}},
address = {Saint-Jacut-de-la-Mer, France},
year = {2024},
month = jan,
pdf = {https://inria.hal.science/hal-04407154/file/jfla2024-paper-baudart-tasson.pdf},
hal_id = {hal-04407154},
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{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{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{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}
}
@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}
}
@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{nuzman:hal-01257268,
title = {{Vapor SIMD -- Auto-Vectorize Once, Run Everywhere}},
author = {Nuzman, Dorit and Dyshel, Sergei and Rohou, Erven and Rosen, Ira and Williams, Kevin and Yuste, David and Cohen, Albert and Zaks, Ayal},
url = {https://hal.science/hal-01257268},
booktitle = {{cgo \# (CGO)}},
address = {Chamonix, France},
year = {2011},
hal_id = {hal-01257268},
hal_version = {v1}
}
@inproceedings{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}
}
@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{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{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}
}
@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}
}
@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}
}
@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{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{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}
}
@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{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}
}
@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}
}
@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{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}
}
@thesis{li:tel-00992753,
title = {{Compiling for a multithreaded dataflow architecture : algorithms, tools, and experience}},
author = {Li, Feng},
url = {https://theses.hal.science/tel-00992753},
institution = {{Universit{\'e} Pierre et Marie Curie - Paris VI}},
year = {2014},
month = may,
keywords = {Dataflow ; Multiprocessors ; Flot de donn{\'e}es ; Parall{\'e}lisation ; Multiprocesseur ; Architecture ; Partitionnement d'un programme},
type = {Theses},
pdf = {https://theses.hal.science/tel-00992753v2/file/these_archivage_3072164.pdf},
hal_id = {tel-00992753},
hal_version = {v2}
}
@inproceedings{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}
}
@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{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}
}
@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}
}
@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{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}
}
@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}
}
@article{varoumas:hal-04279767,
title = {{Programming microcontrollers through high-level abstractions: The OMicroB project}},
author = {Varoumas, Steven and Pesin, Basile and Vaugon, Beno{\^i}t and Chailloux, Emmanuel},
url = {https://hal.sorbonne-universite.fr/hal-04279767},
journal = {{Journal of Computer Languages}},
publisher = {{Elsevier}},
volume = {77},
pages = {101228},
year = {2023},
month = nov,
doi = {10.1016/j.cola.2023.101228},
keywords = {Microcontrollers ; Virtual machine ; High-level programming ; OCaml ; Functors ; Synchronous programming},
pdf = {https://hal.sorbonne-universite.fr/hal-04279767/file/cola.pdf},
hal_id = {hal-04279767},
hal_version = {v1}
}
@thesis{le:tel-01684181,
title = {{Kahn Process Networks as Concurrent Data Structures: Lock Freedom, Parallelism, Relaxation in Shared Memory}},
author = {L{\^e}, Nhat Minh},
url = {https://inria.hal.science/tel-01684181},
institution = {{Ecole normale sup{\'e}rieure - ENS PARIS}},
year = {2016},
month = sep,
keywords = {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}
}
@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{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{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}
}
@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}
}
@report{pop:hal-00717906,
title = {{Control-Driven Data Flow}},
author = {Pop, Antoniu and Cohen, Albert},
url = {https://inria.hal.science/hal-00717906},
type = {Research Report},
pages = {48},
institution = {{INRIA}},
year = {2012},
month = jul,
keywords = {model of computation ; operational semantics ; programming languages ; data-flow ; stream computing ; parallel programming},
pdf = {https://inria.hal.science/hal-00717906v2/file/RR-8015.pdf},
hal_id = {hal-00717906},
hal_version = {v2}
}
@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}
}
@report{zinenko:hal-01628798,
title = {{Unified Polyhedral Modeling of Temporal and Spatial Locality}},
author = {Zinenko, Oleksandr and Verdoolaege, Sven and Reddy, Chandan and Shirako, Jun and Grosser, Tobias and Sarkar, Vivek and Cohen, Albert},
url = {https://inria.hal.science/hal-01628798},
type = {Research Report},
pages = {41},
institution = {{Inria Paris}},
year = {2017},
month = nov,
keywords = {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}
}
@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}
}
@report{benveniste:hal-01084069,
title = {{On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)}},
author = {Benveniste, Albert and Bourke, Timothy and Caillaud, Beno{\^i}t and Pouzet, Marc},
url = {https://inria.hal.science/hal-01084069},
type = {Research Report},
pages = {30},
institution = {{Inria}},
year = {2014},
month = nov,
keywords = {Hybrid systems ; DAE ; index ; nonstandard analysis ; mDAE ; StructAnalysis ; HybridLang},
pdf = {https://inria.hal.science/hal-01084069/file/RR-8630.pdf},
hal_id = {hal-01084069},
hal_version = {v1}
}
@inproceedings{benveniste:hal-01093388,
title = {{A Type-Based Analysis of Causality Loops in Hybrid Modelers}},
author = {Benveniste, Albert and Caillaud, Beno{\^i}t and Pagano, Bruno and Pouzet, Marc},
url = {https://inria.hal.science/hal-01093388},
booktitle = {{HSCC '14: International Conference on Hybrid Systems: Computation and Control}},
address = {Berlin, Germany},
publisher = {{ACM Press}},
series = {Proceedings of the 17th international conference on Hybrid systems: computation and control (HSCC '14)},
pages = {13},
year = {2014},
month = apr,
doi = {10.1145/2562059.2562125},
keywords = {Static analysis ; Block diagrams ; Type systems ; Synchronous programming languages ; Hybrid systems ; HybridLang},
hal_id = {hal-01093388},
hal_version = {v1}
}
@report{verdoolaege:hal-01133962,
title = {{PENCIL support in pet and PPCG}},
author = {Verdoolaege, Sven},
url = {https://inria.hal.science/hal-01133962},
type = {Technical Report},
institution = {{INRIA Paris-Rocquencourt ; INRIA}},
year = {2015},
month = mar,
keywords = {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{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}
}
@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}
}
@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}
}
@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}
}
@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}
}