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

265 authors

proc time: 6.15