EN FR
EN FR
CORSE - 2015
CORSE - 2015
Team Corse
Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Team Corse
Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography


previous Previous | up Home


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 3V. Elango, N. Sedaghati, F. Rastello, L.-N. Pouchet, J. Ramanujam, R. Teodorescu, P. Sadayappan.

    On Using the Roofline Model with Lower Bounds on Data Movement, in: ACM Transactions on Architecture and Code Optimization (TACO) , January 2015, vol. 11, no 4, pp. 67:1–67:23.

    https://hal.inria.fr/hal-01104765
  • 4Y. Falcone, M. Jaber, T.-H. Nguyen, M. Bozga, S. Bensalem.

    Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation, in: Software and Systems Modeling, 2015, vol. 14, no 1, 38 p. [ DOI : 10.1007/s10270-013-0323-y ]

    https://hal.inria.fr/hal-01248420
  • 5Y. Falcone, L. D. Zuck.

    Runtime Verification: the Application Perspective, in: International Journal on Software Tools for Technology Transfer, April 2015, vol. 17, no 2, 3 p. [ DOI : 10.1007/s10009-014-0360-z ]

    https://hal.inria.fr/hal-01248423
  • 6E. Francesquini, M. Castro, P. H. Penna, F. Dupros, H. C. D. Freitas, P. O. A. Navaux, J.-F. Méhaut.

    On the Energy Efficiency and Performance of Irregular Application Executions on Multicore, NUMA and Manycore Platforms, in: Journal of Parallel and Distributed Computing, February 2015, vol. 76, pp. 32-48. [ DOI : 10.1016/j.jpdc.2014.11.002 ]

    https://hal-brgm.archives-ouvertes.fr/hal-01092325
  • 7E. L. Padoin, F. Z. Boito, L. L. Pilla, M. Bastos Castro, P. O. A. Navaux, J.-F. Mehaut.

    Performance/energy trade-off in scientific computing: the case of ARM big.LITTLE and Intel Sandy Bridge, in: IET Computers and Digital Techniques, January 2015, vol. 9, no 1, pp. 1-9. [ DOI : 10.1049/iet-cdt.2014.0074 ]

    https://hal.archives-ouvertes.fr/hal-01127697
  • 8L. Pilla, T. Bozetti, M. Castro, P. O. A. Navaux, J.-F. Méhaut.

    ComprehensiveBench: a Benchmark for the Extensive Evaluation of Global Scheduling Algorithms, in: Journal of Physics: Conference Series, September 2015, pp. 1-12.

    https://hal.archives-ouvertes.fr/hal-01183558
  • 9L. Stanisic, S. Thibault, A. Legrand, B. Videau, J.-F. Méhaut.

    Faithful Performance Prediction of a Dynamic Task-Based Runtime System for Heterogeneous Multi-Core Architectures, in: Concurrency and Computation: Practice and Experience, May 2015, 16 p. [ DOI : 10.1002/cpe ]

    https://hal.inria.fr/hal-01147997

International Conferences with Proceedings

  • 10W. Bao, K. Sriram, L.-N. Pouchet, F. Rastello, P. Sadayappan.

    PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs, in: Proceedings of the 43nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St Petersburg, United States, ACM, January 2016.

    https://hal.inria.fr/hal-01234104
  • 11P. Daian, Y. Falcone, P. Meredith, T. F. Serbanuta, S. Shiriashi, A. Iwai, G. Rosu.

    RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial, in: 6th International Conference, RV 2015, September 22-25, Proceedings, Vienne, Austria, Runtime Verification, Springer, September 2015, vol. LNCS, no 9333, 16 p. [ DOI : 10.1007/978-3-319-23820-3_24 ]

    https://hal.inria.fr/hal-01248350
  • 12V. Elango, F. Rastello, L.-N. Pouchet, J. Ramanujam, P. Sadayappan.

    On Characterizing the Data Access Complexity of Programs, in: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, ACM, January 2015, pp. 567-580.

    https://hal.inria.fr/hal-01104556
  • 13S. V. Emteu Tchagou, A. Termier, J.-F. Méhaut, B. Videau, M. Santana, R. Quiniou.

    Reducing trace size in multimedia applications endurance tests, in: Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, France, 2015.

    https://hal.archives-ouvertes.fr/hal-01093576
  • 14O. Iegorov, A. Termier, V. Leroy, J.-F. Méhaut, M. Santana.

    Data Mining Approach to Temporal Debugging of Embedded Streaming Applications, in: 15th International Conference on Embedded Software (EMSOFT'2015), Amsterdam, Netherlands, October 2015.

    https://hal.archives-ouvertes.fr/hal-01178782
  • 15A. Kassem, Y. Falcone, P. Lafourcade.

    Monitoring Electronic Exams, in: 6th International Conference, RV 2015, September 22-25, Proceedings, Vienne, Australia, Runtime Verification, Springer, September 2015, vol. 9333, 16 p. [ DOI : 10.1007/978-3-319-23820-3_8 ]

    https://hal.inria.fr/hal-01248349
  • 16S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand.

    TiPEX: A Tool Chain for Timed Property Enforcement During eXecution, in: RV'2015, 6th International Conference on Runtime Verification, Vienne, Austria, E. Bartocci, R. Majumdar (editors), Lecture Notes in Computer Science, Springer, September 2015, vol. 9333, 12 p. [ DOI : 10.1007/978-3-319-23820-3_22 ]

    https://hal.inria.fr/hal-01244446
  • 17M. Renard, Y. Falcone, A. Rollet, S. Pinisetty, T. Jéron, H. Marchand.

    Enforcement of (Timed) Properties with Uncontrollable Events, in: 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Cali, Colombia, Theoretical Aspects of Computing - ICTAC 2015, Springer, October 2015, vol. LNCS, no 9399, 22 p. [ DOI : 10.1007/978-3-319-25150-9_31 ]

    https://hal.inria.fr/hal-01185238
  • 18L. Stanisic, E. Agullo, A. Buttari, A. Guermouche, A. Legrand, F. Lopez, B. Videau.

    Fast and Accurate Simulation of Multithreaded Sparse Linear Algebra Solvers, in: The 21st IEEE International Conference on Parallel and Distributed Systems, Melbourne, Australia, The 21st IEEE International Conference on Parallel and Distributed Systems, December 2015.

    https://hal.inria.fr/hal-01180272
  • 19f. gruber, J. doerfert, a. lambrineas, T. Grosser, F. Rastello, F. Magno Quintão Pereira.

    Runtime pointer disambiguation, in: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, Pittsburgh, United States, ACM, October 2015, 18 p.

    https://hal.inria.fr/hal-01234086

Conferences without Proceedings

  • 20H. Charafeddine, K. El-Harake, Y. Falcone, M. Jaber.

    Runtime Enforcement for Component-Based Systems, in: Symposium on Applied Computing - Software Verification and Testing, Salamanque, Spain, April 2015. [ DOI : 10.1145/2695664.2695879 ]

    https://hal.inria.fr/hal-01248353
  • 21Y. Falcone, D. Nickovic, G. Reger, D. Thoma.

    Second International Competition on Runtime Verification, in: 6th International Conference, RV 2015, September 22-25, Proceedings, Vienne, Austria, Springer, September 2015, vol. LNCS, no 9333, 16 p. [ DOI : 10.1007/978-3-319-23820-3_27 ]

    https://hal.inria.fr/hal-01248351
  • 22N. A. Halli, H.-P. Charles, J.-F. Mehaut.

    Performance comparison between Java and JNI for optimal implementation of computational micro-kernels, in: 5th International Workshop on Adaptive Self-tuning Computing Systems (ADAPT'15), Amsterdam, Netherlands, January 2015, Part of ADAPT Workshop proceedings, 2015 (arXiv:1412.2347).

    https://hal.archives-ouvertes.fr/hal-01127712
  • 23T. Messi Nguélé, M. Tchuenté, J.-F. Mehaut.

    Exploitation de la structure en communautés pour la réduction de défauts de cache dans la fouille des réseaux sociaux, in: Conférence de Recherche en Informatique (CRI), Yaoundé, Cameroon, December 2015.

    https://hal.archives-ouvertes.fr/hal-01252798
  • 24P. H. Penna, M. Castro, H. Freitas, F. Broquedis, J.-F. Méhaut.

    Uma Metodologia Baseada em Simulação e Algoritmo Genético para Exploração de Estratégias de Escalonamento de Laços, in: Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD), Florianópolis, Brazil, SBC, October 2015.

    https://hal.archives-ouvertes.fr/hal-01239916
  • 25S. Saidi, Y. Falcone.

    Dynamic Detection and Mitigation of DMA Races in MPSoCs, in: 18th Euromicro Conference on Digital Systems Design (DSD 2015), Madeire, Portugal, August 2015. [ DOI : 10.1109/DSD.2015.77 ]

    https://hal.inria.fr/hal-01248352

Scientific Books (or Scientific Book chapters)

  • 26L. Genovese, B. Videau, D. Caliste, J.-F. Méhaut, S. Goedecker, T. Deutsch.

    Wavelet-Based Density Functional Theory on Massively Parallel Hybrid Architectures, in: Electronic Structure Calculations on Graphics Processing Units: From Quantum Chemistry to Condensed Matter Physics, R. Walker (editor), Wiley-Blackwell, February 2016.

    https://hal.archives-ouvertes.fr/hal-01239245

Scientific Popularization



previous Previous | up Home