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

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 Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Graph IRs for Impure Higher-Order ..."
Achour, Sara Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Hardware-Aware Static Optimization ..."
Allred, Taylor Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Almeida Matos, Ana Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AtomiS: Data-Centric Synchronization ..."
Alur, Rajeev Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mobius: Synthesizing Relational ..."
Angle, Nia Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Arvidsson, Ellen Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reference Capabilities for ..."
Astorga, Angello Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Perception Contracts for Safety ..."
Banerjee, Arko Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Data Extraction via Semantic ..."
Bao, Yuyan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Graph IRs for Impure Higher-Order ..."
Barrett, Langston Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Bring Your Own Data Structures ..."
Batz, Kevin Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Deductive Verification Infrastructure ..."
Bérard, Alexandre Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formally Verifying Optimizations ..."
Bhanuka, Ishan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Getting into the Flow: Towards ..."
Bianchini, Riccardo Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Resource-Aware Soundness for ..."
Binder, David Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Getting into the Flow: Towards ..."
Birkedal, Lars Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Spirea: A Mechanized Concurrent ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Melocoton: A Program Logic ..."
Bonneau, Benjamin Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formally Verifying Optimizations ..."
Boulmé, Sylvain Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formally Verifying Optimizations ..."
Bračevac, Oliver Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Graph IRs for Impure Higher-Order ..."
Brachthäuser, Jonathan Immanuel Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Getting into the Flow: Towards ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "From Capabilities to Regions: ..."
Burchell, Humphrey Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AST vs. Bytecode: Interpreters ..."
Cai, Yuandao Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Cocktail Approach to Practical ..."
Cai, Zhuo Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Asparagus: Automated Synthesis ..."
Cao, Huanqi Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mat2Stencil: A Modular Matrix-Based ..."
Carbin, Michael Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Turaco: Complexity-Guided ..."
Castegren, Elias Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reference Capabilities for ..."
Cederquist, Jan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AtomiS: Data-Centric Synchronization ..."
Chang, Bor-Yuh Evan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Historia: Refuting Callback ..."
Chasins, Sarah E. Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "How Domain Experts Use an ..."
Chatterjee, Bodhisatwa Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Beacons: An End-to-End Compiler ..."
Cheeseman, Luke Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
Chen, Chao Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Beacons: An End-to-End Compiler ..."
Chen, Qiaochu Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Data Extraction via Semantic ..."
Chen, Qinlin Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Essence of Verilog: A ..."
Chen, Taolue Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compositional Verification ..."
Chen, Wenguang Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mat2Stencil: A Modular Matrix-Based ..."
Chen, Yu-Fang Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Solving String Constraints ..."
Chisnall, David Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
Chitre, Khushboo Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rapid: Region-Based Pointer ..."
Cho, Minki Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Stuttering for Free ..."
Chocholatý, David Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Solving String Constraints ..."
Choi, Jaemin Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Modular Verification of Safe ..."
Chuang, Cheng-En Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Validating IoT Devices with ..."
Clebsch, Sylvan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reference Capabilities for ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
Conrado, Giovanna Kobus Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Bounded Pathwidth of Control-Flow ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Exploiting the Sparseness ..."
Costea, Andreea Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Adventure of a Lifetime: Extract ..."
Crichton, Will Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Grounded Conceptual Model ..."
Cui, Chen Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Greedy Implicit Bounded Quantification ..."
Dagnino, Francesco Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Resource-Aware Soundness for ..."
D'Antoni, Loris Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Specifications ..."
Dardha, Ornela Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Structural Subtyping as Parametric ..."
De Gabrielle, Stephen Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
De Meuter, Wolfgang Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Secure RDTs: Enforcing Access ..."
Demiralp, Çağatay Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Data Extraction via Semantic ..."
Desai, Ankush Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Message Chains for Distributed ..."
Dillig, Işıl Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inductive Program Synthesis ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Data Extraction via Semantic ..."
Dimoulas, Christos Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "How Profilers Can Help Navigate ..."
Ding, Yi Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Turaco: Complexity-Guided ..."
Dreyer, Derek Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Melocoton: A Program Logic ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Stuttering for Free ..."
Drossopoulou, Sophia Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reference Capabilities for ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
D'Souza, Matt Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "TASTyTruffle: Just-in-Time ..."
Du, Kuntai Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Run-Time Prevention of Software ..."
Durrett, Greg Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Data Extraction via Semantic ..."
Erdweg, Sebastian Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Interactive Debugging of Datalog ..."
Ernst, Michael D. Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Farokhnia, Soroush Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Asparagus: Automated Synthesis ..."
Felleisen, Matthias Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "How Profilers Can Help Navigate ..."
Feser, Jack Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inductive Program Synthesis ..."
Findler, Robert Bruce Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Firth, Jack Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Fisher, Kathleen Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Saggitarius: A DSL for Specifying ..."
Flatt, Matthew Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Flatt, Oliver Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Foster, Nate Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formal Abstractions for Packet ..."
Fu, Rongxiao Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Structural Subtyping as Parametric ..."
Gäher, Lennard Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Stuttering for Free ..."
Gao, Pengfei Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compositional Verification ..."
Gavrilovska, Ada Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Beacons: An End-to-End Compiler ..."
Gharat, Pritam Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Ghorbani, Mahdi Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compiling Structured Tensor ..."
Giannini, Paola Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Resource-Aware Soundness for ..."
Giovannini, Eric Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Gradual Typing for Effect ..."
Giunti, Marco Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AtomiS: Data-Centric Synchronization ..."
Goharshady, Amir Kafshdar Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Bounded Pathwidth of Control-Flow ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Asparagus: Automated Synthesis ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Exploiting the Sparseness ..."
Gopinathan, Kiran Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Adventure of a Lifetime: Extract ..."
Gourdin, Léo Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formally Verifying Optimizations ..."
Gray, Gavin Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Grounded Conceptual Model ..."
Greenman, Ben Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "How Profilers Can Help Navigate ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Gu, Bin Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..."
Gualandi, Hugo Musso Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reusing Just-in-Time Compiled ..."
Guanciale, Roberto Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "P4R-Type: A Verified API for ..."
Guéneau, Armaël Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Melocoton: A Program Logic ..."
Gueta, Guy Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Counterexample Driven Quantifier ..."
Guha, Arjun Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..."
Gui, Yujiang Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Container-Usage-Pattern-Based ..."
Guo, Lihua Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..."
Haas, Thomas Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Static Analysis of Memory ..."
Haller, Philipp Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "P4R-Type: A Verified API for ..."
Hance, Travis Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Leaf: Modularity for Temporary ..."
Hashemian, Shideh Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compiling Structured Tensor ..."
Havlena, Vojtěch Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Solving String Constraints ..."
He, Dongjie Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Container-Usage-Pattern-Based ..."
He, Fei Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Automated Ambiguity Detection ..."
Henriksen, Troels Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Fast and Efficient Boolean ..."
Hillerström, Daniel Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Structural Subtyping as Parametric ..."
Hitarth, S. Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Asparagus: Automated Synthesis ..."
Hoffmann, Henry Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Run-Time Prevention of Software ..."
Holík, Lukáš Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Solving String Constraints ..."
Hostert, Johannes Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Melocoton: A Program Logic ..."
Howell, Jon Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Leaf: Modularity for Temporary ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Counterexample Driven Quantifier ..."
Hsieh, Chiao Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Perception Contracts for Safety ..."
Hu, Raymond Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Validating IoT Devices with ..."
Hua, David Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Initializing Global Objects: ..."
Huang, Yifei Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Explainable Program Synthesis ..."
Huot, Mathieu Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compiling Structured Tensor ..."
Iraci, Grant Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Validating IoT Devices with ..."
Jhala, Ranjit Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Complete First-Order Reasoning ..."
Jia, Songlin Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Graph IRs for Impure Higher-Order ..."
Jiang, Junchen Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Run-Time Prevention of Software ..."
Jiang, Shengyi Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Greedy Implicit Bounded Quantification ..."
Jiang, Yu Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Jiang, Yuxuan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Graph IRs for Impure Higher-Order ..."
Jung, Jaehwang Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Modular Verification of Safe ..."
Kaki, Gowtham Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Verifying Indistinguishability ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Historia: Refuting Callback ..."
Kaleba, Sophie Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AST vs. Bytecode: Interpreters ..."
Kaminski, Benjamin Lucien Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Deductive Verification Infrastructure ..."
Kandemir, Mahmut Taylan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Quantifying and Mitigating ..."
Kang, Jeehoon Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Modular Verification of Safe ..."
Kappé, Tobias Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formal Abstractions for Packet ..."
Kasivajhula, Siddhartha Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Katoen, Joost-Pieter Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Deductive Verification Infrastructure ..."
Kavanagh, Ryan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mechanizing Session-Types ..."
Kedia, Piyus Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rapid: Region-Based Pointer ..."
Kellogg, Martin Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Khan, Sharjeel Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Beacons: An End-to-End Compiler ..."
Kim, Jaewoo Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Modular Verification of Safe ..."
Knauth, Alex Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Kochekov, Kerim Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Exploiting the Sparseness ..."
Kogias, Marios Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
Kozen, Dexter Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formal Abstractions for Packet ..."
Krishnamurthi, Shriram Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Grounded Conceptual Model ..."
Krynski, Sebastián Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reusing Just-in-Time Compiled ..."
Lahiri, Shuvendu K. Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Lal, Akash Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Lam, Chun Kit Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Bounded Pathwidth of Control-Flow ..."
Larose, Octave Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AST vs. Bytecode: Interpreters ..."
Larsen, Jens Kanstrup Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "P4R-Type: A Verified API for ..."
Laurel, Jacob Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Precise Static ..."
Lee, Dongjae Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Stuttering for Free ..."
Lee, Edward Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Simple Reference Immutability ..."
Lee, Janggun Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Modular Verification of Safe ..."
Lei, Yan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Two Birds with One Stone: ..."
Leijen, Daan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..."
Lengál, Ondřej Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Solving String Constraints ..."
Lhoták, Ondřej Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Simple Reference Immutability ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Initializing Global Objects: ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "TASTyTruffle: Just-in-Time ..."
Li, Shanshan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..."
Li, Wei Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Container-Usage-Pattern-Based ..."
Li, Yue Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Essence of Verilog: A ..."
Liao, Qing Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..."
Licata, Daniel R. Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Gradual Typing for Effect ..."
Liétar, Paul Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
Lin, Bo Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Two Birds with One Stone: ..."
Lindley, Sam Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Structural Subtyping as Parametric ..."
Linvill, Kirby Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Verifying Indistinguishability ..."
Liu, Cong Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
Liu, Fengyun Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Initializing Global Objects: ..."
Liu, Hongyu Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
Liu, Jiangyi Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Automated Ambiguity Detection ..."
Liu, Tongping Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
Liu, Yepang Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Two Birds with One Stone: ..."
Liu, Yuhan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Run-Time Prevention of Software ..."
Liu, Yunhe Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formal Abstractions for Packet ..."
Loehr, Devon Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Saggitarius: A DSL for Specifying ..."
Lu, Shan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Run-Time Prevention of Software ..."
Ma, Cong Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Quantifying and Mitigating ..."
Ma, Xiaoxing Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Essence of Verilog: A ..."
Madhusudan, P. Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Complete First-Order Reasoning ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Perception Contracts for Safety ..."
Madsen, Magnus Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Fast and Efficient Boolean ..."
Maire, Michael Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Run-Time Prevention of Software ..."
Mao, Xiaoguang Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Two Birds with One Stone: ..."
Marr, Stefan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AST vs. Bytecode: Interpreters ..."
Maseli, René Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Static Analysis of Memory ..."
Matheja, Christoph Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Deductive Verification Infrastructure ..."
Matos, João Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AtomiS: Data-Centric Synchronization ..."
McCarthy, Jay Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
McKinna, James Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Structural Subtyping as Parametric ..."
McMillan, Kenneth L. Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Counterexample Driven Quantifier ..."
Mehta, Meetesh Kalpesh Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reusing Just-in-Time Compiled ..."
Meier, Shawn Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Historia: Refuting Callback ..."
Meyer, Roland Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Static Analysis of Memory ..."
Micinski, Kristopher Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Bring Your Own Data Structures ..."
Miltner, Anders Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Saggitarius: A DSL for Specifying ..."
Misailovic, Sasa Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Precise Static ..."
Mitra, Sayan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Perception Contracts for Safety ..."
Mohan, Anshuman Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formal Abstractions for Packet ..."
Mong, Arnold Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Saggitarius: A DSL for Specifying ..."
Monniaux, David Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Formally Verifying Optimizations ..."
Moore, Scott Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Bring Your Own Data Structures ..."
Mora, Federico Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Message Chains for Distributed ..."
Mover, Sergio Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Historia: Refuting Callback ..."
Müller, Marius Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "From Capabilities to Regions: ..."
Murali, Adithya Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Complete First-Order Reasoning ..."
Mururu, Girish Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Beacons: An End-to-End Compiler ..."
Naik, Mayur Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mobius: Synthesizing Relational ..."
Nandi, Chandrakana Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Nazari, Amirmohammad Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Explainable Program Synthesis ..."
New, Max S. Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Gradual Typing for Effect ..."
Noble, James Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reference Capabilities for ..."
Oliveira, Bruno C. d. S. Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Greedy Implicit Bounded Quantification ..."
Ostermann, Klaus Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "From Capabilities to Regions: ..."
Pacak, André Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Interactive Debugging of Datalog ..."
Padon, Oded Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Leaf: Modularity for Temporary ..."
Pal, Anjali Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Pande, Santosh Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Beacons: An End-to-End Compiler ..."
Park, Kanghee Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Specifications ..."
Park, Sunho Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Modular Verification of Safe ..."
Parkinson, Matthew J. Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reference Capabilities for ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
Parno, Bryan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Leaf: Modularity for Temporary ..."
Parreaux, Lionel Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Getting into the Flow: Towards ..."
Paulino, Hervé Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AtomiS: Data-Centric Synchronization ..."
Peña, Lucas Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Complete First-Order Reasoning ..."
Peng, Xuanyu Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Efficient Memoization ..."
Petrou, George Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mobius: Synthesizing Relational ..."
Phillips, Sam Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Phipps-Costin, Luna Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..."
Pientka, Brigitte Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mechanizing Session-Types ..."
Polgreen, Elizabeth Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Message Chains for Distributed ..."
Pombrio, Justin Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Pretty Expressive Printer ..."
Ponce de León, Hernán Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Static Analysis of Memory ..."
Porncharoenwase, Sorawee Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Pretty Expressive Printer ..."
Porter, Chris Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Beacons: An End-to-End Compiler ..."
Pretnar, Matija Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..."
Prokopec, Aleksandar Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "TASTyTruffle: Just-in-Time ..."
Purandare, Rahul Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rapid: Region-Based Pointer ..."
Qian, Siyuan Brant Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Precise Static ..."
Radhakrishna, Arjun Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Explainable Program Synthesis ..."
Raghothaman, Mukund Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mobius: Synthesizing Relational ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Explainable Program Synthesis ..."
Ravara, António Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "AtomiS: Data-Centric Synchronization ..."
Renaux, Thierry Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Secure RDTs: Enforcing Access ..."
Renda, Alex Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Turaco: Complexity-Guided ..."
Rennels, Lisa Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "How Domain Experts Use an ..."
Reps, Thomas Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Specifications ..."
Richey, Cynthia Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Rompf, Tiark Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Graph IRs for Impure Higher-Order ..."
Rossberg, Andreas Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mutually Iso-Recursive Subtyping ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..."
Sagiv, Mooly Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Counterexample Driven Quantifier ..."
Sahebolamri, Arash Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Bring Your Own Data Structures ..."
Saiki, Brett Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Salvaneschi, Guido Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Type-Safe Dynamic Placement ..."
Samanta, Roopsha Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Explainable Program Synthesis ..."
Sammler, Michael Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Melocoton: A Program Logic ..."
Sands, Nathaniel Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mobius: Synthesizing Relational ..."
Sano, Chuta Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mechanizing Session-Types ..."
Sarkar, Vivek Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Concrete Type Inference for ..."
Scalas, Alceste Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "P4R-Type: A Verified API for ..."
Schröer, Philipp Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Deductive Verification Infrastructure ..."
Schuster, Philipp Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "From Capabilities to Regions: ..."
Sergey, Ilya Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Adventure of a Lifetime: Extract ..."
Seshia, Sanjit A. Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Message Chains for Distributed ..."
Shadab, Narges Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Shaikhha, Amir Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compiling Structured Tensor ..."
Shirako, Jun Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Concrete Type Inference for ..."
Shoham, Sharon Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Counterexample Driven Quantifier ..."
Síč, Juraj Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Solving String Constraints ..."
Silvestro, Sam Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
Singh, Gagandeep Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Precise Static ..."
Sivaramakrishnan, KC Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Continuing WebAssembly with ..."
Søgaard, Jens Axel Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Solar-Lezama, Armando Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inductive Program Synthesis ..."
Song, Fu Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compositional Verification ..."
Song, Youngju Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Stuttering for Free ..."
Spies, Simon Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Melocoton: A Program Logic ..."
Sridharan, Manu Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Standaert, Francois-Xavier Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compositional Verification ..."
Starup, Jonathan Lindegaard Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "From Capabilities to Regions: ..."
Steuwer, Michel Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Structural Subtyping as Parametric ..."
Su, Zhuo Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Sui, Yulei Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Container-Usage-Pattern-Based ..."
Sun, Chengnian Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Sun, Jiaguang Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Sun, Yican Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Efficient Memoization ..."
Sun, Zhensu Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Two Birds with One Stone: ..."
Tamir, Orr Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Counterexample Driven Quantifier ..."
Tan, Gang Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Quantifying and Mitigating ..."
Tan, Tian Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Essence of Verilog: A ..."
Tang, Shizhi Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mat2Stencil: A Modular Matrix-Based ..."
Tang, Steven (Jiaxun) Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
Tang, Wenhao Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Structural Subtyping as Parametric ..."
Tao, Yonggang Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Container-Usage-Pattern-Based ..."
Tatlock, Zachary Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Taube, Marcelo Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Counterexample Driven Quantifier ..."
Thakkar, Aalok Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mobius: Synthesizing Relational ..."
Thakur, Manas Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reusing Just-in-Time Compiled ..."
Thy, Sewen Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Adventure of a Lifetime: Extract ..."
Tiwari, Shrey Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Inference of Resource Management ..."
Tjoa, Ryan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Tobin-Hochstadt, Sam Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Rhombus: A New Spin on Macros ..."
Torlak, Emina Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Pretty Expressive Printer ..."
Tsai, Yun Chen Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Exploiting the Sparseness ..."
Van den Vonder, Sam Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Secure RDTs: Enforcing Access ..."
Van de Pol, Jaco Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Fast and Efficient Boolean ..."
Vindum, Simon Friis Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Spirea: A Mechanized Concurrent ..."
Vitek, Jan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reusing Just-in-Time Compiled ..."
Walker, David Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Saggitarius: A DSL for Specifying ..."
Wan, Chengcheng Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Run-Time Prevention of Software ..."
Wang, Jinpeng Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Essence of Verilog: A ..."
Wang, Ke Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "An Explanation Method for ..."
Wang, Linzhang Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "An Explanation Method for ..."
Wang, Mingzhe Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Wang, Shangwen Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Two Birds with One Stone: ..."
Wang, Yu Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "An Explanation Method for ..."
Wei, Guannan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Graph IRs for Impure Higher-Order ..."
Weisenburger, Pascal Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Type-Safe Dynamic Placement ..."
Wen, Ming Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Two Birds with One Stone: ..."
Willsey, Max Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Wrigstad, Tobias Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Reference Capabilities for ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "When Concurrency Matters: ..."
Wu, Bo Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
Wu, Dinghao Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Quantifying and Mitigating ..."
Wu, Zhiyong Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..."
Wustrow, Eric Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Verifying Indistinguishability ..."
Xing, Enze Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Initializing Global Objects: ..."
Xiong, Yingfei Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Synthesizing Efficient Memoization ..."
Xu, Chang Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Essence of Verilog: A ..."
Xu, Yiwen Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Xue, Jingling Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Container-Usage-Pattern-Based ..."
Yang, Hanmei Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
Ye, Fangke Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Concrete Type Inference for ..."
Yi, Pu (Luke) Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Hardware-Aware Static Optimization ..."
Yin, Zijing Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
You, James Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "TASTyTruffle: Just-in-Time ..."
Yu, Bowen Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mat2Stencil: A Modular Matrix-Based ..."
Zaher, Ahmed Khaled Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Exploiting the Sparseness ..."
Zakhour, George Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Type-Safe Dynamic Placement ..."
Zeng, Guangming Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
Zhang, Charles Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Cocktail Approach to Practical ..."
Zhang, Danfeng Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Quantifying and Mitigating ..."
Zhang, Nairen Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "The Essence of Verilog: A ..."
Zhang, Quan Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Zhang, Yedi Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Compositional Verification ..."
Zhao, Jisheng Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Concrete Type Inference for ..."
Zhou, Chijin Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Towards Better Semantics Exploration ..." Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Building Dynamic System Call ..."
Zhou, Jin Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "MemPerf: Profiling Allocator-Induced ..."
Zhu, Amy Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Equality Saturation Theory ..."
Zhu, Fengmin Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Automated Ambiguity Detection ..."
Zhu, Qianchao Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Mat2Stencil: A Modular Matrix-Based ..."
Ziarek, Lukasz Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Validating IoT Devices with ..."
Zou, Changwei Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "A Container-Usage-Pattern-Based ..."
Zucca, Elena Proc. ACM Program. Lang., vol. 7, issue OOPSLA2: "Resource-Aware Soundness for ..."

376 authors

proc time: 6.76