Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP.

Sarat Chandra Varanasi Neeraj Mittal Gopal Gupta

Published in: CoRR (2023)

Keyphrases

concurrent programs
data structure
web applications
answer set programming
concurrent processes
concurrent programming
efficient data structures
data types
machine learning
end users
databases
high level
source code
inverted index
kd trees