EN FR
EN FR
CORSE - 2015
Research Program
Application Domains
Bibliography
Research Program
Application Domains
Bibliography


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