{"id":"https://openalex.org/W7084395851","doi":"https://doi.org/10.5281/zenodo.17163342","title":"Artifact for \"Navigating Mixed-Typed Migration with Profilers\"","display_name":"Artifact for \"Navigating Mixed-Typed Migration with Profilers\"","publication_year":2025,"publication_date":"2025-09-01","ids":{"openalex":"https://openalex.org/W7084395851","doi":"https://doi.org/10.5281/zenodo.17163342"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.17163342","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17163342","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dataset"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.17163342","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Hejduk, Nathaniel","orcid":"https://orcid.org/0000-0003-3525-3350"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hejduk, Nathaniel","raw_affiliation_strings":["Northwestern University"],"raw_orcid":"https://orcid.org/0000-0003-3525-3350","affiliations":[{"raw_affiliation_string":"Northwestern University","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Ben Greenman","orcid":"https://orcid.org/0000-0001-7078-9287"},"institutions":[{"id":"https://openalex.org/I27804330","display_name":"Brown University","ror":"https://ror.org/05gq02987","country_code":"US","type":"education","lineage":["https://openalex.org/I27804330"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ben Greenman","raw_affiliation_strings":["Brown University"],"raw_orcid":"https://orcid.org/0000-0001-7078-9287","affiliations":[{"raw_affiliation_string":"Brown University","institution_ids":["https://openalex.org/I27804330"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Matthias Felleisen","orcid":"https://orcid.org/0000-0001-6678-1004"},"institutions":[{"id":"https://openalex.org/I87182695","display_name":"Universidad del Noreste","ror":"https://ror.org/02ahky613","country_code":"MX","type":"education","lineage":["https://openalex.org/I87182695"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"Matthias Felleisen","raw_affiliation_strings":["Northeastern University"],"raw_orcid":"https://orcid.org/0000-0001-6678-1004","affiliations":[{"raw_affiliation_string":"Northeastern University","institution_ids":["https://openalex.org/I87182695"]}]},{"author_position":"last","author":{"id":null,"display_name":"Christos Dimoulas","orcid":"https://orcid.org/0000-0002-9338-7034"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christos Dimoulas","raw_affiliation_strings":["Northwestern University"],"raw_orcid":"https://orcid.org/0000-0002-9338-7034","affiliations":[{"raw_affiliation_string":"Northwestern University","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10015","display_name":"Genomics and Phylogenetic Studies","score":0.4413999915122986,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10015","display_name":"Genomics and Phylogenetic Studies","score":0.4413999915122986,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12859","display_name":"Cell Image Analysis Techniques","score":0.05530000105500221,"subfield":{"id":"https://openalex.org/subfields/1304","display_name":"Biophysics"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12167","display_name":"Bacterial Identification and Susceptibility Testing","score":0.04450000077486038,"subfield":{"id":"https://openalex.org/subfields/1308","display_name":"Clinical Biochemistry"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.8501999974250793},{"id":"https://openalex.org/keywords/rendering","display_name":"Rendering (computer graphics)","score":0.7081000208854675},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5151000022888184},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.507099986076355},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4535999894142151},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4101000130176544},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3093000054359436}],"concepts":[{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.8501999974250793},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7157999873161316},{"id":"https://openalex.org/C205711294","wikidata":"https://www.wikidata.org/wiki/Q176953","display_name":"Rendering (computer graphics)","level":2,"score":0.7081000208854675},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5151000022888184},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.507099986076355},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4535999894142151},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4271000027656555},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4101000130176544},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.314300000667572},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.3005000054836273},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28619998693466187},{"id":"https://openalex.org/C3018397939","wikidata":"https://www.wikidata.org/wiki/Q3644502","display_name":"Open source","level":3,"score":0.27869999408721924},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.26969999074935913},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.2694999873638153},{"id":"https://openalex.org/C50637493","wikidata":"https://www.wikidata.org/wiki/Q1136781","display_name":"Morphing","level":2,"score":0.26899999380111694},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.26010000705718994},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.2542000114917755}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.17163342","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17163342","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Dataset"}],"best_oa_location":{"id":"doi:10.5281/zenodo.17163342","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.17163342","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dataset"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Artifact":[0],"for":[1,17,31,41,60,117,134,155,165,183,198,265,273,311,320],"TOPLAS":[2],"submission:":[3],"_Navigating":[4],"Mixed-Typed":[5],"Migration":[6],"with":[7,28,239],"Profilers:":[8],"A":[9],"Rational-Programmer":[10],"Experiment_":[11],"###":[12,63,145,419],"Contents:":[13],"-":[14,150,218,246,330,365,397],"`artifact.tar.gz`":[15,151],"code":[16,133,154,164,264,272,310],"reproducing":[18,431],"our":[19,335,362,385],"rational":[20,48,137,158,167,386],"programmer":[21,138,168,387],"experiment-":[22],"`benchmarks.tar.gz`":[23,219],"GTP":[24,70,222],"Benchmarks":[25,71,223],"without":[26],"and":[27,38,56,141,170,349,392,448,473],"modifications-":[29],"`cloudlab.tar.gz`":[30,247],"measuring":[32],"performance":[33,96,108,435],"on":[34,80,205,213],"CloudLab-":[35],"`figure-data.tar.gz`":[36,331],"figures":[37,124,172,190,357],"summarized":[39],"data":[40,109,364,383],"the":[42,47,73,107,127,136,148,157,177,188,192,214,235,266,274,312,338,355,359,370,423,427,438,441,462,467,475,484],"paper-":[43],"`rational-trails.tar.gz`":[44,366],"output":[45,59,161,169,175,203,211,328,333,368,388,413,418],"from":[46,176,191,288,334,358,369,384],"programmer-":[49],"`raw-data.tar.gz`":[50,398],"running":[51,98,135,156,321,404],"times,":[52],"boundary":[53,236,297,416,499],"profile":[54,58,257,425,500],"output,":[55],"statistical":[57,305,411,508],"all":[61,206],"benchmarks":[62,87,207,229,468],"How":[64],"it":[65],"fits":[66],"together:":[67],"1.":[68],"The":[69,130],"are":[72],"starting":[74],"point.":[75],"We":[76,121],"investigated":[77],"profiler-based":[78],"navigation":[79],"them.2.":[81],"For":[82],"every":[83,118,444],"configuration":[84],"of":[85,285,337],"most":[86],"(see":[88,242,258],"paper),":[89],"we":[90,231],"used":[91,106],"CloudLab":[92,251,259,267,424],"to":[93,110,125,233,295,303,344,353,375,380,394,471,479,487],"collect":[94,434,455],"raw":[95],"data:":[97],"times":[99,405],"&":[100],"profiler":[101,237,412,417,459],"output.3.":[102],"Our":[103],"Rational":[104,339,371],"Programmer":[105,340,372],"navigate":[111],"lattices.":[112],"It":[113],"created":[114,122],"one":[115],"trail":[116,128],"benchmark":[119,216],"configuration.4.":[120],"several":[123],"analyze":[126],"data.":[129],"artifact":[131],"has":[132],"experiment,generating":[139],"figures,":[140],"rendering":[142,178],"a":[143,184,227,250,283,317,325],"PDF.":[144],"What's":[146],"in":[147],"data?":[149],"*":[152,162,173,180,194,200,208,220,225,248,261,291,299,307,323,332,342,367,373,402,409,414],"`rational-experiment/`":[153],"programmer,":[159],"sample":[160],"`render/`":[163],"analyzing":[166],"making":[171],"`tex/`":[174],"script":[179,197,252,280,318,486],"`main.tex`":[181,199],"source":[182,271],"PDF":[185],"that":[186,230,253],"rebuilds":[187],"main":[189,356],"paper":[193,360],"`Makefile`":[195,393],"build":[196],"`all.pdf`":[201],"example":[202,210],"based":[204,212],"`fsm.pdf`":[209],"`fsm`":[215],"alone":[217],"`gtp-bench/`":[221],"v7.0":[224],"`bnd-bench/`":[226],"few":[228],"modified":[232],"help":[234],"deal":[238],"adaptor":[240],"modules":[241],"paper,":[243],"appendix":[244],"A)":[245],"`profile.py`":[249,279],"makes":[254],"an":[255],"experiment":[256],"docs)":[260],"`rds-cloudlab.tar.gz`":[262],"initial":[263],"profile,":[268],"which":[269],"contains":[270,316],"Racket":[275],"programming":[276],"language":[277],"(the":[278],"should":[281],"download":[282],"copy":[284,343,374],"this":[286,294,302],"archive":[287],"Brown":[289],"University)":[290],"`install_boundary.sh`":[292],"run":[293,301,347,351,378,390,449,461],"enable":[296,304],"profiling":[298,306],"`install_statistical.sh`":[300],"`navigation-extra.tar.gz`":[308],"support":[309],"install":[313],"scripts":[314],"+":[315],"`bmg.rkt`":[319,485],"profilers":[322],"`output.tar.gz`":[324,442],"blank":[326],"gtp-measure":[327,408],"directory":[329],"analysis":[336],"trails":[341],"`artifact/render/figure-data/`,":[345],"then":[346,377],"`artifact/render/tex.rkt`,":[348],"finally":[350],"`artifact/Makefile`":[352],"rebuild":[354,395],"using":[361],"figure":[363,382],"`artifact/rational-experiment/out/`,":[376],"`artifact/render/mkdata.rkt`":[379],"regenerate":[381],"(then":[389],"`tex.rkt`":[391],"figures)":[396],"(beware,":[399],"5GB":[400],"unpacked)":[401],"`runtime/`":[403],"collected":[406],"by":[407],"`profile/`":[410],"`boundary/`":[415],"Cloudlab":[420],"Instructions":[421],"Instantiating":[422],"is":[426],"first":[428],"step":[429],"toward":[430],"ourexperiments.":[432],"To":[433,454],"data,":[436,460],"upload":[437,466],"benchmarks,":[439],"unzip":[440],"archive,delete":[443],"empty":[445],"file":[446],"`output/**/*.out`,":[447],"gtp-measure:":[450],"```cd":[451,490],"rds-cloudlabsh":[452],"run-benchmarks.sh```":[453],"(boundary":[456],"/":[457],"statistical)":[458],"matching":[463],"installscript.":[464],"Then":[465],"you":[469],"wish":[470],"measure":[472],"find":[474],"matchingfile":[476],"`output/**/*.in`.":[477],"Upload":[478],"your":[480],"home":[481],"directory.":[482],"Use":[483],"collect.":[488],"Example:":[489],"rds-cloudlab":[491],"./racket-8.6.0.2/bin/racket":[492,501],"bmg.rkt":[493,502],"-b":[494],"../fsm":[495,504],"../fsm.*.in#":[496,505],"b":[497],"=":[498,507],"-p":[503],"p":[506],"profile```":[509]},"counts_by_year":[],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2025-10-10T00:00:00"}