5 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…
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…