activity
20172026
most citedSPoC: Search-based Pseudocode to Code

11 citations · 15 across the 11 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

cs.LO2024

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas

Eden Frenkel, Tej Chajed, Oded Padon +1

This paper lays a practical foundation for using abstract interpretation with an abstract domain that consists of sets of quantified first-order logic formulas. This abstract domai…

cs.LG2024

Mirage: A Multi-Level Superoptimizer for Tensor Programs

Mengdi Wu, Xinhao Cheng, Shengyu Liu +7

We introduce Mirage, the first multi-level superoptimizer for tensor programs. A key idea in Mirage is Graphs, a uniform representation of tensor programs at the kernel, thread…