Syracuse PhD Thesis: Scaling Logical Reasoning on GPUs to Break CPU Bottlenecks
moyix · x · 2026-08-10
A PhD dissertation from Syracuse University explores leveraging modern High-Performance Computing (HPC) hardware, particularly GPUs, for massive deductive logic reasoning workloads.
The thesis highlights that traditional logic query languages like Datalog face architectural ceilings when handling industrial-scale tasks such as static program analysis and reverse engineering. Single-node CPUs struggle with memory bandwidth and parallel throughput, while traditional join algorithms often exhaust device memory.
To overcome these limitations, the author introduces four novel Datalog engines. By co-designing storage layouts, indexing strategies, and join algorithms specifically for the GPU's SIMT execution model, the research demonstrates that lock-free, GPU-native evaluation can decisively outperform state-of-the-art CPU baselines.
More from Infra
- MLCommons launches MLPerf Endpoints, a benchmark that measures inference endpoints the way buyers actually purchase them — TheKanter · 2026-10-16
- Neocloud M&A decoded: CoreWeave, Nebius, Crusoe, Nscale all bet margins vanish beyond GPU scarcity — AccBalanced · 2026-10-16
- AI-Driven Timing-Aware Power Optimization Uses Learned Ranking With Baseline-Preserving Repair — Amit Sharma · 2026-10-16
- Nscale AI datacenter plagued by coolant leaks, transformer fire, 10 safety violations — saranormous · 2026-10-16
- WSL 3.0 ships with native containers and Linux 6.18 kernel, syscall overhead down ~16% — solyarisoftware · 2026-10-16
- Are 22 GB modded RTX 2080 Ti cards a viable budget local LLM option? — Dave86ch · 2026-10-16