Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

[1]
S. V. Emteu Tchagou.
Reducing trace size in multimedia applications endurance tests, Université de Grenoble Alpes, December 2015.
https://hal.archives-ouvertes.fr/tel-01251336
[2]
L. Stanisic.
A Reproducible Research Methodology for Designing and Conducting Faithful Simulations of Dynamic Task-based Scientific Applications, Université Grenoble Alpes, October 2015.
https://tel.archives-ouvertes.fr/tel-01248109

Articles in International Peer-Reviewed Journals

[3]
V. 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
[4]
Y. 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
[5]
Y. 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
[6]
E. 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
[7]
E. 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
[8]
L. 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
[9]
L. 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

[10]
W. 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
[11]
P. 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
[12]
V. 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
[13]
S. 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
[14]
O. 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
[15]
A. 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
[16]
S. 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
[17]
M. 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
[18]
L. 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
[19]
f. 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

[20]
H. 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
[21]
Y. 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
[22]
N. 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
[23]
T. 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
[24]
P. 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
[25]
S. 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)

[26]
L. 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

[27]
F. Bodin, J.-F. Méhaut.
Programmation et Exploitation des Platesformes HPC:Défis et challenges, in: Clés du futur, TERATEC, June 2015.
https://hal.archives-ouvertes.fr/hal-01174302