rapubs.bib

@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{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{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}
}
@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}
}
@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{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}
}
@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}
}
@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 - 18th International Conference on Principles and Practice of Constraint Programming - 2012}},
  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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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{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}
}
@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}
}
@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}
}
@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{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{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}
}
@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}
}
@phdthesis{baudart:tel-01507595,
  title = {{A Synchronous Approach to Quasi-Periodic Systems}},
  author = {Baudart, Guillaume},
  url = {https://hal.inria.fr/tel-01507595},
  school = {{Ecole normale sup{\'e}rieure - ENS PARIS}},
  year = {2017},
  month = mar,
  keywords = {Synchronous languages ;  Distributed embedded systems ;  Quasi-synchrony ;  Loosely Time-Triggered Architectures ;  Timed Automata ; Langages synchrones ; Syst{\`e}mes embarqu{\'e}s distribu{\'e}s ; Abstraction qausi-synchone ; Architectures LTTA ; Automates temporis{\'e}s},
  type = {Theses},
  pdf = {https://hal.inria.fr/tel-01507595/file/baudart-thesis.pdf},
  hal_id = {tel-01507595},
  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}
}
@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-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 = {{2\nd HiPEAC Industrial Workshop}},
  address = {Eindhoven, The, Netherlands},
  year = {2006},
  hal_id = {hal-01257291},
  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{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 or Invalid Region},
  pages = {291--300},
  year = {2005},
  hal_id = {hal-01257293},
  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}
}
@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{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}
}
@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}
}
@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 = {http://hal.upmc.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{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{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 or Invalid Region},
  year = {2014},
  hal_id = {hal-01257241},
  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}
}
@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}
}
@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{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}
}
@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}
}
@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}
}
@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 = {{}},
  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}
}
@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}
}
@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{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}
}
@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}
}
@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}
}
@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}
}
@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{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{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{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{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{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}
}
@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}
}
@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}
}
@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}
}
@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 = {http://hal.upmc.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 = {http://hal.upmc.fr/hal-01343686/file/iwomp2016.pdf},
  hal_id = {hal-01343686},
  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}
}
@incollection{courcelle:hal-01239749,
  title = {{Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations}},
  author = {Courcelle, Bruno and Kahn, Gilles and Vuillemin, Jean},
  url = {https://hal.archives-ouvertes.fr/hal-01239749},
  booktitle = {{From Semantics to Computer ScienceEssays in Honour of Gilles Kahn}},
  series = {From Semantics to Computer Science Essays in Honour of Gilles Kahn},
  year = {1974},
  doi = {10.1017/CBO9780511770524.009},
  pdf = {https://hal.archives-ouvertes.fr/hal-01239749/file/From%20Semantics%20to%20Computer%20Science_%20Essays%20in%20Honour%20of%20Gilles%20Kahn.pdf},
  hal_id = {hal-01239749},
  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}
}
@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-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{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}
}
@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}
}
@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{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}
}
@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{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{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 = {{2\nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART)}},
  address = {Gothenburg, Sweden},
  year = {2008},
  hal_id = {hal-01257277},
  hal_version = {v1}
}
@inproceedings{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 or Invalid Region},
  year = {2007},
  hal_id = {hal-01257279},
  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}
}
@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{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}
}
@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}
}
@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}
}
@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 or Invalid Region},
  pages = {151--160},
  year = {2005},
  hal_id = {hal-01257296},
  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, New York, Unknown or Invalid Region},
  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 = {{2\nd MetaOCaml Workshop (associated with GPCE)}},
  address = {Tallinn, Estonia},
  year = {2005},
  hal_id = {hal-01257297},
  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{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}
}
@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}
}
@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}
}
@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 = {{2\nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART)}},
  address = {Gothenburg, Sweden},
  year = {2008},
  hal_id = {hal-01257272},
  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}
}
@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}
}
@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}
}
@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}
}
@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{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}
}
@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 or Invalid Region},
  year = {2006},
  hal_id = {hal-01257284},
  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}
}
@inproceedings{cohen:hal-01257258,
  title = {{Who wants to adopt a polyhedral compiler?}},
  author = {Cohen, Albert},
  url = {https://hal.archives-ouvertes.fr/hal-01257258},
  booktitle = {{3\rd Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC)}},
  address = {Unknown, Unknown or Invalid Region},
  year = {2013},
  hal_id = {hal-01257258},
  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 = {Unknown, Unknown or Invalid Region},
  year = {2008},
  hal_id = {hal-01257274},
  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{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}
}
@inproceedings{trifunovi: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 = {{3\rd GCC Research Opportunities Workshop (GROW, associated with CGO)}},
  address = {Chamonix, France},
  year = {2011},
  hal_id = {hal-01257266},
  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, Unknown or Invalid Region},
  year = {2008},
  hal_id = {hal-01257273},
  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}
}
@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{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 = {{33{\th} \# popl \# (POPL)}},
  address = {Charleston, South Carolina, Unknown or Invalid Region},
  pages = {180--193},
  year = {2006},
  hal_id = {hal-01257286},
  hal_version = {v1}
}
@article{girbal:hal-01257288,
  title = {{Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies}},
  author = {Girbal, Sylvain and Vasilache, Nicolas and Bastoul, C{\'e}dric and Cohen, Albert and Parello, David and Sigler, Marc and Temam, Olivier},
  url = {https://hal.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-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 ; Simulation ; Real-Time Systems ; Formal Specifications},
  pdf = {https://hal.inria.fr/hal-01575621/file/fdl2017.pdf},
  hal_id = {hal-01575621},
  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 = {{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 = {Real-Time Systems ; Reactive Systems ; Synchronous Languages ; Physical Time ; Esterel},
  pdf = {https://hal.inria.fr/hal-01575629/file/PID4935757.pdf},
  hal_id = {hal-01575629},
  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}
}
@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{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{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}
}
@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{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{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}
}
@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}
}
@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{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}
}
@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}
}
@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{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{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{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{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{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{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}
}
@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{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{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}
}
@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}
}
@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}
}
@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}
}
@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{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}
}
@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}
}
@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}
}
@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{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}
}
@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}
}
@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 = {22},
  year = {2013},
  doi = {10.1145/2487241.2487248},
  keywords = {Relaxed memory models ; semantics ; verified compilation},
  hal_id = {hal-00909076},
  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}
}
@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{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}
}
@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}
}
@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 or Invalid Region},
  year = {2006},
  hal_id = {hal-01257289},
  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}
}
@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{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}
}
@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 = {18},
  institution = {{Inria}},
  year = {2017},
  month = feb,
  keywords = {Hybrid systems ;  DAE ;  index ;  nonstandard analysis ; analyse non standard ; DAE systems ; index ; syst{\`e}mes hybrides},
  pdf = {https://hal.inria.fr/hal-01343967/file/RR8933V2.pdf},
  hal_id = {hal-01343967},
  hal_version = {v2}
}
@inproceedings{giorgi:hal-01257257,
  title = {{Bridging the Exascale Programming Gap with Dataflow-Based Technologies}},
  author = {Giorgi, Roberto and Cohen, Albert and Mendelson, Avi and Navarro, Nacho and Ungerer, Theo and Zuckerman, St{\'e}phane},
  url = {https://hal.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{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{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{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{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{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'13 - 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}
}
@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}
}
@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'13 - 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{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}
}
@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{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}
}
@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}
}
@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{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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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},
  year = {2013},
  doi = {10.1145/2400682.2400713},
  hal_id = {hal-00786677},
  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{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{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{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{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{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{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}
}
@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}
}
@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}
}