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.
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.
Docherty, Simon
and
Pym, David
2018.
Foundations of Software Science and Computation Structures.
Vol. 10803,
Issue. ,
p.
441.
Frumin, Dan
Gondelman, Léon
and
Krebbers, Robbert
2019.
Programming Languages and Systems.
Vol. 11423,
Issue. ,
p.
60.
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.
Beringer, Lennart
and
Appel, Andrew W.
2019.
Formal Methods – The Next 30 Years.
Vol. 11800,
Issue. ,
p.
573.
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.
Gordon, Colin S.
2019.
Modal assertions for actor correctness.
p.
11.
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.
Melliès, Paul-André
and
Stefanesco, Léo
2020.
Concurrent Separation Logic Meets Template Games.
p.
742.
Kragl, Bernhard
Qadeer, Shaz
and
Henzinger, Thomas A.
2020.
Computer Aided Verification.
Vol. 12224,
Issue. ,
p.
275.
Mo, Guangshuai
Xiong, Yan
Huang, Wenchao
and
Ma, Lu
2020.
Automated Theorem Proving via Interacting with Proof Assistants by Dynamic Strategies.
p.
71.
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.
Krishna, Siddharth
Summers, Alexander J.
and
Wies, Thomas
2020.
Programming Languages and Systems.
Vol. 12075,
Issue. ,
p.
308.
Rouvoet, Arjen
Bach Poulsen, Casper
Krebbers, Robbert
and
Visser, Eelco
2020.
Intrinsically-typed definitional interpreters for linear, session-typed languages.
p.
284.
Krishna, Siddharth
Emmi, Michael
Enea, Constantin
and
Jovanović, Dejan
2020.
Programming Languages and Systems.
Vol. 12075,
Issue. ,
p.
280.
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.
Lorch, Jacob R.
Chen, Yixuan
Kapritsos, Manos
Parno, Bryan
Qadeer, Shaz
Sharma, Upamanyu
Wilcox, James R.
and
Zhao, Xueyuan
2020.
Armada: low-effort verification of high-performance concurrent programs.
p.
197.
Jung, Ralf
Lepigre, Rodolphe
Parthasarathy, Gaurav
Rapoport, Marianna
Timany, Amin
Dreyer, Derek
and
Jacobs, Bart
2020.
The future is ours: prophecy variables in separation logic.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. POPL,
p.
1.
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.
Discussions
No Discussions have been published for this article.