{"id":"https://openalex.org/W3108729219","doi":"https://doi.org/10.1145/3428263","title":"Fast linear programming through transprecision computing on small and sparse data","display_name":"Fast linear programming through transprecision computing on small and sparse data","publication_year":2020,"publication_date":"2020-11-13","ids":{"openalex":"https://openalex.org/W3108729219","doi":"https://doi.org/10.1145/3428263","mag":"3108729219"},"language":"en","primary_location":{"id":"doi:10.1145/3428263","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3428263","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3428263","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3428263","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055618037","display_name":"Tobias Grosser","orcid":"https://orcid.org/0000-0003-3874-6003"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tobias Grosser","raw_affiliation_strings":["University of Edinburgh, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023299580","display_name":"Theodoros Theodoridis","orcid":"https://orcid.org/0000-0002-0896-9997"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Theodoros Theodoridis","raw_affiliation_strings":["ETH Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040006891","display_name":"Maximilian Falkenstein","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Maximilian Falkenstein","raw_affiliation_strings":["ETH Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076926812","display_name":"Arjun Pitchanathan","orcid":"https://orcid.org/0000-0002-7301-2307"},"institutions":[{"id":"https://openalex.org/I65181880","display_name":"Indian Institute of Technology Hyderabad","ror":"https://ror.org/01j4v3x97","country_code":"IN","type":"education","lineage":["https://openalex.org/I65181880"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Arjun Pitchanathan","raw_affiliation_strings":["IIIT Hyderabad, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIIT Hyderabad, India","institution_ids":["https://openalex.org/I65181880"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077795200","display_name":"Michael Kruse","orcid":"https://orcid.org/0000-0001-7756-7126"},"institutions":[{"id":"https://openalex.org/I1282105669","display_name":"Argonne National Laboratory","ror":"https://ror.org/05gvnxz63","country_code":"US","type":"facility","lineage":["https://openalex.org/I1282105669","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Kruse","raw_affiliation_strings":["Argonne National Laboratory, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Argonne National Laboratory, USA","institution_ids":["https://openalex.org/I1282105669"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066738024","display_name":"Manuel Rigger","orcid":"https://orcid.org/0000-0001-8303-2099"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Manuel Rigger","raw_affiliation_strings":["ETH Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077610917","display_name":"Zhendong Su","orcid":"https://orcid.org/0000-0002-2970-1391"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Zhendong Su","raw_affiliation_strings":["ETH Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026990786","display_name":"Torsten Hoefler","orcid":"https://orcid.org/0000-0002-1333-9797"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Torsten Hoefler","raw_affiliation_strings":["ETH Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2914,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.64974349,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"4","issue":"OOPSLA","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9987000226974487,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9987000226974487,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8473115563392639},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8307117819786072},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.7847477197647095},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.7574558258056641},{"id":"https://openalex.org/keywords/simd","display_name":"SIMD","score":0.7082679271697998},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6928021311759949},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6857242584228516},{"id":"https://openalex.org/keywords/linear-programming","display_name":"Linear programming","score":0.5033947825431824},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.4720871150493622},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.41956087946891785},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.4140307307243347},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3563123643398285},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23538529872894287},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21255463361740112}],"concepts":[{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8473115563392639},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8307117819786072},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.7847477197647095},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.7574558258056641},{"id":"https://openalex.org/C150552126","wikidata":"https://www.wikidata.org/wiki/Q339387","display_name":"SIMD","level":2,"score":0.7082679271697998},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6928021311759949},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6857242584228516},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.5033947825431824},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.4720871150493622},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.41956087946891785},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.4140307307243347},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3563123643398285},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23538529872894287},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21255463361740112},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3428263","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3428263","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3428263","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:pure.ed.ac.uk:publications/d7d52c0c-bf1d-4223-a349-24cf9e4f00f5","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/d7d52c0c-bf1d-4223-a349-24cf9e4f00f5","pdf_url":"https://www.research.ed.ac.uk/files/185240320/Fast_Linear_Programming_GROSSER_DOA15092020_AFV.pdf","source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Grosser, T, Theodoridis, T, Falkenstein, M, Pitchanathan, A, Kruse, M, Rigger, M, Su, Z & Hoefler, T 2020, 'Fast Linear Programming through Transprecision Computing on Small and Sparse Data', Proceedings of the ACM on Programming Languages, vol. 4, no. OOPSLA, 195. https://doi.org/10.1145/3428263","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.ed.ac.uk:publications/d7d52c0c-bf1d-4223-a349-24cf9e4f00f5","is_oa":true,"landing_page_url":"https://dl.acm.org/doi/10.1145/3428263","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/456970","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/456970","pdf_url":null,"source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages, 4 (OOPSLA)","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.3929/ethz-b-000456970","is_oa":true,"landing_page_url":"https://doi.org/10.3929/ethz-b-000456970","pdf_url":null,"source":{"id":"https://openalex.org/S7407051236","display_name":"ETH Z\u00fcrich Research Collection","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.1145/3428263","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3428263","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3428263","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":"Industry, innovation and infrastructure","score":0.47999998927116394,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G3718220727","display_name":null,"funder_award_id":"PZ00P2168016","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3108729219.pdf","grobid_xml":"https://content.openalex.org/works/W3108729219.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W37867413","https://openalex.org/W1191262899","https://openalex.org/W1558370006","https://openalex.org/W1588915715","https://openalex.org/W1667652561","https://openalex.org/W1973532523","https://openalex.org/W1975964164","https://openalex.org/W2005936791","https://openalex.org/W2031775479","https://openalex.org/W2055477538","https://openalex.org/W2057651724","https://openalex.org/W2062873592","https://openalex.org/W2077143534","https://openalex.org/W2088494048","https://openalex.org/W2093334386","https://openalex.org/W2094269821","https://openalex.org/W2101511474","https://openalex.org/W2102738679","https://openalex.org/W2139143992","https://openalex.org/W2153738380","https://openalex.org/W2159558457","https://openalex.org/W2294854295","https://openalex.org/W2340604309","https://openalex.org/W2346144740","https://openalex.org/W2474476421","https://openalex.org/W2752879223","https://openalex.org/W2779253217","https://openalex.org/W2791673912","https://openalex.org/W2808102735","https://openalex.org/W2888796762","https://openalex.org/W2895305554","https://openalex.org/W2951815798","https://openalex.org/W2954478959","https://openalex.org/W2967701984","https://openalex.org/W3100704941","https://openalex.org/W3101543398","https://openalex.org/W3142903977","https://openalex.org/W3173983494","https://openalex.org/W4233295136","https://openalex.org/W4246166885","https://openalex.org/W4254321607","https://openalex.org/W4366084930"],"related_works":["https://openalex.org/W2778498407","https://openalex.org/W2099629705","https://openalex.org/W2162270818","https://openalex.org/W2983685817","https://openalex.org/W4285278887","https://openalex.org/W2995925505","https://openalex.org/W134783735","https://openalex.org/W2365237642","https://openalex.org/W3116484972","https://openalex.org/W4232431455"],"abstract_inverted_index":{"A":[0,87],"plethora":[1],"of":[2,37,72,90,158,180,204],"program":[3],"analysis":[4],"and":[5,50,113,116,129,150,176,184],"optimization":[6],"techniques":[7,17],"rely":[8],"on":[9,74,156,170],"linear":[10,39,77],"programming":[11],"at":[12,85],"their":[13],"heart.":[14],"However,":[15],"such":[16],"are":[18,30],"often":[19],"considered":[20],"too":[21],"slow":[22],"for":[23,32,111,188,215],"production":[24],"use.":[25],"While":[26],"today\u2019s":[27],"best":[28],"solvers":[29],"optimized":[31,109,190],"complex":[33],"problems":[34],"with":[35,108],"thousands":[36],"dimensions,":[38],"programming,":[40],"as":[41],"used":[42],"in":[43,58],"compilers,":[44],"is":[45],"typically":[46],"applied":[47,93],"to":[48,55,97,212,225],"small":[49,112],"seemingly":[51],"trivial":[52],"problems,":[53],"but":[54],"many":[56],"instances":[57],"a":[59,64,81,145,177,216],"single":[60],"compilation":[61],"run.":[62],"As":[63],"result,":[65],"compilers":[66],"do":[67],"not":[68],"benefit":[69],"from":[70,94],"decades":[71],"research":[73],"optimizing":[75],"large-scale":[76],"programming.":[78],"We":[79,136,208],"design":[80],"simplex":[82,173],"solver":[83,143],"targeted":[84],"compilers.":[86],"novel":[88],"theory":[89],"transprecision":[91,160,223],"computation":[92],"individual":[95],"elements":[96],"full":[98],"data-structures":[99],"provides":[100],"the":[101,171,189,200],"computational":[102],"foundation.":[103],"By":[104],"carefully":[105],"combining":[106],"it":[107],"representations":[110],"sparse":[114],"matrices":[115],"specialized":[117],"small-coefficient":[118],"algorithms,":[119],"we":[120],"(1)":[121],"reduce":[122],"memory":[123],"traffic,":[124],"(2)":[125],"exploit":[126,199],"wide":[127,201],"vectors,":[128],"(3)":[130],"use":[131],"low-precision":[132],"arithmetic":[133,224],"units":[134],"effectively.":[135,207],"evaluate":[137],"our":[138,142,159,197,210],"work":[139,211],"by":[140],"embedding":[141],"into":[144],"state-of-the-art":[146],"integer":[147,218],"set":[148,219],"library":[149,220],"implement":[151],"one":[152],"essential":[153],"operation,":[154],"coalescing,":[155],"top":[157],"solver.":[161],"Our":[162,193],"evaluation":[163],"shows":[164],"more":[165],"than":[166],"an":[167],"order-of-magnitude":[168],"speedup":[169,179],"core":[172],"pivot":[174],"operation":[175],"mean":[178],"3.2x":[181],"(vs.":[182,186],"GMP)":[183],"4.6x":[185],"IMath)":[187],"coalescing":[191],"operation.":[192],"results":[194],"demonstrate":[195],"that":[196,221],"optimizations":[198],"SIMD":[202],"instructions":[203],"modern":[205],"microarchitectures":[206],"expect":[209],"provide":[213],"foundations":[214],"future":[217],"uses":[222],"accelerate":[226],"compiler":[227],"analyses.":[228]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}
