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

391 authors

proc time: 4.09