2 papers
cs.PL2025
Efficient Timestamping for Sampling-based Race Detection
Minjian Zhang, Daniel Wee Soong Lim, Mosaad Al Thokair +2
Dynamic race detection based on the happens before (HB) partial order has now become the de facto approach to quickly identify data races in multi-threaded software. Most practical…
cs.LO2024
The Decision Problem for Regular First-Order Theories
Umang Mathur, David Mestel, Mahesh Viswanathan
The \emph{Entscheidungsproblem}, or the classical decision problem, asks whether a given formula of first-order logic is satisfiable. In this work, we consider an extension of this…