default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st ESOP@ETAPS 2022: Munich, Germany
- Ilya Sergey
:
Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Lecture Notes in Computer Science 13240, Springer 2022, ISBN 978-3-030-99335-1 - Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi:
Categorical Foundations of Gradient-Based Learning. 1-28 - Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman:
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference. 29-56 - Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll:
Foundations for Entailment Checking in Quantitative Separation Logic. 57-84 - Ulrich Berger, Hideki Tsuiki:
Extracting total Amb programs from proofs. 85-113 - Cláudio Belo Lourenço, Jorge Sousa Pinto:
Why3-do: The Way of Harmonious Distributed System Proofs. 114-142 - Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell:
Relaxed virtual memory in Armv8-A. 143-173 - Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell:
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture. 174-203 - David Monniaux, Sylvain Boulmé:
The Trusted Computing Base of the CompCert Verified Compiler. 204-233 - Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson:
View-Based Owicki-Gries Reasoning for Persistent x86-TSO. 234-261 - Artem Khyzha, Ori Lahav:
Abstraction for Crash-Resilient Objects. 262-289 - Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti:
Static Race Detection for Periodic Programs. 290-316 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna:
Probabilistic Total Store Ordering. 317-345 - Danielle Marshall, Michael Vollmer, Dominic Orchard:
Linearity and Uniqueness: An Entente Cordiale. 346-375 - James Wood, Robert Atkey:
A Framework for Substructural Type Systems. 376-402 - Pritam Choudhury, Harley Eades III, Stephanie Weirich:
A Dependent Dependency Calculus. 403-430 - Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning:
Polarized Subtyping. 431-461 - Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers:
Structured Handling of Scoped Effects. 462-491 - Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann:
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. 492-519 - Sung-Shik Jongmans, Petra van den Bos:
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. 520-547 - Rob van Glabbeek:
Comparing the expressiveness of the π-calculus and CCS. 548-574 - Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva:
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. 575-602
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-21 23:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
