POPL 2022
Proceedings of the ACM on Programming Languages, Volume 6, Number POPL
Powered by
Conference Publishing Consulting

Proceedings of the ACM on Programming Languages, Volume 6, Number POPL, January 16–22, 2022, Philadelphia, PA, USA

POPL 2022 – Author Index

Contents - Abstracts - Authors

A B C D E F G H I J K L M N O P R S T U V W X Y Z

Aiken, Alex POPL '22: "Induction Duality: Primal-Dual ..."
Albarghouthi, Aws POPL '22: "Interval Universal Approximation ..."
Amin, Nada POPL '22: "Reasoning about “Reasoning ..."
Balzer, Stephanie POPL '22: "Connectivity Graphs: A Method ..."
Bao, Jialu POPL '22: "A Separation Logic for Negative ..."
Batty, Mark POPL '22: "The Leaky Semicolon: Compositional ..."
Baumann, Pascal POPL '22: "Context-Bounded Verification ..."
Berdine, Josh POPL '22: "Concurrent Incorrectness Separation ..."
Bernstein, Gilbert Louis POPL '22: "Verified Tensor-Program Optimization ..."
Blanvillain, Olivier POPL '22: "Type-Level Programming with ..."
Brachthäuser, Jonathan Immanuel POPL '22: "Type-Level Programming with ..."
Brendel, Ana POPL '22: "Bottom-Up Synthesis of Recursive ..."
Campbell, Eric Hayden POPL '22: "Dependently-Typed Data Plane ..."
Campion, Marco POPL '22: "Partial (In)Completeness in ..."
Carbin, Michael POPL '22: "Twist: Sound Reasoning for ..."
Castagna, Giuseppe POPL '22: "On Type-Cases, Union Elimination, ..."
Chaudhuri, Swarat POPL '22: "Bottom-Up Synthesis of Recursive ..."
Chen, Taolue POPL '22: "Solving String Constraints ..."
Chistikov, Dmitry POPL '22: "Subcubic Certificates for ..."
Chlipala, Adam POPL '22: "Certifying Derivation of State ..." POPL '22: "Verified Tensor-Program Optimization ..."
Choudhury, Vikraman POPL '22: "Symmetries in Reversible Programming: ..."
Ciccone, Luca POPL '22: "Fair Termination of Binary ..."
Cooksey, Simon POPL '22: "The Leaky Semicolon: Compositional ..."
Dal Lago, Ugo POPL '22: "Effectful Program Distancing ..." POPL '22: "A Relational Theory of Effects ..."
Dalla Preda, Mila POPL '22: "Partial (In)Completeness in ..."
Dang, Hoang-Hai POPL '22: "Simuliris: A Separation Logic ..."
De Amorim, Arthur Azevedo POPL '22: "On Incorrectness Logic and ..."
Delaware, Benjamin POPL '22: "Oblivious Algebraic Data Types ..."
Dillig, Isil POPL '22: "Bottom-Up Synthesis of Recursive ..." POPL '22: "SolType: Refinement Types ..."
Dreyer, Derek POPL '22: "Concurrent Incorrectness Separation ..." POPL '22: "Simuliris: A Separation Logic ..." POPL '22: "VIP: Verifying Real-World ..."
Eichholz, Matthias POPL '22: "Dependently-Typed Data Plane ..."
Eisenberg, Richard A. POPL '22: "Provably Correct, Asymptotically ..."
Ellis, Tom POPL '22: "Provably Correct, Asymptotically ..."
Erbsen, Andres POPL '22: "Certifying Derivation of State ..."
Feldman, Yotam M. Y. POPL '22: "Property-Directed Reachability ..."
Feng, Yu POPL '22: "SolType: Refinement Types ..."
Fiore, Marcelo POPL '22: "Formal Metatheory of Second-Order ..."
Fitzgibbon, Andrew POPL '22: "Provably Correct, Asymptotically ..."
Flores-Lamas, Alejandro POPL '22: "Solving String Constraints ..."
Foster, Nate POPL '22: "Dependently-Typed Data Plane ..."
Gaboardi, Marco POPL '22: "A Separation Logic for Negative ..." POPL '22: "On Incorrectness Logic and ..."
Gäher, Lennard POPL '22: "Simuliris: A Separation Logic ..."
Garg, Deepak POPL '22: "Isolation without Taxation: ..." POPL '22: "Pirouette: Higher-Order Typed ..."
Gavazzo, Francesco POPL '22: "Effectful Program Distancing ..." POPL '22: "A Relational Theory of Effects ..."
Gélineau, Samuel POPL '22: "Mœbius: Metaprogramming using ..."
Giacobazzi, Roberto POPL '22: "Partial (In)Completeness in ..."
Gladstein, Vladimir POPL '22: "Truly Stateless, Optimal Dynamic ..."
Grodin, Harrison POPL '22: "A Cost-Aware Logical Framework ..."
Gurfinkel, Arie POPL '22: "Solving Constrained Horn Clauses ..."
Hague, Matthew POPL '22: "Solving String Constraints ..."
Han, Zhilei POPL '22: "Solving String Constraints ..."
Harper, Robert POPL '22: "A Cost-Aware Logical Framework ..."
He, Wenlei POPL '22: "Profile Inference Revisited ..."
Heunen, Chris POPL '22: "Quantum Information Effects ..."
Hirsch, Andrew K. POPL '22: "Pirouette: Higher-Order Typed ..."
Hou (Favonia), Kuen-Bang POPL '22: "Logarithm and Program Testing ..."
Hsu, Justin POPL '22: "A Separation Logic for Negative ..."
Hu, Denghang POPL '22: "Solving String Constraints ..."
Ikebuchi, Mirai POPL '22: "Certifying Derivation of State ..."
Jacobs, Jules POPL '22: "Connectivity Graphs: A Method ..."
Jang, Junyoung POPL '22: "Mœbius: Metaprogramming using ..."
Jeffrey, Alan POPL '22: "The Leaky Semicolon: Compositional ..."
Jeon, Minseok POPL '22: "Return of CFA: Call-Site Sensitivity ..."
Jha, Somesh POPL '22: "Interval Universal Approximation ..."
Jhala, Ranjit POPL '22: "Isolation without Taxation: ..."
Jia, Xiaodong POPL '22: "Semantics for Variational ..."
Johnson, Evan POPL '22: "Isolation without Taxation: ..."
Jung, Ralf POPL '22: "Simuliris: A Separation Logic ..."
K, Hari Govind V POPL '22: "Solving Constrained Horn Clauses ..."
Kaarsgaard, Robin POPL '22: "Quantum Information Effects ..."
Kammar, Ohad POPL '22: "Fully Abstract Models for ..."
Kan, Shuanglong POPL '22: "Solving String Constraints ..."
Kang, Jeehoon POPL '22: "Simuliris: A Separation Logic ..."
Karimov, Toghrul POPL '22: "What’s Decidable about Linear ..."
Karwowski, Jacek POPL '22: "Symmetries in Reversible Programming: ..."
Katsumata, Shin-ya POPL '22: "Fully Abstract Models for ..."
Kaysin, Ilya POPL '22: "The Leaky Semicolon: Compositional ..."
Kesner, Delia POPL '22: "A Fine-Grained Computational ..."
Kjaer, Maxime POPL '22: "Type-Level Programming with ..."
Kjelstrøm, Adam Husted POPL '22: "The Decidability and Complexity ..."
Koenig, Jason R. POPL '22: "Induction Duality: Primal-Dual ..."
Koenig, Jérémie POPL '22: "Layered and Object-Based Game ..." POPL '22: "Verified Compilation of C ..."
Kokologiannakis, Michalis POPL '22: "Truly Stateless, Optimal Dynamic ..."
Kolosick, Matthew POPL '22: "Isolation without Taxation: ..."
Kornell, Andre POPL '22: "Semantics for Variational ..."
Krawiec, Faustyna POPL '22: "Provably Correct, Asymptotically ..."
Krebbers, Robbert POPL '22: "Simuliris: A Separation Logic ..." POPL '22: "Connectivity Graphs: A Method ..." POPL '22: "VIP: Verifying Real-World ..."
Krebs, Matthias POPL '22: "Dependently-Typed Data Plane ..."
Krishnaswami, Neel POPL '22: "Provably Correct, Asymptotically ..."
Krogmeier, Paul POPL '22: "Learning Formulas in Finite ..."
Lahiri, Shuvendu K. POPL '22: "SolType: Refinement Types ..."
Laurel, Jacob POPL '22: "A Dual Number Abstraction ..."
Laurent, Mickaël POPL '22: "On Type-Cases, Union Elimination, ..."
Le, Xuan-Bach POPL '22: "A Quantum Interpretation of ..."
Lefaucheux, Engel POPL '22: "What’s Decidable about Linear ..."
LeMay, Michael POPL '22: "Isolation without Taxation: ..."
Lepigre, Rodolphe POPL '22: "VIP: Verifying Real-World ..."
Li, Yuanbo POPL '22: "Efficient Algorithms for Dynamic ..."
Lim, Jay P. POPL '22: "One Polynomial Approximation ..."
Lin, Anthony W. POPL '22: "Solving String Constraints ..."
Lin, Shang-Wei POPL '22: "A Quantum Interpretation of ..."
Lindenhovius, Bert POPL '22: "Semantics for Variational ..."
Liu, Amanda POPL '22: "Verified Tensor-Program Optimization ..."
Loehr, Devon POPL '22: "Safe, Modular Packet Pipeline ..."
Löh, Andres POPL '22: "Staging with Class: A Specification ..."
Lutze, Matthew POPL '22: "On Type-Cases, Union Elimination, ..."
Madhusudan, P. POPL '22: "Learning Formulas in Finite ..."
Madiot, Jean-Marie POPL '22: "A Separation Logic for Heap ..."
Majumdar, Rupak POPL '22: "Context-Bounded Verification ..." POPL '22: "Subcubic Certificates for ..."
Makarchuk, Gleb POPL '22: "PRIMA: General and Precise ..."
Maranget, Luc POPL '22: "Extending Intel-x86 Consistency ..."
Mariano, Benjamin POPL '22: "SolType: Refinement Types ..."
Marmanis, Iason POPL '22: "Truly Stateless, Optimal Dynamic ..."
McMillan, Kenneth L. POPL '22: "Induction Duality: Primal-Dual ..."
McNally, Christopher POPL '22: "Twist: Sound Reasoning for ..."
Melliès, Paul-André POPL '22: "Layered and Object-Based Game ..."
Memarian, Kayvan POPL '22: "VIP: Verifying Real-World ..."
Mestre, Julián POPL '22: "Profile Inference Revisited ..."
Mezini, Mira POPL '22: "Dependently-Typed Data Plane ..."
Miltner, Anders POPL '22: "Bottom-Up Synthesis of Recursive ..."
Misailovic, Sasa POPL '22: "A Dual Number Abstraction ..."
Mislove, Michael POPL '22: "Semantics for Variational ..."
Monnier, Stefan POPL '22: "Mœbius: Metaprogramming using ..."
Müller, Mark Niklas POPL '22: "PRIMA: General and Precise ..."
Muller, Stefan K. POPL '22: "Static Prediction of Parallel ..."
Nagarakatte, Santosh POPL '22: "One Polynomial Approximation ..."
Nanevski, Aleksandar POPL '22: "Visibility Reasoning for Concurrent ..."
Narayan, Shravan POPL '22: "Isolation without Taxation: ..."
Nelson, Luke POPL '22: "A Formal Foundation for Symbolic ..."
Nguyen, Minh POPL '22: "Linked Visualisations via ..."
Nguyễn, Kim POPL '22: "On Type-Cases, Union Elimination, ..."
Niu, Yue POPL '22: "A Cost-Aware Logical Framework ..."
Nuñez, Adrian Trejo POPL '22: "Bottom-Up Synthesis of Recursive ..."
Odersky, Martin POPL '22: "Type-Level Programming with ..."
Oh, Hakjoo POPL '22: "Return of CFA: Call-Site Sensitivity ..."
O'Hearn, Peter W. POPL '22: "Concurrent Incorrectness Separation ..."
Öhman, Joakim POPL '22: "Visibility Reasoning for Concurrent ..."
Oliveira Vale, Arthur POPL '22: "Layered and Object-Based Game ..."
Ouaknine, Joël POPL '22: "What’s Decidable about Linear ..."
Padon, Oded POPL '22: "Induction Duality: Primal-Dual ..."
Padovani, Luca POPL '22: "Fair Termination of Binary ..."
Pavlogiannis, Andreas POPL '22: "The Decidability and Complexity ..."
Perera, Roly POPL '22: "Linked Visualisations via ..."
Petricek, Tomas POPL '22: "Linked Visualisations via ..."
Peyton Jones, Simon POPL '22: "Provably Correct, Asymptotically ..."
Pickering, Matthew POPL '22: "Staging with Class: A Specification ..."
Pientka, Brigitte POPL '22: "Mœbius: Metaprogramming using ..."
Podkopaev, Anton POPL '22: "The Leaky Semicolon: Compositional ..."
Porncharoenwase, Sorawee POPL '22: "A Formal Foundation for Symbolic ..."
Pottier, François POPL '22: "A Separation Logic for Heap ..."
Prakriya, Gautam POPL '22: "Interval Universal Approximation ..."
Pujet, Loïc POPL '22: "Observational Equality: Now ..."
Pupyrev, Sergey POPL '22: "Profile Inference Revisited ..."
Purser, David POPL '22: "What’s Decidable about Linear ..."
Püschel, Markus POPL '22: "PRIMA: General and Precise ..."
Raad, Azalea POPL '22: "Extending Intel-x86 Consistency ..." POPL '22: "Concurrent Incorrectness Separation ..."
Ragan-Kelley, Jonathan POPL '22: "Verified Tensor-Program Optimization ..."
Riely, James POPL '22: "The Leaky Semicolon: Compositional ..."
Rümmer, Philipp POPL '22: "Solving String Constraints ..."
Sabry, Amr POPL '22: "Symmetries in Reversible Programming: ..."
Sagiv, Mooly POPL '22: "Property-Directed Reachability ..."
Sammler, Michael POPL '22: "Simuliris: A Separation Logic ..." POPL '22: "VIP: Verifying Real-World ..."
Sanan, David POPL '22: "A Quantum Interpretation of ..."
Sangiorgi, Davide POPL '22: "From Enhanced Coinduction ..."
Satya, Kris POPL '22: "Efficient Algorithms for Dynamic ..."
Saville, Philip POPL '22: "Fully Abstract Models for ..."
Schepper, Philipp POPL '22: "Subcubic Certificates for ..."
Sewell, Peter POPL '22: "VIP: Verifying Real-World ..."
Shao, Zhong POPL '22: "Layered and Object-Based Game ..." POPL '22: "Verified Compilation of C ..."
Shoham, Sharon POPL '22: "Solving Constrained Horn Clauses ..." POPL '22: "Property-Directed Reachability ..."
Singh, Gagandeep POPL '22: "A Dual Number Abstraction ..." POPL '22: "PRIMA: General and Precise ..."
Spies, Simon POPL '22: "Simuliris: A Separation Logic ..."
Stefan, Deian POPL '22: "Isolation without Taxation: ..."
Stefanesco, Léo POPL '22: "Layered and Object-Based Game ..."
Sterling, Jonathan POPL '22: "A Cost-Aware Logical Framework ..."
Sun, Jun POPL '22: "A Quantum Interpretation of ..."
Szamozvancev, Dmitrij POPL '22: "Formal Metatheory of Second-Order ..."
Tabareau, Nicolas POPL '22: "Observational Equality: Now ..."
Tan, Bryan POPL '22: "SolType: Refinement Types ..."
Tassarotti, Joseph POPL '22: "A Separation Logic for Negative ..."
Tatlock, Zachary POPL '22: "Relational E-matching ..."
Thinniyam, Ramanathan S. POPL '22: "Context-Bounded Verification ..."
Torlak, Emina POPL '22: "A Formal Foundation for Symbolic ..."
Tsukada, Takeshi POPL '22: "Software Model-Checking as ..."
Unno, Hiroshi POPL '22: "Software Model-Checking as ..."
Vafeiadis, Viktor POPL '22: "Truly Stateless, Optimal Dynamic ..." POPL '22: "Extending Intel-x86 Consistency ..."
Varonka, Anton POPL '22: "What’s Decidable about Linear ..."
Vechev, Martin POPL '22: "PRIMA: General and Precise ..."
Walker, David POPL '22: "Safe, Modular Packet Pipeline ..."
Wang, Lei POPL '22: "Profile Inference Revisited ..."
Wang, Meng POPL '22: "Staging with Class: A Specification ..." POPL '22: "Linked Visualisations via ..."
Wang, Xi POPL '22: "A Formal Foundation for Symbolic ..."
Wang, Yisu Remy POPL '22: "Relational E-matching ..."
Wang, Yuting POPL '22: "Verified Compilation of C ..."
Wang, Zhuyang POPL '22: "Logarithm and Program Testing ..."
Wang, Zi POPL '22: "Interval Universal Approximation ..."
Watt, Conrad POPL '22: "Isolation without Taxation: ..."
Whiteland, Markus A. POPL '22: "What’s Decidable about Linear ..."
Wilcox, James R. POPL '22: "Induction Duality: Primal-Dual ..." POPL '22: "Property-Directed Reachability ..."
Willsey, Max POPL '22: "Relational E-matching ..."
Worrell, James POPL '22: "What’s Decidable about Linear ..."
Wu, Nicolas POPL '22: "Staging with Class: A Specification ..."
Wu, Zhilin POPL '22: "Solving String Constraints ..."
Xie, Ningning POPL '22: "Staging with Class: A Specification ..."
Yallop, Jeremy POPL '22: "Staging with Class: A Specification ..."
Yang, Rem POPL '22: "A Dual Number Abstraction ..."
Ye, Qianchuan POPL '22: "Oblivious Algebraic Data Types ..."
Yu, Hongtao POPL '22: "Profile Inference Revisited ..."
Yuan, Charles POPL '22: "Twist: Sound Reasoning for ..."
Zamdzhiev, Vladimir POPL '22: "Semantics for Variational ..."
Zetzsche, Georg POPL '22: "Context-Bounded Verification ..."
Zhang, Cheng POPL '22: "On Incorrectness Logic and ..."
Zhang, Ling POPL '22: "Verified Compilation of C ..."
Zhang, Qirun POPL '22: "Efficient Algorithms for Dynamic ..."