Venues / TOPLAS /

TOPLAS 2023

22 papers

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