{"id":"https://openalex.org/W3194460284","doi":"https://doi.org/10.1145/3468264.3468574","title":"Efficient module-level dynamic analysis for dynamic languages with module recontextualization","display_name":"Efficient module-level dynamic analysis for dynamic languages with module recontextualization","publication_year":2021,"publication_date":"2021-08-18","ids":{"openalex":"https://openalex.org/W3194460284","doi":"https://doi.org/10.1145/3468264.3468574","mag":"3194460284"},"language":"en","primary_location":{"id":"doi:10.1145/3468264.3468574","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3468574","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468574","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468574","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034441711","display_name":"Nikos Vasilakis","orcid":"https://orcid.org/0000-0001-7347-298X"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Nikos Vasilakis","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073682091","display_name":"Grigoris Ntousakis","orcid":"https://orcid.org/0000-0003-1158-3056"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Grigoris Ntousakis","raw_affiliation_strings":["TU Crete, Greece"],"affiliations":[{"raw_affiliation_string":"TU Crete, Greece","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087448805","display_name":"Veit Heller","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Veit Heller","raw_affiliation_strings":["n.n., n.n"],"affiliations":[{"raw_affiliation_string":"n.n., n.n","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045127387","display_name":"Martin Rinard","orcid":"https://orcid.org/0000-0001-8095-8523"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Martin C. Rinard","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5034441711"],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":1.4225,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.85758776,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1202","last_page":"1213"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.8520241379737854},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.818753719329834},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6798816919326782},{"id":"https://openalex.org/keywords/racket","display_name":"Racket","score":0.6375412940979004},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5647268295288086},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4943203926086426},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.49060145020484924},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4753781855106354},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.465694785118103},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.45284193754196167},{"id":"https://openalex.org/keywords/smalltalk","display_name":"Smalltalk","score":0.42218494415283203},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2666882276535034},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.20285186171531677},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.2017371952533722}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8520241379737854},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.818753719329834},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6798816919326782},{"id":"https://openalex.org/C2778707667","wikidata":"https://www.wikidata.org/wiki/Q1254148","display_name":"Racket","level":3,"score":0.6375412940979004},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5647268295288086},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4943203926086426},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.49060145020484924},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4753781855106354},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.465694785118103},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.45284193754196167},{"id":"https://openalex.org/C2777293101","wikidata":"https://www.wikidata.org/wiki/Q235086","display_name":"Smalltalk","level":3,"score":0.42218494415283203},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2666882276535034},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.20285186171531677},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.2017371952533722},{"id":"https://openalex.org/C65655974","wikidata":"https://www.wikidata.org/wiki/Q14867674","display_name":"Swing","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3468264.3468574","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3468574","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468574","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:dspace.mit.edu:1721.1/145903","is_oa":true,"landing_page_url":"https://hdl.handle.net/1721.1/145903","pdf_url":null,"source":{"id":"https://openalex.org/S4306400425","display_name":"DSpace@MIT (Massachusetts Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I63966007","host_organization_name":"Massachusetts Institute of Technology","host_organization_lineage":["https://openalex.org/I63966007"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM|Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"http://purl.org/eprint/type/ConferencePaper"}],"best_oa_location":{"id":"doi:10.1145/3468264.3468574","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3468574","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468574","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Life in Land","id":"https://metadata.un.org/sdg/15","score":0.49000000953674316}],"awards":[{"id":"https://openalex.org/G1692276411","display_name":null,"funder_award_id":"HR001120C0191","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G7749375848","display_name":null,"funder_award_id":"HR00112020013, HR001120C0191","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G8919204292","display_name":null,"funder_award_id":"HR001120C0155","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3194460284.pdf","grobid_xml":"https://content.openalex.org/works/W3194460284.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W1516211918","https://openalex.org/W1518685671","https://openalex.org/W1553894716","https://openalex.org/W1563402047","https://openalex.org/W1975455521","https://openalex.org/W1987647365","https://openalex.org/W2091972510","https://openalex.org/W2094269821","https://openalex.org/W2110908283","https://openalex.org/W2134633067","https://openalex.org/W2153919898","https://openalex.org/W2156858199","https://openalex.org/W2164726441","https://openalex.org/W2193288339","https://openalex.org/W2287872303","https://openalex.org/W2614073125","https://openalex.org/W2731881248","https://openalex.org/W2758513221","https://openalex.org/W2788565238","https://openalex.org/W2792952820","https://openalex.org/W2888822874","https://openalex.org/W2889480272","https://openalex.org/W2955533854","https://openalex.org/W2955845029","https://openalex.org/W2980042801","https://openalex.org/W2989080389","https://openalex.org/W2998595860","https://openalex.org/W3006962146","https://openalex.org/W3104970816","https://openalex.org/W3169128101","https://openalex.org/W3204945378","https://openalex.org/W4239035626","https://openalex.org/W4239813889","https://openalex.org/W4254691308"],"related_works":["https://openalex.org/W4229928981","https://openalex.org/W4312281161","https://openalex.org/W1608659702","https://openalex.org/W3020117182","https://openalex.org/W4242521160","https://openalex.org/W3194460284","https://openalex.org/W2524310722","https://openalex.org/W3124933548","https://openalex.org/W3084917208","https://openalex.org/W4287669589"],"abstract_inverted_index":{"Dynamic":[0],"program":[1,11],"analysis":[2,20,140],"is":[3,74,89],"a":[4,17,39,48,144],"long-standing":[5],"technique":[6],"for":[7],"obtaining":[8],"information":[9],"about":[10,75,152],"execution.":[12],"We":[13,113],"present":[14],"module":[15,86,106],"recontextualization,":[16],"new":[18],"dynamic":[19,25,95,139],"approach":[21,51,99,116,131],"that":[22,36,42,57,129],"targets":[23],"modern":[24],"languages":[26],"such":[27],"as":[28,47,66,68],"JavaScript":[29,122],"and":[30,123],"Racket,":[31],"enabled":[32],"by":[33],"the":[34,60,64,69,85,94,105,121],"fact":[35],"they":[37],"feature":[38],"module-import":[40],"mechanism":[41],"loads":[43],"code":[44,55,83,92],"at":[45],"runtime":[46,111],"string.":[49],"This":[50,91],"uses":[52],"lightweight":[53],"load-time":[54],"transformations":[56],"operate":[58],"on":[59,149],"string":[61],"representation":[62],"of":[63,146,155],"module,":[65],"well":[67],"context":[70],"to":[71,76,79,100],"which":[72],"it":[73,88],"be":[77],"bound,":[78],"insert":[80],"developer-provided,":[81],"analysis-specific":[82],"into":[84],"before":[87],"loaded.":[90],"implements":[93],"analysis,":[96],"enabling":[97],"this":[98,115,130],"capture":[101],"all":[102],"interactions":[103],"around":[104],"in":[107,117,151],"unmodified":[108],"production":[109],"language":[110],"environments.":[112],"implement":[114],"two":[118],"systems":[119,141],"targeting":[120],"Racket":[124],"ecosystems.":[125],"Our":[126],"evaluation":[127],"shows":[128],"can":[132],"deliver":[133],"order-of-magnitude":[134],"performance":[135],"improvements":[136],"over":[137],"state-of-the-art":[138],"while":[142],"supporting":[143],"range":[145],"analyses,":[147],"implemented":[148],"average":[150],"100":[153],"lines":[154],"code.":[156]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}