On Verifying Concurrent Programs Under Weakly Consistent Models (Invited Talk).

Ahmed Bouajjani

Published in: CONCUR (2023)

Keyphrases

invited talk
concurrent programs
databases
machine learning
artificial intelligence
information systems
knowledge acquisition