default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Programming Languages and Systems, Volume 45
Volume 45, Number 1, March 2023
- Olivier Danvy
:
The Tortoise and the Hare Algorithm for Finite Lists, Compositionally. 1:1-1:35 - Jingmei Hu, Eric Lu, David A. Holland, Ming Kawaguchi, Stephen Chong, Margo I. Seltzer:
Towards Porting Operating Systems with Program Synthesis. 2:1-2:70 - Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer:
Immutability and Encapsulation for Sound OO Information Flow Control. 3:1-3:35 - Ben Greenman, Christos Dimoulas, Matthias Felleisen:
Typed-Untyped Interactions: A Comparative Analysis. 4:1-4:54 - Arthur Charguéraud, Adam Chlipala, Andres Erbsen, Samuel Gruetter:
Omnisemantics: Smooth Handling of Nondeterminism. 5:1-5:43 - Hongyu Fan, Zhihang Sun, Fei He:
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models. 6:1-6:37
Volume 45, Number 2, June 2023
- Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan:
A First-order Logic with Frames. 7:1-7:44 - Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter:
Contextual Linear Types for Differential Privacy. 8:1-8:69 - Xiaodong Jia, Ashish Kumar, Gang Tan:
A Derivative-based Parser Generator for Visibly Pushdown Grammars. 9:1-9:68 - Matteo Basso, Aleksandar Prokopec, Andrea Rosà, Walter Binder:
Optimization-Aware Compiler-Level Event Profiling. 10:1-10:50 - Eugene Yip, Alain Girault, Partha S. Roop, Morteza Biglari-Abhari:
Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC. 11:1-11:74 - Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer:
Passport: Improving Automated Formal Verification Using Identifiers. 12:1-12:30 - Luigi D. C. Soares, Michael Canesche, Fernando Magno Quintão Pereira:
Side-channel Elimination via Partial Control-flow Linearization. 13:1-13:43
Volume 45, Number 3, September 2023
- Elizabeth Scott, Adrian Johnstone, Robert Walsh:
Multiple Input Parsing and Lexical Analysis. 14:1-14:44 - Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters:
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. 15:1-15:61 - DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi:
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. 16:1-16:37 - David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini:
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. 17:1-17:41 - Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks:
A Verified Optimizer for Quantum Circuits. 18:1-18:35 - Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella:
A Model Checker for Operator Precedence Languages. 19:1-19:66
Volume 45, Number 4, December 2023
- Maja Vukasovic, Aleksandar Prokopec:
Exploiting Partially Context-sensitive Profiles to Improve Performance of Hot Code. 20:1-20:64 - Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser:
Capturing Types. 21:1-21:52 - Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield:
Focusing on Refinement Typing. 22:1-22:62
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 2025-10-22 02:18 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:
