Skip to content

references.md

Latest commit

 

History

History
29 lines (15 loc) · 3.05 KB

references.md

File metadata and controls

29 lines (15 loc) · 3.05 KB

References

  • [SV-COMP 2019] SV-COMP. Competition on software verification (SV-COMP), 2019.

  • [Lamport 1979] Leslie Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Computers, 28(9):690--691, September 1979.

  • [Owens et al. 2009] Scott Owens, Susmit Sarkar, and Peter Sewell. A better x86 memory model: x86-TSO. In TPHOLs 2009, pages 391--407. Springer, 2009.

  • [Lahav et al. 2016] Ori Lahav, Nick Giannarakis, and Viktor Vafeiadis. Taming release-acquire consistency. In POPL 2016, pages 649--662. ACM, 2016.

  • [Lahav et al. 2017] Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, and Derek Dreyer. Repairing sequential consistency in C/C++11. In PLDI 2017, pages 618--632, New York, NY, USA, 2017. ACM.

  • [Podkopaev et al. 2019] Anton Podkopaev, Ori Lahav, and Viktor Vafeiadis. Bridging the gap between programming languages and hardware weak memory models. Proc. ACM Program. Lang., 3(POPL):69:1--69:31, January 2019.

  • [Kokologiannakis et al. 2019] Michalis Kokologiannakis, Azalea Raad, and Viktor Vafeiadis. Model checking for weakly consistent libraries. In PLDI 2019, New York, NY, USA, 2019. ACM.

  • [Kokologiannakis et al. 2021] Michalis Kokologiannakis, Xiaowei Ren, and Viktor Vafeiadis. Dynamic partial order reductions for spinloops. In FMCAD 2021, pages 163--172. IEEE, 2021.

  • [Kokologiannakis and Vafeiadis 2021] Michalis Kokologiannakis and Viktor Vafeiadis. BAM: Efficient model checking for barriers. In NETYS 2021, LNCS. Springer, 2021.

  • [Marmanis et al. 2023a] Iason Marmanis, Michalis Kokologiannakis, and Viktor Vafeiadis. Reconciling preemption bounding with dpor. In Sriram Sankaranarayanan and Natasha Sharygina, editors, TACAS 2023, pages 85--104, Cham, 2023. Springer.

  • [Marmanis and Vafeiadis 2023b] Iason Marmanis and Viktor Vafeiadis. Optimal bounded partial order reduction. In Alexander Nadel and Kristin Yvonne Rozier, editors, FMCAD 2023, pages 86--91. IEEE, 2023.

  • [Kokologiannakis et al. 2024] Michalis Kokologiannakis, Iason Marmanis, and Viktor Vafeiadis. SPORE: Combining symmetry and partial order reduction. Proc. ACM Program. Lang., 8(PLDI), June 2024.

  • [Golovin et al. 2025] Pavel Golovin, Michalis Kokologiannakis, and Viktor Vafeiadis. RELINCHE: Automatically checking linearizability under relaxed memory consistency. Proc. ACM Program. Lang., 9(POPL), January 2025.

  • [Kokologiannakis et al. 2022] Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis. Truly Stateless, Optimal, and Sound DPOR. Proc. ACM Program. Lang., 6(POPL), January 2022.