1 citations · 2 across the 10 of their papers we have counts for
10 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…
AcademiClaw: When Students Set Challenges for AI Agents
Junjie Yu, Pengrui Lu, Weiye Si +75
Benchmarks within the OpenClaw ecosystem have thus far evaluated exclusively assistant-level tasks, leaving the academic-level capabilities of OpenClaw largely unexamined. We intro…
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
Decompilation is the task of recovering high-level source from a compiled binary. Conventionally, it is implemented as a series of analyses and rewrites over a single representatio…
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…
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…
Assemblage: Automatic Binary Dataset Construction for Machine Learning
Chang Liu, Rebecca Saul, Yihao Sun +5
Binary code is pervasive, and binary analysis is a key task in reverse engineering, malware classification, and vulnerability discovery. Unfortunately, while there exist large corp…
Optimizing Datalog for the GPU
Yihao Sun, Ahmedur Rahman Shovon, Thomas Gilray +2
Modern Datalog engines (e.g., LogicBlox, Soufflé, ddlog) enable their users to write declarative queries which compute recursive deductions over extensional facts, leaving high-per…
So You Want to Analyze Scheme Programs With Datalog?
Davis Ross Silverman, Yihao Sun, Kristopher Micinski +1
Static analysis approximates the results of a program by examining only its syntax. For example, control-flow analysis (CFA) determines which syntactic lambdas (for functional lang…
Declarative Demand-Driven Reverse Engineering
Yihao Sun, Jeffrey Ching, Kristopher Micinski
Binary reverse engineering is a challenging task because it often necessitates reasoning using both domain-specific knowledge (e.g., understanding entrypoint idioms common to an AB…