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
