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

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

OOPSLA2 2025 – Author Index

Contents - Abstracts - Authors

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

Aamer, Zain K Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Bennet: Randomized Specification ..."
Abbas, Neha Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeRace: Assessing and Addressing ..."
Agarwal, Chaitanya Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstract Interpretation of ..."
Ahmed, Amal Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "From Linearity to Borrowing ..."
Ahn, Joongwon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "React-tRace: A Semantics for ..."
Ahrens, Willow Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Continuous Tensor Abstraction: ..."
Akhin, Marat Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Finding Compiler Bugs through ..."
Aldrich, Jonathan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Information Flow: ..."
Aldrich, Mark W. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "RestPi: Path-Sensitive Type ..."
Ali, Shan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Coinductive Proofs of Regular ..."
Allard, Henry Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Embedding Quantum Program ..."
Amarasinghe, Saman Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Continuous Tensor Abstraction: ..."
An, Zixi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..."
Anand, Aditya Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "CoSSJIT: Combining Static ..."
Angel, Sebastian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Temporal Logic ..."
Antoniadis, Anastasios Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Universal Scalability in Declarative ..."
Antonopoulos, Timos Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Coinductive Proofs of Regular ..."
Argo, Sven Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Detecting and Explaining (In-)equivalence ..."
Ayoun, Sacha-Élie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Symbolic Execution ..."
Bachurski, Jakub Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mind the Abstraction Gap: ..."
Bai, Alexander Y. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..."
Bai, Guangdong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Convex Hull Approximation ..."
Bao, Peihua Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..."
Bao, Yuyan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modeling Reachability Types ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Complete the Cycle: Reachability ..."
Barnaby, Celeste Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Active Learning for Neurosymbolic ..."
Barrett, Clark Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..."
Basso, Matteo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Heap-Snapshot Matching and ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HeapBuffers: Why Not Just ..."
Bastani, Osbert Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Active Learning for Neurosymbolic ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Opportunistically Parallel ..."
Beillahi, Sidi Mohamed Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HEMVM: A Heterogeneous Blockchain ..."
Beneš, Jiří Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Simple Essence of Overloading: ..."
Bensoussan, Avner Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Shaking Up Quantum Simulators ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AccelerQ: Accelerating Quantum ..."
Berger, Ryan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..."
Beschastnikh, Ivan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TraceLinking Implementations ..."
Beutner, Raven Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Verifying Asynchronous Hyperproperties ..."
Bhat, Siddharth Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Certified Decision Procedures ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..."
Bijlani, Baldip Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Memory-Safety Verification ..."
Bílý, Aurel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Refinement Methodology for ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Place Capability Graphs: A ..."
Binder, Walter Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Heap-Snapshot Matching and ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HeapBuffers: Why Not Just ..."
Blackburn, Stephen M. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Work Packets: A New Abstraction ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Advancing Performance via ..."
Blinn, Andrew Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Syntactic Completions with ..."
Bocevska, Ivana Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Divide and Conquer: A Compositional ..."
Bodík, Rastislav Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HieraSynth: A Parallel Framework ..."
Bolz-Tereick, CF Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tracing Just-in-Time Compilation ..."
Bonetta, Daniele Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HeapBuffers: Why Not Just ..."
Boushehrinejad Moradi, Nader Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..."
Böving, Henrik Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..."
Bowman, Wavid Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..."
Bračevac, Oliver Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "What’s in the Box: Ergonomic ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modeling Reachability Types ..."
Brachthäuser, Jonathan Immanuel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tracing Just-in-Time Compilation ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Dynamic Wind for Effect Handlers ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Simple Essence of Overloading: ..."
Brendel, Ana Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing Implication Lemmas ..."
Briles, Mitch Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..."
Brown, Fraser Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scaling Instruction-Selection ..."
Buckley, Anita Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Language for Quantifying ..."
Burchell, Humphrey Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Divining Profiler Accuracy: ..."
Cadar, Cristian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "P³: Reasoning about Patches ..."
Calderón Trilla, José Manuel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Exploring the Theory and Practice ..."
Canelas, Paulo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ROSpec: A Domain-Specific ..."
Cao, Man Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Advancing Performance via ..."
Cao, Qinxiang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Encode the ∀∃ Relational ..."
Castello, Jonathan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Exploring the Theory and Practice ..."
Cecchetti, Ethan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Choreographic Quick Changes: ..."
Chachkarova, Elena Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Shaking Up Quantum Simulators ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AccelerQ: Accelerating Quantum ..."
Chandra, Kartik Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Domain-Specific Probabilistic ..."
Chatterjee, Prantik Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Memory-Safety Verification ..."
Chen, Chong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..."
Chen, Fei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "im2im: Automatically Converting ..."
Chen, Guanlin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tunneling through the Hill: ..."
Chen, Hongbo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..."
Chen, Junjie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DESIL: Detecting Silent Bugs ..."
Chen, Qiaochu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Active Learning for Neurosymbolic ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Automated Discovery of Tactic ..."
Chen, Siyan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..."
Chen, Tony Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Domain-Specific Probabilistic ..."
Chen, Weiyi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Probabilistic Inference for ..."
Chen, Xi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..."
Chen, Yanju Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..."
Chen, Yanning Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..."
Chen, Yitong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ABC: Towards a Universal Code ..."
Chen, Zhenbang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Multi-modal Sketch-Based Behavior ..."
Cheng, Feifei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Embedding Quantum Program ..."
Cheng, Ruotong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Products of Recursive Programs ..."
Cheng, Xiao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Efficient Abstract Interpretation ..."
Chlipala, Adam Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Pyrosome: Verified Compilation ..."
Choi, Joonwon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Revamping Verilog Semantics ..."
Chuprikov, Pavel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Language for Quantifying ..."
Cicolini, Luisa Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..."
Cito, Jürgen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Static Inference of Regular ..."
Clarke, Christopher Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..."
Clune, Joshua Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..."
Coblenz, Michael Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "RestPi: Path-Sensitive Type ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On the Impact of Formal Verification ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Evaluation of ..."
Cohen, Albert Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mind the Abstraction Gap: ..."
Cohen, Dana Drachsler Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Quantization with Guaranteed ..."
Collin, Teodoro Fields Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Continuous Tensor Abstraction: ..."
Coughlin, Nicholas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..."
Cui, Guofeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstraction Refinement-Guided ..."
Cui, Weidong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..."
Dahmen, Tim Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "im2im: Automatically Converting ..."
Dai, Jiarun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ApkDiffer: Accurate and Scalable ..."
Dal Lago, Ugo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On Higher-Order Model Checking ..."
D'Amorim, Marcelo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Faster Explicit-Trace Monitoring-Oriented ..."
Dang, Sixuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..."
Dantanarayana, Jayanaka L. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..."
Delaware, Benjamin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "We’ve Got You Covered: Type-Guided ..."
De Medeiros, Markus Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Place Capability Graphs: A ..."
Demsky, Brian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards Verifying Crash Consistency ..."
Deng, Haotian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Complete the Cycle: Reachability ..."
Deng, Ming Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..."
Derakhshan, Farzaneh Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Quantified Underapproximation ..."
Dharanikota, Samvid Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fray: An Efficient General-Purpose ..."
Díaz, Tomás Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flexible and Expressive Typed ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Certified Programming ..."
Dillig, Işıl Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Probabilistic Inference for ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Homomorphism Calculus for ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Active Learning for Neurosymbolic ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Automated Discovery of Tactic ..."
Dimitrov, Dimitar Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "qblaze: An Efficient and Scalable ..."
Dimoulas, Christos Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Contract System Metatheories ..."
Drachsler-Cohen, Dana Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mini-Batch Robustness Verification ..."
Drossopoulou, Sophia Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Reasoning about External Calls ..."
Duan, Yuanlin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstraction Refinement-Guided ..."
Dubach, Christophe Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Sound and Modular Activity ..."
Duck, Gregory J. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Large Language Model Powered ..."
Dutta, Saikat Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Understanding and Improving ..."
Eilers, Marco Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modular Reasoning about Global ..."
Eisenbach, Susan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Reasoning about External Calls ..."
Emer, Joel S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Continuous Tensor Abstraction: ..."
Eugster, Patrick Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Language for Quantifying ..."
Even-Mendoza, Karine Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Shaking Up Quantum Simulators ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AccelerQ: Accelerating Quantum ..."
Fallin, Chris Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scaling Instruction-Selection ..."
Fan, Max Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Proof Repair across Quotient ..."
Fang, Ruijie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Homomorphism Calculus for ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Software Model Checking via ..."
Farzan, Azadeh Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Products of Recursive Programs ..."
Fedyukovich, Grigory Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Flow-Sensitive Refinement ..."
Feeley, Marc Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Float Self-Tagging ..."
Feng, Qiong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Finding Compiler Bugs through ..."
Feng, Yang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..."
Feng, Yu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..."
Feng, Ziyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Finding Compiler Bugs through ..."
Fiala, Jonáš Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Place Capability Graphs: A ..."
Findler, Robert Bruce Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Contract System Metatheories ..."
Finkbeiner, Bernd Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Verifying Asynchronous Hyperproperties ..."
Firlejczyk, Patricia Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modular Reasoning about Global ..."
Flautner, Krisztian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..."
Fonseca, Alcides Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ROSpec: A Domain-Specific ..."
Fortz, Sophie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Shaking Up Quantum Simulators ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AccelerQ: Accelerating Quantum ..."
Foster, Jeffrey S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "RestPi: Path-Sensitive Type ..."
Francalanza, Adrian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Correct Black-Box Monitors ..."
Frenot, Léon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..."
Fu, Hongfei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Abstraction and ..."
Gaißert, Marcial Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tracing Just-in-Time Compilation ..."
Gao, Cunyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Lightweight Type-and-Effect ..."
Gao, Miao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ABC: Towards a Universal Code ..."
Gao, Yanfeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HybridPersist: A Compiler ..."
Gao, Zhiqiang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ABC: Towards a Universal Code ..."
Gardner, Philippa Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Symbolic Execution ..."
Garg, Deepak Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Non-interference Preserving ..."
Garg, Poorva Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tuning Random Generators: ..."
Ge, Zhaoyi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Zero-Overhead Lexical Effect ..."
Geer, Jasper Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Place Capability Graphs: A ..."
Gehr, Timon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "qblaze: An Efficient and Scalable ..."
Gierczak, Olek Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "From Linearity to Borrowing ..."
Gilbert, Elizabeth Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..."
Glover, Nathan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Integrating Resource Analyses ..."
Godfrey, Brighten Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeTree: Expressive Tree ..."
Goldstein, Harrison Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tuning Random Generators: ..."
Gong, Yeyun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..."
Goodman, Noah D. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Automated Discovery of Tactic ..."
Gordon, Colin S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modal Abstractions for Virtualizing ..."
Gouni, Hemant Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Information Flow: ..."
Grannan, Zachary Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Place Capability Graphs: A ..."
Grech, Neville Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Universal Scalability in Declarative ..."
Grewal, Karuna Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeTree: Expressive Tree ..."
Grosser, Tobias Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Certified Decision Procedures ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..."
Guan, Kevin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Faster Explicit-Trace Monitoring-Oriented ..."
Gulcan, Ege Berkay Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Model-Guided Fuzzing of Distributed ..."
Gurfinkel, Arie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Flow-Sensitive Refinement ..."
Gutierrez, Claudio Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flexible and Expressive Typed ..."
Hack, Sebastian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Non-interference Preserving ..."
Hackett, Finn Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TraceLinking Implementations ..."
Hague, Matthew Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Power of Regular Constraint ..."
Halalingaiah, Shashin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Probabilistic Inference for ..."
Hamouda, Sara S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Advancing Performance via ..."
Hamza, Ameer Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Flow-Sensitive Refinement ..."
Han, Xing Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..."
Han, Zhilei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Abstraction and ..."
Hao, Dan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..."
Hawblitzel, Chris Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..."
He, Dongjie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fast Client-Driven CFL-Reachability ..."
He, Fei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Abstraction and ..."
He, Siyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Complete the Cycle: Reachability ..."
He, Yumeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Formalizing Linear Motion ..."
Hirsch, Andrew K. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Choreographic Quick Changes: ..."
Hoffmann, Jan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Integrating Resource Analyses ..."
Hong, Weijiang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Multi-modal Sketch-Based Behavior ..."
Hsu, Justin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Hoare Logic for Symmetry ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeTree: Expressive Tree ..."
Huang, Jeff Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DepFuzz: Efficient Smart Contract ..."
Huang, Xuejing Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Liberating Merges via Apartness ..."
Hückelheim, Jan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing Sound and Precise ..."
Hughes, Chris Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Certified Decision Procedures ..."
Hughes, Jacob Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Garbage Collection for Rust: ..."
Hwang, Doha Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Corrigendum: PAFL: Enhancing ..."
Ioannidis, Eleftherios Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Temporal Logic ..."
Isychev, Anastasia Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Cost of Soundness in Mixed-Precision ..."
Jafari, Seyed Mohammad Reza Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Embedding Quantum Program ..."
Jagannathan, Suresh Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "We’ve Got You Covered: Type-Guided ..."
Jamner, Dustin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Pyrosome: Verified Compilation ..."
Jayakumar, Nikhil Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "GALA: A High Performance Graph ..."
Jeon, Minseok Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Corrigendum: PAFL: Enhancing ..."
Jeż, Artur Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Power of Regular Constraint ..."
Jhala, Ranjit Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On the Impact of Formal Verification ..."
Ji, Ruyi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tunneling through the Hill: ..."
Jia, Limin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Quantified Underapproximation ..."
Jia, Songlin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modeling Reachability Types ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Complete the Cycle: Reachability ..."
Jiang, Jiajun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DESIL: Detecting Silent Bugs ..."
Jung, Max Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Zero-Overhead Lexical Effect ..."
Kabaha, Anan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Quantization with Guaranteed ..."
Kallas, Konstantinos Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Opportunistically Parallel ..."
Kammer, Gabriel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Pyrosome: Verified Compilation ..."
Kang, Byeongjee Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fray: An Efficient General-Purpose ..."
Kang, Jeehoon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Revamping Verilog Semantics ..."
Kang, Yiping Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..."
Kashmira, Savini Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..."
Keizer, Alex Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..."
Khan, Harun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..."
Kiefer, Sandra Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Detecting and Explaining (In-)equivalence ..."
Kim, Donguk Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Corrigendum: PAFL: Enhancing ..."
Kim, Jaewoo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Revamping Verilog Semantics ..."
Kincaid, Zachary Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Software Model Checking via ..."
Kirisame, Marisa Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Bidirectional ..."
Kjolstad, Fredrik Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "REPTILE: Performant Tiling ..."
Klein, Mark Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Quantified Underapproximation ..."
Klimis, Vasileios Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Shaking Up Quantum Simulators ..."
Kolesar, John C. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Coinductive Proofs of Regular ..."
Koskinen, Eric Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstract Interpretation of ..."
Kovács, Laura Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Divide and Conquer: A Compositional ..."
Krogmeier, Paul Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing DSLs for Few-Shot ..."
Kuper, Lindsey Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Exploring the Theory and Practice ..."
Kuru, Ismail Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modal Abstractions for Virtualizing ..."
LaFontaine, Patrick Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "We’ve Got You Covered: Type-Guided ..."
Laguna, Ignacio Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing Sound and Precise ..."
Lahiri, Shuvendu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..."
Lai, Cheuk Tung Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Extraction and Mutation at ..."
Lai, JianXin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..."
Lal, Akash Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Memory-Safety Verification ..."
Lam, Kait Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..."
Lampropoulos, Leonidas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Quantum Control ..."
Laurel, Jacob Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing Sound and Precise ..."
Lauwaerts, Tom Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MIO: Multiverse Debugging ..."
Laybourn, Isabella Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fray: An Efficient General-Purpose ..."
Lee, Ashley Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeRace: Assessing and Addressing ..."
Lee, Edward Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Qualified Types with Boolean ..."
Lee, Jay Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "React-tRace: A Semantics for ..."
Lee, Keonho Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards Verifying Crash Consistency ..."
Lee, Leo Seojun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mind the Abstraction Gap: ..."
Lee, Zheng Han Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Efficient Decrease-and-Conquer ..."
Legunsen, Owolabi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Faster Explicit-Trace Monitoring-Oriented ..."
Lenadora, Damitha Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "GALA: A High Performance Graph ..."
Lenihan, Connor Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Shaking Up Quantum Simulators ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AccelerQ: Accelerating Quantum ..."
Levin, Kyla H. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "RestPi: Path-Sensitive Type ..."
Levine, Reese Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeRace: Assessing and Addressing ..."
Lhoták, Ondřej Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Qualified Types with Boolean ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flix: A Design for Language-Integrated ..."
Li, Ao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fray: An Efficient General-Purpose ..."
Li, Baichuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..."
Li, Baixuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ABC: Towards a Universal Code ..."
Li, Chenxi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Two Approaches to Fast Bytecode ..."
Li, Chenxing Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HEMVM: A Heterogeneous Blockchain ..."
Li, Guanyan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Abstraction and ..."
Li, Haofeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fast Client-Driven CFL-Reachability ..."
Li, John M. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "From Linearity to Borrowing ..."
Li, Juanen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Abstraction and ..."
Li, Lian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fast Client-Driven CFL-Reachability ..."
Li, Liyi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Embedding Quantum Program ..."
Li, Long Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..."
Li, Mingyi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..."
Li, Peilun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HEMVM: A Heterogeneous Blockchain ..."
Li, Shangyu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Sound Static Analysis Approach ..."
Li, Shaohua Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interleaving Large Language ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..."
Li, Xuandong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HybridPersist: A Compiler ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "PReMM: LLM-Based Program Repair ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TailTracer: Continuous Tail ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards a Theoretically-Backed ..."
Li, Xuheng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..."
Li, Yi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TailTracer: Continuous Tail ..."
Li, Yihe Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Large Language Model Powered ..."
Li, Yue Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Two Approaches to Fast Bytecode ..."
Li, Zhong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "PReMM: LLM-Based Program Repair ..."
Liang, Peng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Finding Compiler Bugs through ..."
Lin, Anthony Widjaja Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Power of Regular Constraint ..."
Lin, Haoran Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Two Approaches to Fast Bytecode ..."
Lin, Youfang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..."
Little, Kyle Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeRace: Assessing and Addressing ..."
Liu, Hanzhi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..."
Liu, Junrui Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..."
Liu, Kui Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "PReMM: LLM-Based Program Repair ..."
Liu, Lang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Quantified Underapproximation ..."
Liu, Tianyi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TailTracer: Continuous Tail ..."
Liu, Yan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..."
Liu, Zixi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..."
Löff, Júnior Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HeapBuffers: Why Not Just ..."
Lohar, Debasmita Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Cost of Soundness in Mixed-Precision ..."
Long, Fan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HEMVM: A Heterogeneous Blockchain ..."
Lööw, Andreas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Symbolic Execution ..."
Lopes, Nuno P. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..."
Lorch, Jacob R. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..."
Lu, Jie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fast Client-Driven CFL-Reachability ..."
Lu, Longlong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards a Theoretically-Backed ..."
Lu, Shan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..."
Lu, Shuai Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..."
Lu, Sirui Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HieraSynth: A Parallel Framework ..."
Lu, Yifei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards a Theoretically-Backed ..."
Luo, Mingyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ApkDiffer: Accurate and Scalable ..."
Ma, Chenyang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DepFuzz: Efficient Smart Contract ..."
Ma, Cong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Zero-Overhead Lexical Effect ..."
Ma, Hui Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..."
Ma, Xiaotian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Finding Compiler Bugs through ..."
Ma, Zhongkui Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Convex Hull Approximation ..."
Mackay, Julian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Reasoning about External Calls ..."
Mada, Stefan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..."
Madhusudan, P. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing DSLs for Few-Shot ..."
Madsen, Magnus Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Qualified Types with Boolean ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flix: A Design for Language-Integrated ..."
Maier, Daryl Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "CoSSJIT: Combining Static ..."
Maillard, Kenji Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Certified Programming ..."
Majumdar, Rupak Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Model-Guided Fuzzing of Distributed ..."
Mao, Wensen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstraction Refinement-Guided ..."
Markgraf, Oliver Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Power of Regular Constraint ..."
Marr, Stefan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Divining Profiler Accuracy: ..."
Mars, Jason Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..."
Marshall, Brianna Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "From Linearity to Borrowing ..."
Mathur, Umang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Efficient Decrease-and-Conquer ..."
McKinley, Kathryn S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Work Packets: A New Abstraction ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Advancing Performance via ..."
McLoughlin, Michael Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scaling Instruction-Selection ..."
Mehta, Vaibhav Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Hoare Logic for Symmetry ..."
Melançon, Olivier Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Float Self-Tagging ..."
Mell, Stephen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Opportunistically Parallel ..."
Mendis, Charith Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "GALA: A High Performance Graph ..."
Meng, Ruijie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Large Language Model Powered ..."
Miller, Heather Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..."
Millstein, Todd Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tuning Random Generators: ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing Implication Lemmas ..."
Mints, Mikhail Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Quantum Control ..."
Mishra, Ashish Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "We’ve Got You Covered: Type-Guided ..."
Misu, Md Rakib Hossain Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..."
Mohamed, Abdalrhman Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..."
Moon, David Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Syntactic Completions with ..."
Moreno, Gabriel A. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Quantified Underapproximation ..."
Moser, Cyril Flurin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating Soundness and Completeness ..."
Moses, William S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mind the Abstraction Gap: ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Sound and Modular Activity ..."
Mugnier, Eric Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On the Impact of Formal Verification ..."
Müller, Peter Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Refinement Methodology for ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Place Capability Graphs: A ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modular Reasoning about Global ..."
Nag, Ritam Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Pyrosome: Verified Compilation ..."
Nagendra, Srinidhi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Model-Guided Fuzzing of Distributed ..."
Nandi, Chandrakana Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Formalizing Linear Motion ..."
Nantes-Sobrinho, Daniele Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Symbolic Execution ..."
Navas, Jorge A. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Flow-Sensitive Refinement ..."
Nekriach, Vladyslav Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HEMVM: A Heterogeneous Blockchain ..."
Ni, Yunbo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interleaving Large Language ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..."
Nicola, Mihai Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstract Interpretation of ..."
Niu, Yue Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Integrating Resource Analyses ..."
Noble, James Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Reasoning about External Calls ..."
Odersky, Martin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "What’s in the Box: Ergonomic ..."
Oh, Hakjoo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Corrigendum: PAFL: Enhancing ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Enhancing APR with PRISM: ..."
Oliveira, Bruno C. d. S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Liberating Merges via Apartness ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flexible and Expressive Typed ..."
Omar, Cyrus Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Bidirectional ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Syntactic Completions with ..."
Otoni, Rodrigo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Language for Quantifying ..."
Ozkan, Burcu Kulahcioglu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Model-Guided Fuzzing of Distributed ..."
Padhye, Rohan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fray: An Efficient General-Purpose ..."
Pai, Sreepathi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Formalizing Linear Motion ..."
Pan, Minxue Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards a Theoretically-Backed ..."
Panchekha, Pavel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Bidirectional ..."
Park, Seung Hoon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Symbolic Execution ..."
Parno, Bryan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scaling Instruction-Selection ..."
Parreaux, Lionel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Lightweight Type-and-Effect ..."
Pearson, Luke Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..."
Pei, Yu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "PReMM: LLM-Based Program Repair ..."
Peng, Mai Jacob Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Sound and Modular Activity ..."
Peng, Yiteng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Extraction and Mutation at ..."
Pereira, João Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Refinement Methodology for ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modular Reasoning about Global ..."
Petković Komel, Anja Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Divide and Conquer: A Compositional ..."
Pfenning, Frank Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Information Flow: ..."
Pham, Cao Nguyen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "What’s in the Box: Ergonomic ..."
Pham, Long Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Integrating Resource Analyses ..."
Phothilimthana, Phitchaya Mangpo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mind the Abstraction Gap: ..."
Pierce, Benjamin C. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tuning Random Generators: ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Bennet: Randomized Specification ..."
Piskac, Ruzica Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Coinductive Proofs of Regular ..."
Poesia, Gabriel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Automated Discovery of Tactic ..."
Porter, Thomas J. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Bidirectional ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Syntactic Completions with ..."
Potanin, Alex Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Embedding Quantum Program ..."
Prokopec, Aleksandar Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Heap-Snapshot Matching and ..."
Ragan-Kelley, Jonathan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Domain-Specific Probabilistic ..."
Rahman, Shanto Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Understanding and Improving ..."
Rain, Sophie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Divide and Conquer: A Compositional ..."
Ramalingam, Ramya Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Active Learning for Neurosymbolic ..."
Rand, Robert Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Quantum Control ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Language for Quantifying ..."
Ravi, Savitha Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Evaluation of ..."
Rawson, Michael Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Divide and Conquer: A Compositional ..."
Redmond, Patrick Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Exploring the Theory and Practice ..."
Regehr, John Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..."
Reps, Thomas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Software Model Checking via ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scalable Equivalence Checking ..."
Rigger, Manuel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flexible and Expressive Typed ..."
Ringer, Talia Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Proof Repair across Quotient ..."
Rompf, Tiark Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modeling Reachability Types ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Complete the Cycle: Reachability ..."
Rosà, Andrea Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Heap-Snapshot Matching and ..."
Rosemann, Julian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Non-interference Preserving ..."
Rowicki, Radosław Jan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Correct Black-Box Monitors ..."
Roy, Subhajit Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Memory-Safety Verification ..."
Rümmer, Philipp Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Power of Regular Constraint ..."
Saad, Feras Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Integrating Resource Analyses ..."
Saffrich, Hannes Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Borrowing from Session Types ..."
Saha, Sunita Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "im2im: Automatically Converting ..."
Samuelson, Ashley Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Choreographic Quick Changes: ..."
Scalas, Alceste Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Correct Black-Box Monitors ..."
Schemmel, Daniel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "P³: Reasoning about Patches ..."
Schmellenkamp, Marko Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Detecting and Explaining (In-)equivalence ..."
Schmerl, Bradley Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ROSpec: A Domain-Specific ..."
Schneider, Matthew Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..."
Scholliers, Christophe Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MIO: Multiverse Debugging ..."
Schröder, Michael Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Static Inference of Regular ..."
Schuler, Manuela Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "im2im: Automatically Converting ..."
Schuster, Philipp Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Dynamic Wind for Effect Handlers ..."
Sekiyama, Taro Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On Higher-Order Model Checking ..."
Serrano, Manuel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Float Self-Tagging ..."
Sharma, Arindam Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "P³: Reasoning about Patches ..."
Shen, Jiasi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Sound Static Analysis Approach ..."
Shen, Qingchao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DESIL: Detecting Silent Bugs ..."
Sheng, Ashley Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scaling Instruction-Selection ..."
Shi, August Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Understanding and Improving ..."
Shi, Chenghang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fast Client-Driven CFL-Reachability ..."
Shi, Chuanqi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ABC: Towards a Universal Code ..."
Shi, Qingkai Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..."
Shi, Yuanfeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On Abstraction Refinement ..."
Siems, Cedric Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Detecting and Explaining (In-)equivalence ..."
Sihler, Florian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Statically Analyzing the Dataflow ..."
Sivaraman, Aishwarya Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing Implication Lemmas ..."
Sivasothynathan, Kugesan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..."
Sjöstedt, Opale Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Symbolic Execution ..."
Slusallek, Philipp Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "im2im: Automatically Converting ..."
Smaragdakis, Yannis Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Universal Scalability in Declarative ..."
Song, Dowon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Enhancing APR with PRISM: ..."
Song, Jiaxin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..."
Song, Wei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Finding Compiler Bugs through ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DepFuzz: Efficient Smart Contract ..."
Sorensen, Tyler Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeRace: Assessing and Addressing ..."
Sotiropoulos, Thodoris Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating Soundness and Completeness ..."
Soulé, Robert Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Language for Quantifying ..."
Spaderna, Janek Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Borrowing from Session Types ..."
Starup, Jonathan Lindegaard Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Qualified Types with Boolean ..."
Stebel, Fynn Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Detecting and Explaining (In-)equivalence ..."
Steevens, Maarten Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MIO: Multiverse Debugging ..."
Stefanesco, Léo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Certified Decision Procedures ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..."
Su, Zhendong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating Soundness and Completeness ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..."
Sudusinghe, Chamika Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "GALA: A High Performance Graph ..."
Sui, Tianxiang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..."
Sui, Yulei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Efficient Abstract Interpretation ..."
Summers, Alexander J. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Place Capability Graphs: A ..."
Sun, Chengnian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Boosting Program Reduction ..."
Sun, Jun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Correct-by-Construction: Certified ..."
Sun, Maolin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating SMT Rewriters via ..."
Sundaresan, Vijay Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "CoSSJIT: Combining Static ..."
Sundram, Shiv Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "REPTILE: Performant Tiling ..."
Suo, Chenyao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DESIL: Detecting Silent Bugs ..."
Tabareau, Nicolas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Certified Programming ..."
Takhar, Gourav Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Memory-Safety Verification ..."
Tan, Guangming Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..."
Tan, Tian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Two Approaches to Fast Bytecode ..."
Tang, Dixin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Homomorphism Calculus for ..."
Tang, Lingjia Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..."
Tanter, Éric Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Certified Programming ..."
Tariq, Muhammad Usman Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "REPTILE: Performant Tiling ..."
Tate, Ross Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Type-Outference with Label-Listeners: ..."
Tenenbaum, Joshua B. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Domain-Specific Probabilistic ..."
Thakur, Manas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "CoSSJIT: Combining Static ..."
Thalanki, Suhas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..."
Thiemann, Peter Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Borrowing from Session Types ..."
Tian, Yongqiang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Boosting Program Reduction ..."
Tichy, Matthias Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Statically Analyzing the Dataflow ..."
Timperley, Christopher S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ROSpec: A Domain-Specific ..."
Tirpankar, Tanmay Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..."
Titzer, Ben L. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..."
Tiwari, Shrey Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fray: An Efficient General-Purpose ..."
Tjoa, Ryan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tuning Random Generators: ..."
Toro, Matías Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flexible and Expressive Typed ..."
Tratt, Laurence Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Garbage Collection for Rust: ..."
Trinh, Xuan Du Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scalable Equivalence Checking ..."
Truong, Conan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards Verifying Crash Consistency ..."
Tsatiris, Ilias Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Universal Scalability in Declarative ..."
Tzour-Shaday, Saar Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mini-Batch Robustness Verification ..."
Udomsrirungruang, Thien Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "qblaze: An Efficient and Scalable ..."
Unno, Hiroshi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On Higher-Order Model Checking ..."
Van Bakel, Isaac Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modular Reasoning about Global ..."
Van den Broeck, Guy Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tuning Random Generators: ..."
Vangeepuram, Sushen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Embedding Quantum Program ..."
VanHattum, Alexa Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scaling Instruction-Selection ..."
Vasconcelos, Vasco T. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Borrowing from Session Types ..."
Vechev, Martin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "qblaze: An Efficient and Scalable ..."
Veneris, Andreas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HEMVM: A Heterogeneous Blockchain ..."
Venev, Hristo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "qblaze: An Efficient and Scalable ..."
Vikram, Vasudev Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fray: An Efficient General-Purpose ..."
Viola, Cosmo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Proof Repair across Quotient ..."
Vohra, Arya Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mind the Abstraction Gap: ..."
Voichick, Finn Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Quantum Control ..."
Voigt, David Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Dynamic Wind for Effect Handlers ..."
Vrgoč, Domagoj Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flexible and Expressive Typed ..."
Wagner, Andrew Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "From Linearity to Borrowing ..."
Wang, Bo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..."
Wang, Chao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Probabilistic Inference for ..."
Wang, Jianrong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DESIL: Detecting Silent Bugs ..."
Wang, Jiawei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Efficient Abstract Interpretation ..."
Wang, Jingbo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Probabilistic Inference for ..."
Wang, Ke Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synchronized Behavior Checking: ..."
Wang, Linzhang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synchronized Behavior Checking: ..."
Wang, Peixin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Abstraction and ..."
Wang, Shuai Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Extraction and Mutation at ..."
Wang, XiaoFeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..."
Wang, Yongjia Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DESIL: Detecting Silent Bugs ..."
Wang, Yongzhi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HybridPersist: A Compiler ..."
Wang, Yu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synchronized Behavior Checking: ..."
Wang, Yuning Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstraction Refinement-Guided ..."
Wang, Zhuangda Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TailTracer: Continuous Tail ..."
Wang, Zihan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Convex Hull Approximation ..."
Wang, Ziteng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Homomorphism Calculus for ..."
Wei, Guannan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modeling Reachability Types ..."
Wei, Ivan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Bidirectional ..."
Wen, Hongbo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..."
Wen, Zhongzhen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "PReMM: LLM-Based Program Repair ..."
Wies, Thomas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstract Interpretation of ..."
Won, Jaeyeon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Continuous Tensor Abstraction: ..."
Wong, Wai Kin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Extraction and Mutation at ..."
Wu, Daoyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Extraction and Mutation at ..."
Wu, Jiangchang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating SMT Rewriters via ..."
Wu, Ming Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HEMVM: A Heterogeneous Blockchain ..."
Wu, Rongxin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TailTracer: Continuous Tail ..."
Wu, Shushu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Encode the ∀∃ Relational ..."
Wu, Xiwei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Encode the ∀∃ Relational ..."
Xiao, Dongwei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Extraction and Mutation at ..."
Xiao, Junmin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..."
Xiao, Linjie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..."
Xie, Linna Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "PReMM: LLM-Based Program Repair ..."
Xin, Jimmy Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Automated Discovery of Tactic ..."
Xin, Yutong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Automated Discovery of Tactic ..."
Xiong, Yingfei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tunneling through the Hill: ..."
Xu, Baowen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..."
Xu, Han Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Liberating Merges via Apartness ..."
Xu, Yichen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "What’s in the Box: Ergonomic ..."
Xu, Zhenyang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Boosting Program Reduction ..."
Xue, Jingling Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fast Client-Driven CFL-Reachability ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..."
Yang, Chenyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..."
Yang, Fan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..."
Yang, Min Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ApkDiffer: Accurate and Scalable ..."
Yang, Minghui Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ApkDiffer: Accurate and Scalable ..."
Yang, Sen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..."
Yang, Yibiao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating SMT Rewriters via ..."
Yao, Jianan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..."
Ye, Wenjia Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flexible and Expressive Typed ..."
Yi, Kwangkeun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "React-tRace: A Semantics for ..."
Yin, Xizhe Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..."
You, Shu-Hung Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Contract System Metatheories ..."
Yu, Nengkun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scalable Equivalence Checking ..."
Yuan, Liang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..."
Yuan, Peng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..."
Zakowski, Yannick Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Temporal Logic ..."
Zavalía, Lucas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Flow-Sensitive Refinement ..."
Zdancewic, Steve Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Temporal Logic ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Opportunistically Parallel ..."
Zeume, Thomas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Detecting and Explaining (In-)equivalence ..."
Zhang, Chaoyue Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards a Theoretically-Backed ..."
Zhang, Chengyu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating Soundness and Completeness ..."
Zhang, Danfeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..."
Zhang, Fan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..."
Zhang, Mengxiao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Boosting Program Reduction ..."
Zhang, Ruihan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Correct-by-Construction: Certified ..."
Zhang, Shuhao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tunneling through the Hill: ..."
Zhang, Tian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "PReMM: LLM-Based Program Repair ..."
Zhang, Wenmeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Multi-modal Sketch-Based Behavior ..."
Zhang, Xiaojing Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..."
Zhang, Xin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On Abstraction Refinement ..."
Zhang, Xing Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..."
Zhang, Yi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synchronized Behavior Checking: ..."
Zhang, Yifan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On Abstraction Refinement ..."
Zhang, Yiyu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HybridPersist: A Compiler ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TailTracer: Continuous Tail ..."
Zhang, Yizhou Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Zero-Overhead Lexical Effect ..."
Zhang, Yuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ApkDiffer: Accurate and Scalable ..."
Zhang, Zhaoyang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Sound Static Analysis Approach ..."
Zhao, Wenyu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Work Packets: A New Abstraction ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Advancing Performance via ..."
Zheng, Linus Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Homomorphism Calculus for ..."
Zhong, Sizhe Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Sound Static Analysis Approach ..."
Zhou, Diyu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Sound Static Analysis Approach ..."
Zhou, Quan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..."
Zhou, Yuanyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On the Impact of Formal Verification ..."
Zhou, Yuming Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating SMT Rewriters via ..."
Zhou, Zhe Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "We’ve Got You Covered: Type-Guided ..."
Zhou, Ziqiao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..."
Zhu, He Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstraction Refinement-Guided ..."
Zhu, Qing Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..."
Zinenko, Oleksandr Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mind the Abstraction Gap: ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Sound and Modular Activity ..."
Zuo, Zhiqiang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HybridPersist: A Compiler ..." Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TailTracer: Continuous Tail ..."

642 authors

proc time: 51.75