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
gRPC was fastest for large read operations in comparison test
Performance comparison of three web interface technologies
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
GeoGraphNetworks provides validated spatial network data
Public repository of validated spatial networks for transportation and hydrological systems
Understanding Query Optimization Bugs in Graph Database Systems
Identifying common bugs and defects in how graph databases optimize queries
Temporal-clique query processing is made more efficient
Fast pattern matching in networks where structure and timing both matter
Docker’s technical evolution and continued adaptation
How containerization technology evolved across platforms while staying developer-friendly
