{"id":"https://openalex.org/W2404114511","doi":"https://doi.org/10.29007/5pxg","title":"The SMT Execution Service: Features, Fairness, and the Future","display_name":"The SMT Execution Service: Features, Fairness, and the Future","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2404114511","doi":"https://doi.org/10.29007/5pxg","mag":"2404114511"},"language":"en","primary_location":{"id":"doi:10.29007/5pxg","is_oa":true,"landing_page_url":"https://doi.org/10.29007/5pxg","pdf_url":"https://easychair.org/publications/open/66PQ","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/66PQ","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049264484","display_name":"Morgan Deters","orcid":"https://orcid.org/0000-0001-6218-8107"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Morgan Deters","raw_affiliation_strings":["New York University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"New York University, USA","institution_ids":["https://openalex.org/I57206974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5049264484"],"corresponding_institution_ids":["https://openalex.org/I57206974"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00648569,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":null,"first_page":"41","last_page":"39"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.998199999332428,"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"}},"topics":[{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.998199999332428,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9952999949455261,"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"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7659342885017395},{"id":"https://openalex.org/keywords/competition","display_name":"Competition (biology)","score":0.6918210983276367},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6813564896583557},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5887099504470825},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.4933532774448395},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.39114201068878174},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.10753819346427917},{"id":"https://openalex.org/keywords/marketing","display_name":"Marketing","score":0.09098035097122192}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7659342885017395},{"id":"https://openalex.org/C91306197","wikidata":"https://www.wikidata.org/wiki/Q45767","display_name":"Competition (biology)","level":2,"score":0.6918210983276367},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6813564896583557},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5887099504470825},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.4933532774448395},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.39114201068878174},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.10753819346427917},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.09098035097122192},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.29007/5pxg","is_oa":true,"landing_page_url":"https://doi.org/10.29007/5pxg","pdf_url":"https://easychair.org/publications/open/66PQ","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"},{"id":"mag:2404114511","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/cade/emsqms2010.html#Deters10","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.29007/5pxg","is_oa":true,"landing_page_url":"https://doi.org/10.29007/5pxg","pdf_url":"https://easychair.org/publications/open/66PQ","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":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6399999856948853}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2404114511.pdf","grobid_xml":"https://content.openalex.org/works/W2404114511.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3089724871","https://openalex.org/W2979893459","https://openalex.org/W1027092740","https://openalex.org/W2212845119","https://openalex.org/W2091980304","https://openalex.org/W3100025638","https://openalex.org/W2767643229","https://openalex.org/W2079542285"],"abstract_inverted_index":{"The":[0],"SMT-Exec":[1,30,112],"service":[2],"is":[3],"a":[4,75],"benchmark":[5,68],"repository,":[6],"execution":[7],"service,":[8],"and":[9,21,28,52,69,83,95,97,118],"competition":[10,20,51,93],"infrastructure":[11],"for":[12,122],"the":[13,18,42,49,55],"SMT":[14],"community.":[15],"Besides":[16],"running":[17],"yearly":[19,50],"providing":[22],"real-time":[23],"(and":[24],"also":[25],"archival)":[26],"results":[27,99],"analysis,":[29],"permits":[31],"\"private":[32],"experiments\"":[33],"to":[34,65],"be":[35,61,81,101],"run":[36,53,66],"year-round":[37],"by":[38,63],"researchers":[39],"all":[40],"over":[41],"world.":[43],"These":[44],"experiments":[45],"are":[46,106],"just":[47],"like":[48],"on":[54,67],"same":[56],"computing":[57],"cluster,":[58],"but":[59],"may":[60,80,100],"parameterized":[62],"users":[64],"solver":[70],"subsets":[71],"of":[72,92,125],"interest":[73],"with":[74],"configurable":[76],"timeout.":[77],"Private":[78],"solvers":[79,96],"uploaded":[82],"tested":[84],"against":[85,89],"each":[86],"other":[87],"or":[88],"archival":[90],"versions":[91,124],"solvers,":[94],"experiment":[98],"\"published\"":[102],"so":[103],"that":[104],"they":[105],"publicly":[107],"viewable.":[108],"This":[109],"talk":[110],"describes":[111],"design":[113],"highlights,":[114],"challenges,":[115],"growing":[116],"pains,":[117],"current":[119],"development":[120],"plans":[121],"future":[123],"SMT-Exec.":[126]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}