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

Proceedings of the ACM on Programming Languages, Volume 7, Number OOPSLA2, October 22–27, 2023, Cascais, Portugal

OOPSLA2 2023 – 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

Abeysinghe, Supun OOPSLA2 '23: "Graph IRs for Impure Higher-Order ..."
Achour, Sara OOPSLA2 '23: "Hardware-Aware Static Optimization ..."
Allred, Taylor OOPSLA2 '23: "Rhombus: A New Spin on Macros ..."
Almeida Matos, Ana OOPSLA2 '23: "AtomiS: Data-Centric Synchronization ..."
Alur, Rajeev OOPSLA2 '23: "Mobius: Synthesizing Relational ..."
Angle, Nia OOPSLA2 '23: "Rhombus: A New Spin on Macros ..."
Arvidsson, Ellen OOPSLA2 '23: "Reference Capabilities for ..."
Astorga, Angello OOPSLA2 '23: "Perception Contracts for Safety ..."
Banerjee, Arko OOPSLA2 '23: "Data Extraction via Semantic ..."
Bao, Yuyan OOPSLA2 '23: "Graph IRs for Impure Higher-Order ..."
Barrett, Langston OOPSLA2 '23: "Bring Your Own Data Structures ..."
Batz, Kevin OOPSLA2 '23: "A Deductive Verification Infrastructure ..."
Bérard, Alexandre OOPSLA2 '23: "Formally Verifying Optimizations ..."
Bhanuka, Ishan OOPSLA2 '23: "Getting into the Flow: Towards ..."
Bianchini, Riccardo OOPSLA2 '23: "Resource-Aware Soundness for ..."
Binder, David OOPSLA2 '23: "Getting into the Flow: Towards ..."
Birkedal, Lars OOPSLA2 '23: "Spirea: A Mechanized Concurrent ..." OOPSLA2 '23: "Melocoton: A Program Logic ..."
Bonneau, Benjamin OOPSLA2 '23: "Formally Verifying Optimizations ..."
Boulmé, Sylvain OOPSLA2 '23: "Formally Verifying Optimizations ..."
Bračevac, Oliver OOPSLA2 '23: "Graph IRs for Impure Higher-Order ..."
Brachthäuser, Jonathan Immanuel OOPSLA2 '23: "Getting into the Flow: Towards ..." OOPSLA2 '23: "From Capabilities to Regions: ..."
Burchell, Humphrey OOPSLA2 '23: "AST vs. Bytecode: Interpreters ..."
Cai, Yuandao OOPSLA2 '23: "A Cocktail Approach to Practical ..."
Cai, Zhuo OOPSLA2 '23: "Asparagus: Automated Synthesis ..."
Cao, Huanqi OOPSLA2 '23: "Mat2Stencil: A Modular Matrix-Based ..."
Carbin, Michael OOPSLA2 '23: "Turaco: Complexity-Guided ..."
Castegren, Elias OOPSLA2 '23: "Reference Capabilities for ..."
Cederquist, Jan OOPSLA2 '23: "AtomiS: Data-Centric Synchronization ..."
Chang, Bor-Yuh Evan OOPSLA2 '23: "Historia: Refuting Callback ..."
Chasins, Sarah E. OOPSLA2 '23: "How Domain Experts Use an ..."
Chatterjee, Bodhisatwa OOPSLA2 '23: "Beacons: An End-to-End Compiler ..."
Cheeseman, Luke OOPSLA2 '23: "When Concurrency Matters: ..."
Chen, Chao OOPSLA2 '23: "Beacons: An End-to-End Compiler ..."
Chen, Qiaochu OOPSLA2 '23: "Data Extraction via Semantic ..."
Chen, Qinlin OOPSLA2 '23: "The Essence of Verilog: A ..."
Chen, Taolue OOPSLA2 '23: "Compositional Verification ..."
Chen, Wenguang OOPSLA2 '23: "Mat2Stencil: A Modular Matrix-Based ..."
Chen, Yu-Fang OOPSLA2 '23: "Solving String Constraints ..."
Chisnall, David OOPSLA2 '23: "When Concurrency Matters: ..."
Chitre, Khushboo OOPSLA2 '23: "Rapid: Region-Based Pointer ..."
Cho, Minki OOPSLA2 '23: "Stuttering for Free ..."
Chocholatý, David OOPSLA2 '23: "Solving String Constraints ..."
Choi, Jaemin OOPSLA2 '23: "Modular Verification of Safe ..."
Chuang, Cheng-En OOPSLA2 '23: "Validating IoT Devices with ..."
Clebsch, Sylvan OOPSLA2 '23: "Reference Capabilities for ..." OOPSLA2 '23: "When Concurrency Matters: ..."
Conrado, Giovanna Kobus OOPSLA2 '23: "The Bounded Pathwidth of Control-Flow ..." OOPSLA2 '23: "Exploiting the Sparseness ..."
Costea, Andreea OOPSLA2 '23: "Adventure of a Lifetime: Extract ..."
Crichton, Will OOPSLA2 '23: "A Grounded Conceptual Model ..."
Cui, Chen OOPSLA2 '23: "Greedy Implicit Bounded Quantification ..."
Dagnino, Francesco OOPSLA2 '23: "Resource-Aware Soundness for ..."
D'Antoni, Loris OOPSLA2 '23: "Synthesizing Specifications ..."
Dardha, Ornela OOPSLA2 '23: "Structural Subtyping as Parametric ..."
De Gabrielle, Stephen OOPSLA2 '23: "Rhombus: A New Spin on Macros ..."
De Meuter, Wolfgang OOPSLA2 '23: "Secure RDTs: Enforcing Access ..."
Demiralp, Çağatay OOPSLA2 '23: "Data Extraction via Semantic ..."
Desai, Ankush OOPSLA2 '23: "Message Chains for Distributed ..."
Dillig, Işıl OOPSLA2 '23: "Inductive Program Synthesis ..." OOPSLA2 '23: "Data Extraction via Semantic ..."
Dimoulas, Christos OOPSLA2 '23: "How Profilers Can Help Navigate ..."
Ding, Yi OOPSLA2 '23: "Turaco: Complexity-Guided ..."
Dreyer, Derek OOPSLA2 '23: "Melocoton: A Program Logic ..." OOPSLA2 '23: "Stuttering for Free ..."
Drossopoulou, Sophia OOPSLA2 '23: "Reference Capabilities for ..." OOPSLA2 '23: "When Concurrency Matters: ..."
D'Souza, Matt OOPSLA2 '23: "TASTyTruffle: Just-in-Time ..."
Du, Kuntai OOPSLA2 '23: "Run-Time Prevention of Software ..."
Durrett, Greg OOPSLA2 '23: "Data Extraction via Semantic ..."
Erdweg, Sebastian OOPSLA2 '23: "Interactive Debugging of Datalog ..."
Ernst, Michael D. OOPSLA2 '23: "Inference of Resource Management ..."
Farokhnia, Soroush OOPSLA2 '23: "Asparagus: Automated Synthesis ..."
Felleisen, Matthias OOPSLA2 '23: "How Profilers Can Help Navigate ..."
Feser, Jack OOPSLA2 '23: "Inductive Program Synthesis ..."
Findler, Robert Bruce OOPSLA2 '23: "Rhombus: A New Spin on Macros ..."
Firth, Jack OOPSLA2 '23: "Rhombus: A New Spin on Macros ..."
Fisher, Kathleen OOPSLA2 '23: "Saggitarius: A DSL for Specifying ..."
Flatt, Matthew OOPSLA2 '23: "Rhombus: A New Spin on Macros ..."
Flatt, Oliver OOPSLA2 '23: "Equality Saturation Theory ..."
Foster, Nate OOPSLA2 '23: "Formal Abstractions for Packet ..."
Fu, Rongxiao OOPSLA2 '23: "Structural Subtyping as Parametric ..."
Gäher, Lennard OOPSLA2 '23: "Stuttering for Free ..."
Gao, Pengfei OOPSLA2 '23: "Compositional Verification ..."
Gavrilovska, Ada OOPSLA2 '23: "Beacons: An End-to-End Compiler ..."
Gharat, Pritam OOPSLA2 '23: "Inference of Resource Management ..."
Ghorbani, Mahdi OOPSLA2 '23: "Compiling Structured Tensor ..."
Giannini, Paola OOPSLA2 '23: "Resource-Aware Soundness for ..."
Giovannini, Eric OOPSLA2 '23: "Gradual Typing for Effect ..."
Giunti, Marco OOPSLA2 '23: "AtomiS: Data-Centric Synchronization ..."
Goharshady, Amir Kafshdar OOPSLA2 '23: "The Bounded Pathwidth of Control-Flow ..." OOPSLA2 '23: "Asparagus: Automated Synthesis ..." OOPSLA2 '23: "Exploiting the Sparseness ..."
Gopinathan, Kiran OOPSLA2 '23: "Rhombus: A New Spin on Macros ..." OOPSLA2 '23: "Adventure of a Lifetime: Extract ..."
Gourdin, Léo OOPSLA2 '23: "Formally Verifying Optimizations ..."
Gray, Gavin OOPSLA2 '23: "A Grounded Conceptual Model ..."
Greenman, Ben OOPSLA2 '23: "How Profilers Can Help Navigate ..." OOPSLA2 '23: "Rhombus: A New Spin on Macros ..."
Gu, Bin OOPSLA2 '23: "Towards Better Semantics Exploration ..."
Gualandi, Hugo Musso OOPSLA2 '23: "Reusing Just-in-Time Compiled ..."
Guanciale, Roberto OOPSLA2 '23: "P4R-Type: A Verified API for ..."
Guéneau, Armaël OOPSLA2 '23: "Melocoton: A Program Logic ..."
Gueta, Guy OOPSLA2 '23: "Counterexample Driven Quantifier ..."
Guha, Arjun OOPSLA2 '23: "Continuing WebAssembly with ..."
Gui, Yujiang OOPSLA2 '23: "A Container-Usage-Pattern-Based ..."
Guo, Lihua OOPSLA2 '23: "Towards Better Semantics Exploration ..."
Haas, Thomas OOPSLA2 '23: "Static Analysis of Memory ..."
Haller, Philipp OOPSLA2 '23: "P4R-Type: A Verified API for ..."
Hance, Travis OOPSLA2 '23: "Leaf: Modularity for Temporary ..."
Hashemian, Shideh OOPSLA2 '23: "Compiling Structured Tensor ..."
Havlena, Vojtěch OOPSLA2 '23: "Solving String Constraints ..."
He, Dongjie OOPSLA2 '23: "A Container-Usage-Pattern-Based ..."
He, Fei OOPSLA2 '23: "Automated Ambiguity Detection ..."
Henriksen, Troels OOPSLA2 '23: "Fast and Efficient Boolean ..."
Hillerström, Daniel OOPSLA2 '23: "Continuing WebAssembly with ..." OOPSLA2 '23: "Structural Subtyping as Parametric ..."
Hitarth, S. OOPSLA2 '23: "Asparagus: Automated Synthesis ..."
Hoffmann, Henry OOPSLA2 '23: "Run-Time Prevention of Software ..."
Holík, Lukáš OOPSLA2 '23: "Solving String Constraints ..."
Hostert, Johannes OOPSLA2 '23: "Melocoton: A Program Logic ..."
Howell, Jon OOPSLA2 '23: "Leaf: Modularity for Temporary ..." OOPSLA2 '23: "Counterexample Driven Quantifier ..."
Hsieh, Chiao OOPSLA2 '23: "Perception Contracts for Safety ..."
Hu, Raymond OOPSLA2 '23: "Validating IoT Devices with ..."
Hua, David OOPSLA2 '23: "Initializing Global Objects: ..."
Huang, Yifei OOPSLA2 '23: "Explainable Program Synthesis ..."
Huot, Mathieu OOPSLA2 '23: "Compiling Structured Tensor ..."
Iraci, Grant OOPSLA2 '23: "Validating IoT Devices with ..."
Jhala, Ranjit OOPSLA2 '23: "Complete First-Order Reasoning ..."
Jia, Songlin OOPSLA2 '23: "Graph IRs for Impure Higher-Order ..."
Jiang, Junchen OOPSLA2 '23: "Run-Time Prevention of Software ..."
Jiang, Shengyi OOPSLA2 '23: "Greedy Implicit Bounded Quantification ..."
Jiang, Yu OOPSLA2 '23: "Towards Better Semantics Exploration ..." OOPSLA2 '23: "Building Dynamic System Call ..."
Jiang, Yuxuan OOPSLA2 '23: "Graph IRs for Impure Higher-Order ..."
Jung, Jaehwang OOPSLA2 '23: "Modular Verification of Safe ..."
Kaki, Gowtham OOPSLA2 '23: "Verifying Indistinguishability ..." OOPSLA2 '23: "Historia: Refuting Callback ..."
Kaleba, Sophie OOPSLA2 '23: "AST vs. Bytecode: Interpreters ..."
Kaminski, Benjamin Lucien OOPSLA2 '23: "A Deductive Verification Infrastructure ..."
Kandemir, Mahmut Taylan OOPSLA2 '23: "Quantifying and Mitigating ..."
Kang, Jeehoon OOPSLA2 '23: "Modular Verification of Safe ..."
Kappé, Tobias OOPSLA2 '23: "Formal Abstractions for Packet ..."
Kasivajhula, Siddhartha OOPSLA2 '23: "Rhombus: A New Spin on Macros ..."
Katoen, Joost-Pieter OOPSLA2 '23: "A Deductive Verification Infrastructure ..."
Kavanagh, Ryan OOPSLA2 '23: "Mechanizing Session-Types ..."
Kedia, Piyus OOPSLA2 '23: "Rapid: Region-Based Pointer ..."
Kellogg, Martin OOPSLA2 '23: "Inference of Resource Management ..."
Khan, Sharjeel OOPSLA2 '23: "Beacons: An End-to-End Compiler ..."
Kim, Jaewoo OOPSLA2 '23: "Modular Verification of Safe ..."
Knauth, Alex OOPSLA2 '23: "Rhombus: A New Spin on Macros ..."
Kochekov, Kerim OOPSLA2 '23: "Exploiting the Sparseness ..."
Kogias, Marios OOPSLA2 '23: "When Concurrency Matters: ..."
Kozen, Dexter OOPSLA2 '23: "Formal Abstractions for Packet ..."
Krishnamurthi, Shriram OOPSLA2 '23: "A Grounded Conceptual Model ..."
Krynski, Sebastián OOPSLA2 '23: "Reusing Just-in-Time Compiled ..."
Lahiri, Shuvendu K. OOPSLA2 '23: "Inference of Resource Management ..."
Lal, Akash OOPSLA2 '23: "Inference of Resource Management ..."
Lam, Chun Kit OOPSLA2 '23: "The Bounded Pathwidth of Control-Flow ..."
Larose, Octave OOPSLA2 '23: "AST vs. Bytecode: Interpreters ..."
Larsen, Jens Kanstrup OOPSLA2 '23: "P4R-Type: A Verified API for ..."
Laurel, Jacob OOPSLA2 '23: "Synthesizing Precise Static ..."
Lee, Dongjae OOPSLA2 '23: "Stuttering for Free ..."
Lee, Edward OOPSLA2 '23: "Simple Reference Immutability ..."
Lee, Janggun OOPSLA2 '23: "Modular Verification of Safe ..."
Lei, Yan OOPSLA2 '23: "Two Birds with One Stone: ..."
Leijen, Daan OOPSLA2 '23: "Continuing WebAssembly with ..."
Lengál, Ondřej OOPSLA2 '23: "Solving String Constraints ..."
Lhoták, Ondřej OOPSLA2 '23: "Simple Reference Immutability ..." OOPSLA2 '23: "Initializing Global Objects: ..." OOPSLA2 '23: "TASTyTruffle: Just-in-Time ..."
Li, Shanshan OOPSLA2 '23: "Towards Better Semantics Exploration ..."
Li, Wei OOPSLA2 '23: "A Container-Usage-Pattern-Based ..."
Li, Yue OOPSLA2 '23: "The Essence of Verilog: A ..."
Liao, Qing OOPSLA2 '23: "Towards Better Semantics Exploration ..."
Licata, Daniel R. OOPSLA2 '23: "Gradual Typing for Effect ..."
Liétar, Paul OOPSLA2 '23: "When Concurrency Matters: ..."
Lin, Bo OOPSLA2 '23: "Two Birds with One Stone: ..."
Lindley, Sam OOPSLA2 '23: "Continuing WebAssembly with ..." OOPSLA2 '23: "Structural Subtyping as Parametric ..."
Linvill, Kirby OOPSLA2 '23: "Verifying Indistinguishability ..."
Liu, Cong OOPSLA2 '23: "MemPerf: Profiling Allocator-Induced ..."
Liu, Fengyun OOPSLA2 '23: "Initializing Global Objects: ..."
Liu, Hongyu OOPSLA2 '23: "MemPerf: Profiling Allocator-Induced ..."
Liu, Jiangyi OOPSLA2 '23: "Automated Ambiguity Detection ..."
Liu, Tongping OOPSLA2 '23: "MemPerf: Profiling Allocator-Induced ..."
Liu, Yepang OOPSLA2 '23: "Two Birds with One Stone: ..."
Liu, Yuhan OOPSLA2 '23: "Run-Time Prevention of Software ..."
Liu, Yunhe OOPSLA2 '23: "Formal Abstractions for Packet ..."
Loehr, Devon OOPSLA2 '23: "Saggitarius: A DSL for Specifying ..."
Lu, Shan OOPSLA2 '23: "Run-Time Prevention of Software ..."
Ma, Cong OOPSLA2 '23: "Quantifying and Mitigating ..."
Ma, Xiaoxing OOPSLA2 '23: "The Essence of Verilog: A ..."
Madhusudan, P. OOPSLA2 '23: "Complete First-Order Reasoning ..." OOPSLA2 '23: "Perception Contracts for Safety ..."
Madsen, Magnus OOPSLA2 '23: "Fast and Efficient Boolean ..."
Maire, Michael OOPSLA2 '23: "Run-Time Prevention of Software ..."
Mao, Xiaoguang OOPSLA2 '23: "Two Birds with One Stone: ..."
Marr, Stefan OOPSLA2 '23: "AST vs. Bytecode: Interpreters ..."
Maseli, René OOPSLA2 '23: "Static Analysis of Memory ..."
Matheja, Christoph OOPSLA2 '23: "A Deductive Verification Infrastructure ..."
Matos, João OOPSLA2 '23: "AtomiS: Data-Centric Synchronization ..."
McCarthy, Jay OOPSLA2 '23: "Rhombus: A New Spin on Macros ..."
McKinna, James OOPSLA2 '23: "Structural Subtyping as Parametric ..."
McMillan, Kenneth L. OOPSLA2 '23: "Counterexample Driven Quantifier ..."
Mehta, Meetesh Kalpesh OOPSLA2 '23: "Reusing Just-in-Time Compiled ..."
Meier, Shawn OOPSLA2 '23: "Historia: Refuting Callback ..."
Meyer, Roland OOPSLA2 '23: "Static Analysis of Memory ..."
Micinski, Kristopher OOPSLA2 '23: "Bring Your Own Data Structures ..."