Project-Team Parkas
Members
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

previous Previous | up Home

Bibliography

Publications of the year

Articles in International Peer-Reviewed Journals

  • 1A. Acharya, U. Bondhugula, A. Cohen.
    Polyhedral Auto-Transformation almost without ILP, in: ACM Transactions on Programming Languages and Systems (TOPLAS), May 2016.
    https://hal.inria.fr/hal-01425546
  • 2G. Baudart, A. Benveniste, T. Bourke.
    Loosely Time-Triggered Architectures, in: ACM Transactions on Embedded Computing Systems (TECS), August 2016, vol. 15, Article 71. [ DOI : 10.1145/2932189 ]
    https://hal.inria.fr/hal-01408224
  • 3S. G. Bhaskaracharya, U. Bondhugula, A. Cohen.
    Automatic Storage Optimization for Arrays, in: ACM Transactions on Programming Languages and Systems (TOPLAS), 2016, Original submission, candidate for presentation at PLDI 2016.
    https://hal.archives-ouvertes.fr/hal-01257223
  • 4S. G. Bhaskaracharya, U. Bondhugula, A. Cohen.
    Automatic Storage Optimization for Arrays, in: ACM Transactions on Programming Languages and Systems (TOPLAS), 2016, vol. 38, pp. 1 - 23. [ DOI : 10.1145/2845078 ]
    https://hal.inria.fr/hal-01425564
  • 5U. Bondhugula, A. Acharya, A. Cohen.
    The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests, in: ACM Transactions on Programming Languages and Systems (TOPLAS), 2016.
    https://hal.archives-ouvertes.fr/hal-01257226
  • 6T. Bourke, R. J. Van Glabbeek, P. Höfner.
    Mechanizing a Process Algebra for Network Protocols, in: Journal of Automated Reasoning, March 2016, vol. 56, pp. 309-341. [ DOI : 10.1007/s10817-015-9358-9 ]
    https://hal.inria.fr/hal-01408217
  • 7I. Llopard, C. Fabre, A. Cohen.
    A From a Formalized Parallel Action Language to its Efficient Code Generation, in: ACM Transactions on Embedded Computing Systems (TECS), January 2017. [ DOI : 10.1145/0000000.0000000 ]
    https://hal.inria.fr/hal-01425140

International Conferences with Proceedings

  • 8G. Baudart, T. Bourke, M. Pouzet.
    Soundness of the Quasi-Synchronous Abstraction, in: Formal Methods in Computer-Aided Design (FMCAD), Mountain View, CA, United States, Proceedings of the 16th International Conference on Formal Methods in Computer-Aided Design, October 2016, pp. 9-16.
    https://hal.inria.fr/hal-01408208
  • 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
  • 10S. G. Bhaskaracharya, U. Bondhugula, A. Cohen.
    SMO: An Integrated Approach to Intra-array and Inter-array Storage Optimization, in: POPL 2016 - ACM Symposium on Principles of Programming Languages, Saint Petersburg, United States, January 2016, pp. 526-538. [ DOI : 10.1145/2837614.2837636 ]
    https://hal.inria.fr/hal-01425888
  • 11A. 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, Michelle Strout and Tomofumi Yuki, January 2016.
    https://hal.inria.fr/hal-01251845
  • 12A. 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 (ERTS2), Toulouse, France, January 2016.
    https://hal.inria.fr/hal-01425887
  • 13X. 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, March 2016.
    https://hal.inria.fr/hal-01425902
  • 14A. Drebes, J.-B. Bréjon, A. Pop, K. Heydemann, A. Cohen.
    Language-Centric Performance Analysis of OpenMP Programs with Aftermath, in: International Workshop on OpenMP (IWOMP), Nara, Japan, October 2016, pp. 237 - 250. [ DOI : 10.1007/978-3-319-45550-1_17 ]
    https://hal.inria.fr/hal-01425903
  • 15A. Drebes, A. Pop, K. Heydemann, A. Cohen.
    Interactive visualization of cross-layer performance anomalies in dynamic task-parallel applications and systems, in: IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), Uppsala, Sweden, April 2016, pp. 274 - 283. [ DOI : 10.1109/ISPASS.2016.7482102 ]
    https://hal.inria.fr/hal-01425892
  • 16A. Drebes, A. Pop, K. Heydemann, A. Cohen, N. Drach.
    Scalable Task Parallelism for NUMA: A Uniform Abstractionfor Coordinated Scheduling and Memory Management, in: PACT : International Conference on Parallel Architectures and Compilation, Haifa, Israel, ACM New York, NY, USA, September 2016, pp. 125-137. [ DOI : 10.1145/2967938.2967946 ]
    http://hal.upmc.fr/hal-01365718
  • 17F. Gindraud, F. Rastello, A. Cohen, F. Broquedis.
    A bounded memory allocator for software-defined global address spaces, in: ISMM 2016 - 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, United States, June 2016.
    https://hal.inria.fr/hal-01412919
  • 18R. Morisset, F. Zappa Nardelli.
    Partially Redundant Fence Elimination for x86, ARM and Power processors, in: International Conference on Compiler Construction (CC), Austin, United States, February 2017.
    https://hal.inria.fr/hal-01423612
  • 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

National Conferences with Proceedings

  • 20T. Bourke, P.-E. Dagand, M. Pouzet, L. Rieg.
    Vérification de la génération modulaire du code impératif pour Lustre, in: JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Gourettes, France, January 2017.
    https://hal.inria.fr/hal-01403830

Conferences without Proceedings

  • 21A. 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
  • 22A. Drebes, J.-B. Bréjon, A. Pop, K. Heydemann, A. Cohen.
    Language-Centric Performance Analysis of OpenMP Programs with Aftermath, in: International Workshop on OpenMP, Nara, Japan, October 2016.
    http://hal.upmc.fr/hal-01343686
  • 23C. Hong, W. Bao, A. Cohen, S. Krishnamoorthy, L.-N. Pouchet, F. Rastello, J. Ramanujam, S. Ponnuswany.
    Effective padding of multidimensional arrays to avoid cache conflict misses, in: PLDI 2016: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, Santa Barbara, United States, June 2016.
    https://hal.inria.fr/hal-01335346

Scientific Books (or Scientific Book chapters)

  • 24S. 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

Internal Reports

Other Publications

  • 28T. Bourke, J. Inoue, M. Pouzet.
    Sundials/ML: interfacing with numerical solvers, September 2016, ACM Workshop on ML.
    https://hal.inria.fr/hal-01408230
  • 29A. Drebes, A. Pop, K. Heydemann, N. Drach, A. Cohen.
    NUMA-aware scheduling and memory allocation for data-flow task-parallel applications, ACM New York, NY, USA, March 2016, pp. 44:1-44:2, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Poster. [ DOI : 10.1145/2851141.2851193 ]
    http://hal.upmc.fr/hal-01365746

previous Previous | up Home