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

388 authors

proc time: 9.86