{"id":"https://openalex.org/W6893757805","doi":"https://doi.org/10.5281/zenodo.3975566","title":"Artifact for the OOPSLA'20 paper \"Regex Matching with Counting-Set Automata\"","display_name":"Artifact for the OOPSLA'20 paper \"Regex Matching with Counting-Set Automata\"","publication_year":2020,"publication_date":"2020-08-07","ids":{"openalex":"https://openalex.org/W6893757805","doi":"https://doi.org/10.5281/zenodo.3975566"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.3975566","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.3975566","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"type":"software","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.3975566","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Hol\u00edk, Luk\u00e1\u0161","orcid":"https://orcid.org/0000-0001-6957-1651"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Hol\u00edk, Luk\u00e1\u0161","raw_affiliation_strings":["Brno University of Technology"],"raw_orcid":"https://orcid.org/0000-0001-6957-1651","affiliations":[{"raw_affiliation_string":"Brno University of Technology","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Leng\u00e1l, Ond\u0159ej","orcid":"https://orcid.org/0000-0002-3038-5875"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Leng\u00e1l, Ond\u0159ej","raw_affiliation_strings":["Brno University of Technology"],"raw_orcid":"https://orcid.org/0000-0002-3038-5875","affiliations":[{"raw_affiliation_string":"Brno University of Technology","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Saarikivi, Olli","orcid":"https://orcid.org/0000-0001-7596-4734"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Saarikivi, Olli","raw_affiliation_strings":["Microsoft Research"],"raw_orcid":"https://orcid.org/0000-0001-7596-4734","affiliations":[{"raw_affiliation_string":"Microsoft Research","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Turo\u0148ov\u00e1, Lenka","orcid":null},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Turo\u0148ov\u00e1, Lenka","raw_affiliation_strings":["Brno University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Brno University of Technology","institution_ids":["https://openalex.org/I60587646"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Veanes, Margus","orcid":"https://orcid.org/0009-0008-8427-7977"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Veanes, Margus","raw_affiliation_strings":["Microsoft Research"],"raw_orcid":"https://orcid.org/0009-0008-8427-7977","affiliations":[{"raw_affiliation_string":"Microsoft Research","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"last","author":{"id":null,"display_name":"Vojnar, Tom\u00e1\u0161","orcid":"https://orcid.org/0000-0002-2746-8792"},"institutions":[{"id":"https://openalex.org/I60587646","display_name":"Brno University of Technology","ror":"https://ror.org/03613d656","country_code":"CZ","type":"education","lineage":["https://openalex.org/I60587646"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Vojnar, Tom\u00e1\u0161","raw_affiliation_strings":["Brno University of Technology"],"raw_orcid":"https://orcid.org/0000-0002-2746-8792","affiliations":[{"raw_affiliation_string":"Brno University of Technology","institution_ids":["https://openalex.org/I60587646"]}]}],"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":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.8485999703407288},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.6626999974250793},{"id":"https://openalex.org/keywords/virtualization","display_name":"Virtualization","score":0.5533999800682068},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5465999841690063},{"id":"https://openalex.org/keywords/host","display_name":"Host (biology)","score":0.5396000146865845},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.47769999504089355}],"concepts":[{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.8485999703407288},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8058000206947327},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.6626999974250793},{"id":"https://openalex.org/C513985346","wikidata":"https://www.wikidata.org/wiki/Q270471","display_name":"Virtualization","level":3,"score":0.5533999800682068},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5465999841690063},{"id":"https://openalex.org/C126831891","wikidata":"https://www.wikidata.org/wiki/Q221673","display_name":"Host (biology)","level":2,"score":0.5396000146865845},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5392000079154968},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47769999504089355},{"id":"https://openalex.org/C2779664074","wikidata":"https://www.wikidata.org/wiki/Q3518405","display_name":"Terminal (telecommunication)","level":2,"score":0.41370001435279846},{"id":"https://openalex.org/C2780154274","wikidata":"https://www.wikidata.org/wiki/Q7126717","display_name":"Download","level":2,"score":0.40779998898506165},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.40299999713897705},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.34040001034736633},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.3312000036239624},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.30309998989105225},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.29330000281333923}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.3975566","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.3975566","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.3975566","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.3975566","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"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,35],"for":[1,14,69,229,785,849],"the":[2,15,32,70,84,95,120,132,135,148,156,195,219,224,232,238,246,252,258,263,270,275,282,292,296,328,339,346,349,359,379,436,440,443,450,495,498,516,519,528,533,549,555,561,564,583,587,594,597,604,610,623,627,634,645,654,657,690,693,713,749,753,768,813,818,824,831,835,853,867,888,896,904],"paper":[3,16],"\"Regex":[4,17],"Matching":[5,18],"with":[6,19,318,432,527,732,742,799,882],"Counting-Set":[7,20],"Automata\"":[8,21],"(OOPSLA'20)":[9],"This":[10,24],"is":[11,26,50,139,203,305,390,767,774,846],"an":[12],"artifact":[13,25,247,271,297,581,598],"at":[22,43,61,167,672],"OOPSLA'20.":[23],"supposed":[27],"to":[28,59,110,125,187,209,267,278,291,327,330,358,365,473,493,525,537,559,566,608,642,653,696,700,708,829,833,841,898],"be":[29,227,314,343,640,701,879],"run":[30,198,281,299,393,609,709,748],"on":[31,66,87,123,214,235,255,485,647],"virtual":[33],"machine":[34,595],"Evaluation":[36],"VM":[37,71,149,154,157,520,565,636],"-":[38],"Ubuntu":[39],"18.04":[40],"LTS":[41],"available":[42],"http://doi.org/10.5281/zenodo.2759473":[44,159],".":[45],"The":[46,333,381,580,660,706],"recommended":[47],"virtualization":[48],"software":[49],"VirtualBox":[51,164],"(we":[52,165],"used":[53,607,728],"version":[54,409],"6.1.12).":[55],"Please":[56],"make":[57,143],"sure":[58],"have":[60,470,738],"least":[62,168,673],"30":[63],"GiB":[64,170,176],"allocated":[65],"your":[67,104,215,486,743],"computer":[68,105],"(the":[72,302,807],"disc":[73],"image":[74],"will":[75,197,226,599,618],"grow":[76],"automatically).":[77],"Let":[78],"us":[79],"warn":[80],"you":[81,191,469,489,512,737,746,827,891],"that":[82,388,468,777,876],"running":[83,596],"(full)":[85],"experiments":[86,182,220,437,499,707],"1":[88,592],"CPU":[89,174],"may":[90,102,183,363,477,490],"take":[91,478,506],"a":[92,108,128,205,308,394,401,415,429,457,461,479,567,648,717,739,775,795,842,872],"time":[93],"in":[94,199,535,656,692,712,716,729,752,797,805,812,871,887],"order":[96],"of":[97,99,145,171,295,384,397,410,435,442,482,518,551,563,586,615,633,780,820,839,901],"tens":[98,481],"hours":[100],"and":[101,115,134,160,244,261,298,356,392,399,521,772,837],"cause":[103],"(in":[106,237,257,570,770],"particular":[107],"laptop)":[109],"get":[111,899],"hot":[112],"(possibly":[113,460],"overheat":[114],"turn":[116,234,254],"off).":[117],"Note:":[118],"see":[119,428,697],"file":[121,273,740,776,870],"~/howto_vbox_shared_folder.txt":[122],"how":[124],"set":[126,643],"up":[127,644],"shared":[129,264,276],"folder":[130,265,277],"between":[131],"host":[133,216],"guest":[136],"OS":[137,217,650],"(it":[138],"simple).":[140],"It":[141,637],"can":[142,342,531,688,723,747,865],"transferring":[144],"files":[146],"from/to":[147],"easier.":[150],"Getting":[151],"Started":[152],"Preparing":[153,345],"Download":[155,348],"from":[158,274,351,546,603],"import":[161,866],"it":[162,202,355,504,523],"into":[163],"recommend":[166,558],"8":[169],"memory":[172],"per":[173],"(4":[175],"might":[177,313,505,878,892],"also":[178,204],"work,":[179],"though":[180],"some":[181,315,320,544,880],"terminate":[184],"sooner":[185],"due":[186,326],"out-of-memory)":[188],"---":[189,475,502],"if":[190],"allocate":[192],"more":[193,786],"CPUs,":[194],"benchmarks":[196,851],"parallel":[200],";":[201,511],"good":[206],"idea":[207],"not":[208,336,639],"do":[210],"other":[211,466],"demanding":[212],"things":[213],"while":[218],"are":[221,664,710],"runnning,":[222],"otherwise":[223],"OSes":[225],"fighting":[228],"RAM).":[230],"Start":[231,251],"VM,":[233,253],"Terminal":[236,256],"left":[239,259],"bar),":[240],"enable":[241,366],"network":[242,367],"connection,":[243],"download":[245],"zip":[248,272],"file.":[249],"OR:":[250],"bar)":[260],"mount":[262],"according":[266],"~/howto_vbox_shared_folder.txt.":[268],"Copy":[269],"$HOME.":[279],"Then":[280],"following:":[283],"unzip":[284,354,373],"<artifact>.zip":[285],"cd":[286,404,421,453,573],"<artifact>/":[287],"Installing":[288,631],"Packages":[289],"Go":[290],"root":[293],"directory":[294],"sudo":[300,303],"./install_requirements.sh":[301],"password":[304],"\"ae\")":[306],"Take":[307,456],"walk":[309,416,459],"(~20":[310],"minutes).":[311],"There":[312],"issues":[316,334],"reported":[317],"installing":[319],"packages":[321,663],"(some":[322],"nasty":[323],"stuff":[324],"happens":[325],"need":[329,364,828],"update":[331],"libc).":[332],"should":[335,386,427,625,638],"matter,":[337],"since":[338],"installed":[340],"tools":[341],"used.":[344],"Benchmarks":[347],"dataset":[350],"https://doi.org/10.5281/zenodo.3974360":[352],",":[353],"copy":[357],"right":[360],"location":[361],"(you":[362],"connection).":[368],"wget":[369],"'https://zenodo.org/record/3974360/files/benchmark-cnt-set-automata.zip?download=1'":[370],"-O":[371],"benchmark-cnt-set-automata.zip":[372,374],"mv":[375],"benchmark-cnt-set-automata/bench/*":[376],"run/":[377,405,454,754],"Kicking":[378],"Tires":[380],"following":[382,584,750,854],"sequence":[383],"commands":[385,691],"check":[387],"everything":[389],"working":[391],"small":[395],"subset":[396],"experiments,":[398,611],"generate":[400],"preliminary":[402],"report.":[403],"./make_short.sh":[406],"(prepares":[407],"short":[408],"experiments)":[411],"./run_short_benchmarks.sh":[412],"...":[413,419],"(take":[414],"~20":[417],"mins)":[418],"./run_short_processing.sh":[420],"../results":[422],"./generate-report.R":[423,575],"firefox":[424,576],"results.html":[425,577],"You":[426,530,687,864],"web":[430],"page":[431],"incomplete":[433],"results":[434,540,779],"(consider":[438],"increasing":[439],"resolution":[441,562],"VM).":[444],"Step":[445,447],"by":[446,789,903],"Instructions":[448],"Running":[449,703],"Full":[451],"Experiments":[452,552,705],"./run_benchmarks.sh":[455],"long":[458],"trip":[462],"Paris":[463],"or":[464,508,542],"any":[465],"place":[467],"always":[471],"wanted":[472],"visit":[474],"this":[476],"few":[480],"hours,":[483],"based":[484],"setup,":[487],"so":[488,890],"even":[491],"manage":[492],"leave":[494],"quarantine":[496],"before":[497],"finish":[500],";-)":[501],"seriously,":[503],"two":[507],"three":[509],"days":[510],"can,":[513],"however,":[514],"save":[515],"state":[517],"restore":[522],"later":[524],"continue":[526],"experiments).":[529],"change":[532,560],"timeout":[534,769],"run/run_benchmarks.sh":[536],"obtain":[538],"partial":[539],"faster":[541],"remove":[543],"lines":[545],"run/bench-*.txt.":[547],"Processing":[548],"Results":[550],"Before":[553],"viewing":[554],"results,":[556],"we":[557,606],"higher":[568],"one.":[569],"run/)":[571],"./run_processing.sh":[572],"../results/":[574],"Supported":[578],"Claims":[579],"reproduces":[582],"parts":[585],"paper:":[588],"Fig.":[589],"5":[590],"Table":[591],"Since":[593],"most":[600,619],"probably":[601,620],"differ":[602],"one":[605,655],"exact":[612],"times,":[613],"numbers":[614,838],"timeouts,":[616],"etc.":[617],"differ,":[621],"but":[622],"trends":[624],"stay":[626],"same.":[628],"Extra":[629],"Notes":[630],"Outside":[632],"Provided":[635],"difficult":[641],"environment":[646],"Linux":[649,662],"reasonably":[651],"close":[652],"referenced":[658],"VM.":[659],"needed":[661],"python3":[665],"R":[666,679],"pandoc":[667],"libre2-dev":[668],"grep":[669],"mono":[670],"(version":[671],"5.*)":[674],"Python":[675],"packages:":[676,680],"pyyaml":[677],"tabulate":[678],"rmarkdown":[681],"knitr":[682],"ggplot2":[683],"ggExtra":[684],"gridExtra":[685],"pastecs":[686],"follow":[689],"installation":[694],"script":[695],"what":[698],"needs":[699],"done.":[702],"Other":[704],"stored":[711],"run/bench-*.txt":[714],"files,":[715],"CSV-like":[718],"format":[719,843],"pattern;input-file":[720],"where":[721,765,815,844],"pattern":[722],"use":[724],"escape":[725],"characters":[726],"as":[727,803,885],"CSVs":[730],"(compatible":[731],"Python's":[733],"csv":[734],"module).":[735],"If":[736],"FILE":[741,757],"own":[744],"benchmarks,":[745],"command":[751,825],"directory:":[755],"cat":[756,856],"|":[758,858,860],"./pycobench":[759,783,788],"-t":[760],"TIMEOUT":[761,766],"-o":[762],"OUTPUT":[763,773,857],"pattern_match.yaml":[764],"seconds)":[771],"logs":[778],"experiments.":[781],"See":[782],"-h":[784],"details.":[787],"default":[790,808],"runs":[791,810],"every":[792,850],"benchmark":[793],"(i.e.":[794],"line":[796,848],"FILE)":[798],"all":[800],"regex":[801],"matchers":[802],"defined":[804],"run/pattern_match.yaml":[806],"definition":[809],"them":[811],"mode":[814],"they":[816],"count":[817],"number":[819],"matching":[821],"lines).":[822],"When":[823],"finishes,":[826],"process":[830],"output":[832],"collect":[834],"runtimes":[836],"matches":[840],"there":[845,877],"single":[847],"using":[852],"commands:":[855],"./san_output.sh":[859],"./proc_results.py":[861],">":[862],"results.csv":[863],"resulting":[868],"CSV":[869,897],"spreadsheet":[873],"editor.":[874],"Note":[875],"problems":[881],"delimiters":[883],"(such":[884],"\";\"":[886],"regexes),":[889],"first":[893],"consider":[894],"sanitizing":[895],"rid":[900],"regexes":[902],"./sanitize-csv.py":[905],"script.":[906]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}