{"id":"https://openalex.org/W4417260743","doi":"https://doi.org/10.1145/3785004","title":"Navigating Mixed-Typed Migration with Profilers","display_name":"Navigating Mixed-Typed Migration with Profilers","publication_year":2025,"publication_date":"2025-12-12","ids":{"openalex":"https://openalex.org/W4417260743","doi":"https://doi.org/10.1145/3785004"},"language":"en","primary_location":{"id":"doi:10.1145/3785004","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3785004","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","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/A5120778844","display_name":"Nathaniel Hejduk","orcid":"https://orcid.org/0000-0003-3525-3350"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]},{"id":"https://openalex.org/I4210103234","display_name":"University of Northwestern","ror":"https://ror.org/019t2rq07","country_code":"US","type":"education","lineage":["https://openalex.org/I4210103234"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nathaniel Hejduk","raw_affiliation_strings":["Northwestern University, Evanston, Illinois, USA","PLT @ Northwestern University, USA"],"raw_orcid":"https://orcid.org/0000-0003-3525-3350","affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, Illinois, USA","institution_ids":["https://openalex.org/I111979921"]},{"raw_affiliation_string":"PLT @ Northwestern University, USA","institution_ids":["https://openalex.org/I4210103234","https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002785598","display_name":"Ben Greenman","orcid":"https://orcid.org/0000-0001-7078-9287"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ben Greenman","raw_affiliation_strings":["The University of Utah, Salt Lake City, Utah, USA","PLT @ University of Utah, USA"],"raw_orcid":"https://orcid.org/0000-0001-7078-9287","affiliations":[{"raw_affiliation_string":"The University of Utah, Salt Lake City, Utah, USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"PLT @ University of Utah, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000905628","display_name":"Matthias Felleisen","orcid":"https://orcid.org/0000-0001-6678-1004"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthias Felleisen","raw_affiliation_strings":["Northeastern University, Boston, Massachusetts, USA","PLT @ Northeastern University, USA"],"raw_orcid":"https://orcid.org/0000-0001-6678-1004","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, Massachusetts, USA","institution_ids":["https://openalex.org/I12912129"]},{"raw_affiliation_string":"PLT @ Northeastern University, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041562511","display_name":"Christos Dimoulas","orcid":"https://orcid.org/0000-0002-9338-7034"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]},{"id":"https://openalex.org/I4210103234","display_name":"University of Northwestern","ror":"https://ror.org/019t2rq07","country_code":"US","type":"education","lineage":["https://openalex.org/I4210103234"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christos Dimoulas","raw_affiliation_strings":["Northwestern University, Evanston, Illinois, USA","PLT @ Northwestern University, USA"],"raw_orcid":"https://orcid.org/0000-0002-9338-7034","affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, Illinois, USA","institution_ids":["https://openalex.org/I111979921"]},{"raw_affiliation_string":"PLT @ Northwestern University, USA","institution_ids":["https://openalex.org/I4210103234","https://openalex.org/I111979921"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.39700549,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"48","issue":"1","first_page":"1","last_page":"56"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.29600000381469727,"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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.29600000381469727,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.25060001015663147,"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/T10126","display_name":"Logic, programming, and type systems","score":0.14560000598430634,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/profiling","display_name":"Profiling (computer programming)","score":0.6000999808311462},{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.32109999656677246},{"id":"https://openalex.org/keywords/irregular-migration","display_name":"Irregular migration","score":0.3147999942302704},{"id":"https://openalex.org/keywords/process-migration","display_name":"Process migration","score":0.2935999929904938},{"id":"https://openalex.org/keywords/degradation","display_name":"Degradation (telecommunications)","score":0.2913999855518341}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8553000092506409},{"id":"https://openalex.org/C187191949","wikidata":"https://www.wikidata.org/wiki/Q1138496","display_name":"Profiling (computer programming)","level":2,"score":0.6000999808311462},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.32109999656677246},{"id":"https://openalex.org/C2780031633","wikidata":"https://www.wikidata.org/wiki/Q856681","display_name":"Irregular migration","level":2,"score":0.3147999942302704},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.31439998745918274},{"id":"https://openalex.org/C36351404","wikidata":"https://www.wikidata.org/wiki/Q7247295","display_name":"Process migration","level":3,"score":0.2935999929904938},{"id":"https://openalex.org/C2779679103","wikidata":"https://www.wikidata.org/wiki/Q5251805","display_name":"Degradation (telecommunications)","level":2,"score":0.2913999855518341},{"id":"https://openalex.org/C3018397939","wikidata":"https://www.wikidata.org/wiki/Q3644502","display_name":"Open source","level":3,"score":0.26269999146461487},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.2556000053882599},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.24300000071525574}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3785004","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3785004","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W753900477","https://openalex.org/W1496853143","https://openalex.org/W1970075481","https://openalex.org/W2003969655","https://openalex.org/W2019912855","https://openalex.org/W2021976477","https://openalex.org/W2028349555","https://openalex.org/W2052973434","https://openalex.org/W2070088936","https://openalex.org/W2073686054","https://openalex.org/W2088295995","https://openalex.org/W2091335641","https://openalex.org/W2097013380","https://openalex.org/W2110549939","https://openalex.org/W2111531191","https://openalex.org/W2113419089","https://openalex.org/W2128303158","https://openalex.org/W2131242794","https://openalex.org/W2135536553","https://openalex.org/W2144433126","https://openalex.org/W2153530968","https://openalex.org/W2223702412","https://openalex.org/W2295415424","https://openalex.org/W2534815697","https://openalex.org/W2561856298","https://openalex.org/W2599572386","https://openalex.org/W2610416669","https://openalex.org/W2762605937","https://openalex.org/W2776911292","https://openalex.org/W2885244083","https://openalex.org/W2899197979","https://openalex.org/W2911692446","https://openalex.org/W2915101224","https://openalex.org/W2947857949","https://openalex.org/W2954950681","https://openalex.org/W2955672207","https://openalex.org/W2964560944","https://openalex.org/W2972625019","https://openalex.org/W2979470607","https://openalex.org/W2996400815","https://openalex.org/W3116525202","https://openalex.org/W3194752080","https://openalex.org/W3200076486","https://openalex.org/W3205670054","https://openalex.org/W3206533211","https://openalex.org/W3207374977","https://openalex.org/W4229717394","https://openalex.org/W4241122238","https://openalex.org/W4244807040","https://openalex.org/W4245545962","https://openalex.org/W4249990212","https://openalex.org/W4281615790","https://openalex.org/W4315705023","https://openalex.org/W4382362141","https://openalex.org/W4384115804","https://openalex.org/W4400606676"],"related_works":[],"abstract_inverted_index":{"The":[0,94,151],"component-by-component":[1],"migration":[2,55,92,134],"of":[3,27,75,77,121,157,165],"a":[4,17,100,127,132],"program":[5],"from":[6],"untyped":[7],"to":[8,91,103,115,125,136,144,147],"typed":[9],"can":[10,23,35],"trigger":[11],"unintended":[12],"performance":[13,172],"degradations.":[14],"When":[15,118],"such":[16],"degradation":[18],"occurs,":[19],"typing":[20,31],"well-chosen":[21],"components":[22,34],"lessen":[24],"the":[25,61,64,105,119,129,137,155,166,177],"cost":[26,156],"type":[28,159],"enforcement,":[29],"while":[30],"poorly":[32],"chosen":[33],"exacerbate":[36],"it.":[37],"This":[38],"article":[39,65],"examines":[40],"whether":[41],"off-the-shelf":[42],"profiling":[43],"tools":[44],"deliver":[45],"information":[46],"that":[47,72,87],"is":[48],"an":[49,70],"effective":[50,96],"guide":[51],"for":[52],"navigating":[53],"these":[54],"choices":[56,146],"in":[57,161],"Typed":[58],"Racket.":[59],"Using":[60],"rational-programmer":[62],"method,":[63],"tests":[66],"this":[67,122],"hypothesis":[68],"with":[69],"experiment":[71],"involves":[73],"tens":[74],"thousands":[76],"performance-debugging":[78],"scenarios,":[79],"two":[80,171],"different":[81],"profiler":[82,89,102,123],"types,":[83],"and":[84,109],"23":[85],"strategies":[86],"convert":[88],"output":[90,120],"choices.":[93],"most":[95,170],"strategy":[97,130,152],"relies":[98],"on":[99],"boundary":[101,108],"identify":[104,126],"costliest":[106],"inter-component":[107],"then":[110],"adds":[111],"deeply":[112],"enforced":[113],"types":[114],"both":[116],"sides.":[117],"fails":[124],"boundary,":[128],"takes":[131],"random":[133,145],"step\u2014similar":[135],"way":[138],"many":[139],"computational":[140],"approaches":[141],"resort":[142],"temporarily":[143],"avoid":[148],"getting":[149],"stuck.":[150],"completely":[153],"eliminates":[154],"run-time":[158],"checks":[160],"more":[162],"than":[163],"half":[164],"scenarios":[167],"if":[168],"at":[169],"degradations":[173],"are":[174],"tolerable":[175],"along":[176],"way.":[178]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-12-12T00:00:00"}