9 papers
Terascale Query Processing in the Browser: Rethinking GPU Acceleration
Jiaxin Lu, Landon Dyken, Yihao Sun +3
Recursive query computation, central to graph algorithms and relational databases, demands GPU acceleration due to its inherent computational intensity. While substantial prior wor…
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage
Chang Liu, Noah Fleischmann, Nicolò Altamura +3
Existing binary corpora typically capture only one or two axes of binary variation: they either provide cross-compiler builds without a temporal axis, or CVE labels for single-buil…
Scaling Worst-Case Optimal Datalog to GPUs
Yihao Sun, Kunting Qi, Thomas Gilray +2
Datalog is a declarative logic-programming language used for complex analytic reasoning workloads such as program analysis and graph analytics. Datalog's popularity is due to its u…
Superset Decompilation
Chang Liu, Yihao Sun, Thomas Gilray +1
Reverse engineering tools remain monolithic and imperative compared to the advancement of modern compiler architectures: analyses are tied to a single mutable representation, makin…
Datalog with First-Class Facts
Thomas Gilray, Arash Sahebolamri, Yihao Sun +3
Datalog is a popular logic programming language for deductive reasoning tasks in a wide array of applications, including business analytics, program analysis, and ontological reaso…
Column-Oriented Datalog on the GPU
Yihao Sun, Sidharth Kumar, Thomas Gilray +1
Datalog is a logic programming language widely used in knowledge representation and reasoning (KRR), program analysis, and social media mining due to its expressiveness and high pe…