Skip to content
Science
Technology
Environment
Arts & Education
Business
Health
Society
Search
Tag:
Algorithms, Logic & Theory
Thoth: Uncovering Data-Dependent Memory Access Patterns via Annotation-Directed Load Sampling
April 19, 2026
I Can SE Clearly Now: Investigating the Effectiveness of GUI-based Symbolic Execution for Software Vulnerability Discovery
April 17, 2026
DTMiner: A Data-Centric System for Efficient Temporal Motif Mining
April 12, 2026
It’s about Time: Temporal Abstractions for Asynchronous GPU Tensor Computations
April 11, 2026
SLAWS: Spatial Locality Analysis and Workload Orchestration for Sparse Matrix Multiplication
April 9, 2026
Understanding Query Optimization Bugs in Graph Database Systems
April 2, 2026
Fuzzy optimization model for a blood supply network in the post-disaster phase, considering a branch-and-cut approach
March 14, 2026
Integrating Quantum Software Tools with(in) MLIR
March 8, 2026
