{"id":"https://openalex.org/W2027832933","doi":"https://doi.org/10.1109/hipc.2013.6799106","title":"MIL: A language to build program analysis tools through static binary instrumentation","display_name":"MIL: A language to build program analysis tools through static binary instrumentation","publication_year":2013,"publication_date":"2013-12-01","ids":{"openalex":"https://openalex.org/W2027832933","doi":"https://doi.org/10.1109/hipc.2013.6799106","mag":"2027832933"},"language":"en","primary_location":{"id":"doi:10.1109/hipc.2013.6799106","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hipc.2013.6799106","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"20th Annual International Conference on High Performance Computing","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072068080","display_name":"Andres Charif Rubial","orcid":null},"institutions":[{"id":"https://openalex.org/I4210123032","display_name":"Exascale (United Kingdom)","ror":"https://ror.org/032khhz22","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210123032"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]},{"id":"https://openalex.org/I4390039287","display_name":"Laboratoire d\u2019informatique Parall\u00e9lisme R\u00e9seaux Algorithmes Distribu\u00e9s","ror":"https://ror.org/00qyswv14","country_code":"FR","type":"facility","lineage":["https://openalex.org/I195731000","https://openalex.org/I277688954","https://openalex.org/I4390039287"]}],"countries":["FR","GB"],"is_corresponding":false,"raw_author_name":"Andres S. Charif-Rubial","raw_affiliation_strings":["Exascale Computing Research Laboratory, FR","LI-PaRAD - Laboratoire d'Informatique Parall\u00e9lisme R\u00e9seaux Algorithmes Distribu\u00e9s (45 avenue des Etats-Unis\r\n78035 Versailles - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Exascale Computing Research Laboratory, FR","institution_ids":["https://openalex.org/I4210123032"]},{"raw_affiliation_string":"LI-PaRAD - Laboratoire d'Informatique Parall\u00e9lisme R\u00e9seaux Algorithmes Distribu\u00e9s (45 avenue des Etats-Unis\r\n78035 Versailles - France)","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I4390039287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030777320","display_name":"Denis Barthou","orcid":"https://orcid.org/0009-0000-8547-5395"},"institutions":[{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]},{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Denis Barthou","raw_affiliation_strings":["Laboratoire LaBRI, University of Bordeaux, Bordeaux, FR","LaBRI - Laboratoire Bordelais de Recherche en Informatique (Domaine Universitaire 351, cours de la Lib\u00e9ration 33405 Talence Cedex - France)","RUNTIME - Efficient runtime systems for parallel architectures (Inria Bordeaux - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire LaBRI, University of Bordeaux, Bordeaux, FR","institution_ids":["https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210160189"]},{"raw_affiliation_string":"LaBRI - Laboratoire Bordelais de Recherche en Informatique (Domaine Universitaire 351, cours de la Lib\u00e9ration 33405 Talence Cedex - France)","institution_ids":["https://openalex.org/I4210142254"]},{"raw_affiliation_string":"RUNTIME - Efficient runtime systems for parallel architectures (Inria Bordeaux - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045646811","display_name":"C\u00e9dric Valensi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210123032","display_name":"Exascale (United Kingdom)","ror":"https://ror.org/032khhz22","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210123032"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]},{"id":"https://openalex.org/I4390039287","display_name":"Laboratoire d\u2019informatique Parall\u00e9lisme R\u00e9seaux Algorithmes Distribu\u00e9s","ror":"https://ror.org/00qyswv14","country_code":"FR","type":"facility","lineage":["https://openalex.org/I195731000","https://openalex.org/I277688954","https://openalex.org/I4390039287"]}],"countries":["FR","GB"],"is_corresponding":false,"raw_author_name":"Cedric Valensi","raw_affiliation_strings":["Exascale Computing Research Laboratory, FR","LI-PaRAD - Laboratoire d'Informatique Parall\u00e9lisme R\u00e9seaux Algorithmes Distribu\u00e9s (45 avenue des Etats-Unis\r\n78035 Versailles - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Exascale Computing Research Laboratory, FR","institution_ids":["https://openalex.org/I4210123032"]},{"raw_affiliation_string":"LI-PaRAD - Laboratoire d'Informatique Parall\u00e9lisme R\u00e9seaux Algorithmes Distribu\u00e9s (45 avenue des Etats-Unis\r\n78035 Versailles - France)","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I4390039287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109139705","display_name":"Shende Sameer","orcid":null},"institutions":[{"id":"https://openalex.org/I181233156","display_name":"University of Oregon","ror":"https://ror.org/0293rh119","country_code":"US","type":"education","lineage":["https://openalex.org/I181233156"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sameer Shende","raw_affiliation_strings":["Department of Computer and Information Science, University of Oregon, Eugene, OR, USA","Computer Science Department [Oregon] (University of Oregon 256 Deschutes Hall 1477 East 13th Ave. Eugene, OR 97403-1202 - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Oregon, Eugene, OR, USA","institution_ids":["https://openalex.org/I181233156"]},{"raw_affiliation_string":"Computer Science Department [Oregon] (University of Oregon 256 Deschutes Hall 1477 East 13th Ave. Eugene, OR 97403-1202 - United States)","institution_ids":["https://openalex.org/I181233156"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029524538","display_name":"Allen D. Malony","orcid":"https://orcid.org/0000-0002-9598-7201"},"institutions":[{"id":"https://openalex.org/I181233156","display_name":"University of Oregon","ror":"https://ror.org/0293rh119","country_code":"US","type":"education","lineage":["https://openalex.org/I181233156"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Allen Malony","raw_affiliation_strings":["Department of Computer and Information Science, University of Oregon, Eugene, OR, USA","Computer Science Department [Oregon] (University of Oregon 256 Deschutes Hall 1477 East 13th Ave. Eugene, OR 97403-1202 - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of Oregon, Eugene, OR, USA","institution_ids":["https://openalex.org/I181233156"]},{"raw_affiliation_string":"Computer Science Department [Oregon] (University of Oregon 256 Deschutes Hall 1477 East 13th Ave. Eugene, OR 97403-1202 - United States)","institution_ids":["https://openalex.org/I181233156"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048989161","display_name":"William Jalby","orcid":"https://orcid.org/0000-0002-4975-5469"},"institutions":[{"id":"https://openalex.org/I4210123032","display_name":"Exascale (United Kingdom)","ror":"https://ror.org/032khhz22","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210123032"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]},{"id":"https://openalex.org/I4390039287","display_name":"Laboratoire d\u2019informatique Parall\u00e9lisme R\u00e9seaux Algorithmes Distribu\u00e9s","ror":"https://ror.org/00qyswv14","country_code":"FR","type":"facility","lineage":["https://openalex.org/I195731000","https://openalex.org/I277688954","https://openalex.org/I4390039287"]}],"countries":["FR","GB"],"is_corresponding":false,"raw_author_name":"William Jalby","raw_affiliation_strings":["Exascale Computing Research Laboratory, FR","LI-PaRAD - Laboratoire d'Informatique Parall\u00e9lisme R\u00e9seaux Algorithmes Distribu\u00e9s (45 avenue des Etats-Unis\r\n78035 Versailles - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Exascale Computing Research Laboratory, FR","institution_ids":["https://openalex.org/I4210123032"]},{"raw_affiliation_string":"LI-PaRAD - Laboratoire d'Informatique Parall\u00e9lisme R\u00e9seaux Algorithmes Distribu\u00e9s (45 avenue des Etats-Unis\r\n78035 Versailles - France)","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I4390039287"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5858,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.8331898,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"206","last_page":"215"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/instrumentation","display_name":"Instrumentation (computer programming)","score":0.8780232667922974},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7953532338142395},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7926368713378906},{"id":"https://openalex.org/keywords/profiling","display_name":"Profiling (computer programming)","score":0.6831228733062744},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5835099816322327},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.542801022529602},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.44304850697517395},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.43786293268203735},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4365319609642029},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.43565088510513306},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3644229769706726},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.34215670824050903}],"concepts":[{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.8780232667922974},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7953532338142395},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7926368713378906},{"id":"https://openalex.org/C187191949","wikidata":"https://www.wikidata.org/wiki/Q1138496","display_name":"Profiling (computer programming)","level":2,"score":0.6831228733062744},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5835099816322327},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.542801022529602},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.44304850697517395},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43786293268203735},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4365319609642029},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.43565088510513306},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3644229769706726},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.34215670824050903},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hipc.2013.6799106","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hipc.2013.6799106","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"20th Annual International Conference on High Performance Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.41999998688697815,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320312726","display_name":"University of Oregon","ror":"https://ror.org/0293rh119"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W34508744","https://openalex.org/W189772944","https://openalex.org/W307918303","https://openalex.org/W1500210458","https://openalex.org/W1508462451","https://openalex.org/W1574249939","https://openalex.org/W1582138098","https://openalex.org/W1664707389","https://openalex.org/W1972235549","https://openalex.org/W2052897520","https://openalex.org/W2064452120","https://openalex.org/W2084507645","https://openalex.org/W2100006263","https://openalex.org/W2116729357","https://openalex.org/W2134633067","https://openalex.org/W2136434791","https://openalex.org/W2141593228","https://openalex.org/W2156858199","https://openalex.org/W2160468841","https://openalex.org/W2161992906","https://openalex.org/W2903201812","https://openalex.org/W4230888301","https://openalex.org/W4239813889","https://openalex.org/W4250948891","https://openalex.org/W4285719527","https://openalex.org/W6601390472","https://openalex.org/W6634243426","https://openalex.org/W6663806945","https://openalex.org/W6680846639"],"related_works":["https://openalex.org/W2059759476","https://openalex.org/W1618604010","https://openalex.org/W2867457158","https://openalex.org/W2968998509","https://openalex.org/W2765641823","https://openalex.org/W4297908618","https://openalex.org/W3111646971","https://openalex.org/W3186878187","https://openalex.org/W2985048382","https://openalex.org/W4387793661"],"abstract_inverted_index":{"As":[0],"software":[1],"complexity":[2],"increases,":[3],"the":[4,19,40,55,60,69,95,114,134,144],"analysis":[5,99,120],"of":[6,21,42,54,72,97,109,116,133,143],"code":[7,22,135],"behavior":[8],"during":[9],"its":[10],"execution":[11,70],"is":[12,50,57,111],"becoming":[13],"more":[14],"important.":[15],"Instrumentation":[16],"techniques,":[17],"through":[18],"insertion":[20],"directly":[23],"into":[24],"binaries,":[25],"are":[26],"essential":[27],"for":[28,94],"program":[29,98,119,146],"analyses":[30],"used":[31],"in":[32,80],"debugging,":[33],"runtime":[34],"profiling,":[35],"and":[36,139],"performance":[37,84],"evaluation.":[38],"In":[39,86],"context":[41],"high-performance":[43],"parallel":[44],"applications,":[45],"building":[46],"an":[47],"instrumentation":[48],"framework":[49],"quite":[51],"challenging.":[52],"One":[53],"difficulties":[56],"due":[58],"to":[59,62,82,112,137],"necessity":[61],"capture":[63],"both":[64,129],"coarse-grain":[65],"behavior,":[66],"such":[67],"as":[68,75,77],"time":[71],"different":[73],"functions,":[74],"well":[76],"finer-grain":[78],"actions,":[79],"order":[81],"pinpoint":[83],"issues.":[85],"this":[87,127],"paper,":[88],"we":[89],"propose":[90],"a":[91,130,140],"language,":[92],"MIL,":[93],"development":[96],"tools":[100],"based":[101],"on":[102],"static":[103],"binary":[104],"instrumentation.":[105,122],"The":[106],"key":[107],"feature":[108],"MIL":[110],"ease":[113],"integration":[115],"static,":[117],"global":[118],"with":[121],"We":[123],"will":[124],"show":[125],"how":[126],"enables":[128],"precise":[131],"targeting":[132],"regions":[136],"analyze":[138],"better":[141],"understanding":[142],"optimized":[145],"behavior.":[147]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}