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

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

OOPSLA2 2024 – Author Index

Contents - Abstracts - Authors

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

Agrawal, Shubh Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effects and Coeffects in Call-by-Push-Value ..."
Aguirre, Alejandro Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Tachis: Higher-Order Separation ..."
Ahmed, Amal Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Realistic Realizability: Specifying ..."
Alexopoulos, Georgios Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "When Your Infrastructure Is ..."
Alvarez-Picallo, Mario Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effect Handlers for C via ..."
Ambal, Guillaume Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics of Remote Direct ..."
Anderson, Carolyn Jane Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Anderson, Logan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "SparseAuto: An Auto-scheduler ..."
Arora, Sameer Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Practical Verification of ..."
Ataei, Parisa Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
Baek, Doehyun Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Wasm-R3: Record-Reduce-Replay ..."
Bakst, Alexander Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Practical Verification of ..."
Barthe, Gilles Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Modal Type Theory of Expected ..."
Basin, David Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Plume: Efficient and Complete ..."
Bembenek, Aaron Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Making Formulog Fast: An Argument ..."
Beschastnikh, Ivan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Making Sense of Multi-threaded ..."
Bik, Aart J.C. Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compiler Support for Sparse ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compilation of Shape Operators ..."
Birkedal, Lars Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Iris-MSWasm: Elucidating and ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Tachis: Higher-Order Separation ..."
Bittner, Paul Maximilian Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
Black-Schaffer, David Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mark–Scavenge: Waiting for ..."
Blinn, Andrew Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Statically Contextualizing ..."
Borgarelli, Andrea Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Reward Augmentation in Reinforcement ..."
Boruch-Gruszecki, Aleksander Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Gradient: Gradual Compartmentalization ..."
Bowman, William J. Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Low-Level Look at A-Normal ..."
Brotherston, James Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mix Testing: Specifying and ..."
Bucci, Paul Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Making Sense of Multi-threaded ..."
Butt, Andrew Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Unifying Static and Dynamic ..."
Campbell, Eric Hayden Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Computing Precise Control ..."
Cao, Yiyuan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics Lifting for Syntactic ..."
Carnier, Denis Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Type Inference Logics ..."
Cassano, Federico Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Chang, Jiwon Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "CoolerSpace: A Language for ..."
Chaudhuri, Swarat Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Weighted Context-Free-Language ..."
Chen, Ethan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "CoolerSpace: A Language for ..."
Chen, Jinbao Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "MEA2: A Lightweight Field-Sensitive ..."
Chen, Junjie Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Dependency-Aware Code Naturalness ..."
Chen, Liqian Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FPCC: Detecting Floating-Point ..."
Chen, Yixuan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compositionality and Observational ..."
Cheng, Luyu Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "The Ultimate Conditional Syntax ..."
Cho, Chanhee Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Crabtree: Rust API Test Synthesis ..."
Cho, Kyeongmin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantum Probabilistic Model ..."
Chong, Stephen Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Making Formulog Fast: An Argument ..."
Chowdhury, Romit Roy Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automated Robustness Verification ..."
Cogumbreiro, Tiago Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Sound and Partially-Complete ..."
Collberg, Christian Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Control-Flow Deobfuscation ..."
Correnson, Arthur Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Finding ∀∃ Hyperbugs using ..."
Cortiñas, Carlos Tomé Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Sensitivity by Parametricity ..."
Craaijo, Jos Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "libLISA: Instruction Discovery ..."
D’Antoni, Loris Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Unrealizability ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Synthesizing Formal Semantics ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automatically Reducing Privilege ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Pruning in Top-Down ..."
Dardinier, Thibault Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Hypra: A Deductive Program ..."
De Medeiros, Markus Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Tachis: Higher-Order Separation ..."
Deng, Yinlin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "WhiteFox: White-Box Compiler ..."
De Vilhena, Paulo Emílio Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Extending the C/C++ Memory ..."
Dexter, Philip Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Runtime System for Interruptible ..."
Di, Peng Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Scaling Abstraction Refinement ..."
Dias, Adhitha Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "SparseAuto: An Auto-scheduler ..."
Dijkstra, Wilco Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mix Testing: Specifying and ..."
Dillig, Işil Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Control-Flow Deobfuscation ..."
Dimitrov, Dimitar Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Modular Synthesis of Efficient ..."
Ding, Boyao Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "MEA2: A Lightweight Field-Sensitive ..."
Ding, Shuo Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automatically Reducing Privilege ..."
Donaldson, Alastair F. Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mix Testing: Specifying and ..."
Dongol, Brijesh Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics of Remote Direct ..."
Drosos, Georgios-Petros Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "When Your Infrastructure Is ..."
Eisbach, Zachary Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Realistic Realizability: Specifying ..."
Elsman, Martin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "AUTOMAP: Inferring Rank-Polymorphic ..."
Enea, Constantin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Model Checking Distributed ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Reward Augmentation in Reinforcement ..."
Engelke, Alexis Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HiPy: Extracting High-Level ..."
Eran, Haggai Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics of Remote Direct ..."
Erdweg, Sebastian Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Object-Oriented Fixpoint Programming ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Typed Multi-level Datalog ..."
Eymer, Jeff Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Runtime System for Interruptible ..."
Fedorova, Alexandra Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Making Sense of Multi-threaded ..."
Feldman, Molly Q Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Filardo, Nathaniel Wesley Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Intensional Functions ..."
Finkbeiner, Bernd Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Finding ∀∃ Hyperbugs using ..."
Foster, Nate Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Computing Precise Control ..."
Freeman, Anders Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Freund, Teodoro Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effect Handlers for C via ..."
Fromherz, Aymeric Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "StarMalloc: Verifying a Modern, ..."
Gaboardi, Marco Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Sensitivity by Parametricity ..."
Gancher, Joshua Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FlowCert: Translation Validation ..."
Garg, Deepak Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Modal Type Theory of Expected ..."
Ge, Zhaoyi Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Lexical Effect Handlers, Directly ..."
Geeson, Luke Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mix Testing: Specifying and ..."
Gehr, Timon Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Modular Synthesis of Efficient ..."
Georges, Aïna Linn Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Iris-MSWasm: Elucidating and ..."
Getz, Jakob Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Wasm-R3: Record-Reduce-Replay ..."
Ghica, Dan R. Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effect Handlers for C via ..."
Ghosn, Adrien Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Gradient: Gradual Compartmentalization ..."
Giannakopoulou, Dimitra Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Model Checking Distributed ..."
Giceva, Jana Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HiPy: Extracting High-Level ..."
Gilbert, Seth Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Concurrent Data Structures ..."
Go, Gwihwan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "PolyJuice: Detecting Mis-compilation ..."
Goel, Amit Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automatically Reducing Privilege ..."
Goharshady, Amir Kafshdar Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Fast and Optimal Extraction ..."
Gopinathan, Kiran Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Concurrent Data Structures ..."
Gouwar, John Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Greenberg, Michael Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Making Formulog Fast: An Argument ..."
Gregersen, Simon Oddershede Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Tachis: Higher-Order Separation ..."
Grossman, Shelly Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Practical Verification of ..."
Grover, Anvay Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Synthesizing Formal Semantics ..."
Gu, Long Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Plume: Efficient and Complete ..."
Guan, Zhichao Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics Lifting for Syntactic ..."
Guha, Arjun Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Gyurgyik, Christophe Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compilation of Shape Operators ..."
Halalingaiah, Shashin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "The ART of Sharing Points-to ..."
Haselwarter, Philipp G. Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Tachis: Higher-Order Separation ..."
Henriksen, Troels Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "AUTOMAP: Inferring Rank-Polymorphic ..."
Hinnerskov, Nikolaj Hey Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "AUTOMAP: Inferring Rank-Polymorphic ..."
Hinrichsen, Jonas Kastberg Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Multris: Functional Verification ..."
Hoffmann, Jan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Programmable MCMC with Soundly ..."
Hojjat, Hossein Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Computing Precise Control ..."
Hu, Zhenjiang Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics Lifting for Syntactic ..."
Huang, Jeff Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "VarLifter: Recovering Variables ..."
Huang, Yuliang Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Dependency-Aware Code Naturalness ..."
Jabbarvand, Reyhaneh Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "WhiteFox: White-Box Compiler ..."
Jacobs, Jules Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Multris: Functional Verification ..."
Jagannathan, Suresh Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automated Robustness Verification ..."
Jangda, Abhinav Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Jeon, Seungmin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantum Probabilistic Model ..."
Jhala, Ranjit Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Refinement Type Refutations ..."
Ji, Kai Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
Jia, Limin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Crabtree: Rust API Test Synthesis ..."
Jiang, Jiajun Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Dependency-Aware Code Naturalness ..."
Jiang, Yu Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "PolyJuice: Detecting Mis-compilation ..."
Johnson, Keith J.C. Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Synthesizing Formal Semantics ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Pruning in Top-Down ..."
Jung, Ralf Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Rustlantis: Randomized Differential ..."
Jungmair, Michael Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HiPy: Extracting High-Level ..."
Kaminski, Benjamin Lucien Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantitative Weakest Hyper ..."
Kang, Chan Gu Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Statistical Testing of Quantum ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantum Probabilistic Model ..."
Kang, Jeehoon Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantum Probabilistic Model ..."
Keuchel, Steven Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Type Inference Logics ..."
Kim, Caleb Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Unifying Static and Dynamic ..."
Kim, Jinwoo Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Unrealizability ..."
Kim, June Hyung Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Statically Contextualizing ..."
Kincaid, Zachary Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Monotone Procedure Summarization ..."
Kjolstad, Fredrik Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compiler Support for Sparse ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compilation of Shape Operators ..."
Klimis, Vasileios Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics of Remote Direct ..."
Klopp, David Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Object-Oriented Fixpoint Programming ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Typed Multi-level Datalog ..."
Kokologiannakis, Michalis Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Model Checking Distributed ..."
Kong, Lingkun Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HybridSA: GPU Acceleration ..."
Kowshik, Ankith Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Jmvx: Fast Multi-threaded ..."
Krebbers, Robbert Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Verified Lock-Free Session ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Multris: Functional Verification ..."
Krishnan, Rahul Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Pruning in Top-Down ..."
Kulkarni, Milind Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "SparseAuto: An Auto-scheduler ..."
Lahav, Ori Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Extending the C/C++ Memory ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics of Remote Direct ..."
Lam, Chun Kit Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Fast and Optimal Extraction ..."
Lange, Julien Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automated Verification of ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Sound and Partially-Complete ..."
Le, Callista Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Concurrent Data Structures ..."
Lee, Edward Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Lexical Effect Handlers, Directly ..."
Lee, Janggun Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantum Probabilistic Model ..."
Lee, Joonghoon Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Statistical Testing of Quantum ..."
Lee, Koon Wen Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Concurrent Data Structures ..."
Le Glaunec, Alexis Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HybridSA: GPU Acceleration ..."
Legoupil, Maxime Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Iris-MSWasm: Elucidating and ..."
Lehmann, Daniel Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Wasm-R3: Record-Reduce-Replay ..."
Lemerre, Matthieu Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Dependent Nominal Physical ..."
Lemieux, Caroline Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "QuAC: Quick Attribute-Centric ..."
Li, Anqi Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Hypra: A Deductive Program ..."
Li, Haofeng Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Boosting the Performance of ..."
Li, Kwing Hei Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Tachis: Higher-Order Separation ..."
Li, Lian Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Boosting the Performance of ..."
Li, Ningke Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Drowzee: Metamorphic Testing ..."
Li, Pai Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Unifying Static and Dynamic ..."
Li, Qingwei Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "MEA2: A Lightweight Field-Sensitive ..."
Li, Shanshan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "PolyJuice: Detecting Mis-compilation ..."
Li, Xiang Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Statically Contextualizing ..."
Li, Xuandong Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
Li, Yichuan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "VarLifter: Recovering Variables ..."
Li, Yinying Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compiler Support for Sparse ..."
Li, Yuekang Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Drowzee: Metamorphic Testing ..."
Liew, Dennis Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Sound and Partially-Complete ..."
Lin, Zhengyao Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FlowCert: Translation Validation ..."
Lindley, Sam Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effect Handlers for C via ..."
Liu, Jiangyi Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Synthesizing Formal Semantics ..."
Liu, Jiawei Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "WhiteFox: White-Box Compiler ..."
Liu, Peiming Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compiler Support for Sparse ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compilation of Shape Operators ..."
Liu, Si Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Plume: Efficient and Complete ..."
Liu, Tianyi Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
Liu, Yi Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Drowzee: Metamorphic Testing ..."
Liu, Yu David Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Runtime System for Interruptible ..."
Liu, Zhengyang Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Minotaur: A SIMD-Oriented ..."
Lobo-Vesga, Elisabet Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Sensitivity by Parametricity ..."
Lu, Jie Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Boosting the Performance of ..."
Lu, Runyu Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "WhiteFox: White-Box Compiler ..."
Lucchetti, Francesca Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Ma, Cong Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Lexical Effect Handlers, Directly ..."
Mada, Stefan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Minotaur: A SIMD-Oriented ..."
Madsen, Magnus Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "AUTOMAP: Inferring Rank-Polymorphic ..."
Maier, Daryl Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "The ART of Sharing Points-to ..."
Majumdar, Rupak Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Model Checking Distributed ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Reward Augmentation in Reinforcement ..."
Mamouras, Konstantinos Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HybridSA: GPU Acceleration ..."
Mao, Xiaoguang Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FPCC: Detecting Floating-Point ..."
Mariano, Benjamin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Control-Flow Deobfuscation ..."
Martins, Ruben Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Crabtree: Rust API Test Synthesis ..."
Mitropoulos, Dimitris Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "When Your Infrastructure Is ..."
Møller, Anders Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automated Verification of ..."
Mohan, Anshuman Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Unifying Static and Dynamic ..."
Moosherr, Benjamin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
Müller, Peter Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Hypra: A Deductive Program ..."
Murphy, Charlie Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Synthesizing Formal Semantics ..."
Nagar, Kartik Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automated Robustness Verification ..."
Nagendra, Srinidhi Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Reward Augmentation in Reinforcement ..."
Nagy, Shaan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Unrealizability ..."
Nandi, Chandrakana Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Practical Verification of ..."
Nandivada, V. Krishna Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "The ART of Sharing Points-to ..."
Nießen, Tobias Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Finding ∀∃ Hyperbugs using ..."
Nigam, Rachit Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Unifying Static and Dynamic ..."
Nishida, Yuki Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Law and Order for Typestate ..."
Norlinder, Jonas Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mark–Scavenge: Waiting for ..."
Oh, Hakjoo Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Statistical Testing of Quantum ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantum Probabilistic Model ..."
O’Hearn, Peter Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Non-termination Proving at ..."
Oliveira, Bruno C. d. S. Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Full Iso-Recursive Types ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Merging Gradual Typing ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Imperative Compositional Programming: ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Case for First-Class Environments ..."
Oliveira Vale, Arthur Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compositionality and Observational ..."
Omar, Cyrus Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Statically Contextualizing ..."
Österlund, Erik Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mark–Scavenge: Waiting for ..."
Pacak, André Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Object-Oriented Fixpoint Programming ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Typed Multi-level Datalog ..."
Pailoor, Shankara Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Control-Flow Deobfuscation ..."
Palmer, Zachary Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Intensional Functions ..."
Parno, Bryan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FlowCert: Translation Validation ..."
Parreaux, Lionel Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "The Ultimate Conditional Syntax ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Fast and Optimal Extraction ..."
Păsăreanu, Corina S. Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Crabtree: Rust API Test Synthesis ..."
Payer, Mathias Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Gradient: Gradual Compartmentalization ..."
Pelenitsyn, Artem Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "SparseAuto: An Auto-scheduler ..."
Pham, Long Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Programmable MCMC with Soundly ..."
Pichon-Pharabod, Jean Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Iris-MSWasm: Elucidating and ..."
Pimpalkhare, Nikhil Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Monotone Procedure Summarization ..."
Pina, Luís Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Jmvx: Fast Multi-threaded ..."
Pit-Claudel, Clément Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Gradient: Gradual Compartmentalization ..."
Pottier, François Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Type Inference Logics ..."
Pradel, Michael Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Wasm-R3: Record-Reduce-Replay ..."
Protzenko, Jonathan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "StarMalloc: Verifying a Modern, ..."
Qi, Yun Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
Qian, Bingzhou Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "PolyJuice: Detecting Mis-compilation ..."
Qian, Kelvin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantic-Type-Guided Bug Finding ..."
Raad, Azalea Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Non-termination Proving at ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Extending the C/C++ Memory ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics of Remote Direct ..."
Rajani, Vineet Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Modal Type Theory of Expected ..."
Ramesh, Mathangi Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automatically Reducing Privilege ..."
Raskind, Joseph Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Runtime System for Interruptible ..."
Ravindran, Binoy Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "libLISA: Instruction Discovery ..."
Regehr, John Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Minotaur: A SIMD-Oriented ..."
Reitz, Antonin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "StarMalloc: Verifying a Modern, ..."
Reps, Thomas Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Unrealizability ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Synthesizing Formal Semantics ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automating Pruning in Top-Down ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Weighted Context-Free-Language ..."
Root, Alexander J Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compiler Support for Sparse ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compilation of Shape Operators ..."
Rousseau, June Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Iris-MSWasm: Elucidating and ..."
Rungta, Neha Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automatically Reducing Privilege ..."
Russo, Alejandro Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Sensitivity by Parametricity ..."
Ryu, Sukyoung Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Wasm-R3: Record-Reduce-Replay ..."
Saad, Feras A. Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Programmable MCMC with Soundly ..."
Saffrich, Hannes Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Law and Order for Typestate ..."
Sagiv, Mooly Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Practical Verification of ..."
Sahoo, Anmol Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automated Robustness Verification ..."
Saioc, Georgian-Vlad Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automated Verification of ..."
Sampson, Adrian Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Unifying Static and Dynamic ..."
Sarkar, Vivek Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Fully Verified Instruction ..."
Schenck, Robert Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "AUTOMAP: Inferring Rank-Polymorphic ..."
Schlesinger, Claire Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Knowledge Transfer from High-Resource ..."
Schultheiß, Alexander Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
Schwartz, David Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Jmvx: Fast Multi-threaded ..."
Sekiyama, Taro Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Higher-Order Model Checking ..."
Sergey, Ilya Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Concurrent Data Structures ..."
Shao, Zhong Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compositionality and Observational ..."
Shi, Chenghang Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Boosting the Performance of ..."
Shi, Ling Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Drowzee: Metamorphic Testing ..."
Shirako, Jun Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Fully Verified Instruction ..."
Sighireanu, Mihaela Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Dependent Nominal Physical ..."
Silva, Alexandra Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantitative Weakest Hyper ..."
Sim, Yusung Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Wasm-R3: Record-Reduce-Replay ..."
Simonnet, Julien Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Dependent Nominal Physical ..."
Sistla, Meghana Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Weighted Context-Free-Language ..."
Smith, Lee Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mix Testing: Specifying and ..."
Smith, Scott Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantic-Type-Guided Bug Finding ..."
Somers, Thomas Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Verified Lock-Free Session ..."
Song, Wei Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "VarLifter: Recovering Variables ..."
Sorensen, Tyler Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mix Testing: Specifying and ..."
Sotiropoulos, Thodoris Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "When Your Infrastructure Is ..."
Stride, Brandon Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantic-Type-Guided Bug Finding ..."
Su, Zhendong Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "SMT2Test: From SMT Formulas ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Validating SMT Solvers for ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "When Your Infrastructure Is ..."
Suárez Acevedo, Emmanuel Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effects and Coeffects in Call-by-Push-Value ..."
Sun, Yaozhu Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Imperative Compositional Programming: ..."
Sundararajah, Kirshanthan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "SparseAuto: An Auto-scheduler ..."
Sundaresan, Vijay Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "The ART of Sharing Points-to ..."
Sung, Chungha Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Automatically Reducing Privilege ..."
Takashima, Yoshiki Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Crabtree: Rust API Test Synthesis ..."
Tan, Jinhao Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "A Case for First-Class Environments ..."
Tang, Fugen Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "MEA2: A Lightweight Field-Sensitive ..."
Tang, Jian Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
Tassarotti, Joseph Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Tachis: Higher-Order Separation ..."
Teixeira, Leopoldo Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
Thiemann, Peter Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Law and Order for Typestate ..."
Thüm, Thomas Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
Titzer, Ben L. Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Wasm-R3: Record-Reduce-Replay ..."
Toman, John Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Practical Verification of ..."
Torczon, Cassia Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effects and Coeffects in Call-by-Push-Value ..."
Toro, Matías Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Merging Gradual Typing ..."
Unno, Hiroshi Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Higher-Order Model Checking ..."
Vafeiadis, Viktor Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Extending the C/C++ Memory ..."
Vanegue, Julien Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Non-termination Proving at ..."
Vechev, Martin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Modular Synthesis of Efficient ..."
Velez-Ginorio, Joey Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effects and Coeffects in Call-by-Push-Value ..."
Venev, Hristo Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Modular Synthesis of Efficient ..."
Verbeek, Freek Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "libLISA: Instruction Discovery ..."
Von Gleissenthall, Klaus Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Refinement Type Refutations ..."
Wagner, Andrew Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Realistic Realizability: Specifying ..."
Walkingshaw, Eric Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
Wan, Qianyong Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Full Iso-Recursive Types ..."
Wang, Di Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Programmable MCMC with Soundly ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics Lifting for Syntactic ..."
Wang, Haoyu Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Drowzee: Metamorphic Testing ..."
Wang, Ji Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FPCC: Detecting Floating-Point ..."
Wang, Kailong Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Drowzee: Metamorphic Testing ..."
Wang, Qian Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Rustlantis: Randomized Differential ..."
Wang, Xiaoliang Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
Wang, Yueyang Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
Wang, Zhongye Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compositionality and Observational ..."
Wang, Ziheng Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics Lifting for Syntactic ..."
Wang, Ziteng Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Control-Flow Deobfuscation ..."
Webbers, Robin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Refinement Type Refutations ..."
Wei, Hengfeng Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Plume: Efficient and Complete ..."
Weirich, Stephanie Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Effects and Coeffects in Call-by-Push-Value ..."
Weissenbacher, Georg Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Finding ∀∃ Hyperbugs using ..."
Weng, Shiwei Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantic-Type-Guided Bug Finding ..."
Wickerson, John Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mix Testing: Specifying and ..."
Winterer, Dominik Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Validating SMT Solvers for ..."
Wong, Augustine Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Making Sense of Multi-threaded ..."
Wrigstad, Tobias Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Mark–Scavenge: Waiting for ..."
Wu, Jifeng Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "QuAC: Quick Attribute-Centric ..."
Wu, Ke Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Intensional Functions ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantic-Type-Guided Bug Finding ..."
Xu, Anlun Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compiler Support for Sparse ..."
Xue, Jingling Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Boosting the Performance of ..."
Yan, Bobby Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compilation of Shape Operators ..."
Yan, Zhenyu Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Scaling Abstraction Refinement ..."
Yang, Chen Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Dependency-Aware Code Naturalness ..."
Yang, Chenyuan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "WhiteFox: White-Box Compiler ..."
Yang, Ziteng Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Fully Verified Instruction ..."
Yao, Jiayi Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "WhiteFox: White-Box Compiler ..."
Ye, Wenjia Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Merging Gradual Typing ..." Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Imperative Compositional Programming: ..."
Yi, Xin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FPCC: Detecting Floating-Point ..."
You, Peixin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Compositionality and Observational ..."
Young, Jeffrey M. Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "On the Expressive Power of ..."
Yu, Hengbiao Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "FPCC: Detecting Floating-Point ..."
Yu, Tailai Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Semantics Lifting for Syntactic ..."
Zhang, Chengyu Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "SMT2Test: From SMT Formulas ..."
Zhang, Lingming Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "WhiteFox: White-Box Compiler ..."
Zhang, Linpeng Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantitative Weakest Hyper ..."
Zhang, Quan Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "PolyJuice: Detecting Mis-compilation ..."
Zhang, Xin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Scaling Abstraction Refinement ..."
Zhang, Yiyu Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."
Zhang, Yizhou Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Lexical Effect Handlers, Directly ..."
Zhang, Yu Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "MEA2: A Lightweight Field-Sensitive ..."
Zhou, Chijin Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "PolyJuice: Detecting Mis-compilation ..."
Zhou, Litao Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Full Iso-Recursive Types ..."
Zhu, Yuhao Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "CoolerSpace: A Language for ..."
Zilberstein, Noam Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "Quantitative Weakest Hyper ..."
Zuo, Zhiqiang Proc. ACM Program. Lang., vol. 8, issue OOPSLA2: "HardTaint: Production-Run ..."

388 authors

proc time: 25.79