- Stephen Mell
, Steve Zdancewic, Osbert Bastani:
Optimal Program Synthesis via Abstract Interpretation. Proc. ACM Program. Lang. 8(POPL): 457-481 (2024) - Alexandre Moine, Sam Westrick, Stephanie Balzer:
DisLog: A Separation Logic for Disentanglement. Proc. ACM Program. Lang. 8(POPL): 302-331 (2024) - Cameron Moy, Christos Dimoulas, Matthias Felleisen:
Effectful Software Contracts. Proc. ACM Program. Lang. 8(POPL): 2639-2666 (2024) - Julian Müllner, Marcel Moosbrugger, Laura Kovács:
Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs. Proc. ACM Program. Lang. 8(POPL): 882-910 (2024) - Antoine Van Muylder, Andreas Nuyts, Dominique Devriese:
Internal and Observational Parametricity for Cubical Agda. Proc. ACM Program. Lang. 8(POPL): 209-240 (2024) - Shankara Pailoor, Yuepeng Wang, Isil Dillig:
Semantic Code Refactoring for Abstract Data Types. Proc. ACM Program. Lang. 8(POPL): 816-847 (2024) - Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau:
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism. Proc. ACM Program. Lang. 8(POPL): 1418-1450 (2024) - Noah Patton, Kia Rahmani, Meghana Missula, Joydeep Biswas, Isil Dillig:
Programming-by-Demonstration for Long-Horizon Robot Tasks. Proc. ACM Program. Lang. 8(POPL): 512-545 (2024) - Yuxiang Peng, Jacob Young, Pengyu Liu, Xiaodi Wu:
SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation. Proc. ACM Program. Lang. 8(POPL): 2425-2455 (2024) - Andrei Popescu:
Nominal Recursors as Epi-Recursors. Proc. ACM Program. Lang. 8(POPL): 425-456 (2024) - François Pottier, Armaël Guéneau, Jacques-Henri Jourdan, Glen Mével:
Thunks and Debits in Separation Logic with Time Credits. Proc. ACM Program. Lang. 8(POPL): 1482-1508 (2024) - Xueying Qin, Liam O'Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer:
Shoggoth: A Formal Foundation for Strategic Rewriting. Proc. ACM Program. Lang. 8(POPL): 61-89 (2024) - Itsaka Rakotonirina, Gilles Barthe, Clara Schneidewind:
Decision and Complexity of Dolev-Yao Hyperproperties. Proc. ACM Program. Lang. 8(POPL): 1913-1944 (2024) - Steven Ramsay, Charlie Walpole:
Ill-Typed Programs Don't Evaluate. Proc. ACM Program. Lang. 8(POPL): 2010-2040 (2024) - Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone:
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. Proc. ACM Program. Lang. 8(POPL): 1882-1912 (2024) - Francis Rinaldi, june wunder, Arthur Azevedo de Amorim, Stefan K. Muller:
Pipelines and Beyond: Graph Types for ADTs with Futures. Proc. ACM Program. Lang. 8(POPL): 482-511 (2024) - Yanis Sellami, Guillaume Girol, Frédéric Recoules, Damien Couroussé, Sébastien Bardin:
Inference of Robust Reachability Constraints. Proc. ACM Program. Lang. 8(POPL): 2731-2760 (2024) - Filip Sieczkowski, Sergei Stepanenko, Jonathan Sterling, Lars Birkedal:
The Essence of Generalized Algebraic Data Types. Proc. ACM Program. Lang. 8(POPL): 695-723 (2024) - Tom Smeding, Matthijs Vákár:
Efficient CHAD. Proc. ACM Program. Lang. 8(POPL): 1060-1088 (2024) - Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su:
API-Driven Program Synthesis for Testing Static Typing Implementations. Proc. ACM Program. Lang. 8(POPL): 1850-1881 (2024) - Pu Sun, Fu Song, Yuqi Chen, Taolue Chen:
EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis. Proc. ACM Program. Lang. 8(POPL): 848-881 (2024) - Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris:
Soundly Handling Linearity. Proc. ACM Program. Lang. 8(POPL): 1600-1628 (2024) - Amin Timany, Armaël Guéneau, Lars Birkedal:
The Logical Essence of Well-Bracketed Control Flow. Proc. ACM Program. Lang. 8(POPL): 575-603 (2024) - Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal:
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. Proc. ACM Program. Lang. 8(POPL): 241-272 (2024) - Takeshi Tsukada, Kazuyuki Asada:
Enriched Presheaf Model of Quantum FPC. Proc. ACM Program. Lang. 8(POPL): 362-392 (2024) - Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf:
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. Proc. ACM Program. Lang. 8(POPL): 393-424 (2024) - Sam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar:
Automatic Parallelism Management. Proc. ACM Program. Lang. 8(POPL): 1118-1149 (2024) - Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh:
Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions. Proc. ACM Program. Lang. 8(POPL): 1028-1059 (2024) - Ling Zhang, Yuting Wang, Jinhua Wu, Jérémie Koenig, Zhong Shao:
Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules. Proc. ACM Program. Lang. 8(POPL): 2160-2190 (2024) - Xing Zhang, Ruifeng Xie, Guanchen Guo, Xiao He, Tao Zan, Zhenjiang Hu:
Fusing Direct Manipulations into Functional Programs. Proc. ACM Program. Lang. 8(POPL): 1211-1238 (2024)
