{"id":"https://openalex.org/W3083598989","doi":"https://doi.org/10.1145/3411838","title":"Trace2TAP","display_name":"Trace2TAP","publication_year":2020,"publication_date":"2020-09-04","ids":{"openalex":"https://openalex.org/W3083598989","doi":"https://doi.org/10.1145/3411838","mag":"3083598989"},"language":"en","primary_location":{"id":"doi:10.1145/3411838","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3411838","pdf_url":null,"source":{"id":"https://openalex.org/S4210219751","display_name":"Proceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies","issn_l":"2474-9567","issn":["2474-9567"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies","raw_type":"journal-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/A5070936042","display_name":"Lefan Zhang","orcid":"https://orcid.org/0000-0001-6559-9630"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Lefan Zhang","raw_affiliation_strings":["University of Chicago"],"affiliations":[{"raw_affiliation_string":"University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113970042","display_name":"Weijia He","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Weijia He","raw_affiliation_strings":["University of Chicago"],"affiliations":[{"raw_affiliation_string":"University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037123777","display_name":"Olivia Morkved","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Olivia Morkved","raw_affiliation_strings":["University of Chicago"],"affiliations":[{"raw_affiliation_string":"University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030193795","display_name":"Valerie Zhao","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Valerie Zhao","raw_affiliation_strings":["University of Chicago"],"affiliations":[{"raw_affiliation_string":"University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009722403","display_name":"Michael L. Littman","orcid":"https://orcid.org/0000-0002-5596-1840"},"institutions":[{"id":"https://openalex.org/I175594653","display_name":"John Brown University","ror":"https://ror.org/02ct41q97","country_code":"US","type":"education","lineage":["https://openalex.org/I175594653"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael L. Littman","raw_affiliation_strings":["Brown University"],"affiliations":[{"raw_affiliation_string":"Brown University","institution_ids":["https://openalex.org/I175594653"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061448314","display_name":"Shan Lu","orcid":"https://orcid.org/0000-0002-0757-4600"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shan Lu","raw_affiliation_strings":["University of Chicago"],"affiliations":[{"raw_affiliation_string":"University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071246801","display_name":"Blase Ur","orcid":"https://orcid.org/0000-0001-9365-3155"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Blase Ur","raw_affiliation_strings":["University of Chicago"],"affiliations":[{"raw_affiliation_string":"University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5070936042"],"corresponding_institution_ids":["https://openalex.org/I40347166"],"apc_list":null,"apc_paid":null,"fwci":1.1785,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.81468299,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"4","issue":"3","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11704","display_name":"Mobile Crowdsensing and Crowdsourcing","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T13197","display_name":"Spreadsheets and End-User Computing","score":0.9915000200271606,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.775457501411438},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.6173083186149597},{"id":"https://openalex.org/keywords/cluster-analysis","display_name":"Cluster analysis","score":0.5653505325317383},{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.5506889820098877},{"id":"https://openalex.org/keywords/formative-assessment","display_name":"Formative assessment","score":0.5281605124473572},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.4758864641189575},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4758070409297943},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.4321219027042389},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.39099574089050293},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3403899073600769},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3342048227787018},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.33308786153793335},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09572216868400574}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.775457501411438},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.6173083186149597},{"id":"https://openalex.org/C73555534","wikidata":"https://www.wikidata.org/wiki/Q622825","display_name":"Cluster analysis","level":2,"score":0.5653505325317383},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.5506889820098877},{"id":"https://openalex.org/C42525527","wikidata":"https://www.wikidata.org/wiki/Q1209955","display_name":"Formative assessment","level":2,"score":0.5281605124473572},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.4758864641189575},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4758070409297943},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.4321219027042389},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39099574089050293},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3403899073600769},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3342048227787018},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.33308786153793335},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09572216868400574},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3411838","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3411838","pdf_url":null,"source":{"id":"https://openalex.org/S4210219751","display_name":"Proceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies","issn_l":"2474-9567","issn":["2474-9567"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies","raw_type":"journal-article"},{"id":"pmh:oai:eprints.soton.ac.uk:494646","is_oa":false,"landing_page_url":"http://doi.org/10.1145/3411838>).","pdf_url":null,"source":{"id":"https://openalex.org/S4306401019","display_name":"ePrints Soton (University of Southampton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I43439940","host_organization_name":"University of Southampton","host_organization_lineage":["https://openalex.org/I43439940"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7300000190734863,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":62,"referenced_works":["https://openalex.org/W76826465","https://openalex.org/W1480909796","https://openalex.org/W1564831185","https://openalex.org/W1579406079","https://openalex.org/W1627230931","https://openalex.org/W1966590372","https://openalex.org/W1967661515","https://openalex.org/W1973831620","https://openalex.org/W1978860163","https://openalex.org/W1987971958","https://openalex.org/W2016159237","https://openalex.org/W2018365488","https://openalex.org/W2028970698","https://openalex.org/W2074995863","https://openalex.org/W2083911832","https://openalex.org/W2086239403","https://openalex.org/W2086884248","https://openalex.org/W2101432564","https://openalex.org/W2108134421","https://openalex.org/W2108784678","https://openalex.org/W2121269968","https://openalex.org/W2131251708","https://openalex.org/W2133270667","https://openalex.org/W2134734244","https://openalex.org/W2137351629","https://openalex.org/W2149230623","https://openalex.org/W2151520537","https://openalex.org/W2155811791","https://openalex.org/W2160385283","https://openalex.org/W2346679226","https://openalex.org/W2399248522","https://openalex.org/W2516874331","https://openalex.org/W2517712916","https://openalex.org/W2519460064","https://openalex.org/W2533712304","https://openalex.org/W2605367183","https://openalex.org/W2608358627","https://openalex.org/W2609648139","https://openalex.org/W2610385267","https://openalex.org/W2616605651","https://openalex.org/W2754626137","https://openalex.org/W2755946900","https://openalex.org/W2770057444","https://openalex.org/W2799096556","https://openalex.org/W2801040906","https://openalex.org/W2804268810","https://openalex.org/W2889033824","https://openalex.org/W2899757839","https://openalex.org/W2908359121","https://openalex.org/W2912887590","https://openalex.org/W2914398499","https://openalex.org/W2941860457","https://openalex.org/W2942483256","https://openalex.org/W2953940064","https://openalex.org/W2973466028","https://openalex.org/W2973778274","https://openalex.org/W2983277367","https://openalex.org/W3003191753","https://openalex.org/W3030354934","https://openalex.org/W3125518682","https://openalex.org/W4251415532","https://openalex.org/W4300889023"],"related_works":["https://openalex.org/W609482051","https://openalex.org/W3199325201","https://openalex.org/W2792035366","https://openalex.org/W4386050096","https://openalex.org/W2360976019","https://openalex.org/W2351166673","https://openalex.org/W2390109066","https://openalex.org/W2002537515","https://openalex.org/W2349355552","https://openalex.org/W2410921486"],"abstract_inverted_index":{"Two":[0],"common":[1],"approaches":[2],"for":[3,41],"automating":[4],"IoT":[5],"smart":[6],"spaces":[7],"are":[8],"having":[9],"users":[10,101],"write":[11],"rules":[12,45,72,83,99,131,148,165,187],"using":[13],"trigger-action":[14],"programming":[15],"(TAP)":[16],"or":[17],"training":[18],"machine":[19],"learning":[20],"models":[21],"based":[22],"on":[23,109],"observed":[24],"actions.":[25],"In":[26],"this":[27],"paper,":[28],"we":[29,118],"unite":[30],"these":[31,180],"approaches.":[32],"We":[33,58,105,134],"introduce":[34],"and":[35,53,67,86,123,161,176,188],"evaluate":[36],"Trace2TAP,":[37],"a":[38,60,120,138],"novel":[39,61],"method":[40],"automatically":[42],"synthesizing":[43,185],"TAP":[44,71,98,186],"from":[46,73],"traces":[47],"(time-stamped":[48],"logs":[49],"of":[50,56],"sensor":[51],"readings":[52],"manual":[54],"actuations":[55],"devices).":[57],"present":[59,128],"algorithm":[62,80],"that":[63,166],"uses":[64],"symbolic":[65],"reasoning":[66],"SAT-solving":[68],"to":[69,76,126,132],"synthesize":[70],"traces.":[74],"Compared":[75],"prior":[77],"approaches,":[78],"our":[79,107,152],"synthesizes":[81],"generalizable":[82],"more":[84],"comprehensively":[85,184],"fully":[87],"handles":[88],"nuances":[89],"like":[90,174],"out-of-order":[91],"events.":[92],"Trace2TAP":[93,136,178],"also":[94],"iteratively":[95],"proposes":[96],"modified":[97],"when":[100],"manually":[102],"revert":[103],"automations.":[104],"implemented":[106],"approach":[108],"Samsung":[110],"SmartThings.":[111],"Through":[112],"formative":[113],"deployments":[114],"in":[115,141,157],"ten":[116],"offices,":[117],"developed":[119],"clustering/ranking":[121,153],"system":[122],"visualization":[124],"interface":[125],"intelligibly":[127],"the":[129,192],"synthesized":[130],"users.":[133],"evaluated":[135],"through":[137],"field":[139],"study":[140],"seven":[142],"additional":[143],"offices.":[144],"Participants":[145,155],"frequently":[146],"selected":[147],"ranked":[149],"highly":[150],"by":[151,171,183],"system.":[154],"varied":[156],"their":[158],"automation":[159],"priorities,":[160],"they":[162],"sometimes":[163],"chose":[164],"would":[167],"seem":[168],"less":[169],"desirable":[170],"traditional":[172],"metrics":[173],"precision":[175],"recall.":[177],"supports":[179],"differing":[181],"priorities":[182],"bringing":[189],"humans":[190],"into":[191],"loop":[193],"during":[194],"automation.":[195]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5}],"updated_date":"2026-03-17T09:09:15.849793","created_date":"2020-09-11T00:00:00"}