{"id":"https://openalex.org/W4396214246","doi":"https://doi.org/10.1145/3649841","title":"TorchQL: A Programming Framework for Integrity Constraints in Machine Learning","display_name":"TorchQL: A Programming Framework for Integrity Constraints in Machine Learning","publication_year":2024,"publication_date":"2024-04-29","ids":{"openalex":"https://openalex.org/W4396214246","doi":"https://doi.org/10.1145/3649841"},"language":"en","primary_location":{"id":"doi:10.1145/3649841","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3649841","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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 Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"http://dx.doi.org/10.1145/3649841","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060397379","display_name":"Aaditya Naik","orcid":"https://orcid.org/0000-0002-3100-0455"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Aaditya Naik","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"raw_orcid":"https://orcid.org/0000-0002-3100-0455","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101805045","display_name":"A. Stein","orcid":"https://orcid.org/0000-0003-1887-100X"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adam Stein","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"raw_orcid":"https://orcid.org/0000-0003-1887-100X","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063073383","display_name":"Yinjun Wu","orcid":"https://orcid.org/0000-0002-9770-5765"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yinjun Wu","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"raw_orcid":"https://orcid.org/0000-0002-9770-5765","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075879790","display_name":"Mayur Naik","orcid":"https://orcid.org/0000-0003-1348-8618"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mayur Naik","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"raw_orcid":"https://orcid.org/0000-0003-1348-8618","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066376294","display_name":"Eric Wong","orcid":"https://orcid.org/0000-0002-8568-6659"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eric Wong","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"raw_orcid":"https://orcid.org/0000-0002-8568-6659","affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5060397379"],"corresponding_institution_ids":["https://openalex.org/I79576946","https://openalex.org/I922845939"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04380338,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":"OOPSLA1","first_page":"833","last_page":"863"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9987999796867371,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9987999796867371,"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/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.996399998664856,"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/T12535","display_name":"Machine Learning and Data Classification","score":0.992900013923645,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6596858501434326},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5605895519256592},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.42702987790107727}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6596858501434326},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5605895519256592},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.42702987790107727}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3649841","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3649841","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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 Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3649841","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3649841","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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 Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.6000000238418579,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W1903863661","https://openalex.org/W1966678916","https://openalex.org/W1988504473","https://openalex.org/W2053075547","https://openalex.org/W2085601491","https://openalex.org/W2107483511","https://openalex.org/W2173213060","https://openalex.org/W2185907055","https://openalex.org/W2194775991","https://openalex.org/W2285597872","https://openalex.org/W2340897893","https://openalex.org/W2530314904","https://openalex.org/W2606555609","https://openalex.org/W2612026221","https://openalex.org/W2796353643","https://openalex.org/W2799291378","https://openalex.org/W2913555551","https://openalex.org/W2952402617","https://openalex.org/W2962787423","https://openalex.org/W2963327228","https://openalex.org/W2972413484","https://openalex.org/W2998195985","https://openalex.org/W3037749908","https://openalex.org/W3085921543","https://openalex.org/W3092475477","https://openalex.org/W3098394944","https://openalex.org/W3105042180","https://openalex.org/W3105882417","https://openalex.org/W3184144760","https://openalex.org/W3191346550","https://openalex.org/W4210243903","https://openalex.org/W4221143046","https://openalex.org/W4301361180","https://openalex.org/W4319335604","https://openalex.org/W4386071839","https://openalex.org/W4392637287","https://openalex.org/W6948920460","https://openalex.org/W6969259846"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W4395014643","https://openalex.org/W4391913857","https://openalex.org/W2350741829"],"abstract_inverted_index":{"Finding":[0],"errors":[1,108,116],"in":[2,96,102,109,117],"machine":[3,45,61],"learning":[4,46,62],"applications":[5],"requires":[6],"a":[7,35,159],"thorough":[8],"exploration":[9],"of":[10,44,126],"their":[11],"behavior":[12],"over":[13,60],"data.":[14],"Existing":[15],"approaches":[16],"used":[17],"by":[18],"practitioners":[19],"are":[20],"often":[21],"ad-hoc":[22],"and":[23,40,56,64,120,123,145,147,162],"lack":[24],"the":[25,42],"abstractions":[26],"needed":[27],"to":[28,38,51,54,74,136,149,174],"scale":[29],"this":[30],"process.":[31],"We":[32,85,156],"present":[33],"TorchQL,":[34],"programming":[36,73],"framework":[37],"evaluate":[39,86],"improve":[41],"correctness":[43],"applications.":[47],"TorchQL":[48,87,133,165],"allows":[49],"users":[50],"write":[52],"queries":[53,79,152],"specify":[55,175],"check":[57],"integrity":[58,177],"constraints":[59],"models":[63],"datasets.":[65],"It":[66],"seamlessly":[67],"integrates":[68],"relational":[69],"algebra":[70],"with":[71,172],"functional":[72],"allow":[75],"for":[76,169],"highly":[77],"expressive":[78],"using":[80],"only":[81],"eight":[82],"intuitive":[83],"operators.":[84],"on":[88],"diverse":[89],"use-cases":[90],"including":[91],"finding":[92,105,113],"critical":[93],"temporal":[94],"inconsistencies":[95],"objects":[97],"detected":[98],"across":[99],"video":[100],"frames":[101],"autonomous":[103],"driving,":[104],"data":[106,114],"imputation":[107],"time-series":[110],"medical":[111],"records,":[112],"labeling":[115],"real-world":[118],"images,":[119],"evaluating":[121],"biases":[122],"constraining":[124],"outputs":[125],"language":[127],"models.":[128],"Our":[129],"experiments":[130],"show":[131],"that":[132,164],"enables":[134],"up":[135,148],"13x":[137],"faster":[138],"query":[139],"executions":[140],"than":[141,153],"baselines":[142],"like":[143],"Pandas":[144],"MongoDB,":[146],"40%":[150],"shorter":[151],"native":[154],"Python.":[155],"also":[157],"conduct":[158],"user":[160],"study":[161],"find":[163],"is":[166],"natural":[167],"enough":[168],"developers":[170],"familiar":[171],"Python":[173],"complex":[176],"constraints.":[178]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}