{"id":"2305.18225","title":"Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP","url":"https://codeofpaper.com/paper/2305.18225","arxiv_url":"https://arxiv.org/abs/2305.18225","published":"2023-05-20","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}