OOPSLA2 2026
Proceedings of the ACM on Programming Languages, Volume 10, Number OOPSLA2
Powered by
Conference Publishing Consulting

Proceedings of the ACM on Programming Languages, Volume 10, Number OOPSLA2

OOPSLA2 2026 – 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 V W X Y Z

Aamer, Zain K Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Random Testing via Runtime ..." Article: oopslab26main-p996-p (type: Full Paper) doi:10.1145/3839513
Abramsky, Samson Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Granthi: Higher-Order Quantum ..." Article: oopslab26main-p876-p (type: Full Paper) doi:10.1145/3839496
Adams, Michael D. Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Programming with Composable ..." Article: oopslab26main-p889-p (type: Full Paper) doi:10.1145/3839500
Agarwal, Sudhanshu Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Uncovering Hidden Memory Costs ..." Article: oopslab26main-p590-p (type: Full Paper) doi:10.1145/3839473
Ahn, Sehyuk Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "P4-SpecTec: Integrating a ..." Article: oopslab26main-p1509-p (type: Full Paper) doi:10.1145/3839535
Aiken, Alex Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Equivalence Checking of ML ..." Article: oopslab26main-p562-p (type: Full Paper) doi:10.1145/3839470 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Relight: Simple User-Level ..." Article: oopslab26main-p680-p (type: Full Paper) doi:10.1145/3839482
Antoch, Jaromír Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Experimental Evaluation Methodology ..." Article: oopslab26main-p193-p (type: Full Paper) doi:10.1145/3839448
Aotani, Tomoyuki Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Commit-Window Observation ..." Article: oopslab26main-p538-p (type: Full Paper) doi:10.1145/3839467
Arlt, Ellen Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Sound State Encodings in Translational ..." Article: oopslab26main-p403-p (type: Full Paper) doi:10.1145/3839462 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "RGSep under Release/Acquire ..." Article: oopslab26main-p933-p (type: Full Paper) doi:10.1145/3839507
Arora, Jai Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automatically Generating ML ..." Article: oopslab26main-p309-p (type: Full Paper) doi:10.1145/3839457
Askarov, Aslan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Fighting Supply Chain Attacks ..." Article: oopslab26main-p863-p (type: Full Paper) doi:10.1145/3839494
Bai, Alexander Y. Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Compiling WebAssembly Concolic ..." Article: oopslab26main-p881-p (type: Full Paper) doi:10.1145/3839498
Bai, Yudi Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Transitive, Abstract, and ..." Article: oopslab26main-p835-p (type: Full Paper) doi:10.1145/3839491
Bandukwala, Alexander Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Interactive Data Analysis ..." Article: oopslab26main-p902-p (type: Full Paper) doi:10.1145/3839501
Bao, Yuyan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Type, Ability, and Effect ..." Article: oopslab26main-p1136-p (type: Full Paper) doi:10.1145/3839518
Baradaran, Sara Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Prosecutor: Bayesian Counterfactual ..." Article: oopslab26main-p559-p (type: Full Paper) doi:10.1145/3839469
Basin, David Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Type System for Optimizing ..." Article: oopslab26main-p292-p (type: Full Paper) doi:10.1145/3839456
Batz, Kevin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Type-Directed Discretization ..." Article: oopslab26main-p1463-p (type: Full Paper) doi:10.1145/3839534
Bauer, Michael Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Relight: Simple User-Level ..." Article: oopslab26main-p680-p (type: Full Paper) doi:10.1145/3839482
Bellante, Armando Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Compiling Quantum Regular ..." Article: oopslab26main-p331-p (type: Full Paper) doi:10.1145/3839458
Berlstein, Griffin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Understanding Accelerator ..." Article: oopslab26main-p940-p (type: Full Paper) doi:10.1145/3839509
Besson, Frédéric Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Formalizing the Linux eBPF ..." Article: oopslab26main-p24-p (type: Full Paper) doi:10.1145/3839449
Bhat, Siddharth Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Sound and Complete Solving ..." Article: oopslab26main-p950-p (type: Full Paper) doi:10.1145/3839511
Bieniusa, Annette Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "PRDTs: Composable Design and ..." Article: oopslab26main-p1189-p (type: Full Paper) doi:10.1145/3839522
Binder, Walter Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Experimental Evaluation Methodology ..." Article: oopslab26main-p193-p (type: Full Paper) doi:10.1145/3839448 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "TwinString: Preserving String ..." Article: oopslab26main-p914-p (type: Full Paper) doi:10.1145/3839503
Blackshear, Sam Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Tracking Borrows with Regular ..." Article: oopslab26main-p1171-p (type: Full Paper) doi:10.1145/3839521
Blanas, Spyros Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Augur: Predicting View Serializability ..." Article: oopslab26main-p659-p (type: Full Paper) doi:10.1145/3839480
Böck, Markus Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Probabilistic Programming ..." Article: oopslab26main-p1458-p (type: Full Paper) doi:10.1145/3839533
Boďa, Tomáš Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Timeline: Adding the Time ..." Article: oopslab26main-p903-p (type: Full Paper) doi:10.1145/3839502
Bommineni, Chathur Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Spatial and Temporal Decomposition ..." Article: oopslab26main-p964-p (type: Full Paper) doi:10.1145/3839512
Bond, Michael D. Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Augur: Predicting View Serializability ..." Article: oopslab26main-p659-p (type: Full Paper) doi:10.1145/3839480
Bonetta, Daniele Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "TwinString: Preserving String ..." Article: oopslab26main-p914-p (type: Full Paper) doi:10.1145/3839503
Bourgeat, Thomas Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Language Approach to Fine-Grained ..." Article: oopslab26main-p772-p (type: Full Paper) doi:10.1145/3839486
Bovel, Matt Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "First-Class Refinement Types ..." Article: oopslab26main-p1986-p (type: Full Paper) doi:10.1145/3839541
Bračevac, Oliver Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Classifying Capabilities ..." Article: oopslab26main-p593-p (type: Full Paper) doi:10.1145/3839474
Bruni, Roberto Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Systematic Design of Separation ..." Article: oopslab26main-p1694-p (type: Full Paper) doi:10.1145/3839540
Bulej, Lubomír Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Experimental Evaluation Methodology ..." Article: oopslab26main-p193-p (type: Full Paper) doi:10.1145/3839448
Caldwell, Ben Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "TensorRocq: Enabling Diagrammatic ..." Article: oopslab26main-p1457-p (type: Full Paper) doi:10.1145/3839532
Cao, David Minh-Duy Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Direct Manipulation and Natural ..." Article: oopslab26main-p792-p (type: Full Paper) doi:10.1145/3839487
Cao, Tianci Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Formalizing the Linux eBPF ..." Article: oopslab26main-p24-p (type: Full Paper) doi:10.1145/3839449
Cea Fernández, María Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Compiling Quantum Regular ..." Article: oopslab26main-p331-p (type: Full Paper) doi:10.1145/3839458
Chabbi, Milind Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Beyond Nominality: Faster ..." Article: oopslab26main-p257-p (type: Full Paper) doi:10.1145/3839455
Charlton, Noah Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Augur: Predicting View Serializability ..." Article: oopslab26main-p659-p (type: Full Paper) doi:10.1145/3839480
Chasins, Sarah E. Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Direct Manipulation and Natural ..." Article: oopslab26main-p792-p (type: Full Paper) doi:10.1145/3839487
Chen, Guokai Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Language Approach to Fine-Grained ..." Article: oopslab26main-p772-p (type: Full Paper) doi:10.1145/3839486
Chen, Hongyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "BackSmith: A Systematic Approach ..." Article: oopslab26main-p1391-p (type: Full Paper) doi:10.1145/3839529
Chen, Jiawei Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Probabilistic Floating-Point ..." Article: oopslab26main-p169-p (type: Full Paper) doi:10.1145/3839447
Chen, Mingshuai Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Formalizing the Linux eBPF ..." Article: oopslab26main-p24-p (type: Full Paper) doi:10.1145/3839449
Chen, Qinlin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "When FPGA Meets Dataflow Analysis: ..." Article: oopslab26main-p935-p (type: Full Paper) doi:10.1145/3839508
Chen, Wei Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "SPONGE: Adaptive Boundary-Anchored ..." Article: oopslab26main-p565-p (type: Full Paper) doi:10.1145/3839472
Chen, Xingchu Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "From Similarity Ranking to ..." Article: oopslab26main-p1602-p (type: Full Paper) doi:10.1145/3839539
Chen, Yu-Fang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Verifying Repeat-until-Success ..." Article: oopslab26main-p918-p (type: Full Paper) doi:10.1145/3839506
Chen, Yusen Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Real-to-Sim Generation: Synthesizing ..." Article: oopslab26main-p1287-p (type: Full Paper) doi:10.1145/3839527
Chen, Zhenbang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "EUFⁿ: A Decidable Extension ..." Article: oopslab26main-p402-p (type: Full Paper) doi:10.1145/3839461 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Real-to-Sim Generation: Synthesizing ..." Article: oopslab26main-p1287-p (type: Full Paper) doi:10.1145/3839527
Cheng, Luyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Programming with Composable ..." Article: oopslab26main-p889-p (type: Full Paper) doi:10.1145/3839500
Ching, Jeffrey Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Sound Enforcement of Dynamic ..." Article: oopslab26main-p841-p (type: Full Paper) doi:10.1145/3839492
Cho, Kyeongmin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Quantum Monte Carlo Estimation ..." Article: oopslab26main-p411-p (type: Full Paper) doi:10.1145/3839463
Choi, Jaeho Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Quantum Monte Carlo Estimation ..." Article: oopslab26main-p411-p (type: Full Paper) doi:10.1145/3839463
Chow, Sherman S. M. Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Staged Multi-step UTXO Workflows ..." Article: oopslab26main-p815-p (type: Full Paper) doi:10.1145/3839489
Cirac, J. Ignacio Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Compiling Quantum Regular ..." Article: oopslab26main-p331-p (type: Full Paper) doi:10.1145/3839458
Cito, Jürgen Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Probabilistic Programming ..." Article: oopslab26main-p1458-p (type: Full Paper) doi:10.1145/3839533
Crichton, Will Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Design Space Exploration ..." Article: oopslab26main-p1146-p (type: Full Paper) doi:10.1145/3839519
Crupi, Marianna Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Compiling Quantum Regular ..." Article: oopslab26main-p331-p (type: Full Paper) doi:10.1145/3839458
Cui, Jiacai Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "When FPGA Meets Dataflow Analysis: ..." Article: oopslab26main-p935-p (type: Full Paper) doi:10.1145/3839508
Dai, Yihan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Reducing Hallucinations in ..." Article: oopslab26main-p1277-p (type: Full Paper) doi:10.1145/3839525
Daiyou, Wu Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Pyriscope: Precise and Low-Overhead ..." Article: oopslab26main-p649-p (type: Full Paper) doi:10.1145/3839479
D'Antoni, Loris Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Incremental Program Synthesis ..." Article: oopslab26main-p363-p (type: Full Paper) doi:10.1145/3839460
Dardinier, Thibault Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Sound State Encodings in Translational ..." Article: oopslab26main-p403-p (type: Full Paper) doi:10.1145/3839462
Devarakonda, Vasudha Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Bonsai: Efficient and Optimal ..." Article: oopslab26main-p941-p (type: Full Paper) doi:10.1145/3839510
Di, Nongyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Planning to Hammer: Difficulty-Aware ..." Article: oopslab26main-p880-p (type: Full Paper) doi:10.1145/3839497
Dietl, Werner Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Transitive, Abstract, and ..." Article: oopslab26main-p835-p (type: Full Paper) doi:10.1145/3839491
Dillig, Işıl Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Editorial Message ..." Article: oopslab26editorial-fm001-p (type: Editorial) doi:10.1145/3839445
Ding, Ling Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "T-REX: Teaching Large Language ..." Article: oopslab26main-p116-p (type: Full Paper) doi:10.1145/3839452
Dodds, Joey Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Incremental Program Synthesis ..." Article: oopslab26main-p363-p (type: Full Paper) doi:10.1145/3839460
Donat-Bouillud, Pierre Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Revisiting Row Polymorphism ..." Article: oopslab26main-p917-p (type: Full Paper) doi:10.1145/3839505
Dong, Rongcui Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Symbolic Basic Block Profiling ..." Article: oopslab26main-p705-p (type: Full Paper) doi:10.1145/3839483
Dong, Wei Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "EUFⁿ: A Decidable Extension ..." Article: oopslab26main-p402-p (type: Full Paper) doi:10.1145/3839461
Dreyer, Derek Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Bringing Foundational Verification ..." Article: oopslab26main-p769-p (type: Full Paper) doi:10.1145/3839484
Driscoll, Benjamin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Equivalence Checking of ML ..." Article: oopslab26main-p562-p (type: Full Paper) doi:10.1145/3839470
Du, Yide Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "EUFⁿ: A Decidable Extension ..." Article: oopslab26main-p402-p (type: Full Paper) doi:10.1145/3839461
Dubey, Kshitij Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Equivalence Checking of ML ..." Article: oopslab26main-p562-p (type: Full Paper) doi:10.1145/3839470
Dyce, Evan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Synthesizing Graph Queries ..." Article: oopslab26main-p1253-p (type: Full Paper) doi:10.1145/3839524
Elazar Mittelman, Segev Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Testing Theorems, Fully Automatically ..." Article: oopslab26main-p152-p (type: Full Paper) doi:10.1145/3839453
Fan, Andong Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Modular Type Safety for Traits ..." Article: oopslab26main-p1000-p (type: Full Paper) doi:10.1145/3839514
Farquet, François Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Experimental Evaluation Methodology ..." Article: oopslab26main-p193-p (type: Full Paper) doi:10.1145/3839448
Ferrari, Florent Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Programming with Composable ..." Article: oopslab26main-p889-p (type: Full Paper) doi:10.1145/3839500
Fischer, Roman Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Type System for Optimizing ..." Article: oopslab26main-p292-p (type: Full Paper) doi:10.1145/3839456
Fischman, Alex Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Efficient Extraction for Effectful ..." Article: oopslab26main-p1395-p (type: Full Paper) doi:10.1145/3839530
Flatt, Oliver Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Efficient Extraction for Effectful ..." Article: oopslab26main-p1395-p (type: Full Paper) doi:10.1145/3839530
Florido-Llinàs, Marta Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Compiling Quantum Regular ..." Article: oopslab26main-p331-p (type: Full Paper) doi:10.1145/3839458
Frigo, Marco Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automatically Generating ML ..." Article: oopslab26main-p309-p (type: Full Paper) doi:10.1145/3839457
Fu, Hongfei Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Probabilistic Floating-Point ..." Article: oopslab26main-p169-p (type: Full Paper) doi:10.1145/3839447 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Staged Multi-step UTXO Workflows ..." Article: oopslab26main-p815-p (type: Full Paper) doi:10.1145/3839489
Gäher, Lennard Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Bringing Foundational Verification ..." Article: oopslab26main-p769-p (type: Full Paper) doi:10.1145/3839484
Galán Pascual, Daniel Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Type System for Optimizing ..." Article: oopslab26main-p292-p (type: Full Paper) doi:10.1145/3839456
Gazzella, Lorenzo Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Systematic Design of Separation ..." Article: oopslab26main-p1694-p (type: Full Paper) doi:10.1145/3839540
Geng, Chujun Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Augur: Predicting View Serializability ..." Article: oopslab26main-p659-p (type: Full Paper) doi:10.1145/3839480
Ghose, Saugata Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Uncovering Hidden Memory Costs ..." Article: oopslab26main-p590-p (type: Full Paper) doi:10.1145/3839473
Gladshtein, Vladimir Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Infinitary Relational Logic ..." Article: oopslab26main-p1152-p (type: Full Paper) doi:10.1145/3839520
Gligoric, Milos Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "MGQL: An Executable, Small-Step ..." Article: oopslab26main-p337-p (type: Full Paper) doi:10.1145/3839459
Goenka, Sneha Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Filtr: Compiling Bioinformatics ..." Article: oopslab26main-p916-p (type: Full Paper) doi:10.1145/3839504
Goharshady, Amir K. Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A New Approach to Optimal ..." Article: oopslab26main-p885-p (type: Full Paper) doi:10.1145/3839499
Goldstein, Harrison Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Testing Theorems, Fully Automatically ..." Article: oopslab26main-p152-p (type: Full Paper) doi:10.1145/3839453
Gori, Roberta Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Systematic Design of Separation ..." Article: oopslab26main-p1694-p (type: Full Paper) doi:10.1145/3839540
Graham, Kirsten Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Efficient Extraction for Effectful ..." Article: oopslab26main-p1395-p (type: Full Paper) doi:10.1145/3839530
Gray, Gavin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Design Space Exploration ..." Article: oopslab26main-p1146-p (type: Full Paper) doi:10.1145/3839519
Grosser, Tobias Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Sound and Complete Solving ..." Article: oopslab26main-p950-p (type: Full Paper) doi:10.1145/3839511
Gu, Ronghui Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Synthesis of Compact and Expressive ..." Article: oopslab26main-p56-p (type: Full Paper) doi:10.1145/3839450 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Verifying Economic Security ..." Article: oopslab26main-p625-p (type: Full Paper) doi:10.1145/3839475
Guo, Zihan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Staged Multi-step UTXO Workflows ..." Article: oopslab26main-p815-p (type: Full Paper) doi:10.1145/3839489
Haas, Julian Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "PRDTs: Composable Design and ..." Article: oopslab26main-p1189-p (type: Full Paper) doi:10.1145/3839522
Havlík, Jakub Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Verifying Repeat-until-Success ..." Article: oopslab26main-p918-p (type: Full Paper) doi:10.1145/3839506
He, Yumeng Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Accurate Residues for Floating-Point ..." Article: oopslab26main-p1278-p (type: Full Paper) doi:10.1145/3839526
Hong, Jintai Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "SmartFuzz: Leveraging Large ..." Article: oopslab26main-p630-p (type: Full Paper) doi:10.1145/3839476
Hong, Weijiang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "EUFⁿ: A Decidable Extension ..." Article: oopslab26main-p402-p (type: Full Paper) doi:10.1145/3839461
Horký, Vojtěch Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Experimental Evaluation Methodology ..." Article: oopslab26main-p193-p (type: Full Paper) doi:10.1145/3839448
Huang, Heqing Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Revisiting Path Coverage Tracing ..." Article: oopslab26main-p456-p (type: Full Paper) doi:10.1145/3839464
Huang, Jeff Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "ReFun: Reconstructing Function ..." Article: oopslab26main-p1030-p (type: Full Paper) doi:10.1145/3839515
Huang, Peishan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Real-to-Sim Generation: Synthesizing ..." Article: oopslab26main-p1287-p (type: Full Paper) doi:10.1145/3839527
Huang, Yifei Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Prosecutor: Bayesian Counterfactual ..." Article: oopslab26main-p559-p (type: Full Paper) doi:10.1145/3839469
Hublet, François Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Type System for Optimizing ..." Article: oopslab26main-p292-p (type: Full Paper) doi:10.1145/3839456
Hunt, Guerney Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Bringing Foundational Verification ..." Article: oopslab26main-p769-p (type: Full Paper) doi:10.1145/3839484
Huo, Wei Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "From Similarity Ranking to ..." Article: oopslab26main-p1602-p (type: Full Paper) doi:10.1145/3839539
Igarashi, Atsushi Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Refined² Environment Classifiers ..." Article: oopslab26main-p847-p (type: Full Paper) doi:10.1145/3839493
Irmejs, Reinis Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Compiling Quantum Regular ..." Article: oopslab26main-p331-p (type: Full Paper) doi:10.1145/3839458
Jacob, Dejice Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "CapOpt: Capability-Aware Superoptimization ..." Article: oopslab26main-p664-p (type: Full Paper) doi:10.1145/3839481
Jacobs, Jules Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Type-Directed Discretization ..." Article: oopslab26main-p1463-p (type: Full Paper) doi:10.1145/3839534
Jacobsen, Hans-Arno Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "ReFun: Reconstructing Function ..." Article: oopslab26main-p1030-p (type: Full Paper) doi:10.1145/3839515
Jagadeesan, Radha Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Granthi: Higher-Order Quantum ..." Article: oopslab26main-p876-p (type: Full Paper) doi:10.1145/3839496
Jain, Devansh Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automatically Generating ML ..." Article: oopslab26main-p309-p (type: Full Paper) doi:10.1145/3839457
Jakubovic, Joel Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Towards Concise Binding Semantics ..." Article: oopslab26main-p555-p (type: Full Paper) doi:10.1145/3839468
Jeannin, Jean-Baptiste Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Probabilistic Floating-Point ..." Article: oopslab26main-p169-p (type: Full Paper) doi:10.1145/3839447
Jeon, Jonguk Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Quantum Monte Carlo Estimation ..." Article: oopslab26main-p411-p (type: Full Paper) doi:10.1145/3839463
Jeon, Seungmin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Quantum Monte Carlo Estimation ..." Article: oopslab26main-p411-p (type: Full Paper) doi:10.1145/3839463
Jeong, Seokhun Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "P4-SpecTec: Integrating a ..." Article: oopslab26main-p1509-p (type: Full Paper) doi:10.1145/3839535
Jia, Fuqi Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Validating Optimizing SMT ..." Article: oopslab26main-p1547-p (type: Full Paper) doi:10.1145/3839537
Jiang, Anxiao Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Bonsai: Efficient and Optimal ..." Article: oopslab26main-p941-p (type: Full Paper) doi:10.1145/3839510
Kalita, Pankaj Kumar Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "LLM-Assisted Unsatisfiability ..." Article: oopslab26main-p70-p (type: Full Paper) doi:10.1145/3839451
Kamina, Tetsuo Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Commit-Window Observation ..." Article: oopslab26main-p538-p (type: Full Paper) doi:10.1145/3839467
Kang, Jeehoon Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Quantum Monte Carlo Estimation ..." Article: oopslab26main-p411-p (type: Full Paper) doi:10.1145/3839463
Kayal, Neeraj Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Equivalence Checking of ML ..." Article: oopslab26main-p562-p (type: Full Paper) doi:10.1145/3839470
Kehrli, Sascha Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Bringing Foundational Verification ..." Article: oopslab26main-p769-p (type: Full Paper) doi:10.1145/3839484
Khan, Mikail Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Compiling WebAssembly Concolic ..." Article: oopslab26main-p881-p (type: Full Paper) doi:10.1145/3839498
Khulbe, Kaustubh Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automatically Generating ML ..." Article: oopslab26main-p309-p (type: Full Paper) doi:10.1145/3839457
Kim, Jinwoo Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Incremental Program Synthesis ..." Article: oopslab26main-p363-p (type: Full Paper) doi:10.1145/3839460
Kiser, Matthew Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Compiling Quantum Regular ..." Article: oopslab26main-p331-p (type: Full Paper) doi:10.1145/3839458
Kissinger, Aleks Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "TensorRocq: Enabling Diagrammatic ..." Article: oopslab26main-p1457-p (type: Full Paper) doi:10.1145/3839532
Kjolstad, Fredrik Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Filtr: Compiling Bioinformatics ..." Article: oopslab26main-p916-p (type: Full Paper) doi:10.1145/3839504
Klose, Nicolas Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Abductive Inference of Separation ..." Article: oopslab26main-p797-p (type: Full Paper) doi:10.1145/3839488
Kokologiannakis, Michalis Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Formal Account of the Wasm ..." Article: oopslab26main-p501-p (type: Full Paper) doi:10.1145/3839465
Křikava, Filip Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Revisiting Row Polymorphism ..." Article: oopslab26main-p917-p (type: Full Paper) doi:10.1145/3839505
Krishnamurthi, Shriram Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Design Space Exploration ..." Article: oopslab26main-p1146-p (type: Full Paper) doi:10.1145/3839519
Krstić, Srđan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Type System for Optimizing ..." Article: oopslab26main-p292-p (type: Full Paper) doi:10.1145/3839456
Kulkarni, Bhargav Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Semantics for 2D Rasterization ..." Article: oopslab26main-p563-p (type: Full Paper) doi:10.1145/3839471
Kunčak, Viktor Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "First-Class Refinement Types ..." Article: oopslab26main-p1986-p (type: Full Paper) doi:10.1145/3839541
Kwon, Haechan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "P4-SpecTec: Integrating a ..." Article: oopslab26main-p1509-p (type: Full Paper) doi:10.1145/3839535
Laeufer, Kevin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Understanding Accelerator ..." Article: oopslab26main-p940-p (type: Full Paper) doi:10.1145/3839509
Lafeychine, Vincent Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Bringing Foundational Verification ..." Article: oopslab26main-p769-p (type: Full Paper) doi:10.1145/3839484
Lahiri, Sumit Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "LLM-Assisted Unsatisfiability ..." Article: oopslab26main-p70-p (type: Full Paper) doi:10.1145/3839451
Lam, Chun Kit Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A New Approach to Optimal ..." Article: oopslab26main-p885-p (type: Full Paper) doi:10.1145/3839499
Lampropoulos, Leonidas Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Testing Theorems, Fully Automatically ..." Article: oopslab26main-p152-p (type: Full Paper) doi:10.1145/3839453
Larsen, Andreas Stenbæk Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Fighting Supply Chain Attacks ..." Article: oopslab26main-p863-p (type: Full Paper) doi:10.1145/3839494
Laurent, Mickaël Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Implementing Set-Theoretic ..." Article: oopslab26main-p532-p (type: Full Paper) doi:10.1145/3839466 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Revisiting Row Polymorphism ..." Article: oopslab26main-p917-p (type: Full Paper) doi:10.1145/3839505
Le, Wei Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Prosecutor: Bayesian Counterfactual ..." Article: oopslab26main-p559-p (type: Full Paper) doi:10.1145/3839469
Lee, Jaehyun Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "P4-SpecTec: Integrating a ..." Article: oopslab26main-p1509-p (type: Full Paper) doi:10.1145/3839535
Lee, Kanguk Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Quantum Monte Carlo Estimation ..." Article: oopslab26main-p411-p (type: Full Paper) doi:10.1145/3839463
Lemerre, Matthieu Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "AADT: Abstract Abstract Data ..." Article: oopslab26main-p1236-p (type: Full Paper) doi:10.1145/3839523
Lengál, Ondřej Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Verifying Repeat-until-Success ..." Article: oopslab26main-p918-p (type: Full Paper) doi:10.1145/3839506
Li, Guoqiang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Staged Multi-step UTXO Workflows ..." Article: oopslab26main-p815-p (type: Full Paper) doi:10.1145/3839489
Li, Xitao Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Code–Test Co-translation: ..." Article: oopslab26main-p830-p (type: Full Paper) doi:10.1145/3839490
Li, Xupeng Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Verifying Economic Security ..." Article: oopslab26main-p625-p (type: Full Paper) doi:10.1145/3839475
Li, Yeting Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "From Similarity Ranking to ..." Article: oopslab26main-p1602-p (type: Full Paper) doi:10.1145/3839539
Li, Yichuan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "ReFun: Reconstructing Function ..." Article: oopslab26main-p1030-p (type: Full Paper) doi:10.1145/3839515
Li, Yue Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Heap Abstraction via Early-Confluent ..." Article: oopslab26main-p770-p (type: Full Paper) doi:10.1145/3839485 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "When FPGA Meets Dataflow Analysis: ..." Article: oopslab26main-p935-p (type: Full Paper) doi:10.1145/3839508
Li, Zenan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Planning to Hammer: Difficulty-Aware ..." Article: oopslab26main-p880-p (type: Full Paper) doi:10.1145/3839497
Liang, Sijie Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Reducing Hallucinations in ..." Article: oopslab26main-p1277-p (type: Full Paper) doi:10.1145/3839525
Liang, Yufei Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Heap Abstraction via Early-Confluent ..." Article: oopslab26main-p770-p (type: Full Paper) doi:10.1145/3839485
Lin, Haoran Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "LLM-Based Alarm Resolution ..." Article: oopslab26main-p1540-p (type: Full Paper) doi:10.1145/3839536
Lin, Jyun-Ao Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Verifying Repeat-until-Success ..." Article: oopslab26main-p918-p (type: Full Paper) doi:10.1145/3839506
Lin, Li Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "SmartFuzz: Leveraging Large ..." Article: oopslab26main-p630-p (type: Full Paper) doi:10.1145/3839476
Lin, Tong-Nong Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "MGQL: An Executable, Small-Step ..." Article: oopslab26main-p337-p (type: Full Paper) doi:10.1145/3839459
Ling, Hongyi Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Sound State Encodings in Translational ..." Article: oopslab26main-p403-p (type: Full Paper) doi:10.1145/3839462
Ling, Yuxi Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Infinitary Relational Logic ..." Article: oopslab26main-p1152-p (type: Full Paper) doi:10.1145/3839520
Liu, Chengyue Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "From Similarity Ranking to ..." Article: oopslab26main-p1602-p (type: Full Paper) doi:10.1145/3839539
Liu, Chenke Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Quantum Uncomputation of Clean ..." Article: oopslab26main-p1342-p (type: Full Paper) doi:10.1145/3839528
Liu, Qikang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Synthesizing Graph Queries ..." Article: oopslab26main-p1253-p (type: Full Paper) doi:10.1145/3839524
Liu, Ting Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Code–Test Co-translation: ..." Article: oopslab26main-p830-p (type: Full Paper) doi:10.1145/3839490
Liu, Xiaoyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Synthesizing Graph Queries ..." Article: oopslab26main-p1253-p (type: Full Paper) doi:10.1145/3839524
Liu, Yang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Agent-Based Automated Remediation ..." Article: oopslab26main-p869-p (type: Full Paper) doi:10.1145/3839495 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "From Similarity Ranking to ..." Article: oopslab26main-p1602-p (type: Full Paper) doi:10.1145/3839539
Liu, Zhaoxiang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "ZSafe: Proving the Safety ..." Article: oopslab26main-p1118-p (type: Full Paper) doi:10.1145/3839517
Lo, Fang-Yi Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Verifying Repeat-until-Success ..." Article: oopslab26main-p918-p (type: Full Paper) doi:10.1145/3839506
Lochan, Saatvik Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automatically Generating ML ..." Article: oopslab26main-p309-p (type: Full Paper) doi:10.1145/3839457
Löff, Júnior Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "TwinString: Preserving String ..." Article: oopslab26main-p914-p (type: Full Paper) doi:10.1145/3839503
Lubin, Justin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Direct Manipulation and Natural ..." Article: oopslab26main-p792-p (type: Full Paper) doi:10.1145/3839487
Luo, Baoyuan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automated Debugging of Datalog ..." Article: oopslab26main-p1057-p (type: Full Paper) doi:10.1145/3839516
Luo, Ning Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "ZSafe: Proving the Safety ..." Article: oopslab26main-p1118-p (type: Full Paper) doi:10.1145/3839517
Ma, Xiaoxing Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Planning to Hammer: Difficulty-Aware ..." Article: oopslab26main-p880-p (type: Full Paper) doi:10.1145/3839497
Madsen, Magnus Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Fighting Supply Chain Attacks ..." Article: oopslab26main-p863-p (type: Full Paper) doi:10.1145/3839494
Mechtaev, Sergey Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Reducing Hallucinations in ..." Article: oopslab26main-p1277-p (type: Full Paper) doi:10.1145/3839525
Mendis, Charith Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automatically Generating ML ..." Article: oopslab26main-p309-p (type: Full Paper) doi:10.1145/3839457
Meng, Boning Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Quantum Uncomputation of Clean ..." Article: oopslab26main-p1342-p (type: Full Paper) doi:10.1145/3839528
Mezini, Mira Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "PRDTs: Composable Design and ..." Article: oopslab26main-p1189-p (type: Full Paper) doi:10.1145/3839522
Mikek, Benjamin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Spatial and Temporal Decomposition ..." Article: oopslab26main-p964-p (type: Full Paper) doi:10.1145/3839512
Mitchell, John Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Tracking Borrows with Regular ..." Article: oopslab26main-p1171-p (type: Full Paper) doi:10.1145/3839521
Møller, Anders Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Editorial Message ..." Article: oopslab26editorial-fm001-p (type: Editorial) doi:10.1145/3839445
Mogk, Ragnar Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "PRDTs: Composable Design and ..." Article: oopslab26main-p1189-p (type: Full Paper) doi:10.1145/3839522
Müller, Peter Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Sound State Encodings in Translational ..." Article: oopslab26main-p403-p (type: Full Paper) doi:10.1145/3839462 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Abductive Inference of Separation ..." Article: oopslab26main-p797-p (type: Full Paper) doi:10.1145/3839488
Murase, Yuito Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Refined² Environment Classifiers ..." Article: oopslab26main-p847-p (type: Full Paper) doi:10.1145/3839493
Nandi, Chandrakana Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Efficient Extraction for Effectful ..." Article: oopslab26main-p1395-p (type: Full Paper) doi:10.1145/3839530
Nguyen, Dat Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Bonsai: Efficient and Optimal ..." Article: oopslab26main-p941-p (type: Full Paper) doi:10.1145/3839510
Nguyen, Khanh Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Bonsai: Efficient and Optimal ..." Article: oopslab26main-p941-p (type: Full Paper) doi:10.1145/3839510
Nguyen, Tien N. Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "T-REX: Teaching Large Language ..." Article: oopslab26main-p116-p (type: Full Paper) doi:10.1145/3839452
Nguyễn, Kim Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Implementing Set-Theoretic ..." Article: oopslab26main-p532-p (type: Full Paper) doi:10.1145/3839466
Ni, Haobin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Efficient Extraction for Effectful ..." Article: oopslab26main-p1395-p (type: Full Paper) doi:10.1145/3839530
Nicolet, Victor Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Incremental Program Synthesis ..." Article: oopslab26main-p363-p (type: Full Paper) doi:10.1145/3839460
Niu, Xintao Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automated Debugging of Datalog ..." Article: oopslab26main-p1057-p (type: Full Paper) doi:10.1145/3839516
Nowacki, Todd Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Tracking Borrows with Regular ..." Article: oopslab26main-p1171-p (type: Full Paper) doi:10.1145/3839521
Odersky, Martin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Classifying Capabilities ..." Article: oopslab26main-p593-p (type: Full Paper) doi:10.1145/3839474 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "First-Class Refinement Types ..." Article: oopslab26main-p1986-p (type: Full Paper) doi:10.1145/3839541
Omar, Cyrus Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Interactive Data Analysis ..." Article: oopslab26main-p902-p (type: Full Paper) doi:10.1145/3839501
Ozga, Wojciech Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Bringing Foundational Verification ..." Article: oopslab26main-p769-p (type: Full Paper) doi:10.1145/3839484
Pai, Sreepathi Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Symbolic Basic Block Profiling ..." Article: oopslab26main-p705-p (type: Full Paper) doi:10.1145/3839483
Pal, Anjali Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Efficient Extraction for Effectful ..." Article: oopslab26main-p1395-p (type: Full Paper) doi:10.1145/3839530
Panchekha, Pavel Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Semantics for 2D Rasterization ..." Article: oopslab26main-p563-p (type: Full Paper) doi:10.1145/3839471 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Accurate Residues for Floating-Point ..." Article: oopslab26main-p1278-p (type: Full Paper) doi:10.1145/3839526
Pardeshi, Akash Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automatically Generating ML ..." Article: oopslab26main-p309-p (type: Full Paper) doi:10.1145/3839457
Parker, James Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "ZSafe: Proving the Safety ..." Article: oopslab26main-p1118-p (type: Full Paper) doi:10.1145/3839517
Parreaux, Lionel Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Programming with Composable ..." Article: oopslab26main-p889-p (type: Full Paper) doi:10.1145/3839500 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Modular Type Safety for Traits ..." Article: oopslab26main-p1000-p (type: Full Paper) doi:10.1145/3839514
Patel, Krut Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automatically Generating ML ..." Article: oopslab26main-p309-p (type: Full Paper) doi:10.1145/3839457
Pavlogiannis, Andreas Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A New Approach to Optimal ..." Article: oopslab26main-p885-p (type: Full Paper) doi:10.1145/3839499
Peng, Sixiang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "SPONGE: Adaptive Boundary-Anchored ..." Article: oopslab26main-p565-p (type: Full Paper) doi:10.1145/3839472
Petricek, Tomas Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Timeline: Adding the Time ..." Article: oopslab26main-p903-p (type: Full Paper) doi:10.1145/3839502
Pfingstl, Colin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Type System for Optimizing ..." Article: oopslab26main-p292-p (type: Full Paper) doi:10.1145/3839456
Pham, Cao Nguyen Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Classifying Capabilities ..." Article: oopslab26main-p593-p (type: Full Paper) doi:10.1145/3839474
Pierce, Benjamin C. Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Random Testing via Runtime ..." Article: oopslab26main-p996-p (type: Full Paper) doi:10.1145/3839513
Pinto, Elton Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Beyond Nominality: Faster ..." Article: oopslab26main-p257-p (type: Full Paper) doi:10.1145/3839455
Pischke, Kai Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Top-Down = Bottom-Up: Sound ..." Article: oopslab26main-p1566-p (type: Full Paper) doi:10.1145/3839538
Pit-Claudel, Clément Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Language Approach to Fine-Grained ..." Article: oopslab26main-p772-p (type: Full Paper) doi:10.1145/3839486
Pontes García, Pedro Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Understanding Accelerator ..." Article: oopslab26main-p940-p (type: Full Paper) doi:10.1145/3839509
Prokopec, Aleksandar Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Experimental Evaluation Methodology ..." Article: oopslab26main-p193-p (type: Full Paper) doi:10.1145/3839448
Qadeer, Shaz Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Tracking Borrows with Regular ..." Article: oopslab26main-p1171-p (type: Full Paper) doi:10.1145/3839521
Qi, Yun Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automated Debugging of Datalog ..." Article: oopslab26main-p1057-p (type: Full Paper) doi:10.1145/3839516
Qiang, Wei Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Synthesis of Compact and Expressive ..." Article: oopslab26main-p56-p (type: Full Paper) doi:10.1145/3839450
Qiu, Jingyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Symbolic Basic Block Profiling ..." Article: oopslab26main-p705-p (type: Full Paper) doi:10.1145/3839483
Raad, Azalea Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Formal Account of the Wasm ..." Article: oopslab26main-p501-p (type: Full Paper) doi:10.1145/3839465
Raghothaman, Mukund Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Prosecutor: Bayesian Counterfactual ..." Article: oopslab26main-p559-p (type: Full Paper) doi:10.1145/3839469
Rand, Robert Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "TensorRocq: Enabling Diagrammatic ..." Article: oopslab26main-p1457-p (type: Full Paper) doi:10.1145/3839532
Regehr, John Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Sound and Complete Solving ..." Article: oopslab26main-p950-p (type: Full Paper) doi:10.1145/3839511
Rennie, George Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Sound and Complete Solving ..." Article: oopslab26main-p950-p (type: Full Paper) doi:10.1145/3839511
Reps, Thomas Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Spatial and Temporal Decomposition ..." Article: oopslab26main-p964-p (type: Full Paper) doi:10.1145/3839512
Rompf, Tiark Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Type, Ability, and Effect ..." Article: oopslab26main-p1136-p (type: Full Paper) doi:10.1145/3839518
Rong, Yi Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Verifying Economic Security ..." Article: oopslab26main-p625-p (type: Full Paper) doi:10.1145/3839475
Rosà, Andrea Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Experimental Evaluation Methodology ..." Article: oopslab26main-p193-p (type: Full Paper) doi:10.1145/3839448
Rosenthal, Eli Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Efficient Extraction for Effectful ..." Article: oopslab26main-p1395-p (type: Full Paper) doi:10.1145/3839530
Roy, Subhajit Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "LLM-Assisted Unsatisfiability ..." Article: oopslab26main-p70-p (type: Full Paper) doi:10.1145/3839451
Ryu, Sukyoung Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Quantum Monte Carlo Estimation ..." Article: oopslab26main-p411-p (type: Full Paper) doi:10.1145/3839463 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "P4-SpecTec: Integrating a ..." Article: oopslab26main-p1509-p (type: Full Paper) doi:10.1145/3839535
Salvaneschi, Guido Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Composing CRDTs Convergent ..." Article: oopslab26main-p636-p (type: Full Paper) doi:10.1145/3839478
Sampson, Adrian Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Understanding Accelerator ..." Article: oopslab26main-p940-p (type: Full Paper) doi:10.1145/3839509
Sarro, Federica Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Agent-Based Automated Remediation ..." Article: oopslab26main-p869-p (type: Full Paper) doi:10.1145/3839495
Sergey, Ilya Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Infinitary Relational Logic ..." Article: oopslab26main-p1152-p (type: Full Paper) doi:10.1145/3839520 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Tracking Borrows with Regular ..." Article: oopslab26main-p1171-p (type: Full Paper) doi:10.1145/3839521 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Semi-declarative Language ..." Article: oopslab26main-p1419-p (type: Full Paper) doi:10.1145/3839531
Sharma, Rahul Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Equivalence Checking of ML ..." Article: oopslab26main-p562-p (type: Full Paper) doi:10.1145/3839470
Shi, Haifeng Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Transitive, Abstract, and ..." Article: oopslab26main-p835-p (type: Full Paper) doi:10.1145/3839491
Shi, Jingyi Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "From Similarity Ranking to ..." Article: oopslab26main-p1602-p (type: Full Paper) doi:10.1145/3839539
Shi, Yuanfeng Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "LLM-Based Alarm Resolution ..." Article: oopslab26main-p1540-p (type: Full Paper) doi:10.1145/3839536
Shinnar, Avraham Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Bringing Foundational Verification ..." Article: oopslab26main-p769-p (type: Full Paper) doi:10.1145/3839484
Sighireanu, Mihaela Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "AADT: Abstract Abstract Data ..." Article: oopslab26main-p1236-p (type: Full Paper) doi:10.1145/3839523
Silva, Alexandra Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Type-Directed Discretization ..." Article: oopslab26main-p1463-p (type: Full Paper) doi:10.1145/3839534
Simonnet, Julien Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "AADT: Abstract Abstract Data ..." Article: oopslab26main-p1236-p (type: Full Paper) doi:10.1145/3839523
Singer, Jeremy Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "CapOpt: Capability-Aware Superoptimization ..." Article: oopslab26main-p664-p (type: Full Paper) doi:10.1145/3839481
Slaughter, Elliott Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Relight: Simple User-Level ..." Article: oopslab26main-p680-p (type: Full Paper) doi:10.1145/3839482
Soi, Rupanshu Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Relight: Simple User-Level ..." Article: oopslab26main-p680-p (type: Full Paper) doi:10.1145/3839482
Soler Arrufat, Sergi Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Language Approach to Fine-Grained ..." Article: oopslab26main-p772-p (type: Full Paper) doi:10.1145/3839486
Song, Wei Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "ReFun: Reconstructing Function ..." Article: oopslab26main-p1030-p (type: Full Paper) doi:10.1145/3839515
Spencer, William Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "TensorRocq: Enabling Diagrammatic ..." Article: oopslab26main-p1457-p (type: Full Paper) doi:10.1145/3839532
Städing Dominguez, Alexander Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Composing CRDTs Convergent ..." Article: oopslab26main-p636-p (type: Full Paper) doi:10.1145/3839478
Stefanesco, Léo Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Sound and Complete Solving ..." Article: oopslab26main-p950-p (type: Full Paper) doi:10.1145/3839511
Su, Zhendong Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Revisiting Path Coverage Tracing ..." Article: oopslab26main-p456-p (type: Full Paper) doi:10.1145/3839464
Sun, Chenyang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "SPONGE: Adaptive Boundary-Anchored ..." Article: oopslab26main-p565-p (type: Full Paper) doi:10.1145/3839472
Sun, Jiechen Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "T-REX: Teaching Large Language ..." Article: oopslab26main-p116-p (type: Full Paper) doi:10.1145/3839452
Sun, Lian Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Transitive, Abstract, and ..." Article: oopslab26main-p835-p (type: Full Paper) doi:10.1145/3839491
Sun, Maolin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Validating Optimizing SMT ..." Article: oopslab26main-p1547-p (type: Full Paper) doi:10.1145/3839537
Sun, Xiaoyang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "CapOpt: Capability-Aware Superoptimization ..." Article: oopslab26main-p664-p (type: Full Paper) doi:10.1145/3839481
Sun, Yuqiang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Agent-Based Automated Remediation ..." Article: oopslab26main-p869-p (type: Full Paper) doi:10.1145/3839495
Sundram, Shiv Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Filtr: Compiling Bioinformatics ..." Article: oopslab26main-p916-p (type: Full Paper) doi:10.1145/3839504
Ta, Mier Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Transitive, Abstract, and ..." Article: oopslab26main-p835-p (type: Full Paper) doi:10.1145/3839491
Takhar, Gourav Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "LLM-Assisted Unsatisfiability ..." Article: oopslab26main-p70-p (type: Full Paper) doi:10.1145/3839451
Talpin, Jean-Pierre Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Formalizing the Linux eBPF ..." Article: oopslab26main-p24-p (type: Full Paper) doi:10.1145/3839449
Tan, Jun Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "When Do Staging Annotations ..." Article: oopslab26main-p633-p (type: Full Paper) doi:10.1145/3839477
Tan, Tian Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Heap Abstraction via Early-Confluent ..." Article: oopslab26main-p770-p (type: Full Paper) doi:10.1145/3839485 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "When FPGA Meets Dataflow Analysis: ..." Article: oopslab26main-p935-p (type: Full Paper) doi:10.1145/3839508
Tang, Shuyang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Staged Multi-step UTXO Workflows ..." Article: oopslab26main-p815-p (type: Full Paper) doi:10.1145/3839489
Tang, Yazhou Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Formalizing the Linux eBPF ..." Article: oopslab26main-p24-p (type: Full Paper) doi:10.1145/3839449
Tao, Yichen Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Probabilistic Floating-Point ..." Article: oopslab26main-p169-p (type: Full Paper) doi:10.1145/3839447
Tatlock, Zachary Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Efficient Extraction for Effectful ..." Article: oopslab26main-p1395-p (type: Full Paper) doi:10.1145/3839530
Thimmaiah, Aditya Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "MGQL: An Executable, Small-Step ..." Article: oopslab26main-p337-p (type: Full Paper) doi:10.1145/3839459
Tjoa, Ryan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Efficient Extraction for Effectful ..." Article: oopslab26main-p1395-p (type: Full Paper) doi:10.1145/3839530
Tsai, Wei-Lun Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Verifying Repeat-until-Success ..." Article: oopslab26main-p918-p (type: Full Paper) doi:10.1145/3839506
Tůma, Petr Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Experimental Evaluation Methodology ..." Article: oopslab26main-p193-p (type: Full Paper) doi:10.1145/3839448
Vafeiadis, Viktor Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Formal Account of the Wasm ..." Article: oopslab26main-p501-p (type: Full Paper) doi:10.1145/3839465 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "RGSep under Release/Acquire ..." Article: oopslab26main-p933-p (type: Full Paper) doi:10.1145/3839507
Villumsen, Jakob Schneider Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Fighting Supply Chain Attacks ..." Article: oopslab26main-p863-p (type: Full Paper) doi:10.1145/3839494
Vinaithirthan, Bala Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Filtr: Compiling Bioinformatics ..." Article: oopslab26main-p916-p (type: Full Paper) doi:10.1145/3839504
Vitek, Jan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Revisiting Row Polymorphism ..." Article: oopslab26main-p917-p (type: Full Paper) doi:10.1145/3839505
Vora, Keval Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Synthesizing Graph Queries ..." Article: oopslab26main-p1253-p (type: Full Paper) doi:10.1145/3839524
Wang, Haijun Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Code–Test Co-translation: ..." Article: oopslab26main-p830-p (type: Full Paper) doi:10.1145/3839490
Wang, Huanting Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "CapOpt: Capability-Aware Superoptimization ..." Article: oopslab26main-p664-p (type: Full Paper) doi:10.1145/3839481
Wang, Jinpeng Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Heap Abstraction via Early-Confluent ..." Article: oopslab26main-p770-p (type: Full Paper) doi:10.1145/3839485
Wang, Ke Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Seeking Evidence of Further ..." Article: oopslab26main-p182-p (type: Full Paper) doi:10.1145/3839454 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "BackSmith: A Systematic Approach ..." Article: oopslab26main-p1391-p (type: Full Paper) doi:10.1145/3839529
Wang, Linzhang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Seeking Evidence of Further ..." Article: oopslab26main-p182-p (type: Full Paper) doi:10.1145/3839454
Wang, Sean Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Infinitary Relational Logic ..." Article: oopslab26main-p1152-p (type: Full Paper) doi:10.1145/3839520
Wang, Shaohua Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "T-REX: Teaching Large Language ..." Article: oopslab26main-p116-p (type: Full Paper) doi:10.1145/3839452
Wang, Xizao Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automated Debugging of Datalog ..." Article: oopslab26main-p1057-p (type: Full Paper) doi:10.1145/3839516
Wang, Yan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "T-REX: Teaching Large Language ..." Article: oopslab26main-p116-p (type: Full Paper) doi:10.1145/3839452
Wang, Yang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Augur: Predicting View Serializability ..." Article: oopslab26main-p659-p (type: Full Paper) doi:10.1145/3839480
Wang, Yu Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Seeking Evidence of Further ..." Article: oopslab26main-p182-p (type: Full Paper) doi:10.1145/3839454 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "BackSmith: A Systematic Approach ..." Article: oopslab26main-p1391-p (type: Full Paper) doi:10.1145/3839529
Wang, Yuepeng Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Synthesizing Graph Queries ..." Article: oopslab26main-p1253-p (type: Full Paper) doi:10.1145/3839524
Wang, Zheng Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "CapOpt: Capability-Aware Superoptimization ..." Article: oopslab26main-p664-p (type: Full Paper) doi:10.1145/3839481
Watt, Conrad Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A Formal Account of the Wasm ..." Article: oopslab26main-p501-p (type: Full Paper) doi:10.1145/3839465
Wei, Anjiang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Equivalence Checking of ML ..." Article: oopslab26main-p562-p (type: Full Paper) doi:10.1145/3839470
Wei, Fang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "When FPGA Meets Dataflow Analysis: ..." Article: oopslab26main-p935-p (type: Full Paper) doi:10.1145/3839508
Wei, Guannan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "When Do Staging Annotations ..." Article: oopslab26main-p633-p (type: Full Paper) doi:10.1145/3839477 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Compiling WebAssembly Concolic ..." Article: oopslab26main-p881-p (type: Full Paper) doi:10.1145/3839498
Wei, Jiashen Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automated Debugging of Datalog ..." Article: oopslab26main-p1057-p (type: Full Paper) doi:10.1145/3839516
Weisenburger, Pascal Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Composing CRDTs Convergent ..." Article: oopslab26main-p636-p (type: Full Paper) doi:10.1145/3839478
Whiting, Henry Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Semantics for 2D Rasterization ..." Article: oopslab26main-p563-p (type: Full Paper) doi:10.1145/3839471
Wu, Jiang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Code–Test Co-translation: ..." Article: oopslab26main-p830-p (type: Full Paper) doi:10.1145/3839490
Wu, Katherine Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Type-Directed Discretization ..." Article: oopslab26main-p1463-p (type: Full Paper) doi:10.1145/3839534
Wu, Rongxin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "SmartFuzz: Leveraging Large ..." Article: oopslab26main-p630-p (type: Full Paper) doi:10.1145/3839476
Wu, You-Jie Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Verifying Repeat-until-Success ..." Article: oopslab26main-p918-p (type: Full Paper) doi:10.1145/3839506
Xia, Xin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "T-REX: Teaching Large Language ..." Article: oopslab26main-p116-p (type: Full Paper) doi:10.1145/3839452
Xiao, Yang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "From Similarity Ranking to ..." Article: oopslab26main-p1602-p (type: Full Paper) doi:10.1145/3839539
Xie, Ningning Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Modular Type Safety for Traits ..." Article: oopslab26main-p1000-p (type: Full Paper) doi:10.1145/3839514
Xie, Peichu Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Reducing Hallucinations in ..." Article: oopslab26main-p1277-p (type: Full Paper) doi:10.1145/3839525
Xie, Runshuo Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automated Debugging of Datalog ..." Article: oopslab26main-p1057-p (type: Full Paper) doi:10.1145/3839516
Xie, Xiaofei Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Code–Test Co-translation: ..." Article: oopslab26main-p830-p (type: Full Paper) doi:10.1145/3839490
Xiong, Aosen Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Transitive, Abstract, and ..." Article: oopslab26main-p835-p (type: Full Paper) doi:10.1145/3839491
Xiong, Yingfei Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "LLM-Based Alarm Resolution ..." Article: oopslab26main-p1540-p (type: Full Paper) doi:10.1145/3839536
Xu, Haotian Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Reducing Hallucinations in ..." Article: oopslab26main-p1277-p (type: Full Paper) doi:10.1145/3839525
Xu, Yichen Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Classifying Capabilities ..." Article: oopslab26main-p593-p (type: Full Paper) doi:10.1145/3839474
Xu, Zhengzi Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "From Similarity Ranking to ..." Article: oopslab26main-p1602-p (type: Full Paper) doi:10.1145/3839539
Yadavally, Aashish Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "T-REX: Teaching Large Language ..." Article: oopslab26main-p116-p (type: Full Paper) doi:10.1145/3839452
Yang, Yibiao Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Validating Optimizing SMT ..." Article: oopslab26main-p1547-p (type: Full Paper) doi:10.1145/3839537
Yang, Ziyi Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Semi-declarative Language ..." Article: oopslab26main-p1419-p (type: Full Paper) doi:10.1145/3839531
Yao, Xinchen Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Pyriscope: Precise and Low-Overhead ..." Article: oopslab26main-p649-p (type: Full Paper) doi:10.1145/3839479
Yao, Yuan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Planning to Hammer: Difficulty-Aware ..." Article: oopslab26main-p880-p (type: Full Paper) doi:10.1145/3839497
Ye, He Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Agent-Based Automated Remediation ..." Article: oopslab26main-p869-p (type: Full Paper) doi:10.1145/3839495
Yorihiro, Ayaka Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Understanding Accelerator ..." Article: oopslab26main-p940-p (type: Full Paper) doi:10.1145/3839509
Yoshida, Nobuko Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Top-Down = Bottom-Up: Sound ..." Article: oopslab26main-p1566-p (type: Full Paper) doi:10.1145/3839538
Yuan, Shenghao Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Formalizing the Linux eBPF ..." Article: oopslab26main-p24-p (type: Full Paper) doi:10.1145/3839449
Zaher, Ahmed Khaled Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "A New Approach to Optimal ..." Article: oopslab26main-p885-p (type: Full Paper) doi:10.1145/3839499
Zakhour, George Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Composing CRDTs Convergent ..." Article: oopslab26main-p636-p (type: Full Paper) doi:10.1145/3839478
Zhan, Zhongsheng Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Heap Abstraction via Early-Confluent ..." Article: oopslab26main-p770-p (type: Full Paper) doi:10.1145/3839485
Zhang, Bowen Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "SPONGE: Adaptive Boundary-Anchored ..." Article: oopslab26main-p565-p (type: Full Paper) doi:10.1145/3839472
Zhang, Charles Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "SPONGE: Adaptive Boundary-Anchored ..." Article: oopslab26main-p565-p (type: Full Paper) doi:10.1145/3839472
Zhang, Danfeng Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Sound Enforcement of Dynamic ..." Article: oopslab26main-p841-p (type: Full Paper) doi:10.1145/3839492
Zhang, Lyuye Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Agent-Based Automated Remediation ..." Article: oopslab26main-p869-p (type: Full Paper) doi:10.1145/3839495
Zhang, Nairen Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "When FPGA Meets Dataflow Analysis: ..." Article: oopslab26main-p935-p (type: Full Paper) doi:10.1145/3839508
Zhang, Ning Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Planning to Hammer: Difficulty-Aware ..." Article: oopslab26main-p880-p (type: Full Paper) doi:10.1145/3839497
Zhang, Qirun Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Spatial and Temporal Decomposition ..." Article: oopslab26main-p964-p (type: Full Paper) doi:10.1145/3839512
Zhang, Wenmeng Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Real-to-Sim Generation: Synthesizing ..." Article: oopslab26main-p1287-p (type: Full Paper) doi:10.1145/3839527
Zhang, Xin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "LLM-Based Alarm Resolution ..." Article: oopslab26main-p1540-p (type: Full Paper) doi:10.1145/3839536
Zhang, Yi Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Seeking Evidence of Further ..." Article: oopslab26main-p182-p (type: Full Paper) doi:10.1145/3839454
Zhang, Yifan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "LLM-Based Alarm Resolution ..." Article: oopslab26main-p1540-p (type: Full Paper) doi:10.1145/3839536
Zhang, Yihong Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Efficient Extraction for Effectful ..." Article: oopslab26main-p1395-p (type: Full Paper) doi:10.1145/3839530
Zhang, Yiyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automated Debugging of Datalog ..." Article: oopslab26main-p1057-p (type: Full Paper) doi:10.1145/3839516
Zhao, Jianhua Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "BackSmith: A Systematic Approach ..." Article: oopslab26main-p1391-p (type: Full Paper) doi:10.1145/3839529
Zhao, Qiyuan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Infinitary Relational Logic ..." Article: oopslab26main-p1152-p (type: Full Paper) doi:10.1145/3839520
Zhao, Yaoyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Classifying Capabilities ..." Article: oopslab26main-p593-p (type: Full Paper) doi:10.1145/3839474
Zheng, Yanan Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "T-REX: Teaching Large Language ..." Article: oopslab26main-p116-p (type: Full Paper) doi:10.1145/3839452
Zhong, Dinghong Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Compiling WebAssembly Concolic ..." Article: oopslab26main-p881-p (type: Full Paper) doi:10.1145/3839498
Zhou, Li Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Quantum Uncomputation of Clean ..." Article: oopslab26main-p1342-p (type: Full Paper) doi:10.1145/3839528
Zhou, Yuming Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Validating Optimizing SMT ..." Article: oopslab26main-p1547-p (type: Full Paper) doi:10.1145/3839537
Zhuang, Yanlin Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "SmartFuzz: Leveraging Large ..." Article: oopslab26main-p630-p (type: Full Paper) doi:10.1145/3839476
Ziegler, Parker Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Direct Manipulation and Natural ..." Article: oopslab26main-p792-p (type: Full Paper) doi:10.1145/3839487
Zuo, Zhiqiang Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Pyriscope: Precise and Low-Overhead ..." Article: oopslab26main-p649-p (type: Full Paper) doi:10.1145/3839479 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "When FPGA Meets Dataflow Analysis: ..." Article: oopslab26main-p935-p (type: Full Paper) doi:10.1145/3839508 Proc. ACM Program. Lang., vol. 10, issue OOPSLA2: "Automated Debugging of Datalog ..." Article: oopslab26main-p1057-p (type: Full Paper) doi:10.1145/3839516

391 authors

proc time: 8.73