2 papers
cs.DB2026
GraphAlg Playground: An Online Platform for Learning and Experimenting with the GraphAlg Language
Daan de Graaf, Robert Brijder, Soham Chakraborty +3
The GraphAlg language for graph algorithms enables native support for user-defined graph analytics workloads in databases. In this demonstration, we present a web-based playground…
cs.LO2025
GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
Soham Chakraborty, S. Krishna, Andreas Pavlogiannis +1
GPU computing is embracing weak memory concurrency for performance improvement. However, compared to CPUs, modern GPUs provide more fine-grained concurrency features such as scopes…