- Cinzia Di Giusto
, Davide Ferré, Laetitia Laversa, Étienne Lozes:
A Partial Order View of Message-Passing Communication Models. Proc. ACM Program. Lang. 7(POPL): 1601-1627 (2023) - Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat:
Towards a Higher-Order Mathematical Operational Semantics. Proc. ACM Program. Lang. 7(POPL): 632-658 (2023) - Yu Gu, Takeshi Tsukada, Hiroshi Unno:
Optimal CHC Solving via Termination Proofs. Proc. ACM Program. Lang. 7(POPL): 604-631 (2023) - Emmanuel Hainry, Romain Péchoux:
A General Noninterference Policy for Polynomial Time. Proc. ACM Program. Lang. 7(POPL): 806-832 (2023) - Sebastian Hunt, David Sands, Sandro Stucki:
Reconciling Shannon and Scott with a Lattice of Computable Information. Proc. ACM Program. Lang. 7(POPL): 1987-2016 (2023) - Jules Jacobs, Stephanie Balzer:
Higher-Order Leak and Deadlock Free Locks. Proc. ACM Program. Lang. 7(POPL): 1027-1057 (2023) - Jules Jacobs, Thorsten Wißmann:
Fast Coalgebraic Bisimilarity Minimization. Proc. ACM Program. Lang. 7(POPL): 1514-1541 (2023) - Jerome Jochems, Eddie Jones, Steven J. Ramsay:
Higher-Order MSL Horn Constraints. Proc. ACM Program. Lang. 7(POPL): 2017-2047 (2023) - Konstantinos Kallas, Haoran Zhang, Rajeev Alur, Sebastian Angel, Vincent Liu:
Executing Microservice Applications on Serverless, Correctly. Proc. ACM Program. Lang. 7(POPL): 367-395 (2023) - Axel Kerinec, Giulio Manzonetto, Federico Olimpieri:
Why Are Proofs Relevant in Proof-Relevant Models? Proc. ACM Program. Lang. 7(POPL): 218-248 (2023) - Jinwoo Kim, Loris D'Antoni, Thomas W. Reps:
Unrealizability Logic. Proc. ACM Program. Lang. 7(POPL): 659-688 (2023) - Zachary Kincaid, Nicolas Koh, Shaowei Zhu:
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic. Proc. ACM Program. Lang. 7(POPL): 1275-1307 (2023) - Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, Alastair F. Donaldson:
Taking Back Control in an Intermediate Representation for GPU Computing. Proc. ACM Program. Lang. 7(POPL): 1740-1769 (2023) - Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada:
HFL(Z) Validity Checking for Automated Program Verification. Proc. ACM Program. Lang. 7(POPL): 154-184 (2023) - Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis:
Kater: Automating Weak Memory Model Metatheory and Consistency Checking. Proc. ACM Program. Lang. 7(POPL): 544-572 (2023) - Paraschos Koutris, Shaleen Deep:
The Fine-Grained Complexity of CFL Reachability. Proc. ACM Program. Lang. 7(POPL): 1713-1739 (2023) - Woosuk Lee, Hangyeol Cho:
Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions. Proc. ACM Program. Lang. 7(POPL): 2048-2078 (2023) - Wonyeol Lee, Xavier Rival, Hongseok Yang:
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference. Proc. ACM Program. Lang. 7(POPL): 335-366 (2023) - Daan Leijen, Anton Lorenzen:
Tail Recursion Modulo Context: An Equational Approach. Proc. ACM Program. Lang. 7(POPL): 1152-1181 (2023) - Matthieu Lemerre:
SSA Translation Is an Abstract Interpretation. Proc. ACM Program. Lang. 7(POPL): 1895-1924 (2023) - Alexander K. Lew, Mathieu Huot, Sam Staton, Vikash K. Mansinghka:
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs. Proc. ACM Program. Lang. 7(POPL): 121-153 (2023) - Jianlin Li, Leni Ven, Pengyuan Shi, Yizhou Zhang:
Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference. Proc. ACM Program. Lang. 7(POPL): 1454-1482 (2023) - Yuanbo Li, Qirun Zhang, Thomas W. Reps:
Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming. Proc. ACM Program. Lang. 7(POPL): 1003-1026 (2023) - Sirui Lu, Rastislav Bodík:
Grisette: Symbolic Compilation as a Functional Programming Library. Proc. ACM Program. Lang. 7(POPL): 455-487 (2023) - Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan:
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Proc. ACM Program. Lang. 7(POPL): 425-454 (2023) - Alexandre Moine, Arthur Charguéraud, François Pottier:
A High-Level Separation Logic for Heap Space under Garbage Collection. Proc. ACM Program. Lang. 7(POPL): 718-747 (2023) - Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman:
Statically Resolvable Ambiguity. Proc. ACM Program. Lang. 7(POPL): 1686-1712 (2023) - Andrew M. Pitts:
Locally Nameless Sets. Proc. ACM Program. Lang. 7(POPL): 488-514 (2023) - Andrei Popescu, Dmitriy Traytel:
Admissible Types-to-PERs Relativization in Higher-Order Logic. Proc. ACM Program. Lang. 7(POPL): 1214-1245 (2023) - Casper Bach Poulsen, Cas van der Rest:
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. Proc. ACM Program. Lang. 7(POPL): 1801-1831 (2023)
