C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Directed synthesis of failing concurrent executions.
Malavika Samak
Omer Tripp
Murali Krishna Ramanathan
Published in:
OOPSLA (2016)
Keyphrases
</>
mutual exclusion
three dimensional
multiscale
evolutionary algorithm
databases
machine learning
information systems
data structure
long running
hybrid automata
write operations