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

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

OOPSLA1 2025 – Author Index

Contents - Abstracts - Authors

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

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

265 authors

proc time: 35.15