DOI,IST REx ID,Title of publication
10.1145/3498689,17504,Simuliris: A separation logic framework for verifying concurrent program optimizations