Skip to main content

Type and Proof Structures for Concurrent Software Verification

Searching for OpenAIRE data...

Publications

Contextual modal types for algebraic effects and handlers

Author(s): Nikita Zyuzin, Aleksandar Nanevski
Published in: Proceedings of the ACM on Programming Languages, 5/ICFP, 2021, Page(s) 1-29, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3473580

Proving highly-concurrent traversals correct

Author(s): Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham
Published in: Proceedings of the ACM on Programming Languages, 4/OOPSLA, 2020, Page(s) 1-29, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3428196

On algebraic abstractions for concurrent separation logics

Author(s): František Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
Published in: Proceedings of the ACM on Programming Languages, 5/POPL, 2021, Page(s) 1-32, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3434286

Rule Formats for Nominal Process Calculi

Author(s): Aceto, Luca; Fábregas, Ignacio; García-Pérez, Álvaro; Ingólfsdóttir, Anna; Ortega-Mallén, Yolanda
Published in: Logical Methods in Computer Science, Volume 15, Issue 4, 2019, Page(s) 2:1 - 2:46, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig

Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations

Author(s): Aleksandar Nanevski, Anindya Banerjee, German Andres Delbianco, Ignacio Fábregas
Published in: OOPSLA 2019: International Conference on Object-Oriented Programming Systems, Languages, and Applications, 2019
Publisher: OOPSLA

Concurrent Data Structures Linked in Time

Author(s): Delbianco, G. A.; Sergey, I.; Nanevski, A.; Banerjee, A.
Published in: Muller, P, (ed.) Proceedings of the 31st European Conference on Object-Oriented Programming (ECOOP 2017), 1, 2017, Page(s) 8:1-8:30
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Concurrent Data Structures Linked in Time (Artifact)

Author(s): Delbianco, G. A.; Sergey, I.; Nanevski, A.; Banerjee, A.
Published in: Dagstuhl Artifacts Series, Volume 3 (Issue 2), 2017, Page(s) 4:1 - 4:4
Publisher: Dagstuhl Research Online Publication Server (DROPS)