{"work":{"id":"dd08b3fe-ab3e-4e79-8c56-cd4ffde3d152","openalex_id":null,"doi":"10.1145/3434304","arxiv_id":null,"raw_key":null,"title":"egg: Fast and Extensible Equality Saturation , url =","authors":null,"authors_text":"Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, and Pavel Panchekha","year":2021,"venue":null,"abstract":null,"external_url":"https://doi.org/10.1145/3434304","cited_by_count":null,"metadata_source":"doi_reference","metadata_fetched_at":"2026-05-25T06:00:22.811353+00:00","pith_arxiv_id":null,"created_at":"2026-05-09T05:05:13.481245+00:00","updated_at":"2026-05-25T06:00:22.811353+00:00","title_quality_ok":false,"display_title":"egg: Fast and extensible equality saturation","render_title":"egg: Fast and extensible equality saturation"},"hub":{"state":{"work_id":"dd08b3fe-ab3e-4e79-8c56-cd4ffde3d152","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":12,"external_cited_by_count":null,"distinct_field_count":5,"first_pith_cited_at":"2024-06-08T09:41:08+00:00","last_pith_cited_at":"2026-05-18T18:27:33+00:00","author_build_status":"not_needed","summary_status":"needed","contexts_status":"needed","graph_status":"needed","ask_index_status":"not_needed","reader_status":"not_needed","recognition_status":"not_needed","updated_at":"2026-06-04T15:57:49.118051+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"background","n":4}],"polarity_counts":[{"context_polarity":"background","n":4}],"runs":{},"summary":{},"graph":{},"authors":[]}}