Tag: Algorithms, Logic & Theory

Thoth hardware prefetcher improves performance on sparse data structures by tracking producer-consumer load pairs and using annotation-directed sampling to capture complex memory access patterns.

Controlled experiment examining how GUI versus API interfaces affect expert performance in symbolic execution for software vulnerability discovery and tool usability.

DTMiner optimizes temporal motif mining by coordinating multiple matching tasks around shared data access patterns, achieving 1.14×-11.98× performance improvements.

Framework for temporal abstractions that simplify coordination of asynchronous GPU tensor computations, reducing complexity and hardware-dependent errors in specialized concurrent execution.

SLAWS framework enhances sparse matrix multiplication by analyzing data locality patterns and orchestrating workloads adaptively, overcoming limitations of fixed-architecture accelerators.

Systematic study of query optimization bugs in graph databases reveals root causes, manifestation patterns, and fixes to improve GDBMS reliability and system design.

Fuzzy mixed-integer linear programming model for blood supply chain optimization addressing pandemic-related supply and demand uncertainties, solved via branch-and-cut algorithm.

A practical guide for integrating quantum software tools using MLIR infrastructure, demonstrated through a case study connecting PennyLane and Munich Quantum Toolkit.