- Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell:
On Learning Polynomial Recursive Programs. Proc. ACM Program. Lang. 8(POPL): 1001-1027 (2024) - Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban:
Monotonicity and the Precision of Program Analysis. Proc. ACM Program. Lang. 8(POPL): 1629-1662 (2024) - John Peter Campora III, Mohammad Wahiduzzaman Khan, Sheng Chen:
Type-Based Gradual Typing Performance Optimization. Proc. ACM Program. Lang. 8(POPL): 2667-2699 (2024) - Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry:
With a Few Square Roots, Quantum Computing Is as Easy as Pi. Proc. ACM Program. Lang. 8(POPL): 546-574 (2024) - Giuseppe Castagna, Mickaël Laurent, Kim Nguyen:
Polymorphic Type Inference for Dynamic Languages. Proc. ACM Program. Lang. 8(POPL): 1179-1210 (2024) - Jonathan Castello, Patrick Redmond, Lindsey Kuper:
Inductive Diagrams for Causal Reasoning. Proc. ACM Program. Lang. 8(OOPSLA1): 529-554 (2024) - Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi:
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers. Proc. ACM Program. Lang. 8(POPL): 1269-1297 (2024) - Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis:
How Hard Is Weak-Memory Testing? Proc. ACM Program. Lang. 8(POPL): 1978-2009 (2024) - Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop:
Unboxed Data Constructors: Or, How cpp Decides a Halting Problem. Proc. ACM Program. Lang. 8(POPL): 1509-1539 (2024) - Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic:
Quantitative Bounds on Resource Usage of Probabilistic Programs. Proc. ACM Program. Lang. 8(OOPSLA1): 362-391 (2024) - Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic:
Equivalence and Similarity Refutation for Probabilistic Programs. Proc. ACM Program. Lang. 8(PLDI): 2098-2122 (2024) - Tianyu Chen, Jeremy G. Siek:
Quest Complete: The Holy Grail of Gradual Security. Proc. ACM Program. Lang. 8(PLDI): 1609-1632 (2024) - Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, Linzhang Wang:
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks. Proc. ACM Program. Lang. 8(OOPSLA1): 500-528 (2024) - Zhe Chen, Yunlong Zhu, Zhemin Wang:
Design and Implementation of an Aspect-Oriented C Programming Language. Proc. ACM Program. Lang. 8(OOPSLA1): 642-669 (2024) - Hongzheng Chen, Niansong Zhang, Shaojie Xiang, Zhichen Zeng, Mengjia Dai, Zhiru Zhang:
Allo: A Programming Model for Composable Accelerator Design. Proc. ACM Program. Lang. 8(PLDI): 593-620 (2024) - Joshua M. Cohen, Philip Johnson-Freyd:
A Formalization of Core Why3 in Coq. Proc. ACM Program. Lang. 8(POPL): 1789-1818 (2024) - Liron Cohen, Adham Jabarin, Andrei Popescu, Reuben N. S. Rowe:
The Complex(ity) Landscape of Checking Infinite Descent. Proc. ACM Program. Lang. 8(POPL): 1352-1384 (2024) - Patrick Cousot:
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation. Proc. ACM Program. Lang. 8(POPL): 175-208 (2024) - Will Crichton, Shriram Krishnamurthi:
A Core Calculus for Documents: Or, Lambda: The Ultimate Document. Proc. ACM Program. Lang. 8(POPL): 667-694 (2024) - Will Crichton, Shriram Krishnamurthi:
Profiling Programming Language Learning. Proc. ACM Program. Lang. 8(OOPSLA1): 29-54 (2024) - Guofeng Cui, Yuning Wang, Wenjie Qiu, He Zhu:
Reward-Guided Synthesis of Intelligent Agents with Control Structures. Proc. ACM Program. Lang. 8(PLDI): 1730-1754 (2024) - Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells:
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. Proc. ACM Program. Lang. 8(OOPSLA1): 670-697 (2024) - Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce:
Stream Types. Proc. ACM Program. Lang. 8(PLDI): 1412-1436 (2024) - John Cyphert, Zachary Kincaid:
Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis. Proc. ACM Program. Lang. 8(POPL): 724-752 (2024) - Thibault Dardinier, Peter Müller:
Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties. Proc. ACM Program. Lang. 8(PLDI): 1485-1509 (2024) - Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das:
Parametric Subtyping for Structural Parametric Polymorphism. Proc. ACM Program. Lang. 8(POPL): 2700-2730 (2024) - Haowei Deng, Runzhou Tao, Yuxiang Peng, Xiaodi Wu:
A Case for Synthesis of Recursive Quantum Unitary Programs. Proc. ACM Program. Lang. 8(POPL): 1759-1788 (2024) - Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoît Razet, Cole Schlesinger, Simon Winwood:
Daedalus: Safer Document Parsing. Proc. ACM Program. Lang. 8(PLDI): 816-840 (2024) - Yangruibo Ding, Marcus J. Min, Gail E. Kaiser, Baishakhi Ray:
CYCLE: Learning to Self-Refine the Code Generation. Proc. ACM Program. Lang. 8(OOPSLA1): 392-418 (2024) - Yuantian Ding, Xiaokang Qiu:
Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations. Proc. ACM Program. Lang. 8(POPL): 2129-2159 (2024)