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

Proceedings of the ACM on Programming Languages, Volume 8, Number POPL

POPL 2024 – Author Index

Contents - Abstracts - Authors

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

Abeysinghe, Supun Proc. ACM Program. Lang., vol. 8, issue POPL: "Flan: An Expressive and Efficient ..." Article: popl24main-p634-p doi:10.1145/3632928
Acar, Umut A. Proc. ACM Program. Lang., vol. 8, issue POPL: "Automatic Parallelism Management ..." Article: popl24main-p181-p doi:10.1145/3632880 Proc. ACM Program. Lang., vol. 8, issue POPL: "Disentanglement with Futures, ..." Article: popl24main-p260-p doi:10.1145/3632895
Ackerman, Nate Proc. ACM Program. Lang., vol. 8, issue POPL: "Probabilistic Programming ..." Article: popl24main-p293-p doi:10.1145/3632903
Aguirre, Alejandro Proc. ACM Program. Lang., vol. 8, issue POPL: "Asynchronous Probabilistic ..." Article: popl24main-p129-p doi:10.1145/3632868
Aldrich, Jonathan Proc. ACM Program. Lang., vol. 8, issue POPL: "Sound Gradual Verification ..." Article: popl24main-p589-p doi:10.1145/3632927
Altenkirch, Thorsten Proc. ACM Program. Lang., vol. 8, issue POPL: "Internal Parametricity, without ..." Article: popl24main-p508-p doi:10.1145/3632920
Andrici, Cezar-Constantin Proc. ACM Program. Lang., vol. 8, issue POPL: "Securing Verified IO Programs ..." Article: popl24main-p385-p doi:10.1145/3632916
Ang, Zhendong Proc. ACM Program. Lang., vol. 8, issue POPL: "Predictive Monitoring against ..." Article: popl24main-p382-p doi:10.1145/3632915
Appel, Andrew W. Proc. ACM Program. Lang., vol. 8, issue POPL: "VST-A: A Foundationally Sound ..." Article: popl24main-p348-p doi:10.1145/3632911
Arora, Jatin Proc. ACM Program. Lang., vol. 8, issue POPL: "Disentanglement with Futures, ..." Article: popl24main-p260-p doi:10.1145/3632895
Asada, Kazuyuki Proc. ACM Program. Lang., vol. 8, issue POPL: "Enriched Presheaf Model of ..." Article: popl24main-p70-p doi:10.1145/3632855
Atkey, Robert Proc. ACM Program. Lang., vol. 8, issue POPL: "Polynomial Time and Dependent ..." Article: popl24main-p453-p doi:10.1145/3632918
Attouche, Lyes Proc. ACM Program. Lang., vol. 8, issue POPL: "Validation of Modern JSON ..." Article: popl24main-p241-p doi:10.1145/3632891
Azevedo de Amorim, Arthur Proc. ACM Program. Lang., vol. 8, issue POPL: "Pipelines and Beyond: Graph ..." Article: popl24main-p82-p doi:10.1145/3632859
Baazizi, Mohamed-Amine Proc. ACM Program. Lang., vol. 8, issue POPL: "Validation of Modern JSON ..." Article: popl24main-p241-p doi:10.1145/3632891
Bai, Guangdong Proc. ACM Program. Lang., vol. 8, issue POPL: "ReLU Hull Approximation ..." Article: popl24main-p441-p doi:10.1145/3632917
Balasubramanian, A. R. Proc. ACM Program. Lang., vol. 8, issue POPL: "Reachability in Continuous ..." Article: popl24main-p18-p doi:10.1145/3633279
Balzer, Stephanie Proc. ACM Program. Lang., vol. 8, issue POPL: "DisLog: A Separation Logic ..." Article: popl24main-p55-p doi:10.1145/3632853
Bao, Yuyan Proc. ACM Program. Lang., vol. 8, issue POPL: "Polymorphic Reachability Types: ..." Article: popl24main-p73-p doi:10.1145/3632856
Bardin, Sébastien Proc. ACM Program. Lang., vol. 8, issue POPL: "Inference of Robust Reachability ..." Article: popl24main-p717-p doi:10.1145/3632933
Barthe, Gilles Proc. ACM Program. Lang., vol. 8, issue POPL: "Decision and Complexity of ..." Article: popl24main-p331-p doi:10.1145/3632906
Bastani, Osbert Proc. ACM Program. Lang., vol. 8, issue POPL: "Optimal Program Synthesis ..." Article: popl24main-p80-p doi:10.1145/3632858
Batz, Kevin Proc. ACM Program. Lang., vol. 8, issue POPL: "Programmatic Strategy Synthesis: ..." Article: popl24main-p766-p doi:10.1145/3632935
Bergsträßer, Pascal Proc. ACM Program. Lang., vol. 8, issue POPL: "Ramsey Quantifiers in Linear ..." Article: popl24main-p3-p doi:10.1145/3632843
Bhat, Siddharth Proc. ACM Program. Lang., vol. 8, issue POPL: "Guided Equality Saturation ..." Article: popl24main-p274-p doi:10.1145/3632900
Birkedal, Lars Proc. ACM Program. Lang., vol. 8, issue POPL: "Modular Denotational Semantics ..." Article: popl24main-p66-p doi:10.1145/3632854 Proc. ACM Program. Lang., vol. 8, issue POPL: "The Logical Essence of Well-Bracketed ..." Article: popl24main-p92-p doi:10.1145/3632862 Proc. ACM Program. Lang., vol. 8, issue POPL: "An Axiomatic Basis for Computer ..." Article: popl24main-p98-p doi:10.1145/3632863 Proc. ACM Program. Lang., vol. 8, issue POPL: "The Essence of Generalized ..." Article: popl24main-p110-p doi:10.1145/3632866 Proc. ACM Program. Lang., vol. 8, issue POPL: "Asynchronous Probabilistic ..." Article: popl24main-p129-p doi:10.1145/3632868 Proc. ACM Program. Lang., vol. 8, issue POPL: "Trillium: Higher-Order Concurrent ..." Article: popl24main-p52-p doi:10.1145/3632851
Biskup, Tom Jannik Proc. ACM Program. Lang., vol. 8, issue POPL: "Programmatic Strategy Synthesis: ..." Article: popl24main-p766-p doi:10.1145/3632935
Biswas, Joydeep Proc. ACM Program. Lang., vol. 8, issue POPL: "Programming-by-Demonstration ..." Article: popl24main-p83-p doi:10.1145/3632860
Blinn, Andrew Proc. ACM Program. Lang., vol. 8, issue POPL: "Total Type Error Localization ..." Article: popl24main-p336-p doi:10.1145/3632910
Bojańczyk, Mikołaj Proc. ACM Program. Lang., vol. 8, issue POPL: "Polyregular Functions on Unordered ..." Article: popl24main-p231-p doi:10.1145/3632887
Borkowski, Michael H. Proc. ACM Program. Lang., vol. 8, issue POPL: "Mechanizing Refinement Types ..." Article: popl24main-p349-p doi:10.1145/3632912
Bortolussi, Luca Proc. ACM Program. Lang., vol. 8, issue POPL: "Inference of Probabilistic ..." Article: popl24main-p312-p doi:10.1145/3632905
Boruch-Gruszecki, Aleksander Proc. ACM Program. Lang., vol. 8, issue POPL: "When Subtyping Constraints ..." Article: popl24main-p237-p doi:10.1145/3632890
Bowman, William J. Proc. ACM Program. Lang., vol. 8, issue POPL: "Indexed Types for a Statically ..." Article: popl24main-p538-p doi:10.1145/3632922
Bračevac, Oliver Proc. ACM Program. Lang., vol. 8, issue POPL: "Polymorphic Reachability Types: ..." Article: popl24main-p73-p doi:10.1145/3632856
Briggs, Ian Proc. ACM Program. Lang., vol. 8, issue POPL: "Implementation and Synthesis ..." Article: popl24main-p164-p doi:10.1145/3632874
Buna-Marginean, Alex Proc. ACM Program. Lang., vol. 8, issue POPL: "On Learning Polynomial Recursive ..." Article: popl24main-p168-p doi:10.1145/3632876
Campion, Marco Proc. ACM Program. Lang., vol. 8, issue POPL: "Monotonicity and the Precision ..." Article: popl24main-p262-p doi:10.1145/3632897
Campora, John Peter Proc. ACM Program. Lang., vol. 8, issue POPL: "Type-Based Gradual Typing ..." Article: popl24main-p713-p doi:10.1145/3632931
Cao, Qinxiang Proc. ACM Program. Lang., vol. 8, issue POPL: "VST-A: A Foundationally Sound ..." Article: popl24main-p348-p doi:10.1145/3632911
Carette, Jacques Proc. ACM Program. Lang., vol. 8, issue POPL: "With a Few Square Roots, Quantum ..." Article: popl24main-p89-p doi:10.1145/3632861
Castagna, Giuseppe Proc. ACM Program. Lang., vol. 8, issue POPL: "Polymorphic Type Inference ..." Article: popl24main-p201-p doi:10.1145/3632882
Ceragioli, Lorenzo Proc. ACM Program. Lang., vol. 8, issue POPL: "Quantum Bisimilarity via Barbs ..." Article: popl24main-p216-p doi:10.1145/3632885
Chakraborty, Soham Proc. ACM Program. Lang., vol. 8, issue POPL: "How Hard Is Weak-Memory Testing? ..." Article: popl24main-p333-p doi:10.1145/3632908
Chaliasos, Stefanos Proc. ACM Program. Lang., vol. 8, issue POPL: "API-Driven Program Synthesis ..." Article: popl24main-p302-p doi:10.1145/3632904
Chamoun, Yorgo Proc. ACM Program. Lang., vol. 8, issue POPL: "Internal Parametricity, without ..." Article: popl24main-p508-p doi:10.1145/3632920
Chan, Jonathan Proc. ACM Program. Lang., vol. 8, issue POPL: "Internalizing Indistinguishability ..." Article: popl24main-p229-p doi:10.1145/3632886
Chataing, Nicolas Proc. ACM Program. Lang., vol. 8, issue POPL: "Unboxed Data Constructors: ..." Article: popl24main-p252-p doi:10.1145/3632893
Chattopadhyay, Agnishom Proc. ACM Program. Lang., vol. 8, issue POPL: "Efficient Matching of Regular ..." Article: popl24main-p758-p doi:10.1145/3632934
Chau, Chun Yin Proc. ACM Program. Lang., vol. 8, issue POPL: "When Subtyping Constraints ..." Article: popl24main-p237-p doi:10.1145/3632890
Chen, Sheng Proc. ACM Program. Lang., vol. 8, issue POPL: "Type-Based Gradual Typing ..." Article: popl24main-p713-p doi:10.1145/3632931
Chen, Taolue Proc. ACM Program. Lang., vol. 8, issue POPL: "EasyBC: A Cryptography-Specific ..." Article: popl24main-p146-p doi:10.1145/3632871
Chen, Yuqi Proc. ACM Program. Lang., vol. 8, issue POPL: "EasyBC: A Cryptography-Specific ..." Article: popl24main-p146-p doi:10.1145/3632871
Cheval, Vincent Proc. ACM Program. Lang., vol. 8, issue POPL: "On Learning Polynomial Recursive ..." Article: popl24main-p168-p doi:10.1145/3632876
Ciobâcă, Ștefan Proc. ACM Program. Lang., vol. 8, issue POPL: "Securing Verified IO Programs ..." Article: popl24main-p385-p doi:10.1145/3632916
Cohen, Joshua M. Proc. ACM Program. Lang., vol. 8, issue POPL: "A Formalization of Core Why3 ..." Article: popl24main-p283-p doi:10.1145/3632902
Cohen, Liron Proc. ACM Program. Lang., vol. 8, issue POPL: "The Complex(ity) Landscape ..." Article: popl24main-p233-p doi:10.1145/3632888
Colazzo, Dario Proc. ACM Program. Lang., vol. 8, issue POPL: "Validation of Modern JSON ..." Article: popl24main-p241-p doi:10.1145/3632891
Couroussé, Damien Proc. ACM Program. Lang., vol. 8, issue POPL: "Inference of Robust Reachability ..." Article: popl24main-p717-p doi:10.1145/3632933
Cousot, Patrick Proc. ACM Program. Lang., vol. 8, issue POPL: "Calculational Design of [In]Correctness ..." Article: popl24main-p43-p doi:10.1145/3632849
Crichton, Will Proc. ACM Program. Lang., vol. 8, issue POPL: "A Core Calculus for Documents: ..." Article: popl24main-p107-p doi:10.1145/3632865
Cyphert, John Proc. ACM Program. Lang., vol. 8, issue POPL: "Solvable Polynomial Ideals: ..." Article: popl24main-p122-p doi:10.1145/3632867
Dal Lago, Ugo Proc. ACM Program. Lang., vol. 8, issue POPL: "On Model-Checking Higher-Order ..." Article: popl24main-p635-p doi:10.1145/3632929
Dalla Preda, Mila Proc. ACM Program. Lang., vol. 8, issue POPL: "Monotonicity and the Precision ..." Article: popl24main-p262-p doi:10.1145/3632897
Das, Ankush Proc. ACM Program. Lang., vol. 8, issue POPL: "Parametric Subtyping for Structural ..." Article: popl24main-p714-p doi:10.1145/3632932
Deng, Haowei Proc. ACM Program. Lang., vol. 8, issue POPL: "A Case for Synthesis of Recursive ..." Article: popl24main-p282-p doi:10.1145/3632901
Devriese, Dominique Proc. ACM Program. Lang., vol. 8, issue POPL: "Internal and Observational ..." Article: popl24main-p48-p doi:10.1145/3632850
DeYoung, Henry Proc. ACM Program. Lang., vol. 8, issue POPL: "Parametric Subtyping for Structural ..." Article: popl24main-p714-p doi:10.1145/3632932
Dillig, Işıl Proc. ACM Program. Lang., vol. 8, issue POPL: "Programming-by-Demonstration ..." Article: popl24main-p83-p doi:10.1145/3632860 Proc. ACM Program. Lang., vol. 8, issue POPL: "Semantic Code Refactoring ..." Article: popl24main-p145-p doi:10.1145/3632870
Dimitrova, Rayna Proc. ACM Program. Lang., vol. 8, issue POPL: "Solving Infinite-State Games ..." Article: popl24main-p273-p doi:10.1145/3632899
Dimoulas, Christos Proc. ACM Program. Lang., vol. 8, issue POPL: "Effectful Software Contracts ..." Article: popl24main-p642-p doi:10.1145/3632930
Ding, Yuantian Proc. ACM Program. Lang., vol. 8, issue POPL: "Enhanced Enumeration Techniques ..." Article: popl24main-p375-p doi:10.1145/3632913
DiVincenzo, Jenna Proc. ACM Program. Lang., vol. 8, issue POPL: "Sound Gradual Verification ..." Article: popl24main-p589-p doi:10.1145/3632927
Dolan, Stephen Proc. ACM Program. Lang., vol. 8, issue POPL: "Unboxed Data Constructors: ..." Article: popl24main-p252-p doi:10.1145/3632893
Dong, Rui Proc. ACM Program. Lang., vol. 8, issue POPL: "Efficient Bottom-Up Synthesis ..." Article: popl24main-p254-p doi:10.1145/3632894
Du, Ke Proc. ACM Program. Lang., vol. 8, issue POPL: "An Iris Instance for Verifying ..." Article: popl24main-p41-p doi:10.1145/3632848
Dukkipati, Anand Proc. ACM Program. Lang., vol. 8, issue POPL: "Total Type Error Localization ..." Article: popl24main-p336-p doi:10.1145/3632910
Elad, Neta Proc. ACM Program. Lang., vol. 8, issue POPL: "An Infinite Needle in a Finite ..." Article: popl24main-p166-p doi:10.1145/3632875
Elsman, Martin Proc. ACM Program. Lang., vol. 8, issue POPL: "Explicit Effects and Effect ..." Article: popl24main-p536-p doi:10.1145/3632921
Faggian, Claudia Proc. ACM Program. Lang., vol. 8, issue POPL: "Higher Order Bayesian Networks, ..." Article: popl24main-p582-p doi:10.1145/3632926
Fan, Andong Proc. ACM Program. Lang., vol. 8, issue POPL: "When Subtyping Constraints ..." Article: popl24main-p237-p doi:10.1145/3632890
Farzan, Azadeh Proc. ACM Program. Lang., vol. 8, issue POPL: "Coarser Equivalences for Causal ..." Article: popl24main-p160-p doi:10.1145/3632873 Proc. ACM Program. Lang., vol. 8, issue POPL: "Commutativity Simplifies Proofs ..." Article: popl24main-p579-p doi:10.1145/3632925
Felleisen, Matthias Proc. ACM Program. Lang., vol. 8, issue POPL: "Effectful Software Contracts ..." Article: popl24main-p642-p doi:10.1145/3632930
Fluet, Matthew Proc. ACM Program. Lang., vol. 8, issue POPL: "Automatic Parallelism Management ..." Article: popl24main-p181-p doi:10.1145/3632880
Frank, Justin Proc. ACM Program. Lang., vol. 8, issue POPL: "Generating Well-Typed Terms ..." Article: popl24main-p476-p doi:10.1145/3632919 Proc. ACM Program. Lang., vol. 8, issue POPL: "Indexed Types for a Statically ..." Article: popl24main-p538-p doi:10.1145/3632922
Freer, Cameron E. Proc. ACM Program. Lang., vol. 8, issue POPL: "Probabilistic Programming ..." Article: popl24main-p293-p doi:10.1145/3632903
Frumin, Dan Proc. ACM Program. Lang., vol. 8, issue POPL: "Modular Denotational Semantics ..." Article: popl24main-p66-p doi:10.1145/3632854
Gadducci, Fabio Proc. ACM Program. Lang., vol. 8, issue POPL: "Quantum Bisimilarity via Barbs ..." Article: popl24main-p216-p doi:10.1145/3632885
Ganardi, Moses Proc. ACM Program. Lang., vol. 8, issue POPL: "Ramsey Quantifiers in Linear ..." Article: popl24main-p3-p doi:10.1145/3632843
Geller, Adam T. Proc. ACM Program. Lang., vol. 8, issue POPL: "Indexed Types for a Statically ..." Article: popl24main-p538-p doi:10.1145/3632922
Ghelli, Giorgio Proc. ACM Program. Lang., vol. 8, issue POPL: "Validation of Modern JSON ..." Article: popl24main-p241-p doi:10.1145/3632891
Ghyselen, Alexis Proc. ACM Program. Lang., vol. 8, issue POPL: "On Model-Checking Higher-Order ..." Article: popl24main-p635-p doi:10.1145/3632929
Giacobazzi, Roberto Proc. ACM Program. Lang., vol. 8, issue POPL: "Monotonicity and the Precision ..." Article: popl24main-p262-p doi:10.1145/3632897
Girol, Guillaume Proc. ACM Program. Lang., vol. 8, issue POPL: "Inference of Robust Reachability ..." Article: popl24main-p717-p doi:10.1145/3632933
Goens, Andrés Proc. ACM Program. Lang., vol. 8, issue POPL: "Guided Equality Saturation ..." Article: popl24main-p274-p doi:10.1145/3632900
Gondelman, Léon Proc. ACM Program. Lang., vol. 8, issue POPL: "Trillium: Higher-Order Concurrent ..." Article: popl24main-p52-p doi:10.1145/3632851
Gregersen, Simon Oddershede Proc. ACM Program. Lang., vol. 8, issue POPL: "Asynchronous Probabilistic ..." Article: popl24main-p129-p doi:10.1145/3632868 Proc. ACM Program. Lang., vol. 8, issue POPL: "Trillium: Higher-Order Concurrent ..." Article: popl24main-p52-p doi:10.1145/3632851
Grodin, Harrison Proc. ACM Program. Lang., vol. 8, issue POPL: "Decalf: A Directed, Effectful ..." Article: popl24main-p54-p doi:10.1145/3632852
Grosser, Tobias Proc. ACM Program. Lang., vol. 8, issue POPL: "Guided Equality Saturation ..." Article: popl24main-p274-p doi:10.1145/3632900
Gu, Ronghui Proc. ACM Program. Lang., vol. 8, issue POPL: "Mostly Automated Verification ..." Article: popl24main-p170-p doi:10.1145/3632877
Guéneau, Armaël Proc. ACM Program. Lang., vol. 8, issue POPL: "The Logical Essence of Well-Bracketed ..." Article: popl24main-p92-p doi:10.1145/3632862 Proc. ACM Program. Lang., vol. 8, issue POPL: "Thunks and Debits in Separation ..." Article: popl24main-p245-p doi:10.1145/3632892
Guilloud, Simon Proc. ACM Program. Lang., vol. 8, issue POPL: "Orthologic with Axioms ..." Article: popl24main-p183-p doi:10.1145/3632881
Guo, Guanchen Proc. ACM Program. Lang., vol. 8, issue POPL: "Fusing Direct Manipulations ..." Article: popl24main-p213-p doi:10.1145/3632883
Gutsfeld, Jens Oliver Proc. ACM Program. Lang., vol. 8, issue POPL: "Deciding Asynchronous Hyperproperties ..." Article: popl24main-p10-p doi:10.1145/3632844
Hague, Matthew Proc. ACM Program. Lang., vol. 8, issue POPL: "Parikh’s Theorem Made Symbolic ..." Article: popl24main-p332-p doi:10.1145/3632907
Hammond, Angus Proc. ACM Program. Lang., vol. 8, issue POPL: "An Axiomatic Basis for Computer ..." Article: popl24main-p98-p doi:10.1145/3632863
Harper, Robert Proc. ACM Program. Lang., vol. 8, issue POPL: "Decalf: A Directed, Effectful ..." Article: popl24main-p54-p doi:10.1145/3632852
Haselwarter, Philipp G. Proc. ACM Program. Lang., vol. 8, issue POPL: "Asynchronous Probabilistic ..." Article: popl24main-p129-p doi:10.1145/3632868
He, Xiao Proc. ACM Program. Lang., vol. 8, issue POPL: "Fusing Direct Manipulations ..." Article: popl24main-p213-p doi:10.1145/3632883
Heim, Philippe Proc. ACM Program. Lang., vol. 8, issue POPL: "Solving Infinite-State Games ..." Article: popl24main-p273-p doi:10.1145/3632899
Hernandez, Lizzie Proc. ACM Program. Lang., vol. 8, issue POPL: "A Universal, Sound, and Complete ..." Article: popl24main-p557-p doi:10.1145/3632924
Heunen, Chris Proc. ACM Program. Lang., vol. 8, issue POPL: "With a Few Square Roots, Quantum ..." Article: popl24main-p89-p doi:10.1145/3632861
Hewer, Brandon Proc. ACM Program. Lang., vol. 8, issue POPL: "Quotient Haskell: Lightweight ..." Article: popl24main-p136-p doi:10.1145/3632869
Hillerström, Daniel Proc. ACM Program. Lang., vol. 8, issue POPL: "Soundly Handling Linearity ..." Article: popl24main-p261-p doi:10.1145/3632896
Hinrichsen, Jonas Kastberg Proc. ACM Program. Lang., vol. 8, issue POPL: "Deadlock-Free Separation Logic: ..." Article: popl24main-p234-p doi:10.1145/3632889 Proc. ACM Program. Lang., vol. 8, issue POPL: "Trillium: Higher-Order Concurrent ..." Article: popl24main-p52-p doi:10.1145/3632851
Höfner, Peter Proc. ACM Program. Lang., vol. 8, issue POPL: "Shoggoth: A Formal Foundation ..." Article: popl24main-p17-p doi:10.1145/3633211
Hong, Chih-Duo Proc. ACM Program. Lang., vol. 8, issue POPL: "Regular Abstractions for Array ..." Article: popl24main-p99-p doi:10.1145/3632864
Hriţcu, Cătălin Proc. ACM Program. Lang., vol. 8, issue POPL: "Securing Verified IO Programs ..." Article: popl24main-p385-p doi:10.1145/3632916
Hu, Zhenjiang Proc. ACM Program. Lang., vol. 8, issue POPL: "Fusing Direct Manipulations ..." Article: popl24main-p213-p doi:10.1145/3632883
Hutton, Graham Proc. ACM Program. Lang., vol. 8, issue POPL: "Quotient Haskell: Lightweight ..." Article: popl24main-p136-p doi:10.1145/3632869
Incerto, Emilio Proc. ACM Program. Lang., vol. 8, issue POPL: "Inference of Probabilistic ..." Article: popl24main-p312-p doi:10.1145/3632905
Jabarin, Adham Proc. ACM Program. Lang., vol. 8, issue POPL: "The Complex(ity) Landscape ..." Article: popl24main-p233-p doi:10.1145/3632888
Jacobs, Jules Proc. ACM Program. Lang., vol. 8, issue POPL: "Deadlock-Free Separation Logic: ..." Article: popl24main-p234-p doi:10.1145/3632889
Jayanti, Prasad Proc. ACM Program. Lang., vol. 8, issue POPL: "A Universal, Sound, and Complete ..." Article: popl24main-p557-p doi:10.1145/3632924
Jayanti, Siddhartha Proc. ACM Program. Lang., vol. 8, issue POPL: "A Universal, Sound, and Complete ..." Article: popl24main-p557-p doi:10.1145/3632924
Jeż, Artur Proc. ACM Program. Lang., vol. 8, issue POPL: "Parikh’s Theorem Made Symbolic ..." Article: popl24main-p332-p doi:10.1145/3632907
Jhala, Ranjit Proc. ACM Program. Lang., vol. 8, issue POPL: "Mechanizing Refinement Types ..." Article: popl24main-p349-p doi:10.1145/3632912
Jia, Songlin Proc. ACM Program. Lang., vol. 8, issue POPL: "Polymorphic Reachability Types: ..." Article: popl24main-p73-p doi:10.1145/3632856
Johnson-Freyd, Philip Proc. ACM Program. Lang., vol. 8, issue POPL: "A Formalization of Core Why3 ..." Article: popl24main-p283-p doi:10.1145/3632902
Jourdan, Jacques-Henri Proc. ACM Program. Lang., vol. 8, issue POPL: "Thunks and Debits in Separation ..." Article: popl24main-p245-p doi:10.1145/3632892
Kaarsgaard, Robin Proc. ACM Program. Lang., vol. 8, issue POPL: "With a Few Square Roots, Quantum ..." Article: popl24main-p89-p doi:10.1145/3632861
Kaddar, Younesse Proc. ACM Program. Lang., vol. 8, issue POPL: "Probabilistic Programming ..." Article: popl24main-p293-p doi:10.1145/3632903
Kammar, Ohad Proc. ACM Program. Lang., vol. 8, issue POPL: "Shoggoth: A Formal Foundation ..." Article: popl24main-p17-p doi:10.1145/3633211
Kaposi, Ambrus Proc. ACM Program. Lang., vol. 8, issue POPL: "Internal Parametricity, without ..." Article: popl24main-p508-p doi:10.1145/3632920
Karwowski, Jacek Proc. ACM Program. Lang., vol. 8, issue POPL: "Probabilistic Programming ..." Article: popl24main-p293-p doi:10.1145/3632903
Katoen, Joost-Pieter Proc. ACM Program. Lang., vol. 8, issue POPL: "Programmatic Strategy Synthesis: ..." Article: popl24main-p766-p doi:10.1145/3632935
Kawamata, Fuga Proc. ACM Program. Lang., vol. 8, issue POPL: "Answer Refinement Modification: ..." Article: popl24main-p20-p doi:10.1145/3633280
Khan, Mohammad Wahiduzzaman Proc. ACM Program. Lang., vol. 8, issue POPL: "Type-Based Gradual Typing ..." Article: popl24main-p713-p doi:10.1145/3632931
Kidney, Donnacha Oisín Proc. ACM Program. Lang., vol. 8, issue POPL: "Algebraic Effects Meet Hoare ..." Article: popl24main-p271-p doi:10.1145/3632898
Kincaid, Zachary Proc. ACM Program. Lang., vol. 8, issue POPL: "Solvable Polynomial Ideals: ..." Article: popl24main-p122-p doi:10.1145/3632867
Klin, Bartek Proc. ACM Program. Lang., vol. 8, issue POPL: "Polyregular Functions on Unordered ..." Article: popl24main-p231-p doi:10.1145/3632887
Klumpp, Dominik Proc. ACM Program. Lang., vol. 8, issue POPL: "Commutativity Simplifies Proofs ..." Article: popl24main-p579-p doi:10.1145/3632925
Kœhler, Thomas Proc. ACM Program. Lang., vol. 8, issue POPL: "Guided Equality Saturation ..." Article: popl24main-p274-p doi:10.1145/3632900
Koenig, Jérémie Proc. ACM Program. Lang., vol. 8, issue POPL: "Fully Composable and Adequate ..." Article: popl24main-p380-p doi:10.1145/3632914
Kovács, Laura Proc. ACM Program. Lang., vol. 8, issue POPL: "Strong Invariants Are Hard: ..." Article: popl24main-p151-p doi:10.1145/3632872
Krebbers, Robbert Proc. ACM Program. Lang., vol. 8, issue POPL: "Deadlock-Free Separation Logic: ..." Article: popl24main-p234-p doi:10.1145/3632889
Krishna, Shankara Narayanan Proc. ACM Program. Lang., vol. 8, issue POPL: "How Hard Is Weak-Memory Testing? ..." Article: popl24main-p333-p doi:10.1145/3632908
Krishna, Shankaranarayanan Proc. ACM Program. Lang., vol. 8, issue POPL: "On-the-Fly Static Analysis ..." Article: popl24main-p214-p doi:10.1145/3632884
Krishnamurthi, Shriram Proc. ACM Program. Lang., vol. 8, issue POPL: "A Core Calculus for Documents: ..." Article: popl24main-p107-p doi:10.1145/3632865
Kunčak, Viktor Proc. ACM Program. Lang., vol. 8, issue POPL: "Orthologic with Axioms ..." Article: popl24main-p183-p doi:10.1145/3632881
Lad, Yash Proc. ACM Program. Lang., vol. 8, issue POPL: "Implementation and Synthesis ..." Article: popl24main-p164-p doi:10.1145/3632874
Lal, Aniket Proc. ACM Program. Lang., vol. 8, issue POPL: "On-the-Fly Static Analysis ..." Article: popl24main-p214-p doi:10.1145/3632884
Lampropoulos, Leonidas Proc. ACM Program. Lang., vol. 8, issue POPL: "Generating Well-Typed Terms ..." Article: popl24main-p476-p doi:10.1145/3632919
Laurent, Mickaël Proc. ACM Program. Lang., vol. 8, issue POPL: "Polymorphic Type Inference ..." Article: popl24main-p201-p doi:10.1145/3632882
Li, Jiaying Proc. ACM Program. Lang., vol. 8, issue POPL: "ReLU Hull Approximation ..." Article: popl24main-p441-p doi:10.1145/3632917
Li, Xiang Proc. ACM Program. Lang., vol. 8, issue POPL: "Efficient Bottom-Up Synthesis ..." Article: popl24main-p254-p doi:10.1145/3632894
Lin, Anthony W. Proc. ACM Program. Lang., vol. 8, issue POPL: "Ramsey Quantifiers in Linear ..." Article: popl24main-p3-p doi:10.1145/3632843 Proc. ACM Program. Lang., vol. 8, issue POPL: "Regular Abstractions for Array ..." Article: popl24main-p99-p doi:10.1145/3632864 Proc. ACM Program. Lang., vol. 8, issue POPL: "Parikh’s Theorem Made Symbolic ..." Article: popl24main-p332-p doi:10.1145/3632907
Lindley, Sam Proc. ACM Program. Lang., vol. 8, issue POPL: "Soundly Handling Linearity ..." Article: popl24main-p261-p doi:10.1145/3632896
Liu, Pengyu Proc. ACM Program. Lang., vol. 8, issue POPL: "SimuQ: A Framework for Programming ..." Article: popl24main-p544-p doi:10.1145/3632923
Liu, Yiyun Proc. ACM Program. Lang., vol. 8, issue POPL: "Internalizing Indistinguishability ..." Article: popl24main-p229-p doi:10.1145/3632886
Liu, Zongyuan Proc. ACM Program. Lang., vol. 8, issue POPL: "An Axiomatic Basis for Computer ..." Article: popl24main-p98-p doi:10.1145/3632863
Lomurno, Giuseppe Proc. ACM Program. Lang., vol. 8, issue POPL: "Quantum Bisimilarity via Barbs ..." Article: popl24main-p216-p doi:10.1145/3632885
Ma, Zhongkui Proc. ACM Program. Lang., vol. 8, issue POPL: "ReLU Hull Approximation ..." Article: popl24main-p441-p doi:10.1145/3632917
Majumdar, Rupak Proc. ACM Program. Lang., vol. 8, issue POPL: "Positive Almost-Sure Termination: ..." Article: popl24main-p180-p doi:10.1145/3632879 Proc. ACM Program. Lang., vol. 8, issue POPL: "Reachability in Continuous ..." Article: popl24main-p18-p doi:10.1145/3633279
Mamouras, Konstantinos Proc. ACM Program. Lang., vol. 8, issue POPL: "Efficient Matching of Regular ..." Article: popl24main-p758-p doi:10.1145/3632934
Mansky, William Proc. ACM Program. Lang., vol. 8, issue POPL: "An Iris Instance for Verifying ..." Article: popl24main-p41-p doi:10.1145/3632848
Maroof, Raef Proc. ACM Program. Lang., vol. 8, issue POPL: "Total Type Error Localization ..." Article: popl24main-p336-p doi:10.1145/3632910
Martínez, Guido Proc. ACM Program. Lang., vol. 8, issue POPL: "Securing Verified IO Programs ..." Article: popl24main-p385-p doi:10.1145/3632916
Mathur, Umang Proc. ACM Program. Lang., vol. 8, issue POPL: "Coarser Equivalences for Causal ..." Article: popl24main-p160-p doi:10.1145/3632873 Proc. ACM Program. Lang., vol. 8, issue POPL: "How Hard Is Weak-Memory Testing? ..." Article: popl24main-p333-p doi:10.1145/3632908 Proc. ACM Program. Lang., vol. 8, issue POPL: "Predictive Monitoring against ..." Article: popl24main-p382-p doi:10.1145/3632915
Mell, Stephen Proc. ACM Program. Lang., vol. 8, issue POPL: "Optimal Program Synthesis ..." Article: popl24main-p80-p doi:10.1145/3632858
Mével, Glen Proc. ACM Program. Lang., vol. 8, issue POPL: "Thunks and Debits in Separation ..." Article: popl24main-p245-p doi:10.1145/3632892
Missula, Meghana Proc. ACM Program. Lang., vol. 8, issue POPL: "Programming-by-Demonstration ..." Article: popl24main-p83-p doi:10.1145/3632860
Moine, Alexandre Proc. ACM Program. Lang., vol. 8, issue POPL: "DisLog: A Separation Logic ..." Article: popl24main-p55-p doi:10.1145/3632853
Moosbrugger, Marcel Proc. ACM Program. Lang., vol. 8, issue POPL: "Strong Invariants Are Hard: ..." Article: popl24main-p151-p doi:10.1145/3632872
Mordido, Andreia Proc. ACM Program. Lang., vol. 8, issue POPL: "Parametric Subtyping for Structural ..." Article: popl24main-p714-p doi:10.1145/3632932
Morris, J. Garrett Proc. ACM Program. Lang., vol. 8, issue POPL: "Soundly Handling Linearity ..." Article: popl24main-p261-p doi:10.1145/3632896
Moss, Sean Proc. ACM Program. Lang., vol. 8, issue POPL: "Probabilistic Programming ..." Article: popl24main-p293-p doi:10.1145/3632903
Moy, Cameron Proc. ACM Program. Lang., vol. 8, issue POPL: "Effectful Software Contracts ..." Article: popl24main-p642-p doi:10.1145/3632930
Muller, Stefan K. Proc. ACM Program. Lang., vol. 8, issue POPL: "Pipelines and Beyond: Graph ..." Article: popl24main-p82-p doi:10.1145/3632859 Proc. ACM Program. Lang., vol. 8, issue POPL: "Disentanglement with Futures, ..." Article: popl24main-p260-p doi:10.1145/3632895
Müller-Olm, Markus Proc. ACM Program. Lang., vol. 8, issue POPL: "Deciding Asynchronous Hyperproperties ..." Article: popl24main-p10-p doi:10.1145/3632844
Müllner, Julian Proc. ACM Program. Lang., vol. 8, issue POPL: "Strong Invariants Are Hard: ..." Article: popl24main-p151-p doi:10.1145/3632872
Nguyễn, Kim Proc. ACM Program. Lang., vol. 8, issue POPL: "Polymorphic Type Inference ..." Article: popl24main-p201-p doi:10.1145/3632882
Nieh, Jason Proc. ACM Program. Lang., vol. 8, issue POPL: "Mostly Automated Verification ..." Article: popl24main-p170-p doi:10.1145/3632877
Nieto, Abel Proc. ACM Program. Lang., vol. 8, issue POPL: "Trillium: Higher-Order Concurrent ..." Article: popl24main-p52-p doi:10.1145/3632851
Niu, Yue Proc. ACM Program. Lang., vol. 8, issue POPL: "Decalf: A Directed, Effectful ..." Article: popl24main-p54-p doi:10.1145/3632852
Nuyts, Andreas Proc. ACM Program. Lang., vol. 8, issue POPL: "Internal and Observational ..." Article: popl24main-p48-p doi:10.1145/3632850
O’Connor, Liam Proc. ACM Program. Lang., vol. 8, issue POPL: "Shoggoth: A Formal Foundation ..." Article: popl24main-p17-p doi:10.1145/3633211
Ohrem, Christoph Proc. ACM Program. Lang., vol. 8, issue POPL: "Deciding Asynchronous Hyperproperties ..." Article: popl24main-p10-p doi:10.1145/3632844
Omar, Cyrus Proc. ACM Program. Lang., vol. 8, issue POPL: "Total Type Error Localization ..." Article: popl24main-p336-p doi:10.1145/3632910
Padon, Oded Proc. ACM Program. Lang., vol. 8, issue POPL: "An Infinite Needle in a Finite ..." Article: popl24main-p166-p doi:10.1145/3632875
Pailoor, Shankara Proc. ACM Program. Lang., vol. 8, issue POPL: "Semantic Code Refactoring ..." Article: popl24main-p145-p doi:10.1145/3632870
Pan, Zhiyi Proc. ACM Program. Lang., vol. 8, issue POPL: "Total Type Error Localization ..." Article: popl24main-p336-p doi:10.1145/3632910
Panchekha, Pavel Proc. ACM Program. Lang., vol. 8, issue POPL: "Implementation and Synthesis ..." Article: popl24main-p164-p doi:10.1145/3632874
Parreaux, Lionel Proc. ACM Program. Lang., vol. 8, issue POPL: "When Subtyping Constraints ..." Article: popl24main-p237-p doi:10.1145/3632890
Patton, Noah Proc. ACM Program. Lang., vol. 8, issue POPL: "Programming-by-Demonstration ..." Article: popl24main-p83-p doi:10.1145/3632860
Pautasso, Daniele Proc. ACM Program. Lang., vol. 8, issue POPL: "Higher Order Bayesian Networks, ..." Article: popl24main-p582-p doi:10.1145/3632926
Pavlogiannis, Andreas Proc. ACM Program. Lang., vol. 8, issue POPL: "On-the-Fly Static Analysis ..." Article: popl24main-p214-p doi:10.1145/3632884 Proc. ACM Program. Lang., vol. 8, issue POPL: "How Hard Is Weak-Memory Testing? ..." Article: popl24main-p333-p doi:10.1145/3632908
Peng, Yuxiang Proc. ACM Program. Lang., vol. 8, issue POPL: "A Case for Synthesis of Recursive ..." Article: popl24main-p282-p doi:10.1145/3632901 Proc. ACM Program. Lang., vol. 8, issue POPL: "SimuQ: A Framework for Programming ..." Article: popl24main-p544-p doi:10.1145/3632923
Pérami, Thibaut Proc. ACM Program. Lang., vol. 8, issue POPL: "An Axiomatic Basis for Computer ..." Article: popl24main-p98-p doi:10.1145/3632863
Pfenning, Frank Proc. ACM Program. Lang., vol. 8, issue POPL: "Parametric Subtyping for Structural ..." Article: popl24main-p714-p doi:10.1145/3632932
Pichon-Pharabod, Jean Proc. ACM Program. Lang., vol. 8, issue POPL: "An Axiomatic Basis for Computer ..." Article: popl24main-p98-p doi:10.1145/3632863
Podelski, Andreas Proc. ACM Program. Lang., vol. 8, issue POPL: "Commutativity Simplifies Proofs ..." Article: popl24main-p579-p doi:10.1145/3632925
Popescu, Andrei Proc. ACM Program. Lang., vol. 8, issue POPL: "Nominal Recursors as Epi-Recursors ..." Article: popl24main-p76-p doi:10.1145/3632857 Proc. ACM Program. Lang., vol. 8, issue POPL: "The Complex(ity) Landscape ..." Article: popl24main-p233-p doi:10.1145/3632888
Pottier, François Proc. ACM Program. Lang., vol. 8, issue POPL: "Thunks and Debits in Separation ..." Article: popl24main-p245-p doi:10.1145/3632892
Qin, Jianxing Proc. ACM Program. Lang., vol. 8, issue POPL: "VST-A: A Foundationally Sound ..." Article: popl24main-p348-p doi:10.1145/3632911
Qin, Xueying Proc. ACM Program. Lang., vol. 8, issue POPL: "Shoggoth: A Formal Foundation ..." Article: popl24main-p17-p doi:10.1145/3633211
Qiu, Xiaokang Proc. ACM Program. Lang., vol. 8, issue POPL: "Enhanced Enumeration Techniques ..." Article: popl24main-p375-p doi:10.1145/3632913
Quiring, Benjamin Proc. ACM Program. Lang., vol. 8, issue POPL: "Generating Well-Typed Terms ..." Article: popl24main-p476-p doi:10.1145/3632919
Rahmani, Kia Proc. ACM Program. Lang., vol. 8, issue POPL: "Programming-by-Demonstration ..." Article: popl24main-p83-p doi:10.1145/3632860
Rainey, Mike Proc. ACM Program. Lang., vol. 8, issue POPL: "Automatic Parallelism Management ..." Article: popl24main-p181-p doi:10.1145/3632880
Rakotonirina, Itsaka Proc. ACM Program. Lang., vol. 8, issue POPL: "Decision and Complexity of ..." Article: popl24main-p331-p doi:10.1145/3632906
Ramsay, Steven Proc. ACM Program. Lang., vol. 8, issue POPL: "Ill-Typed Programs Don’t ..." Article: popl24main-p334-p doi:10.1145/3632909
Randone, Francesca Proc. ACM Program. Lang., vol. 8, issue POPL: "Inference of Probabilistic ..." Article: popl24main-p312-p doi:10.1145/3632905
Recoules, Frédéric Proc. ACM Program. Lang., vol. 8, issue POPL: "Inference of Robust Reachability ..." Article: popl24main-p717-p doi:10.1145/3632933
Rinaldi, Francis Proc. ACM Program. Lang., vol. 8, issue POPL: "Pipelines and Beyond: Graph ..." Article: popl24main-p82-p doi:10.1145/3632859
Rivas, Exequiel Proc. ACM Program. Lang., vol. 8, issue POPL: "Securing Verified IO Programs ..." Article: popl24main-p385-p doi:10.1145/3632916
Rompf, Tiark Proc. ACM Program. Lang., vol. 8, issue POPL: "Polymorphic Reachability Types: ..." Article: popl24main-p73-p doi:10.1145/3632856 Proc. ACM Program. Lang., vol. 8, issue POPL: "Flan: An Expressive and Efficient ..." Article: popl24main-p634-p doi:10.1145/3632928
Rowe, Reuben N. S. Proc. ACM Program. Lang., vol. 8, issue POPL: "The Complex(ity) Landscape ..." Article: popl24main-p233-p doi:10.1145/3632888
Roy, Daniel Proc. ACM Program. Lang., vol. 8, issue POPL: "Probabilistic Programming ..." Article: popl24main-p293-p doi:10.1145/3632903
Sabry, Amr Proc. ACM Program. Lang., vol. 8, issue POPL: "With a Few Square Roots, Quantum ..." Article: popl24main-p89-p doi:10.1145/3632861
Sartiani, Carlo Proc. ACM Program. Lang., vol. 8, issue POPL: "Validation of Modern JSON ..." Article: popl24main-p241-p doi:10.1145/3632891
Sathiyanarayana, V. R. Proc. ACM Program. Lang., vol. 8, issue POPL: "Positive Almost-Sure Termination: ..." Article: popl24main-p180-p doi:10.1145/3632879
Scherer, Gabriel Proc. ACM Program. Lang., vol. 8, issue POPL: "Unboxed Data Constructors: ..." Article: popl24main-p252-p doi:10.1145/3632893
Scherzinger, Stefanie Proc. ACM Program. Lang., vol. 8, issue POPL: "Validation of Modern JSON ..." Article: popl24main-p241-p doi:10.1145/3632891
Schneidewind, Clara Proc. ACM Program. Lang., vol. 8, issue POPL: "Decision and Complexity of ..." Article: popl24main-p331-p doi:10.1145/3632906
Sekiyama, Taro Proc. ACM Program. Lang., vol. 8, issue POPL: "Answer Refinement Modification: ..." Article: popl24main-p20-p doi:10.1145/3633280
Sellami, Yanis Proc. ACM Program. Lang., vol. 8, issue POPL: "Inference of Robust Reachability ..." Article: popl24main-p717-p doi:10.1145/3632933
Sewell, Peter Proc. ACM Program. Lang., vol. 8, issue POPL: "An Axiomatic Basis for Computer ..." Article: popl24main-p98-p doi:10.1145/3632863
Shao, Zhong Proc. ACM Program. Lang., vol. 8, issue POPL: "Fully Composable and Adequate ..." Article: popl24main-p380-p doi:10.1145/3632914
Shi, Jessica Proc. ACM Program. Lang., vol. 8, issue POPL: "Internalizing Indistinguishability ..." Article: popl24main-p229-p doi:10.1145/3632886
Shirmohammadi, Mahsa Proc. ACM Program. Lang., vol. 8, issue POPL: "On Learning Polynomial Recursive ..." Article: popl24main-p168-p doi:10.1145/3632876
Shoham, Sharon Proc. ACM Program. Lang., vol. 8, issue POPL: "An Infinite Needle in a Finite ..." Article: popl24main-p166-p doi:10.1145/3632875
Shulman, Michael Proc. ACM Program. Lang., vol. 8, issue POPL: "Internal Parametricity, without ..." Article: popl24main-p508-p doi:10.1145/3632920
Sieczkowski, Filip Proc. ACM Program. Lang., vol. 8, issue POPL: "The Essence of Generalized ..." Article: popl24main-p110-p doi:10.1145/3632866
Smeding, Tom J. Proc. ACM Program. Lang., vol. 8, issue POPL: "Efficient CHAD ..." Article: popl24main-p178-p doi:10.1145/3632878
Song, Fu Proc. ACM Program. Lang., vol. 8, issue POPL: "EasyBC: A Cryptography-Specific ..." Article: popl24main-p146-p doi:10.1145/3632871
Sotiropoulos, Thodoris Proc. ACM Program. Lang., vol. 8, issue POPL: "API-Driven Program Synthesis ..." Article: popl24main-p302-p doi:10.1145/3632904
Staton, Sam Proc. ACM Program. Lang., vol. 8, issue POPL: "Probabilistic Programming ..." Article: popl24main-p293-p doi:10.1145/3632903
Stefanesco, Léo Proc. ACM Program. Lang., vol. 8, issue POPL: "Trillium: Higher-Order Concurrent ..." Article: popl24main-p52-p doi:10.1145/3632851
Stepanenko, Sergei Proc. ACM Program. Lang., vol. 8, issue POPL: "The Essence of Generalized ..." Article: popl24main-p110-p doi:10.1145/3632866
Sterling, Jonathan Proc. ACM Program. Lang., vol. 8, issue POPL: "Decalf: A Directed, Effectful ..." Article: popl24main-p54-p doi:10.1145/3632852 Proc. ACM Program. Lang., vol. 8, issue POPL: "The Essence of Generalized ..." Article: popl24main-p110-p doi:10.1145/3632866
Steuwer, Michel Proc. ACM Program. Lang., vol. 8, issue POPL: "Shoggoth: A Formal Foundation ..." Article: popl24main-p17-p doi:10.1145/3633211 Proc. ACM Program. Lang., vol. 8, issue POPL: "Guided Equality Saturation ..." Article: popl24main-p274-p doi:10.1145/3632900
Su, Zhendong Proc. ACM Program. Lang., vol. 8, issue POPL: "API-Driven Program Synthesis ..." Article: popl24main-p302-p doi:10.1145/3632904
Sun, Pu Proc. ACM Program. Lang., vol. 8, issue POPL: "EasyBC: A Cryptography-Specific ..." Article: popl24main-p146-p doi:10.1145/3632871
Tang, Wenhao Proc. ACM Program. Lang., vol. 8, issue POPL: "Soundly Handling Linearity ..." Article: popl24main-p261-p doi:10.1145/3632896
Tanter, Éric Proc. ACM Program. Lang., vol. 8, issue POPL: "Securing Verified IO Programs ..." Article: popl24main-p385-p doi:10.1145/3632916
Tao, Runzhou Proc. ACM Program. Lang., vol. 8, issue POPL: "Mostly Automated Verification ..." Article: popl24main-p170-p doi:10.1145/3632877 Proc. ACM Program. Lang., vol. 8, issue POPL: "A Case for Synthesis of Recursive ..." Article: popl24main-p282-p doi:10.1145/3632901
Tassarotti, Joseph Proc. ACM Program. Lang., vol. 8, issue POPL: "Asynchronous Probabilistic ..." Article: popl24main-p129-p doi:10.1145/3632868
Tedeschi, Gabriele Proc. ACM Program. Lang., vol. 8, issue POPL: "Quantum Bisimilarity via Barbs ..." Article: popl24main-p216-p doi:10.1145/3632885
Terauchi, Tachio Proc. ACM Program. Lang., vol. 8, issue POPL: "Answer Refinement Modification: ..." Article: popl24main-p20-p doi:10.1145/3633280
Thinniyam, Ramanathan S. Proc. ACM Program. Lang., vol. 8, issue POPL: "Reachability in Continuous ..." Article: popl24main-p18-p doi:10.1145/3633279
Timany, Amin Proc. ACM Program. Lang., vol. 8, issue POPL: "Modular Denotational Semantics ..." Article: popl24main-p66-p doi:10.1145/3632854 Proc. ACM Program. Lang., vol. 8, issue POPL: "The Logical Essence of Well-Bracketed ..." Article: popl24main-p92-p doi:10.1145/3632862 Proc. ACM Program. Lang., vol. 8, issue POPL: "Trillium: Higher-Order Concurrent ..." Article: popl24main-p52-p doi:10.1145/3632851
Tribastone, Mirco Proc. ACM Program. Lang., vol. 8, issue POPL: "Inference of Probabilistic ..." Article: popl24main-p312-p doi:10.1145/3632905
Trinder, Phil Proc. ACM Program. Lang., vol. 8, issue POPL: "Guided Equality Saturation ..." Article: popl24main-p274-p doi:10.1145/3632900
Tsukada, Takeshi Proc. ACM Program. Lang., vol. 8, issue POPL: "Enriched Presheaf Model of ..." Article: popl24main-p70-p doi:10.1145/3632855
Tuppe, Omkar Proc. ACM Program. Lang., vol. 8, issue POPL: "On-the-Fly Static Analysis ..." Article: popl24main-p214-p doi:10.1145/3632884
Unno, Hiroshi Proc. ACM Program. Lang., vol. 8, issue POPL: "Answer Refinement Modification: ..." Article: popl24main-p20-p doi:10.1145/3633280
Urban, Caterina Proc. ACM Program. Lang., vol. 8, issue POPL: "Monotonicity and the Precision ..." Article: popl24main-p262-p doi:10.1145/3632897
Vákár, Matthijs I. L. Proc. ACM Program. Lang., vol. 8, issue POPL: "Efficient CHAD ..." Article: popl24main-p178-p doi:10.1145/3632878
Van Glabbeek, Rob Proc. ACM Program. Lang., vol. 8, issue POPL: "Shoggoth: A Formal Foundation ..." Article: popl24main-p17-p doi:10.1145/3633211
Van Muylder, Antoine Proc. ACM Program. Lang., vol. 8, issue POPL: "Internal and Observational ..." Article: popl24main-p48-p doi:10.1145/3632850
Vanoni, Gabriele Proc. ACM Program. Lang., vol. 8, issue POPL: "Higher Order Bayesian Networks, ..." Article: popl24main-p582-p doi:10.1145/3632926
Vazou, Niki Proc. ACM Program. Lang., vol. 8, issue POPL: "Mechanizing Refinement Types ..." Article: popl24main-p349-p doi:10.1145/3632912
Walpole, Charlie Proc. ACM Program. Lang., vol. 8, issue POPL: "Ill-Typed Programs Don’t ..." Article: popl24main-p334-p doi:10.1145/3632909
Wang, Qinshi Proc. ACM Program. Lang., vol. 8, issue POPL: "VST-A: A Foundationally Sound ..." Article: popl24main-p348-p doi:10.1145/3632911
Wang, Xinyu Proc. ACM Program. Lang., vol. 8, issue POPL: "Efficient Bottom-Up Synthesis ..." Article: popl24main-p254-p doi:10.1145/3632894
Wang, Yuepeng Proc. ACM Program. Lang., vol. 8, issue POPL: "Semantic Code Refactoring ..." Article: popl24main-p145-p doi:10.1145/3632870
Wang, Yuting Proc. ACM Program. Lang., vol. 8, issue POPL: "Fully Composable and Adequate ..." Article: popl24main-p380-p doi:10.1145/3632914
Wei, Guannan Proc. ACM Program. Lang., vol. 8, issue POPL: "Polymorphic Reachability Types: ..." Article: popl24main-p73-p doi:10.1145/3632856
Weirich, Stephanie Proc. ACM Program. Lang., vol. 8, issue POPL: "Internalizing Indistinguishability ..." Article: popl24main-p229-p doi:10.1145/3632886
Westrick, Sam Proc. ACM Program. Lang., vol. 8, issue POPL: "DisLog: A Separation Logic ..." Article: popl24main-p55-p doi:10.1145/3632853 Proc. ACM Program. Lang., vol. 8, issue POPL: "Automatic Parallelism Management ..." Article: popl24main-p181-p doi:10.1145/3632880
Winkler, Tobias Proc. ACM Program. Lang., vol. 8, issue POPL: "Programmatic Strategy Synthesis: ..." Article: popl24main-p766-p doi:10.1145/3632935
Winterhalter, Théo Proc. ACM Program. Lang., vol. 8, issue POPL: "Securing Verified IO Programs ..." Article: popl24main-p385-p doi:10.1145/3632916
Worrell, James Proc. ACM Program. Lang., vol. 8, issue POPL: "On Learning Polynomial Recursive ..." Article: popl24main-p168-p doi:10.1145/3632876
Wu, Jinhua Proc. ACM Program. Lang., vol. 8, issue POPL: "Fully Composable and Adequate ..." Article: popl24main-p380-p doi:10.1145/3632914
Wu, Nicolas Proc. ACM Program. Lang., vol. 8, issue POPL: "Algebraic Effects Meet Hoare ..." Article: popl24main-p271-p doi:10.1145/3632898
Wu, Xiaodi Proc. ACM Program. Lang., vol. 8, issue POPL: "A Case for Synthesis of Recursive ..." Article: popl24main-p282-p doi:10.1145/3632901 Proc. ACM Program. Lang., vol. 8, issue POPL: "SimuQ: A Framework for Programming ..." Article: popl24main-p544-p doi:10.1145/3632923
Wunder, june Proc. ACM Program. Lang., vol. 8, issue POPL: "Pipelines and Beyond: Graph ..." Article: popl24main-p82-p doi:10.1145/3632859
Xhebraj, Anxhelo Proc. ACM Program. Lang., vol. 8, issue POPL: "Flan: An Expressive and Efficient ..." Article: popl24main-p634-p doi:10.1145/3632928
Xie, Ruifeng Proc. ACM Program. Lang., vol. 8, issue POPL: "Fusing Direct Manipulations ..." Article: popl24main-p213-p doi:10.1145/3632883
Yallop, Jeremy Proc. ACM Program. Lang., vol. 8, issue POPL: "Unboxed Data Constructors: ..." Article: popl24main-p252-p doi:10.1145/3632893
Yang, Hongseok Proc. ACM Program. Lang., vol. 8, issue POPL: "Probabilistic Programming ..." Article: popl24main-p293-p doi:10.1145/3632903
Yang, Zhixuan Proc. ACM Program. Lang., vol. 8, issue POPL: "Algebraic Effects Meet Hoare ..." Article: popl24main-p271-p doi:10.1145/3632898
Yao, Jianan Proc. ACM Program. Lang., vol. 8, issue POPL: "Mostly Automated Verification ..." Article: popl24main-p170-p doi:10.1145/3632877
Yavuz, Ugur Y. Proc. ACM Program. Lang., vol. 8, issue POPL: "A Universal, Sound, and Complete ..." Article: popl24main-p557-p doi:10.1145/3632924
Young, Jacob Proc. ACM Program. Lang., vol. 8, issue POPL: "SimuQ: A Framework for Programming ..." Article: popl24main-p544-p doi:10.1145/3632923
Zan, Tao Proc. ACM Program. Lang., vol. 8, issue POPL: "Fusing Direct Manipulations ..." Article: popl24main-p213-p doi:10.1145/3632883
Zdancewic, Steve Proc. ACM Program. Lang., vol. 8, issue POPL: "Optimal Program Synthesis ..." Article: popl24main-p80-p doi:10.1145/3632858
Zetzsche, Georg Proc. ACM Program. Lang., vol. 8, issue POPL: "Ramsey Quantifiers in Linear ..." Article: popl24main-p3-p doi:10.1145/3632843 Proc. ACM Program. Lang., vol. 8, issue POPL: "Reachability in Continuous ..." Article: popl24main-p18-p doi:10.1145/3633279
Zhang, Ling Proc. ACM Program. Lang., vol. 8, issue POPL: "Fully Composable and Adequate ..." Article: popl24main-p380-p doi:10.1145/3632914
Zhang, Xing Proc. ACM Program. Lang., vol. 8, issue POPL: "Fusing Direct Manipulations ..." Article: popl24main-p213-p doi:10.1145/3632883
Zhang, Yihong Proc. ACM Program. Lang., vol. 8, issue POPL: "Efficient Bottom-Up Synthesis ..." Article: popl24main-p254-p doi:10.1145/3632894
Zhao, Eric Proc. ACM Program. Lang., vol. 8, issue POPL: "Total Type Error Localization ..." Article: popl24main-p336-p doi:10.1145/3632910
Zhou, Litao Proc. ACM Program. Lang., vol. 8, issue POPL: "VST-A: A Foundationally Sound ..." Article: popl24main-p348-p doi:10.1145/3632911
Zhou, Xiangyu Proc. ACM Program. Lang., vol. 8, issue POPL: "Efficient Bottom-Up Synthesis ..." Article: popl24main-p254-p doi:10.1145/3632894
Zimmerman, Conrad Proc. ACM Program. Lang., vol. 8, issue POPL: "Sound Gradual Verification ..." Article: popl24main-p589-p doi:10.1145/3632927

326 authors

proc time: 10.12