{"id":"https://openalex.org/W2030476186","doi":"https://doi.org/10.1145/1879211.1879248","title":"GEM","display_name":"GEM","publication_year":2010,"publication_date":"2010-10-25","ids":{"openalex":"https://openalex.org/W2030476186","doi":"https://doi.org/10.1145/1879211.1879248","mag":"2030476186"},"language":"en","primary_location":{"id":"doi:10.1145/1879211.1879248","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1879211.1879248","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th international symposium on Software visualization","raw_type":"proceedings-article"},"type":"conference-paper","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/A5085181204","display_name":"Alan Humphrey","orcid":null},"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":"Alan Humphrey","raw_affiliation_strings":["University of Utah, Salt Lake City, UT, USA","University of Utah, Salt Lake City, UT, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Utah, Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"University of Utah, Salt Lake City, UT, USA#TAB#","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047263642","display_name":"Christopher Derrick","orcid":null},"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":"Christopher Derrick","raw_affiliation_strings":["University of Utah, Salt Lake City, UT, USA","University of Utah, Salt Lake City, UT, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Utah, Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"University of Utah, Salt Lake City, UT, USA#TAB#","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069846379","display_name":"Ganesh Gopalakrishnan","orcid":"https://orcid.org/0000-0002-3705-0031"},"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":"Ganesh Gopalakrishnan","raw_affiliation_strings":["University of Utah, Salt Lake City, UT, USA","University of Utah, Salt Lake City, UT, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Utah, Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"University of Utah, Salt Lake City, UT, USA#TAB#","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010717010","display_name":"Beth R. Tibbitts","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Beth R. Tibbitts","raw_affiliation_strings":["IBM Corporation, Lexington, KY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Corporation, Lexington, KY, USA","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2282,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.7858338,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"217","last_page":"218"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8798375129699707},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6660981178283691},{"id":"https://openalex.org/keywords/usable","display_name":"USable","score":0.6348203420639038},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6265056133270264},{"id":"https://openalex.org/keywords/eclipse","display_name":"Eclipse","score":0.4748930037021637},{"id":"https://openalex.org/keywords/plug-in","display_name":"Plug-in","score":0.4679853916168213},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.42192232608795166},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3720880150794983},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3628033995628357}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8798375129699707},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6660981178283691},{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.6348203420639038},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6265056133270264},{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.4748930037021637},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.4679853916168213},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.42192232608795166},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3720880150794983},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3628033995628357},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1879211.1879248","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1879211.1879248","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th international symposium on Software visualization","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1592293578","https://openalex.org/W1596400970","https://openalex.org/W1872471105","https://openalex.org/W2030476186","https://openalex.org/W2089427110","https://openalex.org/W2097758221","https://openalex.org/W2131514278","https://openalex.org/W2146412016","https://openalex.org/W2149871224","https://openalex.org/W2151240335","https://openalex.org/W2157776318","https://openalex.org/W2161957670","https://openalex.org/W2303756261","https://openalex.org/W2373549244","https://openalex.org/W3137220996"],"related_works":["https://openalex.org/W47352601","https://openalex.org/W2981957539","https://openalex.org/W4287378204","https://openalex.org/W4247632010","https://openalex.org/W2383892934","https://openalex.org/W2382209682","https://openalex.org/W580258128","https://openalex.org/W2761464920","https://openalex.org/W4210370802","https://openalex.org/W2250764470"],"abstract_inverted_index":{"Formal":[0],"dynamic":[1,47],"verification":[2],"complements":[3],"MPI":[4,64,115],"program":[5,36,65,145],"testing":[6],"by":[7,75,92],"detecting":[8,67],"hard-to-find":[9],"concurrency":[10],"bugs.":[11,71],"These":[12],"bugs":[13],"are":[14],"elusive":[15],"and":[16,20,100,147,187],"difficult":[17],"to":[18,27,151],"reproduce":[19],"track":[21],"down":[22],"using":[23],"conventional":[24],"methods":[25],"due":[26],"the":[28,32,38,59,79,95,131,178],"difficulty":[29],"in":[30,172],"determining":[31],"state":[33],"of":[34,62,70,81,88,97,114,156,160,168,184],"a":[35,98,108,137,157],"when":[37,90],"bug":[39],"occurs.":[40],"In":[41],"previous":[42],"work,":[43],"we":[44],"described":[45],"our":[46,188],"verifier":[48],"called":[49,111],"In-situ":[50],"Partial":[51],"Order":[52],"(ISP":[53],"[5])":[54],"that":[55,119],"can":[56],"efficiently":[57],"search":[58],"execution":[60],"space":[61],"an":[63,127,182],"while":[66],"important":[68],"classes":[69],"ISP":[72,153],"does":[73],"this":[74,121],"executing":[76],"processes":[77],"under":[78],"control":[80],"its":[82,163,185],"own":[83],"scheduler.":[84],"One":[85],"major":[86],"limitation":[87],"ISP,":[89],"used":[91],"itself,":[93],"is":[94,124],"lack":[96],"powerful":[99],"widely":[101],"usable":[102],"graphical":[103],"front-end.":[104],"We":[105],"now":[106],"present":[107],"new":[109],"tool":[110,140],"Graphical":[112],"Explorer":[113],"Programs":[116],"(GEM":[117],"[2])":[118],"overcomes":[120],"limitation.":[122],"GEM":[123,149],"designed":[125],"as":[126,166],"Eclipse":[128],"plug-in":[129],"within":[130,154],"Parallel":[132],"Tools":[133],"Platform":[134],"(PTP":[135],"[1]),":[136],"rapidly":[138],"evolving":[139],"integration":[141],"framework":[142],"for":[143,180],"parallel":[144],"development":[146],"analysis.":[148],"serves":[150],"bring":[152],"reach":[155],"wide":[158],"array":[159],"programmers":[161],"with":[162],"original":[164],"release":[165],"part":[167],"PTP":[169],"version":[170],"3.0":[171],"December,":[173],"2009.":[174],"Our":[175],"poster":[176],"illustrates":[177],"motivation":[179],"GEM,":[181],"overview":[183],"features":[186],"future":[189],"plans.":[190]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2016-06-24T00:00:00"}