{"id":"https://openalex.org/W2986584376","doi":"https://doi.org/10.23919/fmcad.2019.8894279","title":"Concurrent Chaining Hash Maps for Software Model Checking","display_name":"Concurrent Chaining Hash Maps for Software Model Checking","publication_year":2019,"publication_date":"2019-10-01","ids":{"openalex":"https://openalex.org/W2986584376","doi":"https://doi.org/10.23919/fmcad.2019.8894279","mag":"2986584376"},"language":"en","primary_location":{"id":"doi:10.23919/fmcad.2019.8894279","is_oa":false,"landing_page_url":"https://doi.org/10.23919/fmcad.2019.8894279","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Formal Methods in Computer Aided Design (FMCAD)","raw_type":"proceedings-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/A5063360670","display_name":"Freark I. van der Berg","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Freark I. van der Berg","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012697499","display_name":"Jaco van de Pol","orcid":"https://orcid.org/0000-0003-4305-0625"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Jaco van de Pol","raw_affiliation_strings":["Dept. of CS, Aarhus University, Denmark"],"affiliations":[{"raw_affiliation_string":"Dept. of CS, Aarhus University, Denmark","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5063360670"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":null,"apc_paid":null,"fwci":0.6692,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.74248476,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"46","last_page":"54"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"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/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.7762236595153809},{"id":"https://openalex.org/keywords/hash-function","display_name":"Hash function","score":0.6192778944969177},{"id":"https://openalex.org/keywords/chaining","display_name":"Chaining","score":0.6177592277526855},{"id":"https://openalex.org/keywords/hash-table","display_name":"Hash table","score":0.44928646087646484},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4188113510608673},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4100354015827179},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39645421504974365},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.33395957946777344}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7762236595153809},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.6192778944969177},{"id":"https://openalex.org/C49020025","wikidata":"https://www.wikidata.org/wiki/Q1059099","display_name":"Chaining","level":2,"score":0.6177592277526855},{"id":"https://openalex.org/C67388219","wikidata":"https://www.wikidata.org/wiki/Q207440","display_name":"Hash table","level":3,"score":0.44928646087646484},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4188113510608673},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4100354015827179},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39645421504974365},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33395957946777344},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.23919/fmcad.2019.8894279","is_oa":false,"landing_page_url":"https://doi.org/10.23919/fmcad.2019.8894279","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Formal Methods in Computer Aided Design (FMCAD)","raw_type":"proceedings-article"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/c71e99bc-d01f-48b9-9fdf-f1c495588533","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/c71e99bc-d01f-48b9-9fdf-f1c495588533","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"van der Berg, F I & van de Pol, J 2019, Concurrent chaining hash maps for software model checking. in C Barrett & J Yang (eds), 2019 Formal Methods in Computer Aided Design (FMCAD)., 8894279, Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD), vol. 2019, IEEE, Piscataway, NY, pp. 46-54, 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019, San Jose, California, United States, 22/10/19. https://doi.org/10.23919/FMCAD.2019.8894279","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:publications/27c3d207-561f-4848-be88-69ae982e1b99","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/27c3d207-561f-4848-be88-69ae982e1b99","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Van Der Berg, F I & Van De Pol, J 2019, Concurrent chaining hash maps for software model checking. in C Barrett & J Yang (eds), Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019., 8894279, IEEE, pp. 46-54, 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019, San Jose, United States, 22/10/2019. https://doi.org/10.23919/FMCAD.2019.8894279","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/c71e99bc-d01f-48b9-9fdf-f1c495588533","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=85075591170&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van der Berg, F I & van de Pol, J 2019, Concurrent chaining hash maps for software model checking. in C Barrett & J Yang (eds), 2019 Formal Methods in Computer Aided Design (FMCAD)., 8894279, Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD), vol. 2019, IEEE, Piscataway, NY, pp. 46-54, 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019, San Jose, California, United States, 22/10/19. https://doi.org/10.23919/FMCAD.2019.8894279","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4000000059604645,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W564800084","https://openalex.org/W1529693658","https://openalex.org/W1606621385","https://openalex.org/W1778179093","https://openalex.org/W1832530458","https://openalex.org/W1983096721","https://openalex.org/W1983572666","https://openalex.org/W2016995838","https://openalex.org/W2042661579","https://openalex.org/W2076162755","https://openalex.org/W2135372254","https://openalex.org/W2147895351","https://openalex.org/W2159392969","https://openalex.org/W2166801043","https://openalex.org/W2190212846","https://openalex.org/W2252532808","https://openalex.org/W2253629710","https://openalex.org/W2278409140","https://openalex.org/W2755297013","https://openalex.org/W2781074031","https://openalex.org/W2912601938","https://openalex.org/W2949298199","https://openalex.org/W2963577414","https://openalex.org/W3000405543","https://openalex.org/W4292169167","https://openalex.org/W6638319720","https://openalex.org/W6681826641","https://openalex.org/W6695383005"],"related_works":["https://openalex.org/W1995270367","https://openalex.org/W2767696758","https://openalex.org/W4387627836","https://openalex.org/W2058705974","https://openalex.org/W2144265691","https://openalex.org/W4323528793","https://openalex.org/W1605991620","https://openalex.org/W113683524","https://openalex.org/W4385261619","https://openalex.org/W93624718"],"abstract_inverted_index":{"Stateful":[0],"model":[1,32,50],"checking":[2],"creates":[3],"numerous":[4],"states":[5],"which":[6],"need":[7],"to":[8],"be":[9],"stored":[10],"and":[11,25,115,175],"checked":[12],"if":[13],"already":[14],"visited.":[15],"One":[16],"option":[17],"for":[18,46,69,86,183],"such":[19],"storage":[20],"is":[21,172,194],"a":[22,53,89,184],"hash":[23,44,75,95,118,130,139,159,170,181],"map":[24,96,171],"this":[26],"has":[27],"been":[28],"used":[29],"in":[30,39,48,88],"many":[31],"checkers.":[33],"In":[34],"particular,":[35],"we":[36,79,132],"are":[37],"interested":[38],"the":[40,65,70,134],"performance":[41,136],"of":[42,73,104,122,137,148,197],"concurrent":[43,74,90],"maps":[45,119],"use":[47,87],"multi-core":[49],"checkers":[51],"with":[52,157],"variable":[54,149],"state":[55,146],"vector":[56],"size.":[57],"Previous":[58],"research":[59],"claimed":[60],"that":[61,81,164],"open":[62],"addressing":[63],"was":[64],"best":[66,169],"performing":[67],"method":[68],"parallel":[71],"speedup":[72],"maps.":[76,140,160],"However,":[77],"here":[78],"demonstrate":[80],"chaining":[82],"lends":[83],"itself":[84],"perfectly":[85],"setting.":[91],"We":[92,111],"implemented":[93],"12":[94],"variants,":[97],"all":[98],"aiming":[99],"at":[100],"multicore":[101],"efficiency.":[102],"8":[103],"our":[105,113,168],"implementations":[106,114,142],"support":[107,145],"variable-length":[108],"key-value":[109],"pairs.":[110],"compare":[112],"22":[116],"other":[117],"by":[120],"means":[121],"an":[123,195],"extensive":[124],"test":[125],"suite.":[126],"Of":[127],"these":[128],"34":[129],"maps,":[131,182],"show":[133,163],"representative":[135],"11":[138],"Our":[141,161],"not":[143],"only":[144],"vectors":[147],"length,":[150],"but":[151],"also":[152],"feature":[153],"superior":[154],"scalability":[155],"compared":[156],"competing":[158,180],"benchmarks":[162],"on":[165],"96":[166],"cores,":[167],"between":[173],"1.3":[174],"2.6":[176],"times":[177],"faster":[178],"than":[179],"load":[185,191],"factor":[186],"under":[187],"1.":[188],"For":[189],"higher":[190],"factors,":[192],"it":[193],"order":[196],"magnitude":[198],"faster.":[199]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}