Tag: Algorithms, Logic & Theory
-
Thoth: Uncovering Data-Dependent Memory Access Patterns via Annotation-Directed Load Sampling
Hardware prefetcher for irregular memory access in sparse data structures
-
I Can SE Clearly Now: Investigating the Effectiveness of GUI-based Symbolic Execution for Software Vulnerability Discovery
How interface design affects expert vulnerability discovery using symbolic execution tools
-
DTMiner: A Data-Centric System for Efficient Temporal Motif Mining
Accelerating pattern discovery in temporal networks through optimized data access coordination
-
It’s about Time: Temporal Abstractions for Asynchronous GPU Tensor Computations
Managing timing and coordination in asynchronous GPU tensor operations
-
SLAWS: Spatial Locality Analysis and Workload Orchestration for Sparse Matrix Multiplication
Improving efficiency of sparse matrix multiplication through adaptive locality analysis
-
Understanding Query Optimization Bugs in Graph Database Systems
Identifying common bugs and defects in how graph databases optimize queries
-
Fuzzy optimization model for a blood supply network in the post-disaster phase, considering a branch-and-cut approach
Optimizing blood distribution networks after disasters using adaptive decision-making
-
Integrating Quantum Software Tools with(in) MLIR
Using MLIR to create unified quantum software toolchains
