Publications

  1. SL-COMP: Competition of Solvers for Separation Logic [PDF] [Project]
    Mihaela Sighireanu, Juan A Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomas Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu.
    The 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: TOOLympics (TOOLympics@TACAS). SL-COMP 2019