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

Proceedings of the ACM on Programming Languages, Volume 8, Number OOPSLA1, October 20–25, 2024, Pasadena, CA, USA

OOPSLA1 2024 – 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

Ahmed, Amal OOPSLA1 '24: "Gradually Typed Languages ..."
Alshnakat, Anoud OOPSLA1 '24: "HOL4P4: Mechanized Small-Step ..."
Amin, Nada OOPSLA1 '24: "Persimmon: Nested Family Polymorphism ..."
Apostolakis, Sotiris OOPSLA1 '24: "PROMPT: A Fast and Extensible ..."
August, David I. OOPSLA1 '24: "PROMPT: A Fast and Extensible ..."
Avanzini, Martin OOPSLA1 '24: "Hopping Proofs of Expectation-Based ..."
Bambeck, Jacob OOPSLA1 '24: "Cocoon: Static Information ..."
Bangaru, Sai Praveen OOPSLA1 '24: "Distributions for Compositionally ..."
Bansal, Sorav OOPSLA1 '24: "Modeling Dynamic (De)Allocations ..."
Barthe, Gilles OOPSLA1 '24: "Hopping Proofs of Expectation-Based ..."
Beardsley, Vincent OOPSLA1 '24: "Cocoon: Static Information ..."
Bernstein, Gilbert OOPSLA1 '24: "Distributions for Compositionally ..."
Bichsel, Benjamin OOPSLA1 '24: "Synthetiq: Fast and Versatile ..."
Binder, David OOPSLA1 '24: "Deriving Dependently-Typed ..."
Blumenthal, Christian OOPSLA1 '24: "Exact Bayesian Inference for ..."
Bond, Michael D. OOPSLA1 '24: "Cocoon: Static Information ..."
Boruch-Gruszecki, Aleksander OOPSLA1 '24: "Degrees of Separation: A Flexible ..."
Bove, Ethan OOPSLA1 '24: "Forge: A Tool and Language ..."
Brachthäuser, Jonathan Immanuel OOPSLA1 '24: "Qualifying System F<:: ..."
Brock, Benjamin OOPSLA1 '24: "UniSparse: An Intermediate ..."
Cambronero, José Pablo OOPSLA1 '24: "PyDex: Repairing Bugs in Introductory ..."
Campanoni, Simone OOPSLA1 '24: "PROMPT: A Fast and Extensible ..."
Carbin, Michael OOPSLA1 '24: "Quantum Control Machine: The ..." OOPSLA1 '24: "Distributions for Compositionally ..."
Castello, Jonathan OOPSLA1 '24: "Inductive Diagrams for Causal ..."
Cetin, Burcu OOPSLA1 '24: "Accurate Data Race Prediction ..."
Chatterjee, Krishnendu OOPSLA1 '24: "Quantitative Bounds on Resource ..."
Chen, Mingshuai OOPSLA1 '24: "Exact Bayesian Inference for ..."
Chen, Qian OOPSLA1 '24: "Evaluating the Effectiveness ..."
Chen, Qianfan OOPSLA1 '24: "Forge: A Tool and Language ..."
Chen, Zhe OOPSLA1 '24: "Design and Implementation ..."
Chon, Yebin OOPSLA1 '24: "PROMPT: A Fast and Extensible ..."
Clement, Blaudeau OOPSLA1 '24: "Fulfilling OCaml Modules with ..."
Cohen, Dana Drachsler OOPSLA1 '24: "Verification of Neural Networks’ ..."
Collins, Elias Rojas OOPSLA1 '24: "Distributions for Compositionally ..."
Crichton, Will OOPSLA1 '24: "Profiling Programming Language ..."
Cutler, Joseph W. OOPSLA1 '24: "Cedar: A New Language for ..."
Cutting, Charles OOPSLA1 '24: "Forge: A Tool and Language ..."
Dam, Mads OOPSLA1 '24: "HOL4P4: Mechanized Small-Step ..."
Dekoninck, Jasper OOPSLA1 '24: "Synthetiq: Fast and Versatile ..."
Delaware, Benjamin OOPSLA1 '24: "Taypsi: Static Enforcement ..."
Del Vecchio, Thomas OOPSLA1 '24: "Forge: A Tool and Language ..."
Dimoulas, Christos OOPSLA1 '24: "Gradually Typed Languages ..."
Ding, Yangruibo OOPSLA1 '24: "CYCLE: Learning to Self-Refine ..."
Ding, Zijian OOPSLA1 '24: "UniSparse: An Intermediate ..."
Disselkoen, Craig OOPSLA1 '24: "Cedar: A New Language for ..."
Dyer, Tristan OOPSLA1 '24: "Forge: A Tool and Language ..."
Eline, Aaron OOPSLA1 '24: "Cedar: A New Language for ..."
Enea, Constantin OOPSLA1 '24: "Scenario-Based Proofs for ..."
Feng, Gary OOPSLA1 '24: "Persimmon: Nested Family Polymorphism ..."
Gierczak, Olek OOPSLA1 '24: "Gradually Typed Languages ..."
Goharshady, Amir Kafshdar OOPSLA1 '24: "Quantitative Bounds on Resource ..."
Greenman, Ben OOPSLA1 '24: "Forge: A Tool and Language ..."
Grégoire, Benjamin OOPSLA1 '24: "Hopping Proofs of Expectation-Based ..."
Guanciale, Roberto OOPSLA1 '24: "HOL4P4: Mechanized Small-Step ..."
Gulwani, Sumit OOPSLA1 '24: "PyDex: Repairing Bugs in Introductory ..."
Haase, Darion OOPSLA1 '24: "Exact Bayesian Inference for ..."
Hao, Yu OOPSLA1 '24: "Enhancing Static Analysis ..."
He, Shaobo OOPSLA1 '24: "Cedar: A New Language for ..."
He, Yang OOPSLA1 '24: "VeriEQL: Bounded Equivalence ..."
Headley, Kyle OOPSLA1 '24: "Cedar: A New Language for ..."
Hicks, Michael OOPSLA1 '24: "Cedar: A New Language for ..."
Hietala, Kesha OOPSLA1 '24: "Cedar: A New Language for ..."
Honoré, Wolf OOPSLA1 '24: "AdoB: Bridging Benign and ..."
Hou, Weidong OOPSLA1 '24: "Understanding and Finding ..."
Ioannidis, Eleftherios OOPSLA1 '24: "Cedar: A New Language for ..."
Iskander, Jonas OOPSLA1 '24: "Persimmon: Nested Family Polymorphism ..."
Jana, Suman OOPSLA1 '24: "Accurate Data Race Prediction ..."
Jia, Zhihao OOPSLA1 '24: "Quarl: A Learning-Based Quantum ..."
Kabaha, Anan OOPSLA1 '24: "Verification of Neural Networks’ ..."
Kaiser, Gail OOPSLA1 '24: "CYCLE: Learning to Self-Refine ..."
Kastner, John OOPSLA1 '24: "Cedar: A New Language for ..."
Katoen, Joost-Pieter OOPSLA1 '24: "Exact Bayesian Inference for ..."
Kavanagh, Ryan OOPSLA1 '24: "Message-Observing Sessions ..."
Kim, Jieung OOPSLA1 '24: "AdoB: Bridging Benign and ..."
Kim, Yoonseung OOPSLA1 '24: "AdoB: Bridging Benign and ..."
Kjolstad, Fredrik OOPSLA1 '24: "Compiling Recurrences over ..."
Klinkenberg, Lutz OOPSLA1 '24: "Exact Bayesian Inference for ..."
Koskinen, Eric OOPSLA1 '24: "Scenario-Based Proofs for ..."
Kravchuk-Kirilyuk, Anastasiya OOPSLA1 '24: "Persimmon: Nested Family Polymorphism ..."
Krishnamurthi, Shriram OOPSLA1 '24: "Profiling Programming Language ..." OOPSLA1 '24: "Forge: A Tool and Language ..." OOPSLA1 '24: "Identifying and Correcting ..."
Kuper, Lindsey OOPSLA1 '24: "Inductive Diagrams for Causal ..."
Lamba, Ada OOPSLA1 '24: "Cocoon: Static Information ..."
Le, Vu OOPSLA1 '24: "PyDex: Repairing Bugs in Introductory ..."
Lee, Edward OOPSLA1 '24: "Qualifying System F<:: ..."
Lei, Yuxiang OOPSLA1 '24: "Iterative-Epoch Online Cycle ..."
LeVine, Sidney OOPSLA1 '24: "Forge: A Tool and Language ..."
Lhoták, Ondřej OOPSLA1 '24: "Qualifying System F<:: ..."
Li, Haonan OOPSLA1 '24: "Enhancing Static Analysis ..."
Li, Tzu-Mao OOPSLA1 '24: "Distributions for Compositionally ..."
Li, Xuandong OOPSLA1 '24: "Understanding and Finding ..."
Li, Yi OOPSLA1 '24: "A Learning-Based Approach ..."
Li, Yongjian OOPSLA1 '24: "Mechanizing the CMP Abstraction ..."
Li, Zikun OOPSLA1 '24: "Quarl: A Learning-Based Quantum ..."
Lim, Yongwhan OOPSLA1 '24: "Accurate Data Race Prediction ..."
Lin, Sina OOPSLA1 '24: "Quarl: A Learning-Based Quantum ..."
Lin, Zhiqiang OOPSLA1 '24: "Cocoon: Static Information ..."
Liu, Congyu OOPSLA1 '24: "ParDiff: Practical Static ..."
Liu, Jie OOPSLA1 '24: "UniSparse: An Intermediate ..."
Liu, Ruyan OOPSLA1 '24: "Evaluating the Effectiveness ..."
Liu, Xuwei OOPSLA1 '24: "ParDiff: Practical Static ..."
Lu, Kuang-Chen OOPSLA1 '24: "Identifying and Correcting ..."
Lu, Yifei OOPSLA1 '24: "Understanding and Finding ..."
Lundberg, Didrik OOPSLA1 '24: "HOL4P4: Mechanized Small-Step ..."
Ma, Pingchuan OOPSLA1 '24: "PP-CSA: Practical Privacy-Preserving ..."
Mamat, Anwar OOPSLA1 '24: "Cedar: A New Language for ..."
Marshall, Daniel OOPSLA1 '24: "Functional Ownership through ..."
McAdams, Darin OOPSLA1 '24: "Cedar: A New Language for ..."
McCutchen, Matt OOPSLA1 '24: "Cedar: A New Language for ..."
Meggendorfer, Tobias OOPSLA1 '24: "Quantitative Bounds on Resource ..."
Mei, Yixuan OOPSLA1 '24: "Quarl: A Learning-Based Quantum ..."
Menon, Lucy OOPSLA1 '24: "Gradually Typed Languages ..."
Michel, Jesse OOPSLA1 '24: "Distributions for Compositionally ..."
Min, Marcus J. OOPSLA1 '24: "CYCLE: Learning to Self-Refine ..."
Mirakhorli, Mehdi OOPSLA1 '24: "Seneca: Taint-Based Call Graph ..."
Moser, Georg OOPSLA1 '24: "Hopping Proofs of Expectation-Based ..."
Mu, Kevin OOPSLA1 '24: "Distributions for Compositionally ..."
Mukherjee, Manasij OOPSLA1 '24: "Hydra: Generalizing Peephole ..."
Naik, Aaditya OOPSLA1 '24: "TorchQL: A Programming Framework ..."
Naik, Mayur OOPSLA1 '24: "TorchQL: A Programming Framework ..."
Nakamaru, Tomoki OOPSLA1 '24: "Multiverse Notebook: Shifting ..."
Nelson, Tim OOPSLA1 '24: "Forge: A Tool and Language ..."
Nguyen, Tien N. OOPSLA1 '24: "A Learning-Based Approach ..."
Odersky, Martin OOPSLA1 '24: "Degrees of Separation: A Flexible ..."
Orchard, Dominic OOPSLA1 '24: "Functional Ownership through ..."
Ostermann, Klaus OOPSLA1 '24: "Deriving Dependently-Typed ..."
Padon, Oded OOPSLA1 '24: "Quarl: A Learning-Based Quantum ..."
Pan, Minxue OOPSLA1 '24: "Understanding and Finding ..."
Pang, Jun OOPSLA1 '24: "Mechanizing the CMP Abstraction ..."
Paradis, Anouk OOPSLA1 '24: "Synthetiq: Fast and Versatile ..."
Peng, Jinjun OOPSLA1 '24: "Quarl: A Learning-Based Quantum ..."
Pientka, Brigitte OOPSLA1 '24: "Message-Observing Sessions ..."
Piskac, Ruzica OOPSLA1 '24: "PyDex: Repairing Bugs in Introductory ..."
Prasad, Siddhartha OOPSLA1 '24: "Forge: A Tool and Language ..."
Qian, Zhiyun OOPSLA1 '24: "Enhancing Static Analysis ..."
Qiu, Longfei OOPSLA1 '24: "AdoB: Bridging Benign and ..."
Radanne, Gabriel OOPSLA1 '24: "Fulfilling OCaml Modules with ..."
Ragan-Kelley, Jonathan OOPSLA1 '24: "Distributions for Compositionally ..."
Ray, Baishakhi OOPSLA1 '24: "CYCLE: Learning to Self-Refine ..."
Redmond, Patrick OOPSLA1 '24: "Inductive Diagrams for Causal ..."
Regehr, John OOPSLA1 '24: "Hydra: Generalizing Peephole ..."
Rémy, Didier OOPSLA1 '24: "Fulfilling OCaml Modules with ..."
Reps, Thomas OOPSLA1 '24: "Newtonian Program Analysis ..."
Rigger, Manuel OOPSLA1 '24: "Finding Cross-Rule Optimization ..."
Rong, Hongbo OOPSLA1 '24: "UniSparse: An Intermediate ..."
Rose, Abhishek OOPSLA1 '24: "Modeling Dynamic (De)Allocations ..."
Rudner, Julianne OOPSLA1 '24: "Forge: A Tool and Language ..."
Rümmer, Philipp OOPSLA1 '24: "A Constraint Solving Approach ..."
Rungta, Neha OOPSLA1 '24: "Cedar: A New Language for ..."
Ryan, Gabriel OOPSLA1 '24: "Accurate Data Race Prediction ..."
Ryjikov, Ben OOPSLA1 '24: "Forge: A Tool and Language ..."
Saliling, Angelina OOPSLA1 '24: "Outcome Separation Logic: ..."
Santos, Joanna C. S. OOPSLA1 '24: "Seneca: Taint-Based Call Graph ..."
Satheeskumar, Kavin OOPSLA1 '24: "Qualifying System F<:: ..."
Sato, Shigeyuki OOPSLA1 '24: "Multiverse Notebook: Shifting ..."
Shao, Zhong OOPSLA1 '24: "AdoB: Bridging Benign and ..."
Shi, Qingkai OOPSLA1 '24: "ParDiff: Practical Static ..."
Shi, Yuanfeng OOPSLA1 '24: "Learning Abstraction Selection ..."
Shin, Ji-Yong OOPSLA1 '24: "AdoB: Bridging Benign and ..."
Shokri, Ali OOPSLA1 '24: "Seneca: Taint-Based Call Graph ..."
Silva, Alexandra OOPSLA1 '24: "Outcome Separation Logic: ..."
Skupin, Ingo OOPSLA1 '24: "Deriving Dependently-Typed ..."
Smith, Scott OOPSLA1 '24: "A Pure Demand Operational ..."
Soares, Gustavo OOPSLA1 '24: "PyDex: Repairing Bugs in Introductory ..."
Stein, Adam OOPSLA1 '24: "TorchQL: A Programming Framework ..."
Stjerna, Amanda OOPSLA1 '24: "A Constraint Solving Approach ..."
Su, Ting OOPSLA1 '24: "Evaluating the Effectiveness ..."
Su, Yian OOPSLA1 '24: "PROMPT: A Fast and Extensible ..."
Su, Zhendong OOPSLA1 '24: "Understanding and Finding ..."
Süberkrüb, Tim OOPSLA1 '24: "Deriving Dependently-Typed ..."
Sui, Yulei OOPSLA1 '24: "Iterative-Epoch Online Cycle ..."
Sundram, Shiv OOPSLA1 '24: "Compiling Recurrences over ..."
Tan, Zujun OOPSLA1 '24: "PROMPT: A Fast and Extensible ..."
Tariq, Muhammad Usman OOPSLA1 '24: "Compiling Recurrences over ..."
Taylor, Max OOPSLA1 '24: "Cocoon: Static Information ..."
Torlak, Emina OOPSLA1 '24: "Cedar: A New Language for ..."
Vanoni, Gabriele OOPSLA1 '24: "Hopping Proofs of Expectation-Based ..."
Varga, Alexander OOPSLA1 '24: "Forge: A Tool and Language ..."
Vechev, Martin OOPSLA1 '24: "Synthetiq: Fast and Versatile ..."
Verbruggen, Gust OOPSLA1 '24: "PyDex: Repairing Bugs in Introductory ..."
Villanyi, Agnes OOPSLA1 '24: "Quantum Control Machine: The ..."
Wagner, Andrew OOPSLA1 '24: "Forge: A Tool and Language ..."
Wang, Di OOPSLA1 '24: "Newtonian Program Analysis ..."
Wang, Huaijin OOPSLA1 '24: "PP-CSA: Practical Privacy-Preserving ..."
Wang, Ke OOPSLA1 '24: "Evaluating the Effectiveness ..."
Wang, Linzhang OOPSLA1 '24: "Evaluating the Effectiveness ..." OOPSLA1 '24: "Finding Cross-Rule Optimization ..."
Wang, Shaohua OOPSLA1 '24: "A Learning-Based Approach ..."
Wang, Shuai OOPSLA1 '24: "PP-CSA: Practical Privacy-Preserving ..."
Wang, Xinyu OOPSLA1 '24: "VeriEQL: Bounded Equivalence ..."
Wang, Yu OOPSLA1 '24: "Evaluating the Effectiveness ..."
Wang, Yuepeng OOPSLA1 '24: "VeriEQL: Bounded Equivalence ..."
Wang, Zhaoyu OOPSLA1 '24: "PP-CSA: Practical Privacy-Preserving ..."
Wang, Zhemin OOPSLA1 '24: "Design and Implementation ..."
Wei, Guannan OOPSLA1 '24: "ParDiff: Practical Static ..."
Wells, Andrew M. OOPSLA1 '24: "Cedar: A New Language for ..."
West, Luke OOPSLA1 '24: "Forge: A Tool and Language ..."
Wong, Eric OOPSLA1 '24: "TorchQL: A Programming Framework ..."
Wu, Yi OOPSLA1 '24: "Quarl: A Learning-Based Quantum ..."
Wu, Yinjun OOPSLA1 '24: "TorchQL: A Programming Framework ..."
Xu, Pei OOPSLA1 '24: "Iterative-Epoch Online Cycle ..."
Xu, Xiangzhe OOPSLA1 '24: "ParDiff: Practical Static ..."
Xu, Yichen OOPSLA1 '24: "Degrees of Separation: A Flexible ..."
Xu, Ziyang OOPSLA1 '24: "PROMPT: A Fast and Extensible ..."
Xue, Jingling OOPSLA1 '24: "Iterative-Epoch Online Cycle ..."
Yadavally, Aashish OOPSLA1 '24: "A Learning-Based Approach ..."
Yang, Xuanda OOPSLA1 '24: "Distributions for Compositionally ..."
Ye, Qianchuan OOPSLA1 '24: "Taypsi: Static Enforcement ..."
You, James OOPSLA1 '24: "Qualifying System F<:: ..."
Yu, Chenyang OOPSLA1 '24: "Evaluating the Effectiveness ..."
Yu, Le OOPSLA1 '24: "ParDiff: Practical Static ..."
Yuan, Charles OOPSLA1 '24: "Quantum Control Machine: The ..."
Zhai, Yizhuo OOPSLA1 '24: "Enhancing Static Analysis ..."
Zhan, Bohua OOPSLA1 '24: "Mechanizing the CMP Abstraction ..."
Zhang, Chi OOPSLA1 '24: "Evaluating the Effectiveness ..." OOPSLA1 '24: "Finding Cross-Rule Optimization ..."
Zhang, Jialu OOPSLA1 '24: "PyDex: Repairing Bugs in Introductory ..."
Zhang, Robert OOPSLA1 '24: "A Pure Demand Operational ..."
Zhang, Xiangyu OOPSLA1 '24: "ParDiff: Practical Static ..."
Zhang, Xin OOPSLA1 '24: "Learning Abstraction Selection ..."
Zhang, Yifan OOPSLA1 '24: "Learning Abstraction Selection ..."
Zhang, Yizhou OOPSLA1 '24: "Persimmon: Nested Family Polymorphism ..."
Zhang, Zhiru OOPSLA1 '24: "UniSparse: An Intermediate ..."
Zhao, Pinhan OOPSLA1 '24: "VeriEQL: Bounded Equivalence ..."
Zhao, Yaoyu OOPSLA1 '24: "Qualifying System F<:: ..."
Zhao, Zhongyuan OOPSLA1 '24: "UniSparse: An Intermediate ..."
Zheng, Mingwei OOPSLA1 '24: "ParDiff: Practical Static ..."
Zhu, Yunlong OOPSLA1 '24: "Design and Implementation ..."
Žikelić, Đorđe OOPSLA1 '24: "Quantitative Bounds on Resource ..."
Zilberstein, Noam OOPSLA1 '24: "Outcome Separation Logic: ..."

227 authors

proc time: 64.55