Sign in

Simuliris: a separation logic framework for verifying concurrent program optimizations.

Lennard GäherMichael SammlerSimon SpiesRalf JungHoang-Hai DangRobbert KrebbersJeehoon KangDerek Dreyer
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • theoretical framework
  • main contribution
  • neural network
  • information retrieval
  • bayesian framework
  • logical framework
  • abductive reasoning