FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3195156963> ?p ?o ?g. }

• W3195156963 abstract "Many compilers, synthesizers, and theorem provers rely on rewrite rules to simplify expressions or prove equivalences. Developing rewrite rules can be difficult: rules may be subtly incorrect, profitable rules are easy to miss, and rulesets must be rechecked or extended whenever semantics are tweaked. Large rulesets can also be challenging to apply: redundant rules slow down rule-based search and frustrate debugging. This paper explores how equality saturation, a promising technique that uses e-graphs to apply rewrite rules, can also be used to infer rewrite rules. E-graphs can compactly represent the exponentially large sets of enumerated terms and potential rewrite rules. We show that equality saturation efficiently shrinks both sets, leading to faster synthesis of smaller, more general rulesets. We prototyped these strategies in a tool dubbed ruler. Compared to a similar tool built on CVC4, ruler synthesizes 5.8X smaller rulesets 25X faster without compromising on proving power. In an end-to-end case study, we show ruler-synthesized rules which perform as well as those crafted by domain experts, and addressed a longstanding issue in a popular open source tool." @default.
• W3195156963 created "2021-08-30" @default.
• W3195156963 creator A5000095412 @default.
• W3195156963 creator A5000881736 @default.
• W3195156963 creator A5027136790 @default.
• W3195156963 creator A5042187082 @default.
• W3195156963 creator A5042994585 @default.
• W3195156963 creator A5043809595 @default.
• W3195156963 creator A5048760480 @default.
• W3195156963 creator A5053901060 @default.
• W3195156963 creator A5066993902 @default.
• W3195156963 date "2021-08-23" @default.
• W3195156963 modified "2023-10-17" @default.
• W3195156963 title "Rewrite Rule Inference Using Equality Saturation" @default.
• W3195156963 cites W123460044 @default.
• W3195156963 cites W1480909796 @default.
• W3195156963 cites W1481537516 @default.
• W3195156963 cites W1504007491 @default.
• W3195156963 cites W1508641834 @default.
• W3195156963 cites W1517760837 @default.
• W3195156963 cites W1531694433 @default.
• W3195156963 cites W1553352239 @default.
• W3195156963 cites W1557619244 @default.
• W3195156963 cites W1583295953 @default.
• W3195156963 cites W1683919907 @default.
• W3195156963 cites W1806382567 @default.
• W3195156963 cites W1968386045 @default.
• W3195156963 cites W1986022261 @default.
• W3195156963 cites W1996892501 @default.
• W3195156963 cites W2008913431 @default.
• W3195156963 cites W2014136929 @default.
• W3195156963 cites W2035652450 @default.
• W3195156963 cites W2055312318 @default.
• W3195156963 cites W2055477538 @default.
• W3195156963 cites W2061091230 @default.
• W3195156963 cites W2067776455 @default.
• W3195156963 cites W2086747974 @default.
• W3195156963 cites W2088056808 @default.
• W3195156963 cites W2106192381 @default.
• W3195156963 cites W2108969240 @default.
• W3195156963 cites W2114012357 @default.
• W3195156963 cites W2121344286 @default.
• W3195156963 cites W2121757274 @default.
• W3195156963 cites W2130175237 @default.
• W3195156963 cites W2149241959 @default.
• W3195156963 cites W2150871888 @default.
• W3195156963 cites W2152397470 @default.
• W3195156963 cites W2160145830 @default.
• W3195156963 cites W2234299051 @default.
• W3195156963 cites W2276356546 @default.
• W3195156963 cites W2294815028 @default.
• W3195156963 cites W2340812064 @default.
• W3195156963 cites W2515768547 @default.
• W3195156963 cites W2532625469 @default.
• W3195156963 cites W2627018084 @default.
• W3195156963 cites W2792271488 @default.
• W3195156963 cites W2804032941 @default.
• W3195156963 cites W2953973768 @default.
• W3195156963 cites W2963310240 @default.
• W3195156963 cites W2981758446 @default.
• W3195156963 cites W2991552299 @default.
• W3195156963 cites W3033748891 @default.
• W3195156963 cites W3082570516 @default.
• W3195156963 cites W3110583370 @default.
• W3195156963 cites W3117137355 @default.
• W3195156963 cites W3122286897 @default.
• W3195156963 cites W3139406790 @default.
• W3195156963 cites W3153044352 @default.
• W3195156963 cites W3164004581 @default.
• W3195156963 cites W3185574054 @default.
• W3195156963 cites W350508092 @default.
• W3195156963 cites W598205067 @default.
• W3195156963 cites W84930537 @default.
• W3195156963 hasPublicationYear "2021" @default.
• W3195156963 type Work @default.
• W3195156963 sameAs 3195156963 @default.
• W3195156963 citedByCount "0" @default.
• W3195156963 crossrefType "posted-content" @default.
• W3195156963 hasAuthorship W3195156963A5000095412 @default.
• W3195156963 hasAuthorship W3195156963A5000881736 @default.
• W3195156963 hasAuthorship W3195156963A5027136790 @default.
• W3195156963 hasAuthorship W3195156963A5042187082 @default.
• W3195156963 hasAuthorship W3195156963A5042994585 @default.
• W3195156963 hasAuthorship W3195156963A5043809595 @default.
• W3195156963 hasAuthorship W3195156963A5048760480 @default.
• W3195156963 hasAuthorship W3195156963A5053901060 @default.
• W3195156963 hasAuthorship W3195156963A5066993902 @default.
• W3195156963 hasConcept C11413529 @default.
• W3195156963 hasConcept C121332964 @default.
• W3195156963 hasConcept C154945302 @default.
• W3195156963 hasConcept C165743212 @default.
• W3195156963 hasConcept C168065819 @default.
• W3195156963 hasConcept C169590947 @default.
• W3195156963 hasConcept C199360897 @default.
• W3195156963 hasConcept C2776214188 @default.
• W3195156963 hasConcept C3746660 @default.
• W3195156963 hasConcept C41008148 @default.
• W3195156963 hasConcept C62520636 @default.
• W3195156963 hasConcept C80444323 @default.
• W3195156963 hasConceptScore W3195156963C11413529 @default.

• next