rapubs.bib

@techreport{barthou:hal-01433302,
  title = {{Automated Code Generation for Lattice QCD Simulation}},
  author = {Barthou, Denis and Grosdidier, Gilbert and Petrov, Konstantin and Kruse, Michael and Eisenbeis, Christine and P{\`e}ne, Olivier and Brand-Foissac, Olivier and Tadonki, Claude and Dolbeau, Romain},
  url = {https://hal-mines-paristech.archives-ouvertes.fr/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://hal-mines-paristech.archives-ouvertes.fr/hal-01433302/file/E-395.pdf},
  hal_id = {hal-01433302},
  hal_version = {v1}
}
@inproceedings{baghdadi:hal-00786828,
  title = {{PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs}},
  author = {Baghdadi, 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://hal.inria.fr/hal-00786828},
  booktitle = {{WOLFHPC 2012 - 2nd Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing}},
  address = {Salt Lake City, Utah, United States},
  year = {2012},
  month = nov,
  hal_id = {hal-00786828},
  hal_version = {v1}
}
@inproceedings{pop:hal-00786830,
  title = {{Work-Streaming Compilation of Futures}},
  author = {Pop, Antoniu and Cohen, Albert},
  url = {https://hal.inria.fr/hal-00786830},
  booktitle = {{PLACES'12 - 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software}},
  address = {Tallin, Estonia},
  year = {2012},
  month = mar,
  hal_id = {hal-00786830},
  hal_version = {v1}
}
@inproceedings{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://hal.inria.fr/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}
}
@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://hal.inria.fr/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{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://hal.inria.fr/hal-00786831},
  booktitle = {{5th Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG)}},
  address = {Paris, France},
  year = {2012},
  month = jan,
  hal_id = {hal-00786831},
  hal_version = {v1}
}
@inproceedings{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, P. and Verdoolaege, Sven},
  url = {https://hal.inria.fr/hal-00786812},
  booktitle = {{GPGPU 6 - Sixth Workshop on General Purpose Processing Using GPUs}},
  address = {Houston, United States},
  year = {2013},
  month = mar,
  pdf = {https://hal.inria.fr/hal-00786812/file/paper.pdf},
  hal_id = {hal-00786812},
  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://hal.inria.fr/hal-01262640},
  publisher = {{Eyrolles}},
  pages = {352},
  year = {2013},
  month = aug,
  hal_id = {hal-01262640},
  hal_version = {v1}
}
@inproceedings{souyris:hal-01714054,
  title = {{Automatic Parallelization from Lustre Models in Avionics}},
  author = {Souyris, Jean and Didier, Keryan and Potop, Dumitru and Iooss, Guillaume and Bourke, Timothy and Cohen, Albert and Pouzet, Marc},
  url = {https://hal.inria.fr/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 = {Lustre ; ITEA3 ; ASSUME project ; Avionics software ; Multicores and many-cores ; Synchronous ; Automatic code generation},
  pdf = {https://hal.inria.fr/hal-01714054/file/ERTS_2018_paper_65.pdf},
  hal_id = {hal-01714054},
  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://hal.inria.fr/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 = {Synchronous languages ; Compilation ; Formal Methods ; Embedded Systems},
  pdf = {https://hal.inria.fr/hal-01666470/file/tase17.pdf},
  hal_id = {hal-01666470},
  hal_version = {v1}
}
@misc{drebes:hal-01365746,
  title = {{NUMA-aware scheduling and memory allocation for data-flow task-parallel applications}},
  author = {Drebes, Andi and Pop, Antoniu and Heydemann, Karine and Drach, Nathalie and Cohen, Albert},
  url = {https://hal.sorbonne-universite.fr/hal-01365746},
  note = {Poster},
  howpublished = {{ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}},
  publisher = {{ACM New York, NY, USA}},
  pages = {44:1-44:2},
  year = {2016},
  month = mar,
  doi = {10.1145/2851141.2851193},
  hal_id = {hal-01365746},
  hal_version = {v1}
}
@inproceedings{mandel:hal-00919271,
  title = {{Ex{\'e}cution efficace de programmes ReactiveML}},
  author = {Mandel, Louis and Pasteur, C{\'e}dric},
  url = {https://hal.inria.fr/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://hal.inria.fr/hal-00919271/file/MandelPasteur-JFLA-2014.pdf},
  hal_id = {hal-00919271},
  hal_version = {v1}
}
@incollection{clauss:hal-00671226,
  title = {{Polyhedral Techniques for Parametric Memory Requirement Estimation}},
  author = {Clauss, Philippe and Garbervetsky, Diego and Loechner, Vincent and Verdoolaege, Sven},
  url = {https://hal.inria.fr/hal-00671226},
  booktitle = {{Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach}},
  editor = {Balasa, F. and Pradhan, D.},
  publisher = {{Taylor and Francis}},
  series = {Chapman \& Hall/Crc Computer and Information Science},
  year = {2011},
  hal_id = {hal-00671226},
  hal_version = {v1}
}
@techreport{le:hal-00862450,
  title = {{Correct and Efficient Bounded FIFO Queues}},
  author = {L{\^e}, Nhat Minh and Guatto, Adrien and Cohen, Albert and Pop, Antoniu},
  url = {https://hal.inria.fr/hal-00862450},
  type = {Research Report},
  number = {RR-8365},
  institution = {{INRIA}},
  year = {2013},
  month = sep,
  pdf = {https://hal.inria.fr/hal-00862450/file/RR-8365.pdf},
  hal_id = {hal-00862450},
  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://hal.inria.fr/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://hal.inria.fr/hal-01425892/file/paper.pdf},
  hal_id = {hal-01425892},
  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://hal.inria.fr/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://hal.inria.fr/hal-01425743/file/paper.pdf},
  hal_id = {hal-01425743},
  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://hal.inria.fr/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 = { array contraction ;  polyhedral framework ; D34 [Programming Lan- ; guages]: Processors-Compilers ;  optimization ; Keywords Compilers ;  storage mapping optimization ;  memory ; optimization},
  pdf = {https://hal.inria.fr/hal-01425888/file/paper.pdf},
  hal_id = {hal-01425888},
  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://hal.inria.fr/hal-01425902},
  booktitle = {{Design, Automation \& Test in Europe Conference \& Exhibition (DATE)}},
  address = {Dresden, Germany},
  year = {2016},
  month = mar,
  pdf = {https://hal.inria.fr/hal-01425902/file/date2016.pdf},
  hal_id = {hal-01425902},
  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://hal.inria.fr/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://hal.inria.fr/hal-01425750/file/paper.pdf},
  hal_id = {hal-01425750},
  hal_version = {v1}
}
@inproceedings{chung:hal-01882148,
  title = {{KafKa: Gradual Typing for Objects}},
  author = {Chung, Benjamin and Li, Paley and Zappa Nardelli, Francesco and Vitek, Jan},
  url = {https://hal.inria.fr/hal-01882148},
  booktitle = {{ECOOP 2018 - 2018 European Conference on Object-Oriented Programming}},
  address = {Amsterdam, Netherlands},
  year = {2018},
  month = jul,
  keywords = {Gradual typing ; Object-orientation ; Language design ; Type systems},
  pdf = {https://hal.inria.fr/hal-01882148/file/LIPIcs-ECOOP-2018-12.pdf},
  hal_id = {hal-01882148},
  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://hal-mines-paristech.archives-ouvertes.fr/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://hal-mines-paristech.archives-ouvertes.fr/hal-01529354/file/A-649.pdf},
  hal_id = {hal-01529354},
  hal_version = {v1}
}
@misc{susungi:hal-01666818,
  title = {{Towards Compositional and Generative Tensor Optimizations}},
  author = {Susungi, Adilla and Rink, Norman A and Castrill{\'o}n, Jer{\'o}nimo and Huismann, Immo and Cohen, Albert and Tadonki, Claude and Stiller, J{\"o}rg and Fr{\"o}hlich, Jochen},
  url = {https://hal-mines-paristech.archives-ouvertes.fr/hal-01666818},
  note = {Poster},
  howpublished = {{ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)}},
  year = {2017},
  month = oct,
  keywords = {tensor methods ; intermediate language ; code generation and optimization ; meta- programming},
  pdf = {https://hal-mines-paristech.archives-ouvertes.fr/hal-01666818/file/E-431-poster.pdf},
  hal_id = {hal-01666818},
  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://hal.inria.fr/hal-00654843},
  booktitle = {{FMCAD 2011 - Formal Methods in Computer Aided Design}},
  address = {Austin, TX, United States},
  year = {2011},
  month = oct,
  pdf = {https://hal.inria.fr/hal-00654843/file/MandelPlateauPouzet-FMCAD-2011.pdf},
  hal_id = {hal-00654843},
  hal_version = {v1}
}
@unpublished{vuillemin:hal-01239120,
  title = {{Shared Integer Dichotomy}},
  author = {Vuillemin, Jean},
  url = {https://hal.archives-ouvertes.fr/hal-01239120},
  note = {working paper or preprint},
  year = {2014},
  month = may,
  pdf = {https://hal.archives-ouvertes.fr/hal-01239120/file/VuilleminSharedDichotomy.pdf},
  hal_id = {hal-01239120},
  hal_version = {v1}
}
@phdthesis{le:tel-01684181,
  title = {{Kahn Process Networks as Concurrent Data Structures: Lock Freedom, Parallelism, Relaxation in Shared Memory}},
  author = {L{\^e}, Nhat Minh},
  url = {https://hal.inria.fr/tel-01684181},
  school = {{Ecole normale sup{\'e}rieure - ENS PARIS}},
  year = {2016},
  month = sep,
  keywords = {Kahn process networks ; Task parallelism ; Shared memory models ; Lock-free concurrency ; 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://hal.inria.fr/tel-01684181/file/nml-thesis.pdf},
  hal_id = {tel-01684181},
  hal_version = {v1}
}
@inproceedings{richards:hal-01239167,
  title = {{Concrete Types for TypeScript}},
  author = {Richards, Gregor and Zappa Nardelli, Francesco and Jan, Vitek},
  url = {https://hal.inria.fr/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}
}
@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://hal.inria.fr/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{mandel:hal-01093169,
  title = {{Reactivity of Cooperative Systems}},
  author = {Mandel, Louis and Pasteur, C{\'e}dric},
  url = {https://hal.inria.fr/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{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://hal.inria.fr/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{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://hal.inria.fr/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}
}
@phdthesis{trifunovic:tel-00661334,
  title = {{Efficient search-based strategies for polyhedral compilation : algorithms and experience in a production compiler}},
  author = {Trifunovic, Konrad},
  url = {https://tel.archives-ouvertes.fr/tel-00661334},
  number = {2011PA112096},
  school = {{Universit{\'e} Paris Sud - Paris XI}},
  year = {2011},
  month = jul,
  keywords = {Intermediate representation ; Automatic parallelization ; Loop transformations ; Program transformations ; Polyhedral model ; Programming languages ; Compilers ; Repr{\'e}sentation interm{\'e}diaire ; La parall{\'e}lisation automatique ; Compilateurs ; Langages de programmation ; Mod{\`e}le poly{\'e}drique ; Transformations de programmes ; Transformations de boucles},
  type = {Theses},
  pdf = {https://tel.archives-ouvertes.fr/tel-00661334/file/VA_TRIFUNOVIC_KONRAD_04072011.pdf},
  hal_id = {tel-00661334},
  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://hal.inria.fr/hal-01817949},
  booktitle = {{21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018)}},
  address = {Sankt Goar, Germany},
  editor = {ACM Press},
  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 = { Verified Compilation ; Synchronous Languages (Lustre) ; Compilers ; Formal software verification ; Semantics},
  pdf = {https://hal.inria.fr/hal-01817949/file/paper.pdf},
  hal_id = {hal-01817949},
  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://hal.inria.fr/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 = {Performance Modeling ; Search Space Exploration ; Branch and bound algorithms ; GPU optimization ; Compilers},
  pdf = {https://hal.inria.fr/hal-01655602/file/paper.pdf},
  hal_id = {hal-01655602},
  hal_version = {v1}
}
@phdthesis{pasteur:tel-00934919,
  title = {{Raffinement temporel et ex{\'e}cution parall{\`e}le dans un langage synchrone fonctionnel}},
  author = {Pasteur, C{\'e}dric},
  url = {https://tel.archives-ouvertes.fr/tel-00934919},
  school = {{Universit{\'e} Pierre et Marie Curie - Paris VI}},
  year = {2013},
  month = nov,
  keywords = {Concurrency ; Refinement ; Synchronous languages ; Functional languages ; Semantics ; Type-and-effect systems ; Parallelism ; Concurrence ; Raffinement ; Langages synchrones ; Langages fonctionnels ; S{\'e}mantique ; Syst{\`e}mes de types-et-effets ; Parall{\'e}lisme},
  type = {Theses},
  pdf = {https://tel.archives-ouvertes.fr/tel-00934919/file/Pasteur-These.pdf},
  hal_id = {tel-00934919},
  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.archives-ouvertes.fr/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}
}
@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.archives-ouvertes.fr/hal-01142562},
  note = {Special Issue: 99},
  journal = {{IEEE Transactions on Very Large Scale Integration (VLSI) Systems}},
  publisher = {{IEEE}},
  volume = {22},
  number = {6},
  pages = {1364 - 1376},
  year = {2014},
  month = jun,
  doi = {10.1109/TVLSI.2013.2271697},
  keywords = {logic design ; shared-memory ; network on chip},
  hal_id = {hal-01142562},
  hal_version = {v1}
}
@article{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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00906099/file/paper.pdf},
  hal_id = {hal-00906099},
  hal_version = {v1}
}
@techreport{baudart:hal-01175571,
  title = {{Soundness of the Quasi-Synchronous Abstraction}},
  author = {Baudart, Guillaume and Bourke, Timothy and Pouzet, Marc},
  url = {https://hal.inria.fr/hal-01175571},
  type = {Research Report},
  number = {RR-8755},
  pages = {19},
  institution = {{INRIA Paris-Rocquencourt ; INRIA}},
  year = {2015},
  month = aug,
  keywords = {Quasi-Synchronous Abstraction ; Quasi-periodic Architectures},
  pdf = {https://hal.inria.fr/hal-01175571/file/RR-8755-2.pdf},
  hal_id = {hal-01175571},
  hal_version = {v2}
}
@techreport{pop:hal-00717906,
  title = {{Control-Driven Data Flow}},
  author = {Pop, Antoniu and Cohen, Albert},
  url = {https://hal.inria.fr/hal-00717906},
  type = {Research Report},
  number = {RR-8015},
  pages = {48},
  institution = {{INRIA}},
  year = {2012},
  month = jul,
  keywords = {model of computation ; operational semantics ; programming languages ; data-flow ; stream computing ; parallel programming},
  pdf = {https://hal.inria.fr/hal-00717906/file/RR-8015.pdf},
  hal_id = {hal-00717906},
  hal_version = {v2}
}
@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://hal.inria.fr/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 = {C11/C++11 memory model ; compiler testing},
  hal_id = {hal-00909083},
  hal_version = {v1}
}
@techreport{cohen:hal-01184408,
  title = {{Static Analysis of OpenStream Programs}},
  author = {Cohen, Albert and Darte, Alain and Feautrier, Paul},
  url = {https://hal.inria.fr/hal-01184408},
  note = {Corresponding publication at IMPACT'16 (http://impact.gforge.inria.fr/impact2016)},
  type = {Research Report},
  number = {RR-8764},
  pages = {26},
  institution = {{CNRS ; Inria ; ENS Lyon}},
  year = {2016},
  month = jan,
  keywords = {Dependences ; Deadlocks ; Polyhedral analysis and optimizations ; Scheduling ; Ordonnancement ;  Deadlocks ;  Analyses et optimisations poly{\'e}driques ;  D{\'e}pendances},
  pdf = {https://hal.inria.fr/hal-01184408/file/RR-8764.pdf},
  hal_id = {hal-01184408},
  hal_version = {v2}
}
@inproceedings{baudart:hal-00850294,
  title = {{Programming Mixed Music in ReactiveML}},
  author = {Baudart, Guillaume and Mandel, Louis and Pouzet, Marc},
  url = {https://hal.inria.fr/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://hal.inria.fr/hal-00850294/file/BaudartMandelPouzet-FARM-2013.pdf},
  hal_id = {hal-00850294},
  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://hal.inria.fr/hal-00850299},
  booktitle = {{EMSOFT 2013 - 13th International Conference on Embedded Software}},
  address = {Montreal, Canada},
  year = {2013},
  month = sep,
  pdf = {https://hal.inria.fr/hal-00850299/file/BaudartJacquemardMandelPouzet-EMSOFT-2013.pdf},
  hal_id = {hal-00850299},
  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://hal.inria.fr/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://hal.inria.fr/hal-00850290/file/MandelPasteurPouzet-PPDP-2013.pdf},
  hal_id = {hal-00850290},
  hal_version = {v1}
}
@misc{bourke:hal-01104031,
  title = {{Mechanization of the Algebra for Wireless Networks (AWN)}},
  author = {Bourke, Timothy},
  url = {https://hal.inria.fr/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 ; Process Algebra ; Reactive Systems ; Invariant proof},
  pdf = {https://hal.inria.fr/hal-01104031/file/document.pdf},
  hal_id = {hal-01104031},
  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://hal.inria.fr/hal-01104033},
  note = {Entry in the Archive of Formal Proofs (ISSN: 2150-914x)},
  pages = {496},
  year = {2014},
  month = oct,
  keywords = {Protocol Verification ; Isabelle/HOL ; AODV},
  pdf = {https://hal.inria.fr/hal-01104033/file/document-2.pdf},
  hal_id = {hal-01104033},
  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://hal.inria.fr/hal-01575621},
  booktitle = {{12th Forum on Specification and Design Languages (FDL 2017)}},
  address = {V{\'e}rone, Italy},
  organization = {{Electronic Chips \& System Design Initiative (ECSI)}},
  year = {2017},
  month = sep,
  keywords = {Programming ; Index Terms-Programming ; simulation ; real-time systems ; formal specifications},
  pdf = {https://hal.inria.fr/hal-01575621/file/paper.pdf},
  hal_id = {hal-01575621},
  hal_version = {v3}
}
@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://hal.inria.fr/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://hal.inria.fr/hal-01720368/file/cc2018-paper.pdf},
  hal_id = {hal-01720368},
  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://hal.inria.fr/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{diouf:hal-00911887,
  title = {{A Polynomial Spilling Heuristic: Layered Allocation}},
  author = {Diouf, Boubacar and Cohen, Albert and Rastello, Fabrice},
  url = {https://hal.inria.fr/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://hal.inria.fr/hal-00911887/file/57_Diouf.pdf},
  hal_id = {hal-00911887},
  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://hal.inria.fr/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://hal.inria.fr/hal-00911896/file/meph_llvm.pdf},
  hal_id = {hal-00911896},
  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://hal.inria.fr/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://hal.inria.fr/hal-00911888/file/popl070-upadrasta.pdf},
  hal_id = {hal-00911888},
  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://hal.inria.fr/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://hal.inria.fr/hal-00911893/file/sbac13.pdf},
  hal_id = {hal-00911893},
  hal_version = {v1}
}
@inproceedings{verdoolaege:hal-00911894,
  title = {{Schedule Trees}},
  author = {Verdoolaege, Sven and Guelton, Serge and Grosser, Tobias and Cohen, Albert},
  url = {https://hal.inria.fr/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}
}
@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://hal.inria.fr/hal-00766726},
  journal = {{Journal of Computer and System Sciences}},
  hal_local_reference = {3},
  publisher = {{Elsevier}},
  series = {In Commemoration of Amir Pnueli},
  volume = {78},
  number = {3},
  pages = {877-910},
  year = {2012},
  doi = {10.1016/j.jcss.2011.08.009},
  keywords = {Hybrid systems ; Hybrid systems modelers ; Non-standard analysis ; Non-standard semantics ; Constructive semantics ; Kahn process networks ; Compilation of hybrid systems},
  hal_id = {hal-00766726},
  hal_version = {v1}
}
@inproceedings{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.archives-ouvertes.fr/hal-01257268},
  booktitle = {{cgo \# (CGO)}},
  address = {Chamonix, France},
  year = {2011},
  hal_id = {hal-01257268},
  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.archives-ouvertes.fr/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{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://hal.inria.fr/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{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://hal.inria.fr/hal-00654113},
  booktitle = {{Embedded Software (EMSOFT), 2011}},
  address = {Taipei, Taiwan},
  year = {2011},
  month = oct,
  doi = {10.1145/2038642.2038664},
  hal_id = {hal-00654113},
  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://hal.inria.fr/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},
  pdf = {https://hal.inria.fr/hal-01549183/file/paper.pdf},
  hal_id = {hal-01549183},
  hal_version = {v2}
}
@inproceedings{benveniste:hal-01521918,
  title = {{Structural Analysis of Multi-Mode DAE Systems}},
  author = {Benveniste, Albert and Caillaud, Beno{\^i}t and Elmqvist, Hilding and Ghorbal, Khalil and Otter, Martin and Pouzet, Marc},
  url = {https://hal.inria.fr/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},
  pdf = {https://hal.inria.fr/hal-01521918/file/paper-author-version.pdf},
  hal_id = {hal-01521918},
  hal_version = {v1}
}
@techreport{benveniste:hal-01343967,
  title = {{Structural Analysis of Multi-Mode DAE Systems}},
  author = {Benveniste, Albert and Caillaud, Beno{\^i}t and Elmqvist, Hilding and Ghorbal, Khalil and Otter, Martin and Pouzet, Marc},
  url = {https://hal.inria.fr/hal-01343967},
  type = {Research Report},
  number = {RR-8933},
  pages = {1-23},
  institution = {{Inria}},
  year = {2017},
  keywords = {Hybrid systems ;  DAE ;  index ;  nonstandard analysis ; syst{\`e}mes hybrides ; DAE systems ; analyse non standard ; index},
  pdf = {https://hal.inria.fr/hal-01343967/file/techreport.pdf},
  hal_id = {hal-01343967},
  hal_version = {v3}
}
@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://hal.inria.fr/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},
  pdf = {https://hal.inria.fr/hal-01879026/file/hybridsyncieee.pdf},
  hal_id = {hal-01879026},
  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://hal.inria.fr/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},
  pdf = {https://hal.inria.fr/hal-01243005/file/emsoft15.pdf},
  hal_id = {hal-01243005},
  hal_version = {v1}
}
@article{baudart:hal-01408224,
  title = {{Loosely Time-Triggered Architectures}},
  author = {Baudart, Guillaume and Benveniste, Albert and Bourke, Timothy},
  url = {https://hal.inria.fr/hal-01408224},
  journal = {{ACM Transactions on Embedded Computing Systems (TECS)}},
  publisher = {{ACM}},
  volume = {15},
  pages = {Article 71},
  year = {2016},
  month = aug,
  doi = {10.1145/2932189},
  keywords = {Back-Pressure LTTA ; Time-Based LTTA ; Quasi-periodic Architectures ; Loosely Time-Triggered Architectures},
  pdf = {https://hal.inria.fr/hal-01408224/file/ltta.pdf},
  hal_id = {hal-01408224},
  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://hal.inria.fr/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},
  hal_id = {hal-01093388},
  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://hal.inria.fr/hal-00920903},
  booktitle = {{DSD}},
  address = {Los Alamitos, United States},
  pages = {272-279},
  year = {2013},
  month = sep,
  hal_id = {hal-00920903},
  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://hal.inria.fr/hal-00938891},
  note = {Deliverable D.4.1.1 of the ITEA2 Modrio collaborative project},
  year = {2013},
  month = aug,
  pdf = {https://hal.inria.fr/hal-00938891/file/MODRIO_PublicReport_D411.pdf},
  hal_id = {hal-00938891},
  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://hal.inria.fr/hal-00938866},
  note = {Deliverable D3.1\_1 v 1.0 of the Sys2soft collaborative project ''Physics Aware Software''},
  year = {2013},
  month = dec,
  pdf = {https://hal.inria.fr/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}
}
@techreport{baudart:hal-00955496,
  title = {{A Unifying View of Loosely Time-Triggered Architectures}},
  author = {Baudart, Guillaume and Benveniste, Albert and Bouillard, Anne and Caspi, Paul},
  url = {https://hal.inria.fr/hal-00955496},
  type = {Research Report},
  number = {RR-8494},
  pages = {14},
  institution = {{INRIA}},
  year = {2014},
  month = mar,
  keywords = {Time-Triggered Architecture ; Elastic Circuits ; Loosely Time-Triggered Architecture},
  pdf = {https://hal.inria.fr/hal-00955496/file/RR-8494.pdf},
  hal_id = {hal-00955496},
  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://hal.inria.fr/hal-00765220},
  publisher = {{Eyrolles}},
  pages = {303},
  year = {2012},
  month = aug,
  hal_id = {hal-00765220},
  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 (pr{\'e}face), G{\'e}rard Berry},
  url = {https://hal.archives-ouvertes.fr/hal-01257263},
  publisher = {{Eyrolles}},
  year = {2012},
  month = aug,
  hal_id = {hal-01257263},
  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://hal.inria.fr/hal-00992721},
  note = {Available online 18 April 2014},
  journal = {{Microprocessors and Microsystems: Embedded Hardware Design (MICPRO)}},
  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}
}
@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.archives-ouvertes.fr/hal-01257252},
  note = {DOI information: http://dx.doi.org/10.1016/j.micpro.2014.05.003},
  journal = {{Microprocessors and Microsystems: Embedded Hardware Design (MICPRO)}},
  publisher = {{Elsevier}},
  volume = {MICPRO2141},
  year = {2014},
  month = jun,
  hal_id = {hal-01257252},
  hal_version = {v1}
}
@inproceedings{cohen:hal-01251845,
  title = {{Static Analysis of OpenStream Programs}},
  author = {Cohen, Albert and Darte, Alain and Feautrier, Paul},
  url = {https://hal.inria.fr/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{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://hal.inria.fr/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://hal.inria.fr/hal-01751823/file/paper.pdf},
  hal_id = {hal-01751823},
  hal_version = {v1}
}
@techreport{verdoolaege:hal-01133962,
  title = {{PENCIL support in pet and PPCG}},
  author = {Verdoolaege, Sven},
  url = {https://hal.inria.fr/hal-01133962},
  type = {Technical Report},
  number = {RT-0457},
  institution = {{INRIA Paris-Rocquencourt ; INRIA}},
  year = {2015},
  month = mar,
  keywords = {polyhedral compilation ; function summary ; array of structures ; live-range reordering ; dead code elimination},
  pdf = {https://hal.inria.fr/hal-01133962/file/ppcg-pencil-v2.pdf},
  hal_id = {hal-01133962},
  hal_version = {v2}
}
@phdthesis{grosser:tel-01144563,
  title = {{A decoupled approach to high-level loop optimization : tile shapes, polyhedral building blocks and low-level compilers}},
  author = {Grosser, Tobias},
  url = {https://tel.archives-ouvertes.fr/tel-01144563},
  number = {2014PA066270},
  school = {{Universit{\'e} Pierre et Marie Curie - Paris VI}},
  year = {2014},
  month = oct,
  keywords = {Polyhedric ; Delinearization ; Boucle ; Polyhedrique ; Compilation ; Pochoir ; Hexagonal tiling},
  type = {Theses},
  pdf = {https://tel.archives-ouvertes.fr/tel-01144563/file/pdf2star-1417100348-these_archivage_3160267.pdf},
  hal_id = {tel-01144563},
  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://hal.inria.fr/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://hal.inria.fr/hal-00802885/file/ppopp207-le.pdf},
  hal_id = {hal-00802885},
  hal_version = {v1}
}
@mastersthesis{baudart:hal-01156601,
  title = {{Antescofo : vers une programmation synchrone}},
  author = {Baudart, Guillaume},
  url = {https://hal.inria.fr/hal-01156601},
  pages = {46},
  school = {{Master ATIAM, Universit{\'e} Pierre et Marie Curie (UPMC) et IRCAM}},
  year = {2012},
  month = sep,
  keywords = {Synchronous reactive programming ; antescofo ; computer music},
  pdf = {https://hal.inria.fr/hal-01156601/file/index.pdf},
  hal_id = {hal-01156601},
  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://hal.inria.fr/hal-00907801},
  booktitle = {{POPL}},
  address = {Austin, TX, United States},
  year = {2011},
  month = jan,
  hal_id = {hal-00907801},
  hal_version = {v1}
}
@techreport{diouf:hal-00713693,
  title = {{A Polynomial Spilling Heuristic: Layered Allocation}},
  author = {Diouf, Boubacar and Cohen, Albert Albert.Cohen@inria.Fr and Rastello, Fabrice},
  url = {https://hal.inria.fr/hal-00713693},
  type = {Research Report},
  number = {RR-8007},
  pages = {23},
  institution = {{INRIA}},
  year = {2012},
  month = jul,
  pdf = {https://hal.inria.fr/hal-00713693/file/RR-8007.pdf},
  hal_id = {hal-00713693},
  hal_version = {v2}
}
@techreport{pop:hal-00710409,
  title = {{Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs}},
  author = {Pop, Antoniu and Cohen, Albert},
  url = {https://hal.inria.fr/hal-00710409},
  type = {Research Report},
  number = {RR-8001},
  pages = {28},
  institution = {{INRIA}},
  year = {2012},
  month = jun,
  keywords = {Data-flow computing ; stream computing ; parallel programming ; compilation},
  pdf = {https://hal.inria.fr/hal-00710409/file/RR-8001.pdf},
  hal_id = {hal-00710409},
  hal_version = {v2}
}
@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://hal.inria.fr/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 ; dynamic counted loop ; polyhedral model ; parallelizing compiler ;  loop nest optimization ;  polyhedral model ;  dynamic counted loop},
  pdf = {https://hal.inria.fr/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}
}
@inproceedings{bourke:hal-00909029,
  title = {{Z{\'e}lus: A Synchronous Language with ODEs}},
  author = {Bourke, Timothy and Pouzet, Marc},
  url = {https://hal.inria.fr/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://hal.inria.fr/hal-00909029/file/paper.pdf},
  hal_id = {hal-00909029},
  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://hal.inria.fr/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{beaugnon:hal-01257241,
  title = {{PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs}},
  author = {Beaugnon, Ulysse and Baghdadi, 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.archives-ouvertes.fr/hal-01257241},
  booktitle = {{Domain-Specific Language Design and Implementation (DSLDI, associated with SPLASH/OOPSLA)}},
  address = {Portland, Oregon, Unknown Region},
  year = {2014},
  hal_id = {hal-01257241},
  hal_version = {v1}
}
@inproceedings{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.archives-ouvertes.fr/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{cohen:hal-01257253,
  title = {{Correct and Efficient Manycore Processor Programming}},
  author = {Cohen, Albert},
  url = {https://hal.archives-ouvertes.fr/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}
}
@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.archives-ouvertes.fr/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}
}
@inproceedings{mandel:hal-01508142,
  title = {{Scheduling and Buffer Sizing of n-Synchronous Systems}},
  author = {Mandel, Louis and Plateau, Florence},
  url = {https://hal.inria.fr/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://hal.inria.fr/hal-01508142/file/MandelPlateau-MPC-2012.pdf},
  hal_id = {hal-01508142},
  hal_version = {v1}
}
@inproceedings{cohen:hal-01257258,
  title = {{Who wants to adopt a polyhedral compiler?}},
  author = {Cohen, Albert},
  url = {https://hal.archives-ouvertes.fr/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}
}
@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.archives-ouvertes.fr/hal-01257259},
  booktitle = {{Euromicro Conference on Digital System Design (DSD)}},
  address = {Santander, Spain},
  year = {2013},
  hal_id = {hal-01257259},
  hal_version = {v1}
}
@inproceedings{baghdadi:hal-01257236,
  title = {{PENCIL: a Platform-Neutral Compute Intermediate Language for Accelerator Programming}},
  author = {Baghdadi, 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.archives-ouvertes.fr/hal-01257236},
  booktitle = {{Parallel Architectures and Compilation Techniques (PACT)}},
  address = {San Francisco, California, United States},
  year = {2015},
  hal_id = {hal-01257236},
  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.archives-ouvertes.fr/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{cohen:hal-01257233,
  title = {{Challenges in Correct-by-Construction Multiprocessor Programming}},
  author = {Cohen, Albert},
  url = {https://hal.archives-ouvertes.fr/hal-01257233},
  booktitle = {{EPFL-INRIA Workshop}},
  address = {Lausanne, Switzerland},
  year = {2015},
  hal_id = {hal-01257233},
  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.archives-ouvertes.fr/hal-01257237},
  booktitle = {{Workshop on Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems (ALCHEMY 2015, associated with ICCS)}},
  address = {Reykjavik, Iceland},
  year = {2015},
  hal_id = {hal-01257237},
  hal_version = {v1}
}
@inproceedings{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.archives-ouvertes.fr/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{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.archives-ouvertes.fr/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{verdoolaege:hal-01257224,
  title = {{Live Range Reordering}},
  author = {Verdoolaege, Sven and Cohen, Albert},
  url = {https://hal.archives-ouvertes.fr/hal-01257224},
  booktitle = {{6{\th} Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC)}},
  address = {Prag, Czech Republic},
  year = {2016},
  hal_id = {hal-01257224},
  hal_version = {v1}
}
@inproceedings{cohen:hal-01257230,
  title = {{Streaming Task Parallelism}},
  author = {Cohen, Albert},
  url = {https://hal.archives-ouvertes.fr/hal-01257230},
  note = {Keynote presentation},
  booktitle = {{Intl. Conf. on Supercomputing (ICS)}},
  address = {Newport Beach, California, United States},
  year = {2015},
  hal_id = {hal-01257230},
  hal_version = {v1}
}
@inproceedings{do:hal-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.archives-ouvertes.fr/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{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.archives-ouvertes.fr/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}
}
@proceedings{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.archives-ouvertes.fr/hal-01257234},
  address = {Burlingame, California, United States},
  editor = {Albert Cohen and David Grove},
  publisher = {{ACM}},
  year = {2015},
  month = feb,
  hal_id = {hal-01257234},
  hal_version = {v1}
}
@proceedings{cohen:hal-01257238,
  title = {{28th International Conference on the Architecture of Computing Systems (ARCS)}},
  author = {Cohen, Albert},
  url = {https://hal.archives-ouvertes.fr/hal-01257238},
  address = {Porto, Portugal},
  editor = {Albert Cohen},
  publisher = {{Springer}},
  series = {LNCS},
  number = {9017},
  year = {2015},
  month = mar,
  hal_id = {hal-01257238},
  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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01257286},
  note = {%HEVEA\publinkCDEPPP06.ps.gz},
  booktitle = {{POPL 2006 - 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages }},
  address = {Charleston, South Carolina, United States},
  pages = {180--193},
  year = {2006},
  month = jan,
  hal_id = {hal-01257286},
  hal_version = {v1}
}
@inproceedings{amiranoff:hal-01257289,
  title = {{Beyond Iteration Vectors: Instancewise Relational Abstract Domains}},
  author = {Amiranoff, Pierre and Cohen, Albert and Feautrier, Paul},
  url = {https://hal.archives-ouvertes.fr/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{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.archives-ouvertes.fr/hal-01257295},
  note = {%HEVEA\publinkCDEPPP05.ps.gz},
  booktitle = {{ACM Conference on Embedded Software (EMSOFT)}},
  address = {Jersey City, NJ, United States},
  pages = {339--342 (short paper)},
  year = {2005},
  hal_id = {hal-01257295},
  hal_version = {v1}
}
@inproceedings{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.archives-ouvertes.fr/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{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.archives-ouvertes.fr/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}
}
@incollection{pop:hal-01257229,
  title = {{SSA-based Compiler Design}},
  author = {Pop, Sebastian and Cohen, Albert},
  url = {https://hal.archives-ouvertes.fr/hal-01257229},
  note = {ISBN 978-1-4419-6201-0},
  booktitle = {{SSA-based Compiler Design}},
  editor = {Fabrice Rastello},
  publisher = {{springer}},
  volume = {Loop tree and induction variables},
  year = {2016},
  month = aug,
  hal_id = {hal-01257229},
  hal_version = {v1}
}
@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.archives-ouvertes.fr/hal-01257247},
  note = {Selected for presentation at the HiPEAC 2015 Conference},
  journal = {{taco \# (TACO)}},
  year = {2014},
  hal_id = {hal-01257247},
  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.archives-ouvertes.fr/hal-01257266},
  booktitle = {{3rd GCC Research Opportunities Workshop (GROW, associated with CGO)}},
  address = {Chamonix, France},
  year = {2011},
  hal_id = {hal-01257266},
  hal_version = {v1}
}
@proceedings{cohen:hal-01257250,
  title = {{17{\th} International Conference on Compiler Construction (CC)}},
  author = {Cohen, Albert},
  url = {https://hal.archives-ouvertes.fr/hal-01257250},
  address = {Grenoble, France},
  editor = {Albert Cohen},
  publisher = {{springer}},
  series = {lncs},
  number = {8409},
  year = {2014},
  month = apr,
  hal_id = {hal-01257250},
  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.archives-ouvertes.fr/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}
}
@techreport{mandel:hal-01010349,
  title = {{Reactivity of Cooperative Systems: Application to ReactiveML -- extended version}},
  author = {Mandel, Louis and Pasteur, C{\'e}dric},
  url = {https://hal.inria.fr/hal-01010349},
  type = {Research Report},
  number = {RR-8549},
  pages = {29},
  institution = {{INRIA}},
  year = {2014},
  month = jun,
  keywords = {Cooperative scheduling ; Type systems ; Semantics ; Functional languages ; Synchronous languages},
  pdf = {https://hal.inria.fr/hal-01010349/file/RR-8549.pdf},
  hal_id = {hal-01010349},
  hal_version = {v1}
}
@inproceedings{cohen:hal-01257292,
  title = {{Automatic Correction of Loop Transformations}},
  author = {Cohen, Albert},
  url = {https://hal.archives-ouvertes.fr/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{pop:hal-01257294,
  title = {{Induction Variable Analysis with Delayed Abstractions}},
  author = {Pop, Sebastian and Cohen, Albert and Silber, Georges-Andr{\'e}},
  url = {https://hal.archives-ouvertes.fr/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}
}
@incollection{juega:hal-01257261,
  title = {{Patterns for parallel programming on GPUs}},
  author = {Juega, Juan Carlos and Verdoolaege, Sven and Cohen, Albert and G{\'o}mez, Jos{\'e} Ignacio and Tenllado, Christian and Catthoor, Francky},
  url = {https://hal.archives-ouvertes.fr/hal-01257261},
  note = {ISBN 978-1-874672-57-9},
  booktitle = {{Patterns for parallel programming on {GPU}s}},
  editor = {Fr{\'e}d{\'e}ric Magoul{\`e}s},
  publisher = {{Saxe-Cobourg}},
  volume = {Evaluation of State-of-the-Art Parallelizing Compilers Generating CUDA Code for Heterogeneous CPU/GPU Computing},
  year = {2013},
  hal_id = {hal-01257261},
  hal_version = {v1}
}
@inproceedings{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.archives-ouvertes.fr/hal-01257274},
  booktitle = {{6th Asian Symposium on Programming Languages and Systems (APLAS)}},
  address = {Bangalore, India},
  year = {2008},
  month = dec,
  hal_id = {hal-01257274},
  hal_version = {v1}
}
@inproceedings{beaugnon:hal-01508181,
  title = {{VOBLA: a vehicle for optimized basic linear algebra}},
  author = {Beaugnon, Ulysse and Kravets, Alexey and Haastregt, Sven Van and Baghdadi, Riyadh and Tweed, David and Absar, Javed and Lokhmotov, Anton},
  url = {https://hal.inria.fr/hal-01508181},
  booktitle = {{Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems (LCTES'14)}},
  address = {Edinburgh, United Kingdom},
  series = {Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems (LCTES'14)},
  pages = {115-124},
  year = {2014},
  month = jun,
  doi = {10.1145/2666357.2597818},
  hal_id = {hal-01508181},
  hal_version = {v1}
}
@inproceedings{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.archives-ouvertes.fr/hal-01257267},
  booktitle = {{1\st Workshop on Polyhedral Compilation Techniques (IMPACT, associated with CGO)}},
  address = {Chamonix, France},
  year = {2011},
  hal_id = {hal-01257267},
  hal_version = {v1}
}
@inproceedings{vasilache:hal-01257283,
  title = {{Automatic Correction of Loop Transformations}},
  author = {Vasilache, Nicolas and Cohen, Albert and Pouchet, Louis-No{\"e}l},
  url = {https://hal.archives-ouvertes.fr/hal-01257283},
  booktitle = {{pact \# (PACT)}},
  address = {Brasov, Romania},
  year = {2007},
  hal_id = {hal-01257283},
  hal_version = {v1}
}
@techreport{baghdadi:hal-01154812,
  title = {{PENCIL Language Specification}},
  author = {Baghdadi, 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://hal.inria.fr/hal-01154812},
  type = {Research Report},
  number = {RR-8706},
  pages = {37},
  institution = {{INRIA}},
  year = {2015},
  month = may,
  keywords = {PENCIL ; DSL ; Accelerator ; Domain Specific Language ; Intermediate Language ; OpenCL},
  pdf = {https://hal.inria.fr/hal-01154812/file/RR-8706.pdf},
  hal_id = {hal-01154812},
  hal_version = {v3}
}
@incollection{brault:hal-01257270,
  title = {{eBooks Informatique Eyrolles}},
  author = {Brault, Fr{\'e}d{\'e}ric and Albert, Cohen and Jean, Zundel},
  url = {https://hal.archives-ouvertes.fr/hal-01257270},
  booktitle = {{Hackez Google Android -- Introduction {\`a} la programmation syst{\`e}me}},
  publisher = {{Eyrolles}},
  year = {2009},
  month = may,
  hal_id = {hal-01257270},
  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.archives-ouvertes.fr/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{fursin:hal-01257278,
  title = {{Building a Practical Iterative Compiler}},
  author = {Fursin, Grigori and Cohen, Albert},
  url = {https://hal.archives-ouvertes.fr/hal-01257278},
  note = {%HEVEA\publinkFC07.pdf},
  booktitle = {{1\st Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART)}},
  address = {Ghent, Belgium},
  year = {2007},
  hal_id = {hal-01257278},
  hal_version = {v1}
}
@inproceedings{baudart:hal-01408208,
  title = {{Soundness of the Quasi-Synchronous Abstraction}},
  author = {Baudart, Guillaume and Bourke, Timothy and Pouzet, Marc},
  url = {https://hal.inria.fr/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://hal.inria.fr/hal-01408208/file/final-extended.pdf},
  hal_id = {hal-01408208},
  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://hal.inria.fr/hal-01408230},
  howpublished = {{ACM Workshop on ML}},
  year = {2016},
  month = sep,
  keywords = {OCaml ; Sundials ; Foreign Function Interfaces (FFI)},
  pdf = {https://hal.inria.fr/hal-01408230/file/paper.pdf},
  hal_id = {hal-01408230},
  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://hal.inria.fr/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://hal.inria.fr/hal-00919281/file/GuattoMandel-JFLA-2014.pdf},
  hal_id = {hal-00919281},
  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://hal.inria.fr/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}
}
@phdthesis{zappanardelli:tel-01110117,
  title = {{Reasoning between Programming Languages and Architectures}},
  author = {Zappa Nardelli, Francesco},
  url = {https://hal.inria.fr/tel-01110117},
  school = {{ENS Paris - Ecole Normale Sup{\'e}rieure de Paris}},
  year = {2014},
  month = jan,
  keywords = {Programming languges ; Semantics ; Concurrency ; Langages de programmation ; Concurrence},
  type = {Habilitation {\`a} diriger des recherches},
  pdf = {https://hal.inria.fr/tel-01110117/file/main.pdf},
  hal_id = {tel-01110117},
  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://hal.inria.fr/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://hal.inria.fr/hal-01508179/file/ppdp15.pdf},
  hal_id = {hal-01508179},
  hal_version = {v1}
}
@techreport{zinenko:hal-01628798,
  title = {{Unified Polyhedral Modeling of Temporal and Spatial Locality}},
  author = {Zinenko, Oleksandr and Verdoolaege, Sven and Reddy, Chandan and Shirako, Jun and Grosser, Tobias and Sarkar, Vivek and Cohen, Albert},
  url = {https://hal.inria.fr/hal-01628798},
  type = {Research Report},
  number = {RR-9110},
  pages = {41},
  institution = {{Inria Paris}},
  year = {2017},
  month = nov,
  keywords = {automatic parallelization ; polyhedral model ; loop nest optimization},
  pdf = {https://hal.inria.fr/hal-01628798/file/RR-9110.pdf},
  hal_id = {hal-01628798},
  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://hal-mines-paristech.archives-ouvertes.fr/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://hal-mines-paristech.archives-ouvertes.fr/hal-00744090/file/A-462.pdf},
  hal_id = {hal-00744090},
  hal_version = {v1}
}
@phdthesis{li:tel-00992753,
  title = {{Compiling for a multithreaded dataflow architecture : algorithms, tools, and experience}},
  author = {Li, Feng},
  url = {https://tel.archives-ouvertes.fr/tel-00992753},
  number = {2014PA066102},
  school = {{Universit{\'e} Pierre et Marie Curie - Paris VI}},
  year = {2014},
  month = may,
  keywords = {Dataflow ; Multiprocessors ; Flot de donn{\'e}es ; Parall{\'e}lisation ; Multiprocesseur ; Architecture ; Partitionnement d'un programme},
  type = {Theses},
  pdf = {https://tel.archives-ouvertes.fr/tel-00992753/file/these_archivage_3072164.pdf},
  hal_id = {tel-00992753},
  hal_version = {v2}
}
@proceedings{baghdadi:hal-01165017,
  title = {{Pencil A Platform-Neutral Compute Intermediate Language for DSL Compilers}},
  author = {Baghdadi, 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.archives-ouvertes.fr/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}
}
@phdthesis{diouf:tel-00769403,
  title = {{Decoupled approaches to register and software controlled memory allocations}},
  author = {Diouf, Boubacar},
  url = {https://tel.archives-ouvertes.fr/tel-00769403},
  number = {2011PA112349},
  school = {{Universit{\'e} Paris Sud - Paris XI}},
  year = {2011},
  month = dec,
  keywords = {Compilation ; Register allocation ; Submarine-building problem ; Weighted graphs coloring ; Memory allocations ; Scratchpad ; Allocation de registres ; Allocation de m{\'e}moire ; Coloration de graphes pond{\'e}r{\'e}s ; Probl{\`e}me de submarine-building},
  type = {Theses},
  pdf = {https://tel.archives-ouvertes.fr/tel-00769403/file/VD2_DIOUF_BOUBACAR_15122011.pdf},
  hal_id = {tel-00769403},
  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.archives-ouvertes.fr/hal-00870687},
  booktitle = {{WIR}},
  address = {France},
  year = {2011},
  month = apr,
  pdf = {https://hal.archives-ouvertes.fr/hal-00870687/file/A-462.pdf},
  hal_id = {hal-00870687},
  hal_version = {v1}
}
@phdthesis{baudart:tel-01507595,
  title = {{A synchronous approach to quasi-periodic systems}},
  author = {Baudart, Guillaume},
  url = {https://tel.archives-ouvertes.fr/tel-01507595},
  number = {2017PSLEE007},
  school = {{PSL Research University}},
  year = {2017},
  month = mar,
  keywords = {Symbolic simulation ; Loosely time-Triggered architectures ; Embedded systems ; Synchronous real-Time distributed systems ; Synchronous languages ; Quasi-Synchronous abstraction ; Architecture LTTA ; Simulation symbolique ; Syst{\`e}mes embarqu{\'e}s ; Syst{\`e}mes distribu{\'e}s temps-R{\'e}els synchrones ; Langages synchrones ; Abstraction quasi-Synchrone},
  type = {Theses},
  pdf = {https://tel.archives-ouvertes.fr/tel-01507595/file/BAUDART2017archivage.pdf},
  hal_id = {tel-01507595},
  hal_version = {v2}
}
@inproceedings{morisset:hal-01423612,
  title = {{Partially Redundant Fence Elimination for x86, ARM and Power processors}},
  author = {Morisset, Robin and Zappa Nardelli, Francesco},
  url = {https://hal.inria.fr/hal-01423612},
  booktitle = {{International Conference on Compiler Construction (CC)}},
  address = {Austin, United States},
  year = {2017},
  month = feb,
  hal_id = {hal-01423612},
  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.archives-ouvertes.fr/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{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.archives-ouvertes.fr/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}
}
@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://hal.inria.fr/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 = {verified compilation ; semantics ; Relaxed memory models},
  hal_id = {hal-00909076},
  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://hal.inria.fr/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://hal.inria.fr/hal-00645221/file/sas.pdf},
  hal_id = {hal-00645221},
  hal_version = {v1}
}
@inproceedings{halle:hal-00645226,
  title = {{Support of Collective Effort Towards Performance Portability}},
  author = {Halle, Sean and Cohen, Albert},
  url = {https://hal.inria.fr/hal-00645226},
  booktitle = {{HotPar'11 - 3rd USENIX Workshop on Hot Topics in Parallelism}},
  address = {Berkeley, United States},
  year = {2011},
  month = may,
  pdf = {https://hal.inria.fr/hal-00645226/file/Jan_2011_Hotpar_Port_Perf_final.pdf},
  hal_id = {hal-00645226},
  hal_version = {v1}
}
@phdthesis{morisset:tel-01823521,
  title = {{Compiler optimisations and relaxed memory consistency models}},
  author = {Morisset, Robin},
  url = {https://tel.archives-ouvertes.fr/tel-01823521},
  number = {2017PSLEE050},
  school = {{PSL Research University}},
  year = {2017},
  month = apr,
  keywords = {Memory model ; Memory consistency model ; C11 ; Compiler optimisations ; Fence ; Mod{\`e}le m{\'e}moire ; Optimisations ; Compilateur ; Barri{\`e}re},
  type = {Theses},
  pdf = {https://tel.archives-ouvertes.fr/tel-01823521/file/Morisset-2017-These.pdf},
  hal_id = {tel-01823521},
  hal_version = {v1}
}
@inproceedings{halle:hal-00645220,
  title = {{A Mutable Hardware Abstraction to Replace Threads}},
  author = {Halle, Sean and Cohen, Albert},
  url = {https://hal.inria.fr/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://hal.inria.fr/hal-00645220/file/lcpc11.pdf},
  hal_id = {hal-00645220},
  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://hal.inria.fr/hal-00728527},
  booktitle = {{Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems}},
  address = {Beijing, China},
  publisher = {{ACM}},
  pages = {51--60},
  year = {2012},
  month = jun,
  doi = {10.1145/2248418.2248426},
  keywords = {block-diagrams ; compilation ; optimization ; real-time systems ; semantics ; synchronous languages ; type systems},
  hal_id = {hal-00728527},
  hal_version = {v1}
}
@inproceedings{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://hal.inria.fr/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://hal.inria.fr/hal-00779789/file/jfla2013-11.pdf},
  hal_id = {hal-00779789},
  hal_version = {v1}
}
@inproceedings{bourke:hal-01575631,
  title = {{A Synchronous Look at the Simulink Standard Library}},
  author = {Bourke, Timothy and Carcenac, Francois and Cola{\c c}o, Jean-Louis and Pagano, Bruno and Pasteur, C{\'e}dric and Pouzet, Marc},
  url = {https://hal.inria.fr/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 = {Hybrid Systems ; Synchronous Languages ; Block Diagrams},
  pdf = {https://hal.inria.fr/hal-01575631/file/emsoft2017.pdf},
  hal_id = {hal-01575631},
  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://hal.inria.fr/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{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://hal.inria.fr/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}
}
@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.archives-ouvertes.fr/hal-01136508},
  booktitle = {{Seventh Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-2014)}},
  address = {Vienna, Austria},
  year = {2014},
  month = jan,
  keywords = {Performance debugging ; trace visualization ; Perfomance analysis ; task parallelism},
  hal_id = {hal-01136508},
  hal_version = {v1}
}
@inproceedings{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.archives-ouvertes.fr/hal-01136497},
  booktitle = {{1st Workshop on Resource Awareness and Adaptivity in Multi-Core Computing (Racing 2014)}},
  address = {Paderborn, Germany},
  year = {2014},
  month = may,
  keywords = {Trace visualization ; many-core ; Performance analysis ; Task parallelism ; Trace-based performance analysis},
  hal_id = {hal-01136497},
  hal_version = {v1}
}
@misc{drebes:hal-01136519,
  title = {{Aftermath: Performance analysis of task-parallel applications on many-core NUMA systems}},
  author = {Drebes, Andi and Heydemann, Karine and Drach, Nathalie and Antoniu, Pop and Cohen, Albert},
  url = {https://hal.archives-ouvertes.fr/hal-01136519},
  note = {Poster},
  howpublished = {{Tenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems}},
  year = {2014},
  month = jul,
  keywords = {NUMA ; Many-core ; Trace analysis ; Task parallelism ; Performance debugging},
  hal_id = {hal-01136519},
  hal_version = {v1}
}
@unpublished{vuillemin:cel-01239701,
  title = {{Systeme digital : de l'algorithme au circuit}},
  author = {Vuillemin, Jean},
  url = {https://hal.archives-ouvertes.fr/cel-01239701},
  note = {Lecture},
  type = {Licence},
  address = {DI/ENS Paris, France},
  pages = {275},
  institution = {{DI/ENS Paris}},
  year = {2014},
  month = sep,
  pdf = {https://hal.archives-ouvertes.fr/cel-01239701/file/ENS2015Vuillemin.pdf},
  hal_id = {cel-01239701},
  hal_version = {v1}
}
@techreport{grosser:hal-00848691,
  title = {{The Promises of Hybrid Hexagonal/Classical Tiling for GPU}},
  author = {Grosser, Tobias and Verdoolaege, Sven and Cohen, Albert and Sadayappan, P.},
  url = {https://hal.inria.fr/hal-00848691},
  type = {Research Report},
  number = {RR-8339},
  institution = {{INRIA}},
  year = {2013},
  month = jul,
  pdf = {https://hal.inria.fr/hal-00848691/file/RR-8339.pdf},
  hal_id = {hal-00848691},
  hal_version = {v1}
}
@inproceedings{vuillemin:hal-01241861,
  title = {{Defensive Leakage Camouflage}},
  author = {Vuillemin, Jean (Etienne)},
  url = {https://hal.archives-ouvertes.fr/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}
}
@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{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://hal.inria.fr/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{vasilache:hal-01257290,
  title = {{Violated Dependence Analysis}},
  author = {Vasilache, Nicolas and Cohen, Albert and Bastoul, C{\'e}dric and Girbal, Sylvain},
  url = {https://hal.archives-ouvertes.fr/hal-01257290},
  note = {%HEVEA\publinkVCBG06.ps.gz},
  booktitle = {{ics \# (ICS)}},
  address = {Cairns, Australia},
  year = {2006},
  hal_id = {hal-01257290},
  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.archives-ouvertes.fr/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}
}
@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.archives-ouvertes.fr/hal-01257288},
  note = {Special issue on Microgrids. %HEVEA\publinkGVBCPST06.ps.gz},
  journal = {{ijpp}},
  volume = {34},
  number = {3},
  pages = {261--317},
  year = {2006},
  month = jun,
  hal_id = {hal-01257288},
  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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01503070/file/cloudlens-jfla17.pdf},
  hal_id = {hal-01503070},
  hal_version = {v1}
}
@techreport{didier:hal-01810176,
  title = {{Parallelisation efficace de larges applications temps-reel}},
  author = {Didier, Keryan and Potop-Butucaru, Dumitru and Iooss, Guillaume and Cohen, Albert and Souyris, Jean and Baufreton, Philippe and Graillat, Amaury},
  url = {https://hal.inria.fr/hal-01810176},
  type = {Research Report},
  number = {RR-9180},
  institution = {{INRIA Paris}},
  year = {2018},
  month = jun,
  keywords = {Hard real-time ; Compilation ; Parallelization ; Offlne scheduling ; Code generation ; Timing analysis ; Many-core ; Lustre ; Scade ; Shared memory},
  pdf = {https://hal.inria.fr/hal-01810176/file/RR-9180.pdf},
  hal_id = {hal-01810176},
  hal_version = {v2}
}
@techreport{didier:hal-01509314,
  title = {{Sheep in wolf's clothing: Implementation models for data-flow multi-threaded software}},
  author = {Didier, Keryan and Cohen, Albert and Gauffriau, Adrien and Graillat, Amaury and Potop-Butucaru, Dumitru},
  url = {https://hal.inria.fr/hal-01509314},
  type = {Research Report},
  number = {RR-9057},
  pages = {31},
  institution = {{Inria Paris}},
  year = {2017},
  month = apr,
  keywords = {synchronous languages ; Kahn process networks ; semantics preservation ; parallel ; execution platform ; langages synchrones ; r{\'e}seaux de Kahn ; plateforme d’ex{\'e}cution ; pr{\'e}servation s{\'e}mantique ; mod{\`e}le d’impl{\'e}mentation ; multi-thread ; parell{\`e}lisme ; Lustre ; Scad},
  pdf = {https://hal.inria.fr/hal-01509314/file/RR-9057.pdf},
  hal_id = {hal-01509314},
  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://hal.inria.fr/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 = {Esterel ; Physical Time ; Real-Time Systems ; Reactive Systems ; Synchronous Languages},
  pdf = {https://hal.inria.fr/hal-01575629/file/PID4935757.pdf},
  hal_id = {hal-01575629},
  hal_version = {v1}
}
@inproceedings{hili:hal-01071208,
  title = {{Model-Based Platform Composition for Embedded System Design}},
  author = {Hili, Nicolas and Fabre, Christian and Dupuy-Chessa, Sophie and Rieu, Dominique and Llopard, Ivan},
  url = {https://hal.inria.fr/hal-01071208},
  booktitle = {{2014 IEEE 8th International Symposium on Embedded Multicore/Manycore SoCs}},
  address = {Aizu-Wakamatsu, Japan},
  organization = {{University of Aizu}},
  year = {2014},
  month = sep,
  hal_id = {hal-01071208},
  hal_version = {v1}
}
@inproceedings{gindraud:hal-01412919,
  title = {{A bounded memory allocator for software-defined global address spaces}},
  author = {Gindraud, Fran{\c c}ois and Rastello, Fabrice and Cohen, Albert and Broquedis, Fran{\c c}ois},
  url = {https://hal.inria.fr/hal-01412919},
  booktitle = {{ISMM 2016 - 2016 ACM SIGPLAN International Symposium on Memory Management}},
  address = {Santa Barbara, United States},
  year = {2016},
  month = jun,
  keywords = { GAS ; Global address space ;  POSoC ;  PGAS ;  memory allocator},
  hal_id = {hal-01412919},
  hal_version = {v1}
}
@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://hal.inria.fr/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{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, J. and Ponnuswany, Sadayappan},
  url = {https://hal.inria.fr/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{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://hal.inria.fr/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{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.archives-ouvertes.fr/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}
}
@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.archives-ouvertes.fr/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}
}
@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.archives-ouvertes.fr/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}
}
@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.archives-ouvertes.fr/hal-01257275},
  journal = {{Journal of Instruction-Level Parallelism}},
  volume = {9},
  pages = {1--26},
  year = {2008},
  hal_id = {hal-01257275},
  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.archives-ouvertes.fr/hal-00875338},
  booktitle = {{Programmability Issues for Heterogeneous Multicores}},
  address = {France},
  year = {2012},
  month = jan,
  pdf = {https://hal.archives-ouvertes.fr/hal-00875338/file/multigrain.pdf},
  hal_id = {hal-00875338},
  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://hal.inria.fr/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://hal.inria.fr/hal-01512286/file/velus-pldi17.pdf},
  hal_id = {hal-01512286},
  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://hal.inria.fr/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://hal.inria.fr/hal-01403830/file/bourke%20%281%29.pdf},
  hal_id = {hal-01403830},
  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.archives-ouvertes.fr/hal-01257293},
  booktitle = {{pact \# (PACT)}},
  address = {St-Louis, Missouri, Unknown Region},
  pages = {291--300},
  year = {2005},
  hal_id = {hal-01257293},
  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://hal.inria.fr/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{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://hal.inria.fr/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}
}
@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.archives-ouvertes.fr/hal-01136491},
  journal = {{ACM Transactions on Architecture and Code Optimization}},
  publisher = {{Association for Computing Machinery}},
  volume = {11},
  number = {3},
  pages = {30},
  year = {2014},
  month = oct,
  doi = {10.1145/2641764},
  keywords = {dataflow programming ; concurrent programming ; dynamic scheduling ; fifo queue ; work stealing ; lock-free algorithm},
  hal_id = {hal-01136491},
  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://hal.inria.fr/hal-01744426},
  journal = {{ACM Transactions on Architecture and Code Optimization}},
  publisher = {{Association for Computing Machinery}},
  volume = {15},
  number = {1},
  pages = {1 - 25},
  year = {2018},
  month = mar,
  doi = {10.1145/3177961},
  keywords = {Polyhedral model ; direct manipulation},
  pdf = {https://hal.inria.fr/hal-01744426/file/TACO_HAL.pdf},
  hal_id = {hal-01744426},
  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://hal.inria.fr/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://hal.inria.fr/hal-00647369/file/ramakrishna_taco.pdf},
  hal_id = {hal-00647369},
  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://hal.inria.fr/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}
}
@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}
}
@article{pop:hal-00786675,
  title = {{OpenStream: Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs}},
  author = {Pop, Antoniu and Cohen, Albert},
  url = {https://hal.inria.fr/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{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://hal.inria.fr/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 ; Data types and structures ; Subtyping},
  pdf = {https://hal.inria.fr/hal-01882137/file/paper.pdf},
  hal_id = {hal-01882137},
  hal_version = {v1}
}
@article{cohen:hal-01257287,
  title = {{In Search of a Program Generator to Implement Generic Transformations for High-Performance Computing}},
  author = {Cohen, Albert and Donadio, S{\'e}bastien and Garzar{\'a}n, Mar{\'i}a J. and Herrmann, Christoph and Kiselyov, Oleg and Padua, David},
  url = {https://hal.archives-ouvertes.fr/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}
}
@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://hal.inria.fr/hal-01242733},
  journal = {{Science of Computer Programming}},
  publisher = {{Elsevier}},
  year = {2015},
  month = jul,
  keywords = {Reactive systems ;  synchronous languages ;  ML ;  type systems ;  compilation},
  hal_id = {hal-01242733},
  hal_version = {v1}
}
@article{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://hal.inria.fr/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 = {affine transformations ; tiling ; Automatic parallelization ; locality optimization ; polyhedral model ; loop transformations},
  hal_id = {hal-01425546},
  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.archives-ouvertes.fr/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},
  hal_id = {hal-01257239},
  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://hal.inria.fr/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://hal.inria.fr/hal-01425564/file/paper.pdf},
  hal_id = {hal-01425564},
  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{cohen:hal-01257243,
  title = {{Mixed-criticality in Railway Systems: A Case Study on Signaling Application}},
  author = {Cohen, Albert and Perrelle, Valentin and Potop-Butucaru, Dumitru and Soubiran, Elie and Zhang, Zhen},
  url = {https://hal.archives-ouvertes.fr/hal-01257243},
  booktitle = {{Workshop on Mixed Criticality for Industrial Systems (WMCIS, associated with Ada-Europe)}},
  address = {Paris, France},
  year = {2014},
  hal_id = {hal-01257243},
  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://hal.inria.fr/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://hal.inria.fr/hal-00716183/file/Touati_hpcs_2012.pdf},
  hal_id = {hal-00716183},
  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://hal.inria.fr/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://hal.inria.fr/hal-01425887/file/main.pdf},
  hal_id = {hal-01425887},
  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://hal.inria.fr/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://hal.inria.fr/hal-01095111/file/WMCIS2014.pdf},
  hal_id = {hal-01095111},
  hal_version = {v1}
}
@article{bourke:hal-00909062,
  title = {{Analyzing an Embedded Sensor with Timed Automata in Uppaal}},
  author = {Bourke, Timothy and Sowmya, Arcot},
  url = {https://hal.inria.fr/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://hal.inria.fr/hal-00909062/file/tecs2012-accepted.pdf},
  hal_id = {hal-00909062},
  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://hal.inria.fr/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://hal.inria.fr/hal-01425140/file/tecs16.pdf},
  hal_id = {hal-01425140},
  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://hal.inria.fr/hal-01408217},
  journal = {{Journal of Automated Reasoning}},
  publisher = {{Springer Verlag}},
  volume = {56},
  pages = {309-341},
  year = {2016},
  month = mar,
  doi = {10.1007/s10817-015-9358-9},
  keywords = {Mobile Ad hoc Networks ; Wireless Mesh Networks ; Interactive Theorem Proving (Isabelle/HOL) ; Compositional Invariant Proofs ; Networks ; Process Algebra},
  pdf = {https://hal.inria.fr/hal-01408217/file/final.pdf},
  hal_id = {hal-01408217},
  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://hal.inria.fr/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://hal.inria.fr/hal-00918653/file/ijpp-article.13_3.pdf},
  hal_id = {hal-00918653},
  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://hal.inria.fr/hal-00764521},
  journal = {{International Journal of Parallel Programming}},
  publisher = {{Springer Verlag}},
  year = {2012},
  month = jul,
  doi = {10.1007/s10766-012-0203-z},
  keywords = {Compilation ; Instruction level parallelism ; Embedded systems ; Code generation ; Periodic register allocation ; Software pipelining},
  pdf = {https://hal.inria.fr/hal-00764521/file/mainSubmitMinPPCMJounal.pdf},
  hal_id = {hal-00764521},
  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.archives-ouvertes.fr/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}
}
@techreport{benveniste:hal-01084069,
  title = {{On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)}},
  author = {Benveniste, Albert and Bourke, Timothy and Caillaud, Beno{\^i}t and Pouzet, Marc},
  url = {https://hal.inria.fr/hal-01084069},
  type = {Research Report},
  number = {RR-8630},
  pages = {30},
  institution = {{Inria}},
  year = {2014},
  month = nov,
  keywords = {Hybrid systems ; DAE ; index ; nonstandard analysis},
  pdf = {https://hal.inria.fr/hal-01084069/file/RR-8630.pdf},
  hal_id = {hal-01084069},
  hal_version = {v1}
}