OOPSLA1 2025
Proceedings of the ACM on Programming Languages, Volume 9, Number OOPSLA1
Powered by
Conference Publishing Consulting

Proceedings of the ACM on Programming Languages, Volume 9, Number OOPSLA1

OOPSLA1 2025 – Author Index

Contents - Abstracts - Authors

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

Ahrens, Willow Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Finch: Sparse and Structured ..." Article: oopslaa25main-p141-p (type: Full Paper) doi:10.1145/3720473
Albarghouthi, Aws Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Checking Observational Correctness ..." Article: oopslaa25main-p293-p (type: Full Paper) doi:10.1145/3720504 Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Dependency-Aware Compilation ..." Article: oopslaa25main-p6-p (type: Full Paper) doi:10.1145/3720416
Amarasinghe, Saman Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Finch: Sparse and Structured ..." Article: oopslaa25main-p141-p (type: Full Paper) doi:10.1145/3720473
Aponte, David Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "SPLAT: A Framework for Optimised ..." Article: oopslaa25main-p289-p (type: Full Paper) doi:10.1145/3720503
Ascari, Flavio Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Revealing Sources of (Memory) ..." Article: oopslaa25main-p222-p (type: Full Paper) doi:10.1145/3720486
Azevedo de Amorim, Pedro H. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Denotational Foundations for ..." Article: oopslaa25main-p29-p (type: Full Paper) doi:10.1145/3720424
Bach, Casper Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Language-Parametric Reference ..." Article: oopslaa25main-p208-p (type: Full Paper) doi:10.1145/3720481
Bagrel, Thomas Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Destination Calculus: A Linear ..." Article: oopslaa25main-p25-p (type: Full Paper) doi:10.1145/3720423
Bai, Alexander Y. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Metamorph: Synthesizing Large ..." Article: oopslaa25main-p107-p (type: Full Paper) doi:10.1145/3720448
Balakrishnan, Hrishikesh Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "FO-Complete Program Verification ..." Article: oopslaa25main-p99-p (type: Full Paper) doi:10.1145/3720447
Bandara, H.M.N. Dilum Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Efficient Incremental Verification ..." Article: oopslaa25main-p9-p (type: Full Paper) doi:10.1145/3720417
Batty, Mark Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Symbolic MRD: Dynamic Memory, ..." Article: oopslaa25main-p329-p (type: Full Paper) doi:10.1145/3721089
Batz, Kevin Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Foundations for Deductive ..." Article: oopslaa25main-p47-p (type: Full Paper) doi:10.1145/3720429
Bauer, Emilien Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Compressed and Parallelized ..." Article: oopslaa25main-p297-p (type: Full Paper) doi:10.1145/3720506
Beardsley, Vincent Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Carapace: Static–Dynamic ..." Article: oopslaa25main-p39-p (type: Full Paper) doi:10.1145/3720427
Bhusal, Bishnu Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Checking δ-Satisfiability ..." Article: oopslaa25main-p97-p (type: Full Paper) doi:10.1145/3720446
Blazy, Sandrine Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "A Mechanized Semantics for ..." Article: oopslaa25main-p65-p (type: Full Paper) doi:10.1145/3720432
Bocirnea, Sean Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Type-Preserving Flat Closure ..." Article: oopslaa25main-p94-p (type: Full Paper) doi:10.1145/3720437
Bond, Michael D. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Carapace: Static–Dynamic ..." Article: oopslaa25main-p39-p (type: Full Paper) doi:10.1145/3720427
Bowman, William J. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Type-Preserving Flat Closure ..." Article: oopslaa25main-p94-p (type: Full Paper) doi:10.1145/3720437
Brachthäuser, Jonathan Immanuel Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "The Simple Essence of Monomorphization ..." Article: oopslaa25main-p140-p (type: Full Paper) doi:10.1145/3720472 Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Compiling Classical Sequent ..." Article: oopslaa25main-p299-p (type: Full Paper) doi:10.1145/3720507
Bruni, Roberto Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Revealing Sources of (Memory) ..." Article: oopslaa25main-p222-p (type: Full Paper) doi:10.1145/3720486
Castagna, Giuseppe Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Polymorphic Records for Dynamic ..." Article: oopslaa25main-p255-p (type: Full Paper) doi:10.1145/3720497
Chadha, Rohit Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Checking δ-Satisfiability ..." Article: oopslaa25main-p97-p (type: Full Paper) doi:10.1145/3720446
Chang, Bor-Yuh Evan Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Bolt-On Strong Consistency: ..." Article: oopslaa25main-p287-p (type: Full Paper) doi:10.1145/3720502
Chang, Rui Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "A Complete Formal Semantics ..." Article: oopslaa25main-p4-p (type: Full Paper) doi:10.1145/3720414
Chen, Jiasi Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Hambazi: Spatial Coordination ..." Article: oopslaa25main-p37-p (type: Full Paper) doi:10.1145/3720425
Chen, Shiping Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Efficient Incremental Verification ..." Article: oopslaa25main-p9-p (type: Full Paper) doi:10.1145/3720417
Cho, Minki Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Lilo: A Higher-Order, Relational ..." Article: oopslaa25main-p219-p (type: Full Paper) doi:10.1145/3720525
Cho, Minsung Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Scaling Optimization over ..." Article: oopslaa25main-p271-p (type: Full Paper) doi:10.1145/3720500
Chugh, Ravi Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Code Style Sheets: CSS for ..." Article: oopslaa25main-p17-p (type: Full Paper) doi:10.1145/3720421
Cirisci, Berk Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "UTFix: Change Aware Unit Test ..." Article: oopslaa25main-p12-p (type: Full Paper) doi:10.1145/3720419
Cohen, Dana Drachsler Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Guarding the Privacy of Label-Only ..." Article: oopslaa25main-p188-p (type: Full Paper) doi:10.1145/3720480
Cohen, Sam Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Code Style Sheets: CSS for ..." Article: oopslaa25main-p17-p (type: Full Paper) doi:10.1145/3720421
Collin, Teodoro Fields Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Finch: Sparse and Structured ..." Article: oopslaa25main-p141-p (type: Full Paper) doi:10.1145/3720473
Cooksey, Simon Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Symbolic MRD: Dynamic Memory, ..." Article: oopslaa25main-p329-p (type: Full Paper) doi:10.1145/3721089
Councilman, Aaron Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "FO-Complete Program Verification ..." Article: oopslaa25main-p99-p (type: Full Paper) doi:10.1145/3720447
Dai, Ting Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Artemis: Toward Accurate Detection ..." Article: oopslaa25main-p233-p (type: Full Paper) doi:10.1145/3720488
D'Antoni, Loris Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Semantics of Sets of Programs ..." Article: oopslaa25main-p113-p (type: Full Paper) doi:10.1145/3720515 Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "LOUD: Synthesizing Strongest ..." Article: oopslaa25main-p125-p (type: Full Paper) doi:10.1145/3720470
Deeds, Kyle Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Finch: Sparse and Structured ..." Article: oopslaa25main-p141-p (type: Full Paper) doi:10.1145/3720473
Delaware, Benjamin Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "KestRel: Relational Verification ..." Article: oopslaa25main-p150-p (type: Full Paper) doi:10.1145/3720474
Demange, Delphine Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "A Mechanized Semantics for ..." Article: oopslaa25main-p65-p (type: Full Paper) doi:10.1145/3720432
Deoras, Anoop Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "UTFix: Change Aware Unit Test ..." Article: oopslaa25main-p12-p (type: Full Paper) doi:10.1145/3720419
Desai, Ankush Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Checking Observational Correctness ..." Article: oopslaa25main-p293-p (type: Full Paper) doi:10.1145/3720504
Dickerson, Robert Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "KestRel: Relational Verification ..." Article: oopslaa25main-p150-p (type: Full Paper) doi:10.1145/3720474
Ding, Shuo Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Fast Constraint Synthesis ..." Article: oopslaa25main-p20-p (type: Full Paper) doi:10.1145/3720422
Dolan, Stephen Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Modal Effect Types ..." Article: oopslaa25main-p161-p (type: Full Paper) doi:10.1145/3720476
Dong, Jin Song Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Verification of Bit-Flip Attacks ..." Article: oopslaa25main-p136-p (type: Full Paper) doi:10.1145/3720471
Fang, Le Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Show Me Why It’s Correct: ..." Article: oopslaa25main-p443-p (type: Full Paper) doi:10.1145/3720510
Fedchin, Aleksandr Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Metamorph: Synthesizing Large ..." Article: oopslaa25main-p107-p (type: Full Paper) doi:10.1145/3720448
Feng, Yao Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Adaptive Shielding via Parametric ..." Article: oopslaa25main-p110-p (type: Full Paper) doi:10.1145/3720450
Feser, John Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Peepco: Batch-Based Consistency ..." Article: oopslaa25main-p156-p (type: Full Paper) doi:10.1145/3720513
Foster, Jeffrey S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Metamorph: Synthesizing Large ..." Article: oopslaa25main-p107-p (type: Full Paper) doi:10.1145/3720448
Gao, Pengfei Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Verification of Bit-Flip Attacks ..." Article: oopslaa25main-p136-p (type: Full Paper) doi:10.1145/3720471
Garg, Pranav Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "UTFix: Change Aware Unit Test ..." Article: oopslaa25main-p12-p (type: Full Paper) doi:10.1145/3720419
Ge, Yuhao Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "SPLAT: A Framework for Optimised ..." Article: oopslaa25main-p289-p (type: Full Paper) doi:10.1145/3720503
Geller, Adam T. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Type-Preserving Flat Closure ..." Article: oopslaa25main-p94-p (type: Full Paper) doi:10.1145/3720437
Ghorbani, Mahdi Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Compressed and Parallelized ..." Article: oopslaa25main-p297-p (type: Full Paper) doi:10.1145/3720506
Goldstein, Harrison Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "QED in Context: An Observation ..." Article: oopslaa25main-p38-p (type: Full Paper) doi:10.1145/3720426
Gonzalez, Emmanuel Anaya Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Laurel: Unblocking Automated ..." Article: oopslaa25main-p266-p (type: Full Paper) doi:10.1145/3720499
Gori, Roberta Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Revealing Sources of (Memory) ..." Article: oopslaa25main-p222-p (type: Full Paper) doi:10.1145/3720486
Gould, Chester J. F. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Type-Preserving Flat Closure ..." Article: oopslaa25main-p94-p (type: Full Paper) doi:10.1145/3720437
Gouwar, John Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Scaling Optimization over ..." Article: oopslaa25main-p271-p (type: Full Paper) doi:10.1145/3720500
Grosser, Tobias Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Compressed and Parallelized ..." Article: oopslaa25main-p297-p (type: Full Paper) doi:10.1145/3720506
Gu, Dawu Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Binary Cryptographic Function ..." Article: oopslaa25main-p5-p (type: Full Paper) doi:10.1145/3720415
Gu, Yile Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Scalable and Accurate Application-Level ..." Article: oopslaa25main-p60-p (type: Full Paper) doi:10.1145/3720431
Guan, Hanqin Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Orax: A Feedback-Driven Framework ..." Article: oopslaa25main-p96-p (type: Full Paper) doi:10.1145/3720438
Gupta, Ahan Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "SPLAT: A Framework for Optimised ..." Article: oopslaa25main-p289-p (type: Full Paper) doi:10.1145/3720503
Hallahan, William T. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Counterexample-Guided Inference ..." Article: oopslaa25main-p295-p (type: Full Paper) doi:10.1145/3720505
Hasuo, Ichiro Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "A Unifying Approach to Product ..." Article: oopslaa25main-p275-p (type: Full Paper) doi:10.1145/3720501
Haydar, Musa Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Scalable and Accurate Application-Level ..." Article: oopslaa25main-p60-p (type: Full Paper) doi:10.1145/3720431
He, Jingzhu Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Artemis: Toward Accurate Detection ..." Article: oopslaa25main-p233-p (type: Full Paper) doi:10.1145/3720488
He, Wenyu Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Binary Cryptographic Function ..." Article: oopslaa25main-p5-p (type: Full Paper) doi:10.1145/3720415
He, Yituo Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Binary Cryptographic Function ..." Article: oopslaa25main-p5-p (type: Full Paper) doi:10.1145/3720415
Head, Andrew Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "QED in Context: An Observation ..." Article: oopslaa25main-p38-p (type: Full Paper) doi:10.1145/3720426
Hillerström, Daniel Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Modal Effect Types ..." Article: oopslaa25main-p161-p (type: Full Paper) doi:10.1145/3720476
Holtzen, Steven Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Multi-Language Probabilistic ..." Article: oopslaa25main-p214-p (type: Full Paper) doi:10.1145/3720482 Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Scaling Optimization over ..." Article: oopslaa25main-p271-p (type: Full Paper) doi:10.1145/3720500
Hong, Changwan Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Finch: Sparse and Structured ..." Article: oopslaa25main-p141-p (type: Full Paper) doi:10.1145/3720473
Hu, Yikun Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Binary Cryptographic Function ..." Article: oopslaa25main-p5-p (type: Full Paper) doi:10.1145/3720415
Huang, Lei Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Verification of Bit-Flip Attacks ..." Article: oopslaa25main-p136-p (type: Full Paper) doi:10.1145/3720471
Huang, Tianshu Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Unveiling Heisenbugs with ..." Article: oopslaa25main-p45-p (type: Full Paper) doi:10.1145/3720428
Hur, Chung-Kil Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Lilo: A Higher-Order, Relational ..." Article: oopslaa25main-p219-p (type: Full Paper) doi:10.1145/3720525
Hwang, Doha Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "PAFL: Enhancing Fault Localizers ..." Article: oopslaa25main-p240-p (type: Full Paper) doi:10.1145/3720526
Jain, Devansh Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "SPLAT: A Framework for Optimised ..." Article: oopslaa25main-p289-p (type: Full Paper) doi:10.1145/3720503
Jeon, Minseok Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "PAFL: Enhancing Fault Localizers ..." Article: oopslaa25main-p240-p (type: Full Paper) doi:10.1145/3720526
Jhala, Ranjit Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Laurel: Unblocking Automated ..." Article: oopslaa25main-p266-p (type: Full Paper) doi:10.1145/3720499 Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Counterexample-Guided Inference ..." Article: oopslaa25main-p295-p (type: Full Paper) doi:10.1145/3720505
Ji, Yuchen Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Artemis: Toward Accurate Detection ..." Article: oopslaa25main-p233-p (type: Full Paper) doi:10.1145/3720488
Jiang, Nan Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Show Me Why It’s Correct: ..." Article: oopslaa25main-p443-p (type: Full Paper) doi:10.1145/3720510
Jiang, Yuchen Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Notions of Stack-Manipulating ..." Article: oopslaa25main-p81-p (type: Full Paper) doi:10.1145/3720434
Junges, Sebastian Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "A Unifying Approach to Product ..." Article: oopslaa25main-p275-p (type: Full Paper) doi:10.1145/3720501
Kabaha, Anan Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Guarding the Privacy of Label-Only ..." Article: oopslaa25main-p188-p (type: Full Paper) doi:10.1145/3720480
Kadekodi, Rohan Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Scalable and Accurate Application-Level ..." Article: oopslaa25main-p60-p (type: Full Paper) doi:10.1145/3720431
Kaki, Gowtham Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Bolt-On Strong Consistency: ..." Article: oopslaa25main-p287-p (type: Full Paper) doi:10.1145/3720502
Kang, Jeehoon Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Lilo: A Higher-Order, Relational ..." Article: oopslaa25main-p219-p (type: Full Paper) doi:10.1145/3720525
Kasikci, Baris Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Scalable and Accurate Application-Level ..." Article: oopslaa25main-p60-p (type: Full Paper) doi:10.1145/3720431
Katoen, Joost-Pieter Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Foundations for Deductive ..." Article: oopslaa25main-p47-p (type: Full Paper) doi:10.1145/3720429
Kavvos, G. A. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Adequacy for Algebraic Effects ..." Article: oopslaa25main-p124-p (type: Full Paper) doi:10.1145/3720457
Kim, Donguk Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "PAFL: Enhancing Fault Localizers ..." Article: oopslaa25main-p240-p (type: Full Paper) doi:10.1145/3720526
Kim, Jinwoo Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Semantics of Sets of Programs ..." Article: oopslaa25main-p113-p (type: Full Paper) doi:10.1145/3720515
Koronkevich, Paulette Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Type-Preserving Flat Closure ..." Article: oopslaa25main-p94-p (type: Full Paper) doi:10.1145/3720437
Kuhar, Sachit Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "UTFix: Change Aware Unit Test ..." Article: oopslaa25main-p12-p (type: Full Paper) doi:10.1145/3720419
Kuraj, Ivan Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Peepco: Batch-Based Consistency ..." Article: oopslaa25main-p156-p (type: Full Paper) doi:10.1145/3720513
Lamba, Ada Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Carapace: Static–Dynamic ..." Article: oopslaa25main-p39-p (type: Full Paper) doi:10.1145/3720427
Laurent, Jonathan Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Adaptive Shielding via Parametric ..." Article: oopslaa25main-p110-p (type: Full Paper) doi:10.1145/3720450
Law, Tony Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "A Mechanized Semantics for ..." Article: oopslaa25main-p65-p (type: Full Paper) doi:10.1145/3720432
Lea, Doug Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Soundness of Predictive Concurrency ..." Article: oopslaa25main-p84-p (type: Full Paper) doi:10.1145/3720435
Lee, Dongjae Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Lilo: A Higher-Order, Relational ..." Article: oopslaa25main-p219-p (type: Full Paper) doi:10.1145/3720525
Lee, Janggun Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Lilo: A Higher-Order, Relational ..." Article: oopslaa25main-p219-p (type: Full Paper) doi:10.1145/3720525
Lee, Shaun Christopher Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Scalable and Accurate Application-Level ..." Article: oopslaa25main-p60-p (type: Full Paper) doi:10.1145/3720431
Lesani, Mohsen Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Hambazi: Spatial Coordination ..." Article: oopslaa25main-p37-p (type: Full Paper) doi:10.1145/3720425
Lewchenko, Nicholas V. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Bolt-On Strong Consistency: ..." Article: oopslaa25main-p287-p (type: Full Paper) doi:10.1145/3720502
Li, Angela W. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Efficient Algorithms for the ..." Article: oopslaa25main-p261-p (type: Full Paper) doi:10.1145/3720498
Li, Ding Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Orax: A Feedback-Driven Framework ..." Article: oopslaa25main-p96-p (type: Full Paper) doi:10.1145/3720438
Li, Elaine Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Characterizing Implementability ..." Article: oopslaa25main-p248-p (type: Full Paper) doi:10.1145/3720493
Li, Haoran Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Binary Cryptographic Function ..." Article: oopslaa25main-p5-p (type: Full Paper) doi:10.1145/3720415
Li, John M. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Multi-Language Probabilistic ..." Article: oopslaa25main-p214-p (type: Full Paper) doi:10.1145/3720482
Li, Tianchi Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Combining Formal and Informal ..." Article: oopslaa25main-p382-p (type: Full Paper) doi:10.1145/3720508
Li, Zongjie Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "API-Guided Dataset Synthesis ..." Article: oopslaa25main-p109-p (type: Full Paper) doi:10.1145/3720449
Lian, Qihao Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Automatic Linear Resource ..." Article: oopslaa25main-p247-p (type: Full Paper) doi:10.1145/3720492
Lindley, Sam Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Modal Effect Types ..." Article: oopslaa25main-p161-p (type: Full Paper) doi:10.1145/3720476
Liu, Shuyang Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Soundness of Predictive Concurrency ..." Article: oopslaa25main-p84-p (type: Full Paper) doi:10.1145/3720435
Liu, Xinxin Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "HpC: A Calculus for Hybrid ..." Article: oopslaa25main-p171-p (type: Full Paper) doi:10.1145/3720478
Logozzo, Francesco Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Revealing Sources of (Memory) ..." Article: oopslaa25main-p222-p (type: Full Paper) doi:10.1145/3720486
Lööw, Andreas Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "The Simulation Semantics of ..." Article: oopslaa25main-p221-p (type: Full Paper) doi:10.1145/3720484
Lorenzen, Anton Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Modal Effect Types ..." Article: oopslaa25main-p161-p (type: Full Paper) doi:10.1145/3720476
Lou, Yiling Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Show Me Why It’s Correct: ..." Article: oopslaa25main-p443-p (type: Full Paper) doi:10.1145/3720510
Lu, Jiayi Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "A Complete Formal Semantics ..." Article: oopslaa25main-p4-p (type: Full Paper) doi:10.1145/3720414
Lu, Yunping Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "JavART: A Lightweight Rule-Based ..." Article: oopslaa25main-p11-p (type: Full Paper) doi:10.1145/3720418
Lutze, Matthew Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "The Simple Essence of Monomorphization ..." Article: oopslaa25main-p140-p (type: Full Paper) doi:10.1145/3720472
Ma, Xiaofei Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "UTFix: Change Aware Unit Test ..." Article: oopslaa25main-p12-p (type: Full Paper) doi:10.1145/3720419
Madhusudan, P. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "FO-Complete Program Verification ..." Article: oopslaa25main-p99-p (type: Full Paper) doi:10.1145/3720447
Mamouras, Konstantinos Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Efficient Algorithms for the ..." Article: oopslaa25main-p261-p (type: Full Paper) doi:10.1145/3720498
Mendis, Charith Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "SPLAT: A Framework for Optimised ..." Article: oopslaa25main-p289-p (type: Full Paper) doi:10.1145/3720503 Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Automated Verification of ..." Article: oopslaa25main-p425-p (type: Full Paper) doi:10.1145/3720509
Molavi, Abtin Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Dependency-Aware Compilation ..." Article: oopslaa25main-p6-p (type: Full Paper) doi:10.1145/3720416
Mooij, Arjan J. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Language-Parametric Reference ..." Article: oopslaa25main-p208-p (type: Full Paper) doi:10.1145/3720481
Mugnier, Eric Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Laurel: Unblocking Automated ..." Article: oopslaa25main-p266-p (type: Full Paper) doi:10.1145/3720499
Mukherjee, Prasita Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "KestRel: Relational Verification ..." Article: oopslaa25main-p150-p (type: Full Paper) doi:10.1145/3720474
MĂĽller, Marius Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Compiling Classical Sequent ..." Article: oopslaa25main-p299-p (type: Full Paper) doi:10.1145/3720507
Murali, Adithya Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "FO-Complete Program Verification ..." Article: oopslaa25main-p99-p (type: Full Paper) doi:10.1145/3720447
Nagar, Kartik Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Automatically Verifying Replication-Aware ..." Article: oopslaa25main-p116-p (type: Full Paper) doi:10.1145/3720452
Nagy, Shaan Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Semantics of Sets of Programs ..." Article: oopslaa25main-p113-p (type: Full Paper) doi:10.1145/3720515
Nandivada, V. Krishna Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "IncIDFA: An Efficient and ..." Article: oopslaa25main-p91-p (type: Full Paper) doi:10.1145/3720436
Neal, Ian Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Scalable and Accurate Application-Level ..." Article: oopslaa25main-p60-p (type: Full Paper) doi:10.1145/3720431
New, Max S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Notions of Stack-Manipulating ..." Article: oopslaa25main-p81-p (type: Full Paper) doi:10.1145/3720434
Nougrahiya, Aman Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "IncIDFA: An Efficient and ..." Article: oopslaa25main-p91-p (type: Full Paper) doi:10.1145/3720436
Oh, Hakjoo Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "PAFL: Enhancing Fault Localizers ..." Article: oopslaa25main-p240-p (type: Full Paper) doi:10.1145/3720526
Ostermann, Klaus Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Compiling Classical Sequent ..." Article: oopslaa25main-p299-p (type: Full Paper) doi:10.1145/3720507
Palsberg, Jens Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Soundness of Predictive Concurrency ..." Article: oopslaa25main-p84-p (type: Full Paper) doi:10.1145/3720435
Park, Jihee Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Bridging the Gap between Real-World ..." Article: oopslaa25main-p119-p (type: Full Paper) doi:10.1145/3720524
Park, Kanghee Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "LOUD: Synthesizing Strongest ..." Article: oopslaa25main-p125-p (type: Full Paper) doi:10.1145/3720470
Patel, Radha Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Finch: Sparse and Structured ..." Article: oopslaa25main-p141-p (type: Full Paper) doi:10.1145/3720473
Peduri, Anurudh Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "QbC: Quantum Correctness by ..." Article: oopslaa25main-p75-p (type: Full Paper) doi:10.1145/3720433
Pelsmaeker, Daniel A. A. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Language-Parametric Reference ..." Article: oopslaa25main-p208-p (type: Full Paper) doi:10.1145/3720481
Peng, Wei Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "JavART: A Lightweight Rule-Based ..." Article: oopslaa25main-p11-p (type: Full Paper) doi:10.1145/3720418
Peng, Xuanyu Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "LOUD: Synthesizing Strongest ..." Article: oopslaa25main-p125-p (type: Full Paper) doi:10.1145/3720470
Peyrot, LoĂŻc Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Polymorphic Records for Dynamic ..." Article: oopslaa25main-p255-p (type: Full Paper) doi:10.1145/3720497
Pick, Lauren Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Checking Observational Correctness ..." Article: oopslaa25main-p293-p (type: Full Paper) doi:10.1145/3720504
Pierce, Benjamin C. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "QED in Context: An Observation ..." Article: oopslaa25main-p38-p (type: Full Paper) doi:10.1145/3720426
Piskac, Ruzica Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Counterexample-Guided Inference ..." Article: oopslaa25main-p295-p (type: Full Paper) doi:10.1145/3720505
Platzer, André Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Adaptive Shielding via Parametric ..." Article: oopslaa25main-p110-p (type: Full Paper) doi:10.1145/3720450
Polikarpova, Nadia Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Peepco: Batch-Based Consistency ..." Article: oopslaa25main-p156-p (type: Full Paper) doi:10.1145/3720513 Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Laurel: Unblocking Automated ..." Article: oopslaa25main-p266-p (type: Full Paper) doi:10.1145/3720499
Quinn, Andrew Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Scalable and Accurate Application-Level ..." Article: oopslaa25main-p60-p (type: Full Paper) doi:10.1145/3720431
Rahman, Shanto Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "UTFix: Change Aware Unit Test ..." Article: oopslaa25main-p12-p (type: Full Paper) doi:10.1145/3720419
Ramesh, Arjun Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Unveiling Heisenbugs with ..." Article: oopslaa25main-p45-p (type: Full Paper) doi:10.1145/3720428
Randone, Francesca Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Foundations for Deductive ..." Article: oopslaa25main-p47-p (type: Full Paper) doi:10.1145/3720429
Rastogi, Aseem Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Automatically Verifying Replication-Aware ..." Article: oopslaa25main-p116-p (type: Full Paper) doi:10.1145/3720452
Ray, Baishakhi Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "UTFix: Change Aware Unit Test ..." Article: oopslaa25main-p12-p (type: Full Paper) doi:10.1145/3720419
Reps, Thomas Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Semantics of Sets of Programs ..." Article: oopslaa25main-p113-p (type: Full Paper) doi:10.1145/3720515
Riar, Jaspreet Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Unveiling Heisenbugs with ..." Article: oopslaa25main-p45-p (type: Full Paper) doi:10.1145/3720428
Richards, Jay Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Symbolic MRD: Dynamic Memory, ..." Article: oopslaa25main-p329-p (type: Full Paper) doi:10.1145/3721089
Rivera, Cody Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Checking δ-Satisfiability ..." Article: oopslaa25main-p97-p (type: Full Paper) doi:10.1145/3720446
Rot, Jurriaan Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "A Unifying Approach to Product ..." Article: oopslaa25main-p275-p (type: Full Paper) doi:10.1145/3720501
Rowe, Anthony Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Unveiling Heisenbugs with ..." Article: oopslaa25main-p45-p (type: Full Paper) doi:10.1145/3720428
Ryu, Sukyoung Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Bridging the Gap between Real-World ..." Article: oopslaa25main-p119-p (type: Full Paper) doi:10.1145/3720524
Said, Ayman Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Scalable and Accurate Application-Level ..." Article: oopslaa25main-p60-p (type: Full Paper) doi:10.1145/3720431
Sanan, David Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "A Complete Formal Semantics ..." Article: oopslaa25main-p4-p (type: Full Paper) doi:10.1145/3720414
Sarita, Yasmin Chandini Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Automated Verification of ..." Article: oopslaa25main-p425-p (type: Full Paper) doi:10.1145/3720509
Schaefer, Ina Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "QbC: Quantum Correctness by ..." Article: oopslaa25main-p75-p (type: Full Paper) doi:10.1145/3720433
Schuster, Philipp Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "The Simple Essence of Monomorphization ..." Article: oopslaa25main-p140-p (type: Full Paper) doi:10.1145/3720472 Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Compiling Classical Sequent ..." Article: oopslaa25main-p299-p (type: Full Paper) doi:10.1145/3720507
Sergey, Ilya Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Inductive Synthesis of Inductive ..." Article: oopslaa25main-p16-p (type: Full Paper) doi:10.1145/3720420
Seshia, Sanjit A. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Checking Observational Correctness ..." Article: oopslaa25main-p293-p (type: Full Paper) doi:10.1145/3720504
Shaikhha, Amir Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Compressed and Parallelized ..." Article: oopslaa25main-p297-p (type: Full Paper) doi:10.1145/3720506
Shi, Jessica Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "QED in Context: An Observation ..." Article: oopslaa25main-p38-p (type: Full Paper) doi:10.1145/3720426
Singh, Avaljot Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Automated Verification of ..." Article: oopslaa25main-p425-p (type: Full Paper) doi:10.1145/3720509
Singh, Gagandeep Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Automated Verification of ..." Article: oopslaa25main-p425-p (type: Full Paper) doi:10.1145/3720509
Sistla, A. Prasad Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Checking δ-Satisfiability ..." Article: oopslaa25main-p97-p (type: Full Paper) doi:10.1145/3720446
Sivaramakrishnan, KC Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Automatically Verifying Replication-Aware ..." Article: oopslaa25main-p116-p (type: Full Paper) doi:10.1145/3720452
Solar-Lezama, Armando Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Peepco: Batch-Based Consistency ..." Article: oopslaa25main-p156-p (type: Full Paper) doi:10.1145/3720513
Song, Fu Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Verification of Bit-Flip Attacks ..." Article: oopslaa25main-p136-p (type: Full Paper) doi:10.1145/3720471
Sotoudeh, Matthew Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Pathological Cases for a Class ..." Article: oopslaa25main-p49-p (type: Full Paper) doi:10.1145/3720430
Soundarapandian, Vimala Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Automatically Verifying Replication-Aware ..." Article: oopslaa25main-p116-p (type: Full Paper) doi:10.1145/3720452
Spiwack, Arnaud Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Destination Calculus: A Linear ..." Article: oopslaa25main-p25-p (type: Full Paper) doi:10.1145/3720423
Stites, Sam Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Multi-Language Probabilistic ..." Article: oopslaa25main-p214-p (type: Full Paper) doi:10.1145/3720482
Stutz, Felix Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Characterizing Implementability ..." Article: oopslaa25main-p248-p (type: Full Paper) doi:10.1145/3720493
Su, Zhendong Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "API-Guided Dataset Synthesis ..." Article: oopslaa25main-p109-p (type: Full Paper) doi:10.1145/3720449
Sui, Yulei Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Efficient Incremental Verification ..." Article: oopslaa25main-p9-p (type: Full Paper) doi:10.1145/3720417
Sun, Jun Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Verification of Bit-Flip Attacks ..." Article: oopslaa25main-p136-p (type: Full Paper) doi:10.1145/3720471
Talpin, Jean-Pierre Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "HpC: A Calculus for Hybrid ..." Article: oopslaa25main-p171-p (type: Full Paper) doi:10.1145/3720478
Tan, Lin Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Show Me Why It’s Correct: ..." Article: oopslaa25main-p443-p (type: Full Paper) doi:10.1145/3720510
Tang, Wenhao Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Modal Effect Types ..." Article: oopslaa25main-p161-p (type: Full Paper) doi:10.1145/3720476
Tang, Yutian Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Artemis: Toward Accurate Detection ..." Article: oopslaa25main-p233-p (type: Full Paper) doi:10.1145/3720488
Tannu, Swamit Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Dependency-Aware Compilation ..." Article: oopslaa25main-p6-p (type: Full Paper) doi:10.1145/3720416
Titzer, Ben L. Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Unveiling Heisenbugs with ..." Article: oopslaa25main-p45-p (type: Full Paper) doi:10.1145/3720428
Torczon, Cassia Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "QED in Context: An Observation ..." Article: oopslaa25main-p38-p (type: Full Paper) doi:10.1145/3720426
Tsai, Yi-Zhen Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Hambazi: Spatial Coordination ..." Article: oopslaa25main-p37-p (type: Full Paper) doi:10.1145/3720425
Van Geffen, Jacob Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Scalable and Accurate Application-Level ..." Article: oopslaa25main-p60-p (type: Full Paper) doi:10.1145/3720431
Viswanathan, Mahesh Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Checking δ-Satisfiability ..." Article: oopslaa25main-p97-p (type: Full Paper) doi:10.1145/3720446
Walter, Michael Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "QbC: Quantum Correctness by ..." Article: oopslaa25main-p75-p (type: Full Paper) doi:10.1145/3720433
Wang, Di Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Automatic Linear Resource ..." Article: oopslaa25main-p247-p (type: Full Paper) doi:10.1145/3720492
Wang, Hanzhang Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "JavART: A Lightweight Rule-Based ..." Article: oopslaa25main-p11-p (type: Full Paper) doi:10.1145/3720418
Wang, Ruixin Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Show Me Why It’s Correct: ..." Article: oopslaa25main-p443-p (type: Full Paper) doi:10.1145/3720510
Wang, Shiqi Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "UTFix: Change Aware Unit Test ..." Article: oopslaa25main-p12-p (type: Full Paper) doi:10.1145/3720419
Wang, Shuai Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "API-Guided Dataset Synthesis ..." Article: oopslaa25main-p109-p (type: Full Paper) doi:10.1145/3720449 Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Binary Cryptographic Function ..." Article: oopslaa25main-p5-p (type: Full Paper) doi:10.1145/3720415
Wang, Shuling Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "HpC: A Calculus for Hybrid ..." Article: oopslaa25main-p171-p (type: Full Paper) doi:10.1145/3720478
Wang, Wenwen Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "JavART: A Lightweight Rule-Based ..." Article: oopslaa25main-p11-p (type: Full Paper) doi:10.1145/3720418
Watanabe, Kazuki Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "A Unifying Approach to Product ..." Article: oopslaa25main-p275-p (type: Full Paper) doi:10.1145/3720501
White, Leo Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Modal Effect Types ..." Article: oopslaa25main-p161-p (type: Full Paper) doi:10.1145/3720476
Wies, Thomas Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Characterizing Implementability ..." Article: oopslaa25main-p248-p (type: Full Paper) doi:10.1145/3720493
Winkler, Tobias Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Foundations for Deductive ..." Article: oopslaa25main-p47-p (type: Full Paper) doi:10.1145/3720429
Wright, Daniel Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Symbolic MRD: Dynamic Memory, ..." Article: oopslaa25main-p329-p (type: Full Paper) doi:10.1145/3721089
Wu, Daoyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "API-Guided Dataset Synthesis ..." Article: oopslaa25main-p109-p (type: Full Paper) doi:10.1145/3720449
Wu, Hao Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "HpC: A Calculus for Hybrid ..." Article: oopslaa25main-p171-p (type: Full Paper) doi:10.1145/3720478
Xiong, Chris Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Carapace: Static–Dynamic ..." Article: oopslaa25main-p39-p (type: Full Paper) doi:10.1145/3720427
Xu, Amanda Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Checking Observational Correctness ..." Article: oopslaa25main-p293-p (type: Full Paper) doi:10.1145/3720504 Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Dependency-Aware Compilation ..." Article: oopslaa25main-p6-p (type: Full Paper) doi:10.1145/3720416
Xu, Jiexiao Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Scalable and Accurate Application-Level ..." Article: oopslaa25main-p60-p (type: Full Paper) doi:10.1145/3720431
Xu, Xiong Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "HpC: A Calculus for Hybrid ..." Article: oopslaa25main-p171-p (type: Full Paper) doi:10.1145/3720478
Xue, Runze Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Notions of Stack-Manipulating ..." Article: oopslaa25main-p81-p (type: Full Paper) doi:10.1145/3720434
Yang, Ziyi Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Inductive Synthesis of Inductive ..." Article: oopslaa25main-p16-p (type: Full Paper) doi:10.1145/3720420
Yew, Pen-Chung Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "JavART: A Lightweight Rule-Based ..." Article: oopslaa25main-p11-p (type: Full Paper) doi:10.1145/3720418
Yoon, Taeyoung Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Lilo: A Higher-Order, Relational ..." Article: oopslaa25main-p219-p (type: Full Paper) doi:10.1145/3720525
Yuan, Shenghao Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "A Complete Formal Semantics ..." Article: oopslaa25main-p4-p (type: Full Paper) doi:10.1145/3720414
Yuan, Yueming Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "SPLAT: A Framework for Optimised ..." Article: oopslaa25main-p289-p (type: Full Paper) doi:10.1145/3720503
Yuanyuan, Zhou Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Laurel: Unblocking Automated ..." Article: oopslaa25main-p266-p (type: Full Paper) doi:10.1145/3720499
Yun, Insu Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Bridging the Gap between Real-World ..." Article: oopslaa25main-p119-p (type: Full Paper) doi:10.1145/3720524
Zhan, Bohua Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "HpC: A Calculus for Hybrid ..." Article: oopslaa25main-p171-p (type: Full Paper) doi:10.1145/3720478
Zhan, Naijun Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "HpC: A Calculus for Hybrid ..." Article: oopslaa25main-p171-p (type: Full Paper) doi:10.1145/3720478
Zhang, Guanqin Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Efficient Incremental Verification ..." Article: oopslaa25main-p9-p (type: Full Paper) doi:10.1145/3720417
Zhang, Qirun Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Fast Constraint Synthesis ..." Article: oopslaa25main-p20-p (type: Full Paper) doi:10.1145/3720422
Zhang, Tianyi Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Show Me Why It’s Correct: ..." Article: oopslaa25main-p443-p (type: Full Paper) doi:10.1145/3720510
Zhang, Weihua Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "JavART: A Lightweight Rule-Based ..." Article: oopslaa25main-p11-p (type: Full Paper) doi:10.1145/3720418
Zhang, Xin Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Combining Formal and Informal ..." Article: oopslaa25main-p382-p (type: Full Paper) doi:10.1145/3720508
Zhang, Yedi Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Verification of Bit-Flip Attacks ..." Article: oopslaa25main-p136-p (type: Full Paper) doi:10.1145/3720471
Zhang, Zhenya Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Efficient Incremental Verification ..." Article: oopslaa25main-p9-p (type: Full Paper) doi:10.1145/3720417
Zhang, Zhuoruo Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "A Complete Formal Semantics ..." Article: oopslaa25main-p4-p (type: Full Paper) doi:10.1145/3720414
Zhang, Ziqi Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Orax: A Feedback-Driven Framework ..." Article: oopslaa25main-p96-p (type: Full Paper) doi:10.1145/3720438
Zhao, Jianjun Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Efficient Incremental Verification ..." Article: oopslaa25main-p9-p (type: Full Paper) doi:10.1145/3720417
Zhao, Yongwang Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "A Complete Formal Semantics ..." Article: oopslaa25main-p4-p (type: Full Paper) doi:10.1145/3720414
Zhao, Yubo Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Binary Cryptographic Function ..." Article: oopslaa25main-p5-p (type: Full Paper) doi:10.1145/3720415
Zhao, Zhongkai Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Show Me Why It’s Correct: ..." Article: oopslaa25main-p443-p (type: Full Paper) doi:10.1145/3720510
Zhong, Zhineng Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Orax: A Feedback-Driven Framework ..." Article: oopslaa25main-p96-p (type: Full Paper) doi:10.1145/3720438
Zhou, Yanqi Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "SPLAT: A Framework for Optimised ..." Article: oopslaa25main-p289-p (type: Full Paper) doi:10.1145/3720503
Zhou, Zhichao Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Artemis: Toward Accurate Detection ..." Article: oopslaa25main-p233-p (type: Full Paper) doi:10.1145/3720488
Zhu, Jun Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Adaptive Shielding via Parametric ..." Article: oopslaa25main-p110-p (type: Full Paper) doi:10.1145/3720450
Zufferey, Damien Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Characterizing Implementability ..." Article: oopslaa25main-p248-p (type: Full Paper) doi:10.1145/3720493
Zwaan, Aron Proc. ACM Program. Lang., vol. 9, issue OOPSLA1: "Language-Parametric Reference ..." Article: oopslaa25main-p208-p (type: Full Paper) doi:10.1145/3720481

265 authors

proc time: 8.67