default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Programming Languages and Systems, Volume 43
Volume 43, Number 1, April 2021
- Marco Patrignani
, Deepak Garg:
Robustly Safe Compilation, an Efficient Form of Secure Compilation. 1:1-1:41 - David Sanán, Yongwang Zhao, Shang-Wei Lin, Yang Liu:
CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee. 2:1-2:46 - David J. Pearce:
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust. 3:1-3:73 - Colin S. Gordon:
Polymorphic Iterable Sequential Effect Systems. 4:1-4:79
Volume 43, Number 2, July 2021
- Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo:
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs. 5:1-5:46 - Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi:
A Programming Language for Data Privacy with Accuracy Estimations. 6:1-6:42 - Bernardo Toninho, Nobuko Yoshida:
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. 7:1-7:55 - Jade Alglave, Will Deacon, Richard Grisenthwaite, Antoine Hacquard, Luc Maranget:
Armed Cats: Formal Concurrency Modelling at Arm. 8:1-8:54
Volume 43, Number 3, September 2021
- Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira:
Compositional Programming. 9:1-9:61 - Lun Liu, Todd D. Millstein, Madanlal Musuvathi:
Safe-by-default Concurrency for Modern Programming Languages. 10:1-10:50 - Graeme Gange, Zequn Ma, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Fresh Look at Zones and Octagons. 11:1-11:51 - Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens:
Securing Interruptible Enclaved Execution on Small Microprocessors. 12:1-12:77
Volume 43, Number 4, December 2021
- Peter Müller:
Introduction to the Special Section on ESOP 2020. 13:1 - Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault:
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. 14:1-14:48 - Yusuke Matsushita, Takeshi Tsukada, Naoki Kobayashi:
RustHorn: CHC-based Verification for Rust Programs. 15:1-15:54
- Emanuele D'Osualdo, Julian Sutherland, Azadeh Farzan, Philippa Gardner:
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs. 16:1-16:134 - Frank S. de Boer, Hans-Dieter A. Hiep:
Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic. 17:1-17:35
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-12-30 19:31 CET 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:
