Afficher la notice abrégée

MIL : A language to build program analysis tools through static binary instrumentation

hal.structure.identifierLaboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués [LI-PaRAD]
dc.contributor.authorCHARIF-RUBIAL, Andres
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
hal.structure.identifierEfficient runtime systems for parallel architectures [RUNTIME]
dc.contributor.authorBARTHOU, Denis
hal.structure.identifierLaboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués [LI-PaRAD]
dc.contributor.authorVALENSI, Cédric
hal.structure.identifierComputer Science Department [Oregon]
dc.contributor.authorSAMEER, Shende
hal.structure.identifierComputer Science Department [Oregon]
dc.contributor.authorMALONY, Allen
hal.structure.identifierLaboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués [LI-PaRAD]
dc.contributor.authorJALBY, William
dc.date.accessioned2024-04-15T09:42:11Z
dc.date.available2024-04-15T09:42:11Z
dc.date.issued2013
dc.date.conference2013-12-18
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/197663
dc.description.abstractEnAs software complexity increases, the analysis of code behavior during its execution is becoming more important. Instru- mentation techniques, through the insertion of code directly into binaries, are essential to program analyses such as performance evaluation and profiling. In the context of high-performance parallel applications, building an instrumentation framework is quite challenging. One of the difficulties is due to the necessity to capture coarse grain behavior, such as the execution time of different functions, as well as finer-grain behavior in order to pinpoint performance issues. In this paper, we propose a language, MIL, for the development of program analysis tools based on static binary instrumentation. The key feature of MIL is to ease the integration of static, global program analysis with instrumentation. We will show how this enables both a precise targeting of the code regions to analyze, and a better understanding of the optimized program behavior.
dc.language.isoen
dc.source.titleProceedings of the High Performance Computing Conference
dc.title.enMIL : A language to build program analysis tools through static binary instrumentation
dc.typeCommunication dans un congrès
dc.subject.halInformatique [cs]/Calcul parallèle, distribué et partagé [cs.DC]
bordeaux.pagepp. 206-215
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.conference.titleHigh Performance Computing
bordeaux.countryIN
bordeaux.title.proceedingProceedings of the High Performance Computing Conference
bordeaux.peerReviewedoui
hal.identifierhal-00920875
hal.version1
hal.invitednon
hal.proceedingsoui
hal.conference.end2013-12-21
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-00920875v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.btitle=Proceedings%20of%20the%20High%20Performance%20Computing%20Conference&rft.date=2013&rft.spage=pp.%20206-215&rft.epage=pp.%20206-215&rft.au=CHARIF-RUBIAL,%20Andres&BARTHOU,%20Denis&VALENSI,%20C%C3%A9dric&SAMEER,%20Shende&MALONY,%20Allen&rft.genre=unknown


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée