Bibliography

Publications of the year

Articles in International Peer-Reviewed Journals

• 1S. G. Bhaskaracharya, U. Bondhugula, A. Cohen.
  
  Automatic Storage Optimization for Arrays, in: ACM Trans. On Programming Languages and Systems (TOPLAS), 2016, Original submission, candidate for presentation at PLDI 2016.
  
  https://hal.archives-ouvertes.fr/hal-01257223
• 2U. Bondhugula, A. Acharya, A. Cohen.
  
  The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests, in: ACM Trans. On Programming Languages and Systems (TOPLAS), 2016.
  
  https://hal.archives-ouvertes.fr/hal-01257226
• 3T. Bourke, R. J. van Glabbeek, P. Höfner.
  
  Mechanizing a Process Algebra for Network Protocols, in: Journal of Automated Reasoning, 2016. [ DOI : 10.1007/s10817-015-9358-9 ]
  
  https://hal.inria.fr/hal-01250185
• 4M. H. Forouzanfar, L. Alexander, H. R. Anderson, V. F. Bachman, S. Biryukov, M. Brauer, R. Burnett, D. Casey, M. M. Coates, A. Cohen, K. Delwiche, K. Estep, J. J. Frostad, K. C. Astha, H. H. Kyu, M. Moradi-Lakeh, M. Ng, E. L. Slepak, B. A. Thomas, J. Wagner, G. M. Aasvang, C. Abbafati, A. Abbasoglu Ozgoren, F. Abd-Allah, S. F. Abera, V. Aboyans, B. Abraham, J. P. Abraham, I. Abubakar, N. M. E. Abu-Rmeileh, T. C. Aburto, T. Achoki, A. Adelekan, K. Adofo, A. K. Adou, J. C. Adsuar, A. Afshin, E. E. Agardh, M. J. Al Khabouri, F. H. Al Lami, S. S. Alam, D. Alasfoor, M. I. Albittar, M. A. Alegretti, A. V. Aleman, Z. A. Alemu, R. Alfonso-Cristancho, S. Alhabib, R. Ali, M. K. Ali, F. Alla, P. Allebeck, P. J. Allen, U. Alsharif, E. Alvarez, N. Alvis-Guzman, A. A. Amankwaa, A. T. Amare, E. A. Ameh, O. Ameli, H. Amini, W. Ammar, B. O. Anderson, C. A. T. Antonio, P. Anwari, S. Argeseanu Cunningham, J. Arnlöv, V. S. A. Arsenijevic, A. Artaman, R. J. Asghar, R. Assadi, L. S. Atkins, C. Atkinson, M. A. Avila, B. Awuah, A. Badawi, M. C. Bahit, T. Bakfalouni, K. Balakrishnan, S. Balalla, R. K. Balu, A. Banerjee, R. M. Barber, S. L. Barker-Collo, S. Barquera, L. Barregard, L. H. Barrero, T. Barrientos-Gutierrez, A. C. Basto-Abreu, A. Basu, S. Basu, M. O. Basulaiman, C. Batis Ruvalcaba, J. Beardsley, N. Bedi, T. Bekele, M. L. Bell, C. Benjet, D. A. Bennett, H. Benzian, E. Bernabé, T. J. Beyene, N. Bhala, A. Bhalla, Z. A. Bhutta, B. Bikbov, A. A. Bin Abdulhak, J. D. Blore, F. M. Blyth, M. A. Bohensky, B. Bora Başara, G. Borges, N. M. Bornstein, D. Bose, S. Boufous, R. R. Bourne, M. Brainin, A. Brazinova, N. J. Breitborde, H. Brenner, A. D. M. Briggs, D. M. Broday, P. M. Brooks, N. G. Bruce, T. S. Brugha, B. Brunekreef, R. Buchbinder, L. N. Bui, G. Bukhman, A. G. Bulloch, M. Burch, P. G. J. Burney, I. R. Campos-Nonato, J. C. Campuzano, A. J. Cantoral, J. Caravanos, R. Cárdenas, E. Cardis, D. O. Carpenter, V. Caso, C. A. Castañeda-Orjuela, R. E. Castro, F. Catalá-López, F. Cavalleri, A. Çavlin, V. K. Chadha, J.-C. Chang, F. J. Charlson, H. Chen, W. Chen, Z. Chen, P. P. Chiang, O. Chimed-Ochir, R. Chowdhury, C. A. Christophi, T.-W. Chuang, S. S. Chugh, M. Cirillo, T. K. D. Claßen, V. Colistro, M. Colomar, S. M. Colquhoun, A. G. Contreras, C. Cooper, K. Cooperrider, L. T. Cooper, J. Coresh, K. J. Courville, M. H. Criqui, L. Cuevas-Nasu, J. Damsere-Derry, H. Danawi, L. Dandona, R. Dandona, P. I. Dargan, A. Davis, D. V. Davitoiu, A. Dayama, E. F. de Castro, V. De la Cruz-Góngora, D. De Leo, G. de Lima, L. Degenhardt, B. del Pozo-Cruz, R. P. Dellavalle, K. Deribe, S. Derrett, D. C. Des Jarlais, M. Dessalegn, G. A. deVeber, K. M. Devries, S. D. Dharmaratne, M. K. Dherani, D. Dicker, E. L. Ding, K. Dokova, E. R. Dorsey, T. R. Driscoll, L. Duan, A. M. Durrani, B. E. Ebel, R. G. Ellenbogen, Y. M. Elshrek, M. Endres, S. P. Ermakov, H. E. Erskine, B. Eshrati, A. Esteghamati, S. Fahimi, E. J. A. Faraon, F. Farzadfar, D. F. J. Fay, V. L. Feigin, A. B. Feigl, S.-M. Fereshtehnejad, A. J. Ferrari, C. P. Ferri, A. D. Flaxman, T. D. Fleming, N. Foigt, K. J. Foreman, U. F. Paleo, R. C. Franklin, B. Gabbe, L. Gaffikin, E. Gakidou, A. Gamkrelidze, F. G. Gankpé, R. T. Gansevoort, F. A. García-Guerra, E. Gasana, J. M. Geleijnse, B. D. Gessner, P. Gething, K. B. Gibney, R. F. Gillum, I. A. M. Ginawi, M. Giroud, G. Giussani, S. Goenka, K. Goginashvili, H. Gomez Dantes, P. Gona, T. Gonzalez de Cosio, D. González-Castell, C. C. Gotay, A. Goto, H. N. Gouda, R. L. Guerrant, H. C. Gugnani, F. Guillemin, D. Gunnell, R. Gupta, R. Gupta, R. A. Gutiérrez, N. Hafezi-Nejad, H. Hagan, M. Hagstromer, Y. A. Halasa, R. R. Hamadeh, M. Hammami, G. J. Hankey, Y. Hao, H. L. Harb, T. N. Haregu, J. M. Haro, R. Havmoeller, S. I. Hay, M. T. Hedayati, I. B. Heredia-Pi, L. Hernandez, K. R. Heuton, P. Heydarpour, M. Hijar, H. W. Hoek, H. J. Hoffman, J. C. Hornberger, H. D. Hosgood, D. G. Hoy, M. Hsairi, G. Hu, H. Hu, C. Huang, J. J. Huang, B. J. Hubbell, L. Huiart, A. Husseini, M. L. Iannarone, K. M. Iburg, B. T. Idrisov, N. Ikeda, K. Innos, M. Inoue, F. Islami, S. Ismayilova, K. H. Jacobsen, H. A. Jansen, D. L. Jarvis, S. K. Jassal, A. Jauregui, S. Jayaraman, P. Jeemon, P. N. Jensen, V. Jha, F. Jiang, G. Jiang, Y. Jiang, J. B. Jonas, K. Juel, H. Kan, S. S. Kany Roseline, N. E. Karam, A. Karch, C. K. Karema, G. Karthikeyan, A. Kaul, N. Kawakami, D. S. Kazi, A. H. Kemp, A. P. Kengne, A. Keren, Y. S. Khader, S. E. A. H. Khalifa, E. A. Khan, Y.-H. Khang, S. Khatibzadeh, I. Khonelidze, C. Kieling, D. Kim, S. Kim, Y. Kim, R. W. Kimokoti, Y. Kinfu, J. M. Kinge, B. M. Kissela, M. Kivipelto, L. D. Knibbs, A. K. Knudsen, Y. Kokubo, M. R. Kose, S. Kosen, A. Kraemer, M. Kravchenko, S. Krishnaswami, H. Kromhout, T. Ku, B. Kuate Defo, B. Kucuk Bicer, E. J. Kuipers, C. Kulkarni, V. S. Kulkarni, G. A. Kumar, G. F. Kwan, T. Lai, A. Lakshmana Balaji, R. Lalloo, T. Lallukka, H. Lam, Q. Lan, V. C. Lansingh, H. J. Larson, A. Larsson, D. O. Laryea, P. M. Lavados, A. E. Lawrynowicz, J. L. Leasher, J.-T. Lee, J. Leigh, R. Leung, M. Levi, Y. Li, Y. Li, J. Liang, X. Liang, S. S. Lim, M. P. Lindsay, S. E. Lipshultz, S. Liu, Y. Liu, B. K. Lloyd, G. Logroscino, S. J. London, N. Lopez, J. Lortet-Tieulent, P. A. Lotufo, R. Lozano, R. Lunevicius, J. Ma, S. Ma, V. M. P. Machado, M. F. Macintyre, C. Magis-Rodriguez, A. A. Mahdi, M. Majdan, R. Malekzadeh, S. Mangalam, C. C. Mapoma, M. Marape, W. Marcenes, D. J. Margolis, C. Margono, G. B. Marks, R. V. Martin, M. B. Marzan, M. T. Mashal, F. Masiye, A. J. Mason-Jones, K. Matsushita, R. Matzopoulos, B. M. Mayosi, T. T. Mazorodze, A. C. McKay, M. McKee, A. McLain, P. A. Meaney, C. Medina, M. M. Mehndiratta, F. Mejia-Rodriguez, W. Mekonnen, Y. A. Melaku, M. Meltzer, Z. A. Memish, W. Mendoza, G. A. Mensah, A. Meretoja, F. A. Mhimbira, R. Micha, T. R. Miller, E. J. Mills, A. Misganaw, S. Mishra, N. Mohamed Ibrahim, K. A. Mohammad, A. H. Mokdad, G. L. Mola, L. Monasta, J. C. Montañez Hernandez, M. Montico, A. R. Moore, L. Morawska, R. Mori, J. Moschandreas, W. N. Moturi, D. Mozaffarian, U. O. Mueller, M. Mukaigawara, E. C. Mullany, K. S. Murthy, M. Naghavi, Z. Nahas, A. Naheed, K. S. Naidoo, L. Naldi, D. Nand, V. Nangia, K. M. V. Narayan, D. Nash, B. Neal, C. Nejjari, S. P. Neupane, C. R. Newton, F. N. Ngalesoni, J. d. D. Ngirabega, G. Nguyen, N. T. Nguyen, M. J. Nieuwenhuijsen, M. I. Nisar, J. R. Nogueira, J. M. Nolla, S. Nolte, O. F. Norheim, R. E. Norman, B. Norrving, L. Nyakarahuka, I.-H. Oh, T. Ohkubo, B. O. Olusanya, S. B. Omer, J. N. Opio, R. Orozco, R. S. Pagcatipunan, A. W. Pain, J. D. Pandian, C. I. A. Panelo, C. Papachristou, E.-K. Park, C. D. Parry, A. J. Paternina Caicedo, S. B. Patten, V. K. Paul, B. I. Pavlin, N. Pearce, L. S. Pedraza, A. Pedroza, L. Pejin Stokic, A. Pekericli, D. M. Pereira, R. Perez-Padilla, F. Perez-Ruiz, N. Perico, S. A. L. Perry, A. Pervaiz, K. Pesudovs, C. B. Peterson, M. Petzold, M. R. Phillips, H. P. Phua, D. Plass, D. Poenaru, G. V. Polanczyk, S. Polinder, C. D. Pond, C. A. Pope, D. Pope, S. Popova, F. Pourmalek, J. Powles, D. Prabhakaran, N. M. Prasad, D. M. Qato, A. D. Quezada, D. A. A. Quistberg, L. Racapé, A. Rafay, K. Rahimi, V. Rahimi-Movaghar, S. U. Rahman, M. Raju, I. Rakovac, S. M. Rana, M. Rao, H. Razavi, K. S. Reddy, A. H. Refaat, J. Rehm, G. Remuzzi, A. L. Ribeiro, P. M. Riccio, L. Richardson, A. Riederer, M. Robinson, A. Roca, A. Rodriguez, D. Rojas-Rueda, I. Romieu, L. Ronfani, R. Room, N. Roy, G. M. Ruhago, L. Rushton, N. Sabin, R. L. Sacco, S. Saha, R. Sahathevan, M. A. Sahraian, J. A. Salomon, D. Salvo, U. K. Sampson, J. R. Sanabria, L. M. Sanchez, T. G. Sánchez-Pimienta, L. Sanchez-Riera, L. Sandar, I. S. Santos, A. Sapkota, M. Satpathy, J. E. Saunders, M. Sawhney, M. I. Saylan, P. Scarborough, J. C. Schmidt, I. J. C. Schneider, B. Schöttker, D. C. Schwebel, J. G. Scott, S. Seedat, S. G. Sepanlou, B. Serdar, E. E. Servan-Mori, G. Shaddick, S. Shahraz, T. S. Levy, S. Shangguan, J. She, S. Sheikhbahaei, K. Shibuya, H. H. Shin, Y. Shinohara, R. Shiri, K. Shishani, I. Shiue, I. D. Sigfusdottir, D. H. Silberberg, E. P. Simard, S. Sindi, A. Singh, G. M. Singh, J. A. Singh, V. Skirbekk, K. Sliwa, M. Soljak, S. Soneji, K. Søreide, S. Soshnikov, L. A. Sposato, C. T. Sreeramareddy, N. J. C. Stapelberg, V. Stathopoulou, N. Steckling, D. J. Stein, M. B. Stein, N. Stephens, H. Stöckl, K. Straif, K. Stroumpoulis, L. Sturua, B. F. Sunguya, S. Swaminathan, M. Swaroop, B. L. Sykes, K. M. Tabb, K. Takahashi, R. T. Talongwa, N. Tandon, D. Tanne, M. Tanner, M. Tavakkoli, B. J. Te Ao, C. M. Teixeira, M. M. Téllez Rojo, A. S. Terkawi, J. L. Texcalac-Sangrador, S. V. Thackway, B. Thomson, A. L. Thorne-Lyman, A. G. Thrift, G. D. Thurston, T. Tillmann, M. Tobollik, M. Tonelli, F. Topouzis, J. A. Towbin, H. Toyoshima, J. Traebert, B. X. Tran, L. Trasande, M. Trillini, U. Trujillo, Z. T. Dimbuene, M. Tsilimbaris, E. M. Tuzcu, U. S. Uchendu, K. N. Ukwaja, S. B. Uzun, S. van de Vijver, R. Van Dingenen, C. H. van Gool, J. Van Os, Y. Y. Varakin, T. J. Vasankari, A. M. N. Vasconcelos, M. S. Vavilala, L. J. Veerman, G. Velasquez-Melendez, N. Venketasubramanian, L. Vijayakumar, S. Villalpando, F. S. Violante, V. V. Vlassov, S. E. Vollset, G. R. Wagner, S. G. Waller, M. T. Wallin, X. Wan, H. Wang, J. Wang, L. Wang, W. Wang, Y. Wang, T. S. Warouw, C. H. Watts, S. Weichenthal, E. Weiderpass, R. G. Weintraub, A. Werdecker, K. R. Wessells, R. Westerman, H. A. Whiteford, J. D. Wilkinson, H. C. Williams, T. N. Williams, S. M. Woldeyohannes, C. D. A. Wolfe, J. Q. Wong, A. D. Woolf, J. L. Wright, B. Wurtz, G. Xu, L. L. Yan, G. Yang, Y. Yano, P. Ye, M. Yenesew, G. K. Yentür, P. Yip, N. Yonemoto, S.-J. Yoon, M. Z. Younis, Z. Younoussi, C. Yu, M. E. Zaki, Y. Zhao, Y. Zheng, M. Zhou, J. Zhu, S. Zhu, X. Zou, J. R. Zunt, A. D. Lopez, T. Vos, C. J. Murray.
  
  Global, regional, and national comparative risk assessment of 79 behavioural, environmental and occupational, and metabolic risks or clusters of risks in 188 countries, 1990-2013: a systematic analysis for the Global Burden of Disease Study 2013, in: Lancet, December 2015, vol. 386, n^o 10010, pp. 2287-323.
  
  https://hal-unilim.archives-ouvertes.fr/hal-01262737
• 5M. Pouzet, C. Pasteur, L. Mandel.
  
  Time Refinement in a Functional Synchronous Language, in: Science of Computer Programming, July 2015.
  
  https://hal.inria.fr/hal-01242733
• 6S. Verdoolaege, T. Grosser, A. Cohen.
  
  Polyhedral AST generation is more than scanning polyhedra, in: ACM Letters on Programming Languages and Systems, 2015, vol. 37, n^o 4, Original submission, candidate for presentation at PLDI 2016.
  
  https://hal.archives-ouvertes.fr/hal-01257239

International Conferences with Proceedings

• 7R. Baghdadi, U. Beaugnon, A. Cohen, T. Grosser, M. Kruse, C. Reddy, S. Verdoolaege, A. Betts, A. F. Donaldson, J. Ketema, J. Absar, R. Dávid, S. V. Haastregt, A. Kravets, A. Lokhmotov, E. Hajiyev.
  
  PENCIL: a Platform-Neutral Compute Intermediate Language for Accelerator Programming, in: Parallel Architectures and Compilation Techniques (PACT), San Francisco, California, United States, 2015.
  
  https://hal.archives-ouvertes.fr/hal-01257236
• 8G. Baudart, T. Bourke, A. Benveniste.
  
  Loosely Time-Triggered Architectures: Improvements and Comparisons, in: Proceedings of the 12th International Conference on Embedded Software (EMSOFT '15), Amsterdam, Netherlands, October 2015. [ DOI : 10.1109/EMSOFT.2015.7318263 ]
  
  https://hal.inria.fr/hal-01243005
• 9S. G. Bhaskaracharya, U. Bondhugula, A. Cohen.
  
  SMO: An Integrated Approach To Intra-Array and Inter-Array Storage Optimization, in: Symp. on Principles of Programming Languages (POPL), St Petersburg, FL, United States, 2016.
  
  https://hal.archives-ouvertes.fr/hal-01257228
• 10A. Cohen.
  
  Challenges in Correct-by-Construction Multiprocessor Programming, in: EPFL-Inria Workshop, Lausanne, Switzerland, 2015.
  
  https://hal.archives-ouvertes.fr/hal-01257233
• 11A. Cohen.
  
  Streaming Task Parallelism, in: Intl. Conf. on Supercomputing (ICS), Newport Beach, California, United States, 2015, Keynote presentation.
  
  https://hal.archives-ouvertes.fr/hal-01257230
• 12A. Cohen, A. Darte, P. Feautrier.
  
  Static Analysis of OpenStream Programs, in: 6th International Workshop on Polyhedral Compilation Techniques (IMPACT'16), held with HIPEAC'16, Prague, Czech Republic, Proceedings of the IMPACT series, http://impact.gforge.inria.fr/, Michelle Strout and Tomofumi Yuki, January 2016.
  
  https://hal.inria.fr/hal-01251845
• 13A. Cohen, V. Perrelle, D. Potop-Butucaru, M. Pouzet, E. Soubiran, Z. Zhang.
  
  Hard Real Time and Mixed Time Criticality on Off-The-Shelf Embedded Multi-Cores, in: International Conference on Embedded and Real-Time Software and Systems (ERTS²), Toulouse, France, 2016.
  
  https://hal.archives-ouvertes.fr/hal-01257225
• 14X. K. Do, S. Louise, A. Cohen.
  
  Managing the Latency of Data-Dependent Tasks in Embedded Streaming Applications, in: IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2015), Turin, Italy, 2015.
  
  https://hal.archives-ouvertes.fr/hal-01257231
• 15X. K. Do, S. Louise, A. Cohen.
  
  Transaction Parameterized Dataflow: A Model for Context-Dependent Streaming Applications, in: Design, Automation & Test in Europe Conference & Exhibition (DATE), Dresden, Germany, 2016.
  
  https://hal.archives-ouvertes.fr/hal-01257227
• 16X. K. Do, S. Louise, A. Cohen, P. Dubrulle, T. Goubier, L. Cudennec, P. Doré.
  
  An Empirical Evaluation of a Programming Model for Context-Dependent Real-time Streaming Applications, in: Workshop on Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems (ALCHEMY 2015, associated with ICCS), Reykjavik, Iceland, 2015.
  
  https://hal.archives-ouvertes.fr/hal-01257237
• 17M. Pouzet, T. Bourke, C. Pasteur, P. Bruno, J.-L. Colaço.
  
  A Synchronous-based Code Generator For Explicit Hybrid Systems Languages, in: International Conference on Compiler Construction (CC), London, United Kingdom, LNCS, July 2015.
  
  https://hal.inria.fr/hal-01242732
• 18V. Vafeiadis, T. Balabonski, S. Chakraborty, R. Morisset, F. Zappa Nardelli.
  
  Common compiler optimisations are invalid in the C11 memory model and what we can do about it, in: POPL 2015 - 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India, January 2015.
  
  https://hal.inria.fr/hal-01089047
• 19S. Verdoolaege, A. Cohen.
  
  Live Range Reordering, in: 6þ Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), Prag, Czech Republic, 2016.
  
  https://hal.archives-ouvertes.fr/hal-01257224

Conferences without Proceedings

• 20A. Cohen, V. Perrelle, D. Potop-Butucaru, M. Pouzet, E. Soubiran, Z. Zhang.
  
  Hard Real Time and Mixed Time Criticality on Off-The-Shelf Embedded Multi-Cores, in: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Toulouse, France, January 2016.
  
  https://hal.archives-ouvertes.fr/hal-01259157
• 21G. Richards, F. Zappa Nardelli, V. Jan.
  
  Concrete Types for TypeScript, in: 29th European Conference on Object-Oriented Programming (ECOOP 2015), Prague, Czech Republic, July 2015. [ DOI : 10.4230/LIPIcs.ECOOP.2015.76 ]
  
  https://hal.inria.fr/hal-01239167

Scientific Books (or Scientific Book chapters)

• 22Pencil A Platform-Neutral Compute Intermediate Language for DSL Compilers, January 2015.
  
  https://hal.archives-ouvertes.fr/hal-01165017
• 23S. Pop, A. Cohen.
  
  SSA-based Compiler Design, in: SSA-based Compiler Design, F. Rastello (editor), springer, August 2016, vol. Loop tree and induction variables, ISBN 978-1-4419-6201-0.
  
  https://hal.archives-ouvertes.fr/hal-01257229

Books or Proceedings Editing

• 24A. Cohen (editor)
  
  28th International Conference on the Architecture of Computing Systems (ARCS), LNCS, Springer, Porto, Portugal, March 2015, n^o 9017.
  
  https://hal.archives-ouvertes.fr/hal-01257238
• 25A. Cohen, D. Grove (editors)
  
  Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), ACM, Burlingame, California, United States, February 2015.
  
  https://hal.archives-ouvertes.fr/hal-01257234

Internal Reports

• 26R. Baghdadi, A. Cohen, T. Grosser, S. Verdoolaege, A. Lokhmotov, J. Absar, S. Van Haastregt, A. Kravets, A. Donaldson.
  
  PENCIL Language Specification, Inria, May 2015, n^o RR-8706, 37 p.
  
  https://hal.inria.fr/hal-01154812
• 27G. Baudart, T. Bourke, M. Pouzet.
  
  Soundness of the Quasi-Synchronous Abstraction, Inria Paris-Rocquencourt ; Inria, August 2015, n^o RR-8755, 19 p.
  
  https://hal.inria.fr/hal-01175571
• 28A. Cohen, A. Darte, P. Feautrier.
  
  Static Analysis of OpenStream Programs, CNRS ; Inria ; ENS Lyon, January 2016, n^o RR-8764, 26 p, Corresponding publication at IMPACT'16 (http://impact.gforge.inria.fr/impact2016).
  
  https://hal.inria.fr/hal-01184408
• 29S. Verdoolaege.
  
  PENCIL support in pet and PPCG, Inria Paris-Rocquencourt ; Inria, March 2015, n^o RT-0457.
  
  https://hal.inria.fr/hal-01133962

References in notes

• 30R. Baghdadi, A. Cohen, S. Verdoolaege, K. Trifunović.
  
  Improved Loop Tiling based on the Removal of Spurious False Dependences, in: ACM Transactions on Architecture and Code Optimization, 2013, vol. 9, n^o 4, Selected for presentation at the HiPEAC 2013 Conf. [ DOI : 10.1145/2400682.2400711 ]
  
  https://hal.inria.fr/hal-00786674
• 31D. Biernacki, J.-L. Colaço, G. Hamon, M. Pouzet.
  
  Clock-directed Modular Code Generation of Synchronous Data-flow Languages, in: ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Tucson, Arizona, June 2008.
• 32F. Boussinot, R. de Simone.
  
  The SL synchronous language, in: IEEE Transaction on Software Engineering, 1996.
• 33P. Caspi, M. Pouzet.
  
  Synchronous Kahn Networks, in: ACM SIGPLAN International Conference on Functional Programming (ICFP), Philadelphia, Pensylvania, May 1996.
• 34P. Caspi, M. Pouzet.
  
  A Co-iterative Characterization of Synchronous Stream Functions, in: Coalgebraic Methods in Computer Science (CMCS'98), Electronic Notes in Theoretical Computer Science, March 1998, Extended version available as a VERIMAG tech. report no. 97–07.
• 35A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau, M. Pouzet.
  
  Synchroning Periodic Clocks, in: ACM International Conference on Embedded Software (EMSOFT'05), Jersey city, New Jersey, USA, September 2005.
• 36A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau, M. Pouzet.
  
  $N$-Synchronous Kahn Networks: a Relaxed Model of Synchrony for Real-Time Systems, in: ACM International Conference on Principles of Programming Languages (POPL'06), Charleston, South Carolina, USA, January 2006.
• 37A. Cohen, S. Girbal, D. Parello, M. Sigler, O. Temam, N. Vasilache.
  
  Facilitating the Search for Compositions of Program Transformations, in: Intl. Conf. on Supercomputing (ICS'05), Boston, Massachusetts, June 2005, pp. 151–160.
• 38A. Cohen, S. Girbal, O. Temam.
  
  A Polyhedral Approach to Ease the Composition of Program Transformations, in: Euro-Par'04, Pisa, Italy, LNCS, Springer-Verlag, August 2004, n^o 3149, pp. 292–303.
• 39A. Cohen, T. Grosser, P. H. J. Kelly, J. Ramanujam, P. Sadayappan, S. Verdoolaege.
  
  Split Tiling for GPUs: Automatic Parallelization Using Trapezoidal Tiles to Reconcile Parallelism and Locality, avoiding Divergence and Load Imbalance, in: GPGPU 6 - Sixth Workshop on General Purpose Processing Using GPUs, Houston, United States, March 2013.
  
  https://hal.inria.fr/hal-00786812
• 40A. Cohen, L. Mandel, F. Plateau, M. Pouzet.
  
  Abstraction of Clocks in Synchronous Data-flow Systems, in: The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS), Bangalore, India, December 2008.
• 41A. Cohen, L. Mandel, F. Plateau, M. Pouzet.
  
  Relaxing Synchronous Composition with Clock Abstraction, 2009, Workshop on Hardware Design using Functional languages (HFL 09) - ETAPS.
  
  http://hal.inria.fr/hal-00645333
• 42J.-L. Colaço, G. Hamon, M. Pouzet.
  
  Mixing Signals and Modes in Synchronous Data-flow Systems, in: ACM International Conference on Embedded Software (EMSOFT'06), Seoul, South Korea, October 2006.
• 43J.-L. Colaço, B. Pagano, M. Pouzet.
  
  A Conservative Extension of Synchronous Data-flow with State Machines, in: ACM International Conference on Embedded Software (EMSOFT'05), Jersey city, New Jersey, USA, September 2005.
• 44J.-L. Colaço, M. Pouzet.
  
  Clocks as First Class Abstract Types, in: Third International Conference on Embedded Software (EMSOFT'03), Philadelphia, Pennsylvania, USA, october 2003.
• 45J.-L. Colaço, M. Pouzet.
  
  Type-based Initialization Analysis of a Synchronous Data-flow Language, in: International Journal on Software Tools for Technology Transfer (STTT), August 2004, vol. 6, n^o 3, pp. 245–255.
• 46P. Cuoq, M. Pouzet.
  
  Modular Causality in a Synchronous Stream Language, in: European Symposium on Programming (ESOP'01), Genova, Italy, April 2001.
• 47P. Feautrier.
  
  Some Efficient Solutions to the Affine Scheduling Problem, Part II, multidimensional time, in: Intl. J. of Parallel Programming, December 1992, vol. 21, n^o 6, pp. 389-420, See also Part I, one dimensional time, 21(5):315–348.
• 48A. Gamatié, E. Rutten, H. Yu, P. Boulet, J.-L. Dekeyser.
  
  Synchronous Modeling and Analysis of Data Intensive Applications, in: EURASIP Journal on Embedded Systems, 2008.
• 49S. Girbal, N. Vasilache, C. Bastoul, A. Cohen, D. Parello, M. Sigler, O. Temam.
  
  Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies, in: Intl. J. of Parallel Programming, June 2006, vol. 34, n^o 3, pp. 261–317, Special issue on Microgrids.
• 50T. Grosser, A. Cohen, J. Holewinski, P. Sadayappan, S. Verdoolaege.
  
  Hybrid Hexagonal/Classical Tiling for GPUs, in: Intl. Symp. on Code Generation and Optimization (CGO), Orlando, FL, United States, February 2014.
  
  https://hal.inria.fr/hal-00911177
• 51T. Grosser, A. Größlinger, C. Lengauer.
  
  Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation, in: Parallel Processing Letters, 2012, vol. 22, n^o 4.
• 52A.-C. Guillou, F. Quilleré, P. Quinton, S. Rajopadhye, T. Risset.
  
  Hardware Design Methodology with the Alpha Language, in: FDL'01, Lyon, France, September 2001.
• 53H. Leverge, C. Mauras, P. Quinton.
  
  The Alpha language and its use for the design of systolic arrays, in: J. of VLSI Signal Processing, 1991, vol. 3, pp. 173–182.
• 54L. Mandel, F. Benbadis.
  
  Simulation of Mobile Ad hoc Network Protocols in ReactiveML, in: Proceedings of Synchronous Languages, Applications, and Programming (SLAP'05), Edinburgh, Scotland, Electronic Notes in Theoretical Computer Science, April 2005, Workshop ETAPS 2005.
• 55L. Mandel.
  
  Conception, Sémantique et Implantation de ReactiveML : un langage à la ML pour la programmation réactive, Université Paris 6, 2006.
• 56L. Mandel, F. Plateau, M. Pouzet.
  
  Lucy-n: a n-Synchronous Extension of Lustre, in: 10th International Conference on Mathematics of Program Construction (MPC'10), Manoir St-Castin, Québec, Canada, Springer LNCS, June 2010.
• 57L. Mandel, M. Pouzet.
  
  ReactiveML, a Reactive Extension to ML, in: ACM International Conference on Principles and Practice of Declarative Programming (PPDP), Lisboa, July 2005.
• 58F. Maraninchi, N. Berthier, O. Bezet, G. Funchal.
  
  Writing Simulators with Synchronous Languages, 2008, Synchron 2008: International Open Workshop on Synchronous Programming.
• 59C. Miranda, A. Pop, P. Dumont, A. Cohen, M. Duranton.
  
  Erbium: A Deterministic, Concurrent Intermediate Representation to Map Data-Flow Tasks to Scalable, Persistent Streaming Processes, in: Intl. Conf. on Compilers Architectures and Synthesis for Embedded Systems (CASES'10), October 2010.
• 60J.-B. Note, M. Shand, J. Vuillemin.
  
  Realtime video pixel matching, in: International Conference on Field Programmable Logic and Applications, 2006, pp. 507 – 512.
• 61J.-B. Note, J. Vuillemin.
  
  Towards automatically compiling efficient FPGA hardware, in: International Workshop on Design and Functional Languages, IEEE, 2007, pp. 115 – 124.
• 62E. Park, J. Cavazos, L.-N. Pouchet, C. Bastoul, A. Cohen, P. Sadayappan.
  
  Predictive Modeling in a Polyhedral Optimization Space, in: International Journal of Parallel Programming, 2013, vol. 41, n^o 5, pp. 704–750. [ DOI : 10.1007/s10766-013-0241-1 ]
  
  https://hal.inria.fr/hal-00918653
• 63F. Plateau.
  
  Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée, Université Paris-Sud 11, Orsay, France, 6 janvier 2010.
  
  https://www.lri.fr/~mandel/lucy-n/~plateau/these/
• 64S. Pop, A. Cohen, C. Bastoul, S. Girbal, G.-A. Silber, N. Vasilache.
  
  GRAPHITE: Loop Optimizations Based on the Polyhedral Model for GCC, in: Proc. of the 4þ GCC Developper's Summit, Ottawa, Canada, June 2006.
• 65L.-N. Pouchet, C. Bastoul, A. Cohen, J. Cavazos.
  
  Iterative Optimization in the Polyhedral Model: Part II, Multidimensional Time, in: ACM Conf. on Programming Language Design and Implementation (PLDI'08), Tucson, Arizona, June 2008.
• 66L.-N. Pouchet, C. Bastoul, A. Cohen, N. Vasilache.
  
  Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time, in: Intl. Symp. on Code Generation and Optimization (CGO'07), San Jose, California, March 2007.
• 67L.-N. Pouchet, U. Bondhugula, C. Bastoul, A. Cohen, J. Ramanujam, P. Sadayappan.
  
  Combined Iterative and Model-driven Optimization in an Automatic Parallelization Framework, in: ACM Supercomputing Conf. (SC'10), New Orleans, Lousiana, November 2010, 11 p.
• 68P. Raymond, Y. Roux, E. Jahier.
  
  Lutin: a language for specifying and executing reactive scenarios, in: EURASIP Journal on Embedded Systems, 2008, vol. 2008, Article ID 753821.
• 69L. Samper, F. Maraninchi, L. Mounier, L. Mandel.
  
  GLONEMO: Global and Accurate Formal Models for the Analysis of Ad hoc Sensor Networks, in: Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks (InterSense'06), Nice, France, May 2006.
• 70J. Soula, P. Marquet, J.-L. Dekeyser, A. Demeure.
  
  Compilation principle of a specification language dedicated to signal processing, in: Intl. Conf. on Parallel Computing Technologies, Novosibirsk, Russia, LNCS, Springer-Verlag, September 2001, vol. 2127, pp. 358–370.
• 71K. Trifunović, A. Cohen, D. Edelsohn, F. Li, T. Grosser, H. Jagasia, R. Ladelski, S. Pop, J. Sjödin, R. Upadrasta.
  
  GRAPHITE Two Years After: First Lessons Learned From Real-World Polyhedral Compilation, in: GCC Research Opportunities Workshop (GROW'10), Pisa, Italy, January 2010.
• 72K. Trifunović, D. Nuzman, A. Cohen, A. Zaks, I. Rosen.
  
  Polyhedral-Model Guided Loop-Nest Auto-Vectorization, in: Parallel Architectures and Compilation Techniques (PACT'09), Raleigh, North Carolina, September 2009.
• 73S. Verdoolaege, S. Guelton, T. Grosser, A. Cohen.
  
  Schedule Trees, in: IMPACT - 4th Workshop on Polyhedral Compilation Techniques, associated with HiPEAC, Vienna, Austria, ACM, January 2014.
  
  https://hal.inria.fr/hal-00911894
• 74S. Verdoolaege, J. C. Juega, A. Cohen, J. I. Gómez, C. Tenllado, F. Catthoor.
  
  Polyhedral Parallel Code Generation for CUDA, in: ACM Transactions on Architecture and Code Optimization, 2013, vol. 9, n^o 4, Selected for presentation at the HiPEAC 2013 Conf.. [ DOI : 10.1145/2400682.2400713 ]
  
  https://hal.inria.fr/hal-00786677
• 75J. Vuillemin.
  
  On Circuits and Numbers, Digital, Paris Research Laboratory, 1993.