{"id":"https://openalex.org/W2401001730","doi":"https://doi.org/10.29007/65lt","title":"Howard Barringer: the Man who Invented the Past","display_name":"Howard Barringer: the Man who Invented the Past","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2401001730","doi":"https://doi.org/10.29007/65lt","mag":"2401001730"},"language":"en","primary_location":{"id":"doi:10.29007/65lt","is_oa":true,"landing_page_url":"https://doi.org/10.29007/65lt","pdf_url":"https://easychair.org/publications/open/VJ","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/VJ","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040778442","display_name":"Klaus Havelund","orcid":"https://orcid.org/0000-0001-7079-0472"},"institutions":[{"id":"https://openalex.org/I144852770","display_name":"The King's College","ror":"https://ror.org/051j50p12","country_code":"US","type":"education","lineage":["https://openalex.org/I144852770"]},{"id":"https://openalex.org/I1334627681","display_name":"Jet Propulsion Laboratory","ror":"https://ror.org/027k65916","country_code":"US","type":"facility","lineage":["https://openalex.org/I122411786","https://openalex.org/I1334627681","https://openalex.org/I4210124779"]},{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]},{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]}],"countries":["GB","US"],"is_corresponding":true,"raw_author_name":"Klaus Havelund","raw_affiliation_strings":["NASA Ames Research Center, Moffett Field, CA in 2002 and 2003,","Computer Science Laboratory at SRI International, Menlo Park, CA in 2002","100 seminars and research lectures in Austria, Belgium, Canada, China (Beijing, Shanghai, Wuhan), Denmark, England, France, Germany, Greece, Israel, Italy, the Netherlands, Norway, Scotland, South Africa, Spain, Sweden, USA (Arizona, California, New York, Pennsylvania, Texas) and Wales. He was visiting professor at Kings College","Jet Propulsion Laboratory California Institute of Technology Pasadena, California, USA","University of Manchester"],"affiliations":[{"raw_affiliation_string":"NASA Ames Research Center, Moffett Field, CA in 2002 and 2003,","institution_ids":["https://openalex.org/I1280536761"]},{"raw_affiliation_string":"Computer Science Laboratory at SRI International, Menlo Park, CA in 2002","institution_ids":["https://openalex.org/I1298353152"]},{"raw_affiliation_string":"100 seminars and research lectures in Austria, Belgium, Canada, China (Beijing, Shanghai, Wuhan), Denmark, England, France, Germany, Greece, Israel, Italy, the Netherlands, Norway, Scotland, South Africa, Spain, Sweden, USA (Arizona, California, New York, Pennsylvania, Texas) and Wales. He was visiting professor at Kings College","institution_ids":["https://openalex.org/I144852770"]},{"raw_affiliation_string":"Jet Propulsion Laboratory California Institute of Technology Pasadena, California, USA","institution_ids":["https://openalex.org/I1334627681"]},{"raw_affiliation_string":"University of Manchester","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5040778442"],"corresponding_institution_ids":["https://openalex.org/I1280536761","https://openalex.org/I1298353152","https://openalex.org/I1334627681","https://openalex.org/I144852770","https://openalex.org/I28407311"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00263029,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"42","issue":null,"first_page":"1","last_page":""},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9983999729156494,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9983999729156494,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/honor","display_name":"Honor","score":0.9006351232528687},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8107076287269592},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5552534461021423},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.48761382699012756},{"id":"https://openalex.org/keywords/art-history","display_name":"Art history","score":0.4043616056442261},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.39349448680877686},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.38899990916252136},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3656761050224304},{"id":"https://openalex.org/keywords/classics","display_name":"Classics","score":0.3366202116012573},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.3135351538658142},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11182844638824463},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.044267624616622925}],"concepts":[{"id":"https://openalex.org/C2779438500","wikidata":"https://www.wikidata.org/wiki/Q27070331","display_name":"Honor","level":2,"score":0.9006351232528687},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8107076287269592},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5552534461021423},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.48761382699012756},{"id":"https://openalex.org/C52119013","wikidata":"https://www.wikidata.org/wiki/Q50637","display_name":"Art history","level":1,"score":0.4043616056442261},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.39349448680877686},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38899990916252136},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3656761050224304},{"id":"https://openalex.org/C74916050","wikidata":"https://www.wikidata.org/wiki/Q841090","display_name":"Classics","level":1,"score":0.3366202116012573},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.3135351538658142},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11182844638824463},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.044267624616622925},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/65lt","is_oa":true,"landing_page_url":"https://doi.org/10.29007/65lt","pdf_url":"https://easychair.org/publications/open/VJ","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/65lt","is_oa":true,"landing_page_url":"https://doi.org/10.29007/65lt","pdf_url":"https://easychair.org/publications/open/VJ","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"},{"id":"https://openalex.org/F4320309398","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055"},{"id":"https://openalex.org/F4320332375","display_name":"Jet Propulsion Laboratory","ror":"https://ror.org/027k65916"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2401001730.pdf"},"referenced_works_count":95,"referenced_works":["https://openalex.org/W15108540","https://openalex.org/W56859415","https://openalex.org/W66841279","https://openalex.org/W79222658","https://openalex.org/W117551558","https://openalex.org/W132810286","https://openalex.org/W137616758","https://openalex.org/W158809539","https://openalex.org/W159967061","https://openalex.org/W194407255","https://openalex.org/W208045960","https://openalex.org/W234052250","https://openalex.org/W241010833","https://openalex.org/W363892904","https://openalex.org/W390673908","https://openalex.org/W621660039","https://openalex.org/W633803211","https://openalex.org/W1493551816","https://openalex.org/W1493826535","https://openalex.org/W1494755801","https://openalex.org/W1511802469","https://openalex.org/W1515452107","https://openalex.org/W1517976619","https://openalex.org/W1520590293","https://openalex.org/W1535629208","https://openalex.org/W1538888017","https://openalex.org/W1547805965","https://openalex.org/W1578742033","https://openalex.org/W1588265599","https://openalex.org/W1593747289","https://openalex.org/W1597159357","https://openalex.org/W1600318488","https://openalex.org/W1779766336","https://openalex.org/W1795966353","https://openalex.org/W1799055964","https://openalex.org/W1825341937","https://openalex.org/W1866624891","https://openalex.org/W1873959494","https://openalex.org/W1965553357","https://openalex.org/W1977090137","https://openalex.org/W1979424379","https://openalex.org/W1990092944","https://openalex.org/W1990977896","https://openalex.org/W1999597477","https://openalex.org/W2001516787","https://openalex.org/W2003773532","https://openalex.org/W2010472755","https://openalex.org/W2011223077","https://openalex.org/W2019341046","https://openalex.org/W2021092055","https://openalex.org/W2024753805","https://openalex.org/W2024810734","https://openalex.org/W2031313050","https://openalex.org/W2061841985","https://openalex.org/W2067998808","https://openalex.org/W2074923247","https://openalex.org/W2089387242","https://openalex.org/W2095617372","https://openalex.org/W2101874921","https://openalex.org/W2104695195","https://openalex.org/W2110972493","https://openalex.org/W2115320367","https://openalex.org/W2117013774","https://openalex.org/W2117910680","https://openalex.org/W2120680227","https://openalex.org/W2126606154","https://openalex.org/W2132281483","https://openalex.org/W2135991641","https://openalex.org/W2142313773","https://openalex.org/W2145063062","https://openalex.org/W2153691835","https://openalex.org/W2160959601","https://openalex.org/W2163435888","https://openalex.org/W2166092235","https://openalex.org/W2169072222","https://openalex.org/W2169134334","https://openalex.org/W2173007823","https://openalex.org/W2178214928","https://openalex.org/W2251195272","https://openalex.org/W2482973697","https://openalex.org/W2527227664","https://openalex.org/W2539433646","https://openalex.org/W2542641701","https://openalex.org/W2583230104","https://openalex.org/W2585476404","https://openalex.org/W2586063169","https://openalex.org/W2738116044","https://openalex.org/W2764999858","https://openalex.org/W2963323154","https://openalex.org/W3104936023","https://openalex.org/W4206838659","https://openalex.org/W4234103458","https://openalex.org/W4249354525","https://openalex.org/W4254846164","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2476169496","https://openalex.org/W4244591268","https://openalex.org/W4205253569","https://openalex.org/W1687359194","https://openalex.org/W2360048061","https://openalex.org/W2592404050","https://openalex.org/W2061417947","https://openalex.org/W2621101275","https://openalex.org/W4321782533","https://openalex.org/W3096156304"],"abstract_inverted_index":{"This":[0],"article":[1],"is":[2],"an":[3],"introduction":[4],"to":[5],"Professor":[6],"Howard":[7],"Barringer,":[8],"in":[9],"honor":[10],"of":[11,41],"his":[12],"60th":[13],"birthday":[14],"on":[15,28,35],"December":[16],"20,":[17],"2011,":[18],"which":[19],"was":[20],"celebrated":[21],"by":[22],"the":[23,36],"HOWARD-60":[24],"workshop":[25],"(Higher-Order":[26],"Workshop":[27],"Automated":[29],"Runtime":[30],"verification":[31],"and":[32],"Debugging),":[33],"held":[34],"same":[37],"day":[38],"at":[39],"University":[40],"Manchester.":[42]},"counts_by_year":[],"updated_date":"2026-01-15T23:16:33.117629","created_date":"2025-10-10T00:00:00"}