{"id":"https://openalex.org/W2289508293","doi":"https://doi.org/10.1145/2837614.2837659","title":"Newtonian program analysis via tensor product","display_name":"Newtonian program analysis via tensor product","publication_year":2016,"publication_date":"2016-01-07","ids":{"openalex":"https://openalex.org/W2289508293","doi":"https://doi.org/10.1145/2837614.2837659","mag":"2289508293"},"language":"en","primary_location":{"id":"doi:10.1145/2837614.2837659","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2837614.2837659","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2837659&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=2837659&type=pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066155126","display_name":"Thomas Reps","orcid":"https://orcid.org/0000-0002-5676-9949"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]},{"id":"https://openalex.org/I4210135696","display_name":"GrammaTech (United States)","ror":"https://ror.org/03mwfxd89","country_code":"US","type":"company","lineage":["https://openalex.org/I4210135696"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Thomas Reps","raw_affiliation_strings":["University of Wisconsin-Madison, USA / GrammaTech, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, USA / GrammaTech, USA","institution_ids":["https://openalex.org/I4210135696","https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078597975","display_name":"Emma Turetsky","orcid":null},"institutions":[{"id":"https://openalex.org/I4210135696","display_name":"GrammaTech (United States)","ror":"https://ror.org/03mwfxd89","country_code":"US","type":"company","lineage":["https://openalex.org/I4210135696"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Emma Turetsky","raw_affiliation_strings":["GrammaTech, USA"],"affiliations":[{"raw_affiliation_string":"GrammaTech, USA","institution_ids":["https://openalex.org/I4210135696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047615041","display_name":"Prathmesh Prabhu","orcid":null},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Prathmesh Prabhu","raw_affiliation_strings":["Google, USA"],"affiliations":[{"raw_affiliation_string":"Google, USA","institution_ids":["https://openalex.org/I1291425158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5066155126"],"corresponding_institution_ids":["https://openalex.org/I135310074","https://openalex.org/I4210135696"],"apc_list":null,"apc_paid":null,"fwci":3.9537,"has_fulltext":true,"cited_by_count":21,"citation_normalized_percentile":{"value":0.93723972,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"663","last_page":"677"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991000294685364,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9979000091552734,"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/dataflow","display_name":"Dataflow","score":0.7437307834625244},{"id":"https://openalex.org/keywords/numerical-analysis","display_name":"Numerical analysis","score":0.5657099485397339},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5620962381362915},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.4924996793270111},{"id":"https://openalex.org/keywords/newtons-method","display_name":"Newton's method","score":0.4462154507637024},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.44319772720336914},{"id":"https://openalex.org/keywords/tensor-product","display_name":"Tensor product","score":0.44099465012550354},{"id":"https://openalex.org/keywords/iterative-method","display_name":"Iterative method","score":0.42727863788604736},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.42296403646469116},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.4041394889354706},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3427530527114868},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3204546570777893},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.21944072842597961},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.21814289689064026},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20424005389213562},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.15266355872154236},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1219639778137207}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.7437307834625244},{"id":"https://openalex.org/C48753275","wikidata":"https://www.wikidata.org/wiki/Q11216","display_name":"Numerical analysis","level":2,"score":0.5657099485397339},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5620962381362915},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.4924996793270111},{"id":"https://openalex.org/C85189116","wikidata":"https://www.wikidata.org/wiki/Q374195","display_name":"Newton's method","level":3,"score":0.4462154507637024},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.44319772720336914},{"id":"https://openalex.org/C51255310","wikidata":"https://www.wikidata.org/wiki/Q1163016","display_name":"Tensor product","level":2,"score":0.44099465012550354},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.42727863788604736},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.42296403646469116},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4041394889354706},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3427530527114868},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3204546570777893},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.21944072842597961},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.21814289689064026},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20424005389213562},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15266355872154236},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1219639778137207},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2837614.2837659","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2837614.2837659","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2837659&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},{"id":"pmh:oai:minds.wisconsin.edu:1793/74047","is_oa":true,"landing_page_url":"http://digital.library.wisc.edu/1793/74047","pdf_url":"https://minds.wisconsin.edu/bitstream/1793/74047/1/TR1825.pdf","source":{"id":"https://openalex.org/S4306401622","display_name":"Minds at UW (University of Wisconsin)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I135310074","host_organization_name":"University of Wisconsin\u2013Madison","host_organization_lineage":["https://openalex.org/I135310074"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Technical Report"}],"best_oa_location":{"id":"doi:10.1145/2837614.2837659","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2837614.2837659","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2837659&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1829588041","display_name":"SHF: Medium: MACANTOK -- a MAchine-Code-ANalysis TOol Kit -- and its Applications","funder_award_id":"0904371","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2147453626","display_name":null,"funder_award_id":"HR0011-12-2-0012","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G2300527280","display_name":null,"funder_award_id":"8750-14-2-0270","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G2575196006","display_name":null,"funder_award_id":"FA8750-14-2-0270","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4414380795","display_name":null,"funder_award_id":"W911NF-09-1-0413","funder_id":"https://openalex.org/F4320338295","funder_display_name":"Army Research Laboratory"},{"id":"https://openalex.org/G4577670171","display_name":null,"funder_award_id":"FA8750-15-C-0082","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5070240794","display_name":null,"funder_award_id":"N00014-09-1-0510, N00014-11-C- 0447","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6098521345","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6283383606","display_name":null,"funder_award_id":"FA8650-10-C-7088","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G698519724","display_name":null,"funder_award_id":"FA8750-14-2-0270","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G7363309906","display_name":null,"funder_award_id":"FA9550-09- 1-0279,FA8650-10-C-7088,FA8750-14-2-0270,FA8750-15-C-0082","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G7764270347","display_name":null,"funder_award_id":"FA9550-09-1-0279","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G8289759875","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G8325372363","display_name":null,"funder_award_id":"CCF-0904371","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G898061048","display_name":null,"funder_award_id":"8750-14-2-0270","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306555","display_name":"Wisconsin Alumni Research Foundation","ror":"https://ror.org/00hwxbz16"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320337368","display_name":"Division of Graduate Education","ror":"https://ror.org/00whkrf32"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"},{"id":"https://openalex.org/F4320338295","display_name":"Army Research Laboratory","ror":"https://ror.org/011hc8f90"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2289508293.pdf","grobid_xml":"https://content.openalex.org/works/W2289508293.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W136425998","https://openalex.org/W148396834","https://openalex.org/W307277976","https://openalex.org/W1491178396","https://openalex.org/W1497571013","https://openalex.org/W1521221596","https://openalex.org/W1545371423","https://openalex.org/W1585404558","https://openalex.org/W1589089428","https://openalex.org/W1591136029","https://openalex.org/W1593165330","https://openalex.org/W1691700263","https://openalex.org/W2010194128","https://openalex.org/W2030166143","https://openalex.org/W2047615655","https://openalex.org/W2080267935","https://openalex.org/W2087493276","https://openalex.org/W2116098983","https://openalex.org/W2119179558","https://openalex.org/W2124153277","https://openalex.org/W2129414328","https://openalex.org/W2139929430","https://openalex.org/W2150082535","https://openalex.org/W2160520283","https://openalex.org/W2171834078","https://openalex.org/W2295673914","https://openalex.org/W2693104213","https://openalex.org/W2770491639","https://openalex.org/W4244831445","https://openalex.org/W4252737723","https://openalex.org/W6629660608","https://openalex.org/W6635232666"],"related_works":["https://openalex.org/W2293118914","https://openalex.org/W2998381397","https://openalex.org/W4236419692","https://openalex.org/W2171015181","https://openalex.org/W3167919718","https://openalex.org/W4251718783","https://openalex.org/W1540933342","https://openalex.org/W3104400643","https://openalex.org/W1593749420","https://openalex.org/W2070768493"],"abstract_inverted_index":{"Recently,":[0],"Esparza":[1],"et":[2],"al.":[3],"generalized":[4],"Newton's":[5,83,98,136,194],"method":[6,18,29,48,99,137,197],"--":[7],"a":[8,17,31,50],"numerical-analysis":[9,95,103],"algorithm":[10],"for":[11,19,140,184],"finding":[12,20],"roots":[13],"of":[14,22,24,46,55,82,113,193,205],"real-valued":[15,42],"functions---to":[16],"fixed-points":[21],"systems":[23],"equations":[25,124,165],"over":[26],"semirings.":[27],"Their":[28],"provides":[30],"new":[32],"way":[33],"to":[34,110,126,167,199],"solve":[35],"interprocedural":[36,141],"dataflow-analysis":[37,93],"problems.":[38],"As":[39],"in":[40],"its":[41],"counterpart,":[43],"each":[44],"iteration":[45],"their":[47],"solves":[49],"simpler":[51],"``linearized''":[52],"problem.":[53],"One":[54],"the":[56,92,114,144,186],"reasons":[57],"this":[58,177],"advance":[59],"is":[60,62,87,100,107,138,152],"exciting":[61],"that":[63,69],"some":[64],"numerical":[65],"analysts":[66],"have":[67],"claimed":[68],"```all'":[70],"effective":[71],"and":[72,94,150],"fast":[73],"iterative":[74],"[numerical]":[75],"methods":[76],"are":[77],"forms":[78],"(perhaps":[79],"very":[80],"disguised)":[81],"method.''":[84],"However,":[85],"there":[86],"an":[88,181],"important":[89],"difference":[90],"between":[91],"contexts:":[96],"when":[97,135],"used":[101,139],"on":[102,109,202],"problems,":[104],"multiplicative":[105],"commutativity":[106],"relied":[108],"rearrange":[111],"expressions":[112],"form":[115],"``c*X":[116,154],"+":[117,155],"X*d''":[118,156],"into":[119,160],"``(c+d)":[120,161],"*":[121,162],"X.''":[122,163],"Such":[123,164],"correspond":[125,166],"path":[127,168],"problems":[128,169],"described":[129,170],"by":[130,171],"regular":[131],"languages.":[132],"In":[133,176],"contrast,":[134],"dataflow":[142],"analysis,":[143],"``multiplication''":[145],"operation":[146],"involves":[147],"function":[148],"composition,":[149],"hence":[151],"non-commutative:":[153],"cannot":[157],"be":[158],"rearranged":[159],"linear":[172],"context-free":[173],"languages":[174],"(LCFLs).":[175],"paper,":[178],"we":[179],"present":[180],"improved":[182],"technique":[183],"solving":[185],"LCFL":[187],"sub-problems":[188],"produced":[189],"during":[190],"successive":[191],"rounds":[192],"method.":[195],"Our":[196],"applies":[198],"predicate":[200],"abstraction,":[201],"which":[203],"most":[204],"today's":[206],"software":[207],"model":[208],"checkers":[209],"rely.":[210]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}