Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Swasey, David
Garg, Deepak
and
Dreyer, Derek
2017.
Robust and compositional verification of object capability patterns.
Proceedings of the ACM on Programming Languages,
Vol. 1,
Issue. OOPSLA,
p.
1.
Docherty, Simon
and
Pym, David
2018.
Foundations of Software Science and Computation Structures.
Vol. 10803,
Issue. ,
p.
441.
Jung, Ralf
Jourdan, Jacques-Henri
Krebbers, Robbert
and
Dreyer, Derek
2018.
RustBelt: securing the foundations of the Rust programming language.
Proceedings of the ACM on Programming Languages,
Vol. 2,
Issue. POPL,
p.
1.
Nanevski, Aleksandar
Banerjee, Anindya
Delbianco, Germán Andrés
and
Fábregas, Ignacio
2019.
Specifying concurrent programs in separation logic: morphisms and simulations.
Proceedings of the ACM on Programming Languages,
Vol. 3,
Issue. OOPSLA,
p.
1.
Timany, Amin
and
Birkedal, Lars
2019.
Mechanized relational verification of concurrent programs with continuations.
Proceedings of the ACM on Programming Languages,
Vol. 3,
Issue. ICFP,
p.
1.
Frumin, Dan
Gondelman, Léon
and
Krebbers, Robbert
2019.
Programming Languages and Systems.
Vol. 11423,
Issue. ,
p.
60.
Beringer, Lennart
and
Appel, Andrew W.
2019.
Formal Methods – The Next 30 Years.
Vol. 11800,
Issue. ,
p.
573.
Gordon, Colin S.
2019.
Modal assertions for actor correctness.
p.
11.
Krishna, Siddharth
Summers, Alexander J.
and
Wies, Thomas
2020.
Programming Languages and Systems.
Vol. 12075,
Issue. ,
p.
308.
Sammler, Michael
Garg, Deepak
Dreyer, Derek
and
Litak, Tadeusz
2020.
The high-level benefits of low-level sandboxing.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. POPL,
p.
1.
Nielsen, Jakob Botsch
and
Spitters, Bas
2020.
Formal Methods. FM 2019 International Workshops.
Vol. 12232,
Issue. ,
p.
380.
Giarrusso, Paolo G.
Stefanesco, Léo
Timany, Amin
Birkedal, Lars
and
Krebbers, Robbert
2020.
Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. ICFP,
p.
1.
Matsushita, Yusuke
Tsukada, Takeshi
and
Kobayashi, Naoki
2020.
Programming Languages and Systems.
Vol. 12075,
Issue. ,
p.
484.
Krishna, Siddharth
Emmi, Michael
Enea, Constantin
and
Jovanović, Dejan
2020.
Programming Languages and Systems.
Vol. 12075,
Issue. ,
p.
280.
Mo, Guangshuai
Xiong, Yan
Huang, Wenchao
and
Ma, Lu
2020.
Automated Theorem Proving via Interacting with Proof Assistants by Dynamic Strategies.
p.
71.
Melliès, Paul-André
and
Stefanesco, Léo
2020.
Concurrent Separation Logic Meets Template Games.
p.
742.
de Vilhena, Paulo Emílio
Pottier, François
and
Jourdan, Jacques-Henri
2020.
Spy game: verifying a local generic solver in Iris.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. POPL,
p.
1.
Kragl, Bernhard
Qadeer, Shaz
and
Henzinger, Thomas A.
2020.
Computer Aided Verification.
Vol. 12224,
Issue. ,
p.
275.
Feldman, Yotam M. Y.
Khyzha, Artem
Enea, Constantin
Morrison, Adam
Nanevski, Aleksandar
Rinetzky, Noam
and
Shoham, Sharon
2020.
Proving highly-concurrent traversals correct.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. OOPSLA,
p.
1.
Westrick, Sam
Yadav, Rohan
Fluet, Matthew
and
Acar, Umut A.
2020.
Disentanglement in nested-parallel programs.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. POPL,
p.
1.
Discussions
No Discussions have been published for this article.