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

Proceedings of the ACM on Programming Languages, Volume 10, Number OOPSLA1

OOPSLA1 2026 – Author Index

Contents - Abstracts - Authors

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

Adams, Michael D. Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Class-Dictionary Specialization ..." Article: oopslaa26main-p141-p
Aiken, Alex Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Fully-Automatic Type Inference ..." Article: oopslaa26main-p128-p
Antoch, Jaromír Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Experimental Evaluation Methodology ..." Article: oopslaa26main-p193-p
Arnold, Dominik Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Metamorphic Testing for Infrastructure-as-Code ..." Article: oopslaa26main-p139-p
Arranz-Olmos, Santiago Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "(Dis)Proving Spectre Security ..." Article: oopslaa26main-p130-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Decompiling for Constant-Time ..." Article: oopslaa26main-p13-p
Bao, Yuyan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Lifetimes Liberate: A ..." Article: oopslaa26main-p305-p
Barthe, Gilles Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "(Dis)Proving Spectre Security ..." Article: oopslaa26main-p130-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Decompiling for Constant-Time ..." Article: oopslaa26main-p13-p
Biagiola, Matteo Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Metamorphic Testing for Infrastructure-as-Code ..." Article: oopslaa26main-p139-p
Binder, Walter Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Experimental Evaluation Methodology ..." Article: oopslaa26main-p193-p
Birkedal, Lars Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Mixtris: Mechanised Higher-Order ..." Article: oopslaa26main-p134-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Lawyer: Modular Obligations-Based ..." Article: oopslaa26main-p211-p
Biswas, Swarnendu Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Designing GPU Data Structures ..." Article: oopslaa26main-p244-p
Bitar, Mo Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Differential Execution with ..." Article: oopslaa26main-p381-p
Blatter, Lionel Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "(Dis)Proving Spectre Security ..." Article: oopslaa26main-p130-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Decompiling for Constant-Time ..." Article: oopslaa26main-p13-p
Bocchi, Laura Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Mixed Choice in Asynchronous ..." Article: oopslaa26main-p321-p
Böck, Markus Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Static Factorisation of Probabilistic ..." Article: oopslaa26main-p132-p
Böhler, Timon Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "DeCo: A Core Calculus for ..." Article: oopslaa26main-p391-p
Bouzid, Youcef Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Decompiling for Constant-Time ..." Article: oopslaa26main-p13-p
Brandon, William Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Fully-Automatic Type Inference ..." Article: oopslaa26main-p128-p
Bulej, Lubomír Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Experimental Evaluation Methodology ..." Article: oopslaa26main-p193-p
Cao, Zong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Reframing Paths as Logic: ..." Article: oopslaa26main-p549-p
Chan, Eric Man Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Frashokereti: Non-aborting ..." Article: oopslaa26main-p517-p
Chan, Jonathan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Commuting Conversions and ..." Article: oopslaa26main-p54-p
Chang, Bor-Yuh Evan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Effectively Propositional ..." Article: oopslaa26main-p348-p
Chang, Jiaxin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "EditFlow: Benchmarking and ..." Article: oopslaa26main-p268-p
Chatterjee, Bodhisatwa Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Phaedrus: Predicting Dynamic ..." Article: oopslaa26main-p136-p
Chaudhuri, Mainak Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Designing GPU Data Structures ..." Article: oopslaa26main-p244-p
Chen, Mingshuai Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Tale of 1001 LoC: Potential ..." Article: oopslaa26main-p510-p
Chen, Ping Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "RandSet: Randomized Corpus ..." Article: oopslaa26main-p340-p
Chen, Wenyao Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "From Raw Pointers to Memory ..." Article: oopslaa26main-p409-p
Chen, Yang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Process-Centric Analysis of ..." Article: oopslaa26main-p534-p
Chen, Yuanliang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "VeriEQ: Finding Verilog Simulators ..." Article: oopslaa26main-p188-p
Chen, Zengxu Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Peeling Off the Cocoon: Unveiling ..." Article: oopslaa26main-p37-p
Chen, Zhenbang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Online Input Grammar Synthesis ..." Article: oopslaa26main-p232-p
Chen, Zhenyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Peeling Off the Cocoon: Unveiling ..." Article: oopslaa26main-p37-p
Chong, Chun Yong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beyond Coverage: Automatic ..." Article: oopslaa26main-p275-p
Chu, Ethan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Handling Exceptions and Effects ..." Article: oopslaa26main-p42-p
Cito, Jürgen Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Static Factorisation of Probabilistic ..." Article: oopslaa26main-p132-p
Cutler, Joseph W. Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Fail Faster: Staging and Fast ..." Article: oopslaa26main-p387-p
Dai, Frank Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Fully-Automatic Type Inference ..." Article: oopslaa26main-p128-p
Darulova, Eva Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Floating-Point Usage on GitHub: ..." Article: oopslaa26main-p22-p
Deng, Shuiguang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "InspectCoder: Dynamic Analysis-Driven ..." Article: oopslaa26main-p202-p
Desai, Ankush Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Specy: Learning Specifications ..." Article: oopslaa26main-p48-p
Ding, Cheng Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Understanding and Finding ..." Article: oopslaa26main-p246-p
Dong, Jin Song Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "EditFlow: Benchmarking and ..." Article: oopslaa26main-p268-p
Dong, Wei Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Efficient Incremental GR(1) ..." Article: oopslaa26main-p187-p
Driscoll, Benjamin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Fully-Automatic Type Inference ..." Article: oopslaa26main-p128-p
Du, Bowen Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "SART: Sign-Absolute Reformulation ..." Article: oopslaa26main-p200-p
Du, Pengbo Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Efficient Directed Hybrid ..." Article: oopslaa26main-p176-p
Erdweg, Sebastian Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Differential Execution with ..." Article: oopslaa26main-p381-p
Esen, Zafer Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Sound and Complete Invariant-Based ..." Article: oopslaa26main-p144-p
Fang, Chunrong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Peeling Off the Cocoon: Unveiling ..." Article: oopslaa26main-p37-p
Farquet, François Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Experimental Evaluation Methodology ..." Article: oopslaa26main-p193-p
Fasse, Justus Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Lawyer: Modular Obligations-Based ..." Article: oopslaa26main-p211-p
Feng, Ruitao Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Determining the Unreachable: ..." Article: oopslaa26main-p311-p
Feng, Wenbu Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Determining the Unreachable: ..." Article: oopslaa26main-p311-p
Ferrarini, Alessio Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "PLEX: Normalization for Refinement ..." Article: oopslaa26main-p262-p
Foo, Yong Qi Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Class-Dictionary Specialization ..." Article: oopslaa26main-p141-p
Fowler, Simon Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Speak Now: Safe Actor Programming ..." Article: oopslaa26main-p508-p
Frohlich, Elisa Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Automatic Propagation of Profile ..." Article: oopslaa26main-p259-p
Fromherz, Aymeric Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Scylla: Translating an Applicative ..." Article: oopslaa26main-p146-p
Fu, Jingzhou Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beacon: Detecting Broken Access ..." Article: oopslaa26main-p172-p
Fu, Xiaopeng Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Specifications Meet Reality: ..." Article: oopslaa26main-p122-p
Fu, Yeqi Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Reframing Paths as Logic: ..." Article: oopslaa26main-p549-p
Fu, Youxin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Peeling Off the Cocoon: Unveiling ..." Article: oopslaa26main-p37-p
Gangaraju, Rohan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Taming the Hydra: Targeted ..." Article: oopslaa26main-p20-p
Ganhotra, Jatin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Process-Centric Analysis of ..." Article: oopslaa26main-p534-p
Gao, Ying Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Specifications Meet Reality: ..." Article: oopslaa26main-p122-p
Garg, Anirudh Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "IRIDIUM: A Framework for Statically ..." Article: oopslaa26main-p554-p
Gilot, Andrea Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Floating-Point Usage on GitHub: ..." Article: oopslaa26main-p22-p
Gligoric, Milos Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Understanding and Finding ..." Article: oopslaa26main-p246-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Block Tests ..." Article: oopslaa26main-p561-p
Goldstein, Harrison Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Fail Faster: Staging and Fast ..." Article: oopslaa26main-p387-p
Grünke, Jan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "RAT-CAT-SAT: Model Checking ..." Article: oopslaa26main-p45-p
Gu, Bin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Tale of 1001 LoC: Potential ..." Article: oopslaa26main-p510-p
Guan, Kevin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Block Tests ..." Article: oopslaa26main-p561-p
Guan, Zhichao Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Localizing Type Errors for ..." Article: oopslaa26main-p284-p
Gudin, Madi Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Commuting Conversions and ..." Article: oopslaa26main-p54-p
Guo, Haonan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Efficient Incremental GR(1) ..." Article: oopslaa26main-p187-p
Guo, Yiyang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Handling Exceptions and Effects ..." Article: oopslaa26main-p42-p
Gupta, Aarti Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Specy: Learning Specifications ..." Article: oopslaa26main-p48-p
Gürtler, Tobias Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "noDice: Inference for Discrete ..." Article: oopslaa26main-p98-p
Haas, Thomas Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "RAT-CAT-SAT: Model Checking ..." Article: oopslaa26main-p45-p
Han, Haotian Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "CMakeSonar: A Static Approach ..." Article: oopslaa26main-p114-p
Hassan, Muhammad Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Taming the Hydra: Targeted ..." Article: oopslaa26main-p20-p
He, Fei Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Learning Symmetric Invariants ..." Article: oopslaa26main-p9-p
He, Mengting Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "SymGPT: Auditing Smart Contracts ..." Article: oopslaa26main-p107-p
He, Mike Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Specy: Learning Specifications ..." Article: oopslaa26main-p48-p
He, Ningyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Specifications Meet Reality: ..." Article: oopslaa26main-p122-p
He, Siyuan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Lifetimes Liberate: A ..." Article: oopslaa26main-p305-p
He, Yuxuan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Hermes: Making Path-Sensitive ..." Article: oopslaa26main-p61-p
Hinrichsen, Jonas Kastberg Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Mixtris: Mechanised Higher-Order ..." Article: oopslaa26main-p134-p
Hoffmann, Jan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Handling Exceptions and Effects ..." Article: oopslaa26main-p42-p
Hong, Weijiang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Online Input Grammar Synthesis ..." Article: oopslaa26main-p232-p
Horký, Vojtěch Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Experimental Evaluation Methodology ..." Article: oopslaa26main-p193-p
Hu, Raymond Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Mixed Choice in Asynchronous ..." Article: oopslaa26main-p321-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Speak Now: Safe Actor Programming ..." Article: oopslaa26main-p508-p
Hu, Zhenjiang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Localizing Type Errors for ..." Article: oopslaa26main-p284-p
Huang, Fei Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "InspectCoder: Dynamic Analysis-Driven ..." Article: oopslaa26main-p202-p
Huang, Huaxun Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Hermes: Making Path-Sensitive ..." Article: oopslaa26main-p61-p
Huang, Xiangdong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beacon: Detecting Broken Access ..." Article: oopslaa26main-p172-p
Huang, Zhiyong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "EditFlow: Benchmarking and ..." Article: oopslaa26main-p268-p
Jabbarvand, Reyhaneh Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Process-Centric Analysis of ..." Article: oopslaa26main-p534-p
Jacobs, Bart Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Lawyer: Modular Obligations-Based ..." Article: oopslaa26main-p211-p
Jadhav, Neeraj Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Phaedrus: Predicting Dynamic ..." Article: oopslaa26main-p136-p
Jagarapu, Aishwarya Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Specy: Learning Specifications ..." Article: oopslaa26main-p48-p
Jamshidi, Kasra Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Geo: A Query Rewrite Framework ..." Article: oopslaa26main-p206-p
Jia, Songlin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Lifetimes Liberate: A ..." Article: oopslaa26main-p305-p
Jiang, Bo Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "EditFlow: Benchmarking and ..." Article: oopslaa26main-p268-p
Jiang, Pengyue Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Block Tests ..." Article: oopslaa26main-p561-p
Jiang, Ruilin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Hermes: Making Path-Sensitive ..." Article: oopslaa26main-p61-p
Jiang, Shan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "OBsmith: LLM-Powered JavaScript ..." Article: oopslaa26main-p25-p
Jiang, Yu Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beacon: Detecting Broken Access ..." Article: oopslaa26main-p172-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "VeriEQ: Finding Verilog Simulators ..." Article: oopslaa26main-p188-p
Kabra, Aditi Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Hybrid Game Control Envelope ..." Article: oopslaa26main-p158-p
Kaki, Gowtham Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Effectively Propositional ..." Article: oopslaa26main-p348-p
Kaminski, Benjamin Lucien Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "noDice: Inference for Discrete ..." Article: oopslaa26main-p98-p
Kell, Stephen Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Debugging Debugging Information ..." Article: oopslaa26main-p64-p
Khurshid, Sarfraz Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "OBsmith: LLM-Powered JavaScript ..." Article: oopslaa26main-p25-p
Kim, Kunha Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Effectively Propositional ..." Article: oopslaa26main-p348-p
Kim, Minsu Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Prunario: Testing Autonomous ..." Article: oopslaa26main-p383-p
Kjolstad, Fredrik Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Deegen: A JIT-Capable VM Generator ..." Article: oopslaa26main-p258-p
Kong, Ziqiao Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Reframing Paths as Logic: ..." Article: oopslaa26main-p549-p
Kozyrakis, Christos Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Hunting CUDA Bugs at Scale ..." Article: oopslaa26main-p167-p
Kramarz, Maite Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Mechanised Semantics of Multi-stage ..." Article: oopslaa26main-p354-p
Krishna, Rahul Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Process-Centric Analysis of ..." Article: oopslaa26main-p534-p
Kulkarni, Milind Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Taming the Hydra: Targeted ..." Article: oopslaa26main-p20-p
Laurent, Jonathan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Hybrid Game Control Envelope ..." Article: oopslaa26main-p158-p
Laurent, Mickaël Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Type Inference for Functional ..." Article: oopslaa26main-p124-p
Lee, Yunjeong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Grammar Repair with Examples ..." Article: oopslaa26main-p219-p
Legunsen, Owolabi Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Block Tests ..." Article: oopslaa26main-p561-p
Lesani, Mohsen Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Frashokereti: Non-aborting ..." Article: oopslaa26main-p517-p
Levy, Annabel Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Commuting Conversions and ..." Article: oopslaa26main-p54-p
Lewchenko, Nicholas V. Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Effectively Propositional ..." Article: oopslaa26main-p348-p
Li, Binhua Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "InspectCoder: Dynamic Analysis-Driven ..." Article: oopslaa26main-p202-p
Li, Guochang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "InspectCoder: Dynamic Analysis-Driven ..." Article: oopslaa26main-p202-p
Li, Haofeng Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Context-Free Language Reachability ..." Article: oopslaa26main-p533-p
Li, Haokun Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Tale of 1001 LoC: Potential ..." Article: oopslaa26main-p510-p
Li, Haonan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Minimalist Proof Language ..." Article: oopslaa26main-p581-p
Li, Ka Wing Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Mechanised Semantics of Multi-stage ..." Article: oopslaa26main-p354-p
Li, Kaixuan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Reframing Paths as Logic: ..." Article: oopslaa26main-p549-p
Li, Lian Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Context-Free Language Reachability ..." Article: oopslaa26main-p533-p
Li, Qingan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "CMakeSonar: A Static Approach ..." Article: oopslaa26main-p114-p
Li, Wei Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "From Raw Pointers to Memory ..." Article: oopslaa26main-p409-p
Li, Xiaofeng Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Tale of 1001 LoC: Potential ..." Article: oopslaa26main-p510-p
Li, Xiaohong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Determining the Unreachable: ..." Article: oopslaa26main-p311-p
Li, Yanqi Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LARTS: Language Abstractions ..." Article: oopslaa26main-p216-p
Li, Yongbin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "InspectCoder: Dynamic Analysis-Driven ..." Article: oopslaa26main-p202-p
Li, Yuekang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Determining the Unreachable: ..." Article: oopslaa26main-p311-p
Li, Yuqing Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Determining the Unreachable: ..." Article: oopslaa26main-p311-p
Li, Zhen Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Efficient Directed Hybrid ..." Article: oopslaa26main-p176-p
Liang, Hongliang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Efficient Directed Hybrid ..." Article: oopslaa26main-p176-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LARTS: Language Abstractions ..." Article: oopslaa26main-p216-p
Liang, Jie Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beacon: Detecting Broken Access ..." Article: oopslaa26main-p172-p
Lin, Haoran Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beer: Interactive Alarm Resolution ..." Article: oopslaa26main-p91-p
Lin, Jiefang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Detecting Flaky Tests by Controlling ..." Article: oopslaa26main-p396-p
Lin, Tengjie Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Tale of 1001 LoC: Potential ..." Article: oopslaa26main-p510-p
Lin, Yuanyi Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LLM-Powered Silent Bug Fuzzing ..." Article: oopslaa26main-p341-p
Lin, Yun Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "EditFlow: Benchmarking and ..." Article: oopslaa26main-p268-p
Liu, Chenyan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "EditFlow: Benchmarking and ..." Article: oopslaa26main-p268-p
Liu, Dong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LARTS: Language Abstractions ..." Article: oopslaa26main-p216-p
Liu, Jiawei Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "EditFlow: Benchmarking and ..." Article: oopslaa26main-p268-p
Liu, Liangxin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Specifications Meet Reality: ..." Article: oopslaa26main-p122-p
Liu, Shenghan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Efficient Directed Hybrid ..." Article: oopslaa26main-p176-p
Liu, Shuyang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Process-Centric Analysis of ..." Article: oopslaa26main-p534-p
Liu, Sirui Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Efficient Incremental GR(1) ..." Article: oopslaa26main-p187-p
Liu, Yang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Reframing Paths as Logic: ..." Article: oopslaa26main-p549-p
Liu, Yu Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "RandSet: Randomized Corpus ..." Article: oopslaa26main-p340-p
Lu, Jie Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Context-Free Language Reachability ..." Article: oopslaa26main-p533-p
Lu, Kangjie Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "CLower: Detecting Compiler ..." Article: oopslaa26main-p272-p
Lu, Liqiang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Tale of 1001 LoC: Potential ..." Article: oopslaa26main-p510-p
Lu, Zeyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beyond Coverage: Automatic ..." Article: oopslaa26main-p275-p
Luo, Jiushenzi Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Specifications Meet Reality: ..." Article: oopslaa26main-p122-p
Luo, Yixing Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Tale of 1001 LoC: Potential ..." Article: oopslaa26main-p510-p
Luo, Yunlai Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Online Input Grammar Synthesis ..." Article: oopslaa26main-p232-p
Ma, Fuchen Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "VeriEQ: Finding Verilog Simulators ..." Article: oopslaa26main-p188-p
Ma, Jie Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Specifications Meet Reality: ..." Article: oopslaa26main-p122-p
Ma, Ke Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Online Input Grammar Synthesis ..." Article: oopslaa26main-p232-p
Magno Quintão Pereira, Fernando Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Automatic Propagation of Profile ..." Article: oopslaa26main-p259-p
Malik, Sharad Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Specy: Learning Specifications ..." Article: oopslaa26main-p48-p
Mao, Bing Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "CLower: Detecting Compiler ..." Article: oopslaa26main-p272-p
Mehta, Meetesh Kalpesh Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "IRIDIUM: A Framework for Statically ..." Article: oopslaa26main-p554-p
Meier, Roland Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Metamorphic Testing for Infrastructure-as-Code ..." Article: oopslaa26main-p139-p
Meyer, Roland Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "RAT-CAT-SAT: Model Checking ..." Article: oopslaa26main-p45-p
Mezini, Mira Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "DeCo: A Core Calculus for ..." Article: oopslaa26main-p391-p
Milano, Mae Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Fully-Automatic Type Inference ..." Article: oopslaa26main-p128-p
Miltner, Anders Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Geo: A Query Rewrite Framework ..." Article: oopslaa26main-p206-p
Mirrlees-Black, Alexandra Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Type-Safe Monotonic Object ..." Article: oopslaa26main-p276-p
Mitsch, Stefan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Hybrid Game Control Envelope ..." Article: oopslaa26main-p158-p
Moreira, Angelica Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Automatic Propagation of Profile ..." Article: oopslaa26main-p259-p
Muehlboeck, Fabian Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Type-Safe Monotonic Object ..." Article: oopslaa26main-p276-p
Namakonov, Egor Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Lawyer: Modular Obligations-Based ..." Article: oopslaa26main-p211-p
Nie, Yuge Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beyond Coverage: Automatic ..." Article: oopslaa26main-p275-p
Oh, Hakjoo Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Prunario: Testing Autonomous ..." Article: oopslaa26main-p383-p
Pande, Santosh Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Phaedrus: Predicting Dynamic ..." Article: oopslaa26main-p136-p
Patel, Vipin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Designing GPU Data Structures ..." Article: oopslaa26main-p244-p
Payer, Mathias Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "CLower: Detecting Compiler ..." Article: oopslaa26main-p272-p
Peng, Yiteng Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "MetaSpace: Metamorphic Testing ..." Article: oopslaa26main-p63-p
Peng, Zongrui Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beacon: Detecting Broken Access ..." Article: oopslaa26main-p172-p
Pierce, Benjamin C. Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Fail Faster: Staging and Fast ..." Article: oopslaa26main-p387-p
Platzer, André Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Hybrid Game Control Envelope ..." Article: oopslaa26main-p158-p
Prokopec, Aleksandar Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Experimental Evaluation Methodology ..." Article: oopslaa26main-p193-p
Protzenko, Jonathan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Scylla: Translating an Applicative ..." Article: oopslaa26main-p146-p
Qi, Binhang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "EditFlow: Benchmarking and ..." Article: oopslaa26main-p268-p
Qian, Ruixiang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Peeling Off the Cocoon: Unveiling ..." Article: oopslaa26main-p37-p
Qin, Shengchao Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Tale of 1001 LoC: Potential ..." Article: oopslaa26main-p510-p
Quémerais, Iwan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Mixtris: Mechanised Higher-Order ..." Article: oopslaa26main-p134-p
Ragan-Kelley, Jonathan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Fully-Automatic Type Inference ..." Article: oopslaa26main-p128-p
Rajiv, Gokul Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Grammar Repair with Examples ..." Article: oopslaa26main-p219-p
Reinhard, Tobias Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "DeCo: A Core Calculus for ..." Article: oopslaa26main-p391-p
Richards, Gregor Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Type-Safe Monotonic Object ..." Article: oopslaa26main-p276-p
Richey, Cynthia Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Fail Faster: Staging and Fast ..." Article: oopslaa26main-p387-p
Richter, David Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "DeCo: A Core Calculus for ..." Article: oopslaa26main-p391-p
Rompf, Tiark Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Lifetimes Liberate: A ..." Article: oopslaa26main-p305-p
Rosà, Andrea Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Experimental Evaluation Methodology ..." Article: oopslaa26main-p193-p
Rümmer, Philipp Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Sound and Complete Invariant-Based ..." Article: oopslaa26main-p144-p
Saberlatibari, Javad Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Frashokereti: Non-aborting ..." Article: oopslaa26main-p517-p
Salvaneschi, Guido Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Metamorphic Testing for Infrastructure-as-Code ..." Article: oopslaa26main-p139-p
Sarkar, Srinjoy Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Designing GPU Data Structures ..." Article: oopslaa26main-p244-p
Saumya, Charitha Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Taming the Hydra: Targeted ..." Article: oopslaa26main-p20-p
Sergey, Ilya Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Grammar Repair with Examples ..." Article: oopslaa26main-p219-p
Shao, Shuai Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "SymGPT: Auditing Smart Contracts ..." Article: oopslaa26main-p107-p
She, Dongdong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "RandSet: Randomized Corpus ..." Article: oopslaa26main-p340-p
Shi, August Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Understanding and Finding ..." Article: oopslaa26main-p246-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Detecting Flaky Tests by Controlling ..." Article: oopslaa26main-p396-p
Shi, Chenghang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Context-Free Language Reachability ..." Article: oopslaa26main-p533-p
Shi, Dalong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beacon: Detecting Broken Access ..." Article: oopslaa26main-p172-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "VeriEQ: Finding Verilog Simulators ..." Article: oopslaa26main-p188-p
Shi, Qingkai Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Hermes: Making Path-Sensitive ..." Article: oopslaa26main-p61-p
Sinha, Saurabh Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Process-Centric Analysis of ..." Article: oopslaa26main-p534-p
So, Sunbeom Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Prunario: Testing Autonomous ..." Article: oopslaa26main-p383-p
Song, Linhai Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "SymGPT: Auditing Smart Contracts ..." Article: oopslaa26main-p107-p
Spielmann, David Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Metamorphic Testing for Infrastructure-as-Code ..." Article: oopslaa26main-p139-p
Stinnett, J. Ryan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Debugging Debugging Information ..." Article: oopslaa26main-p64-p
Sun, Yuqiang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Reframing Paths as Logic: ..." Article: oopslaa26main-p549-p
Sundararajah, Kirshanthan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Taming the Hydra: Targeted ..." Article: oopslaa26main-p20-p
Swierstra, Wouter Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "PLEX: Normalization for Refinement ..." Article: oopslaa26main-p262-p
Tang, Yutian Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beyond Coverage: Automatic ..." Article: oopslaa26main-p275-p
Tarek Ibn Ziad, Mohamed Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Hunting CUDA Bugs at Scale ..." Article: oopslaa26main-p167-p
Terry, Doug Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Specy: Learning Specifications ..." Article: oopslaa26main-p48-p
Thakur, Manas Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "IRIDIUM: A Framework for Statically ..." Article: oopslaa26main-p554-p
Thompson, Simon Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Mixed Choice in Asynchronous ..." Article: oopslaa26main-p321-p
Timany, Amin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Lawyer: Modular Obligations-Based ..." Article: oopslaa26main-p211-p
Tůma, Petr Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Experimental Evaluation Methodology ..." Article: oopslaa26main-p193-p
Van der Wall, Sören Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Decompiling for Constant-Time ..." Article: oopslaa26main-p13-p
Vazou, Niki Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "PLEX: Normalization for Refinement ..." Article: oopslaa26main-p262-p
Vitek, Jan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Type Inference for Functional ..." Article: oopslaa26main-p124-p
Voinea, Adriana Laura Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Mixed Choice in Asynchronous ..." Article: oopslaa26main-p321-p
Vora, Keval Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Geo: A Query Rewrite Framework ..." Article: oopslaa26main-p206-p
Wang, Chao Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Mechanically Translating Iterative ..." Article: oopslaa26main-p99-p
Wang, Di Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Localizing Type Errors for ..." Article: oopslaa26main-p284-p
Wang, Haoyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Specifications Meet Reality: ..." Article: oopslaa26main-p122-p
Wang, Ji Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Online Input Grammar Synthesis ..." Article: oopslaa26main-p232-p
Wang, Jingbo Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Mechanically Translating Iterative ..." Article: oopslaa26main-p99-p
Wang, Lei Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LARTS: Language Abstractions ..." Article: oopslaa26main-p216-p
Wang, Peixin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Minimalist Proof Language ..." Article: oopslaa26main-p581-p
Wang, Renxi Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Minimalist Proof Language ..." Article: oopslaa26main-p581-p
Wang, Shaohua Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LLM-Powered Silent Bug Fuzzing ..." Article: oopslaa26main-p341-p
Wang, Shuai Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "MetaSpace: Metamorphic Testing ..." Article: oopslaa26main-p63-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "RandSet: Randomized Corpus ..." Article: oopslaa26main-p340-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LLM-Powered Silent Bug Fuzzing ..." Article: oopslaa26main-p341-p
Wang, Yunkun Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "InspectCoder: Dynamic Analysis-Driven ..." Article: oopslaa26main-p202-p
Wang, Yunqian Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Determining the Unreachable: ..." Article: oopslaa26main-p311-p
Wang, Zhongyi Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Tale of 1001 LoC: Potential ..." Article: oopslaa26main-p510-p
Watt, Conrad Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Minimalist Proof Language ..." Article: oopslaa26main-p581-p
Weber, Tjark Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Sound and Complete Invariant-Based ..." Article: oopslaa26main-p144-p
Weirich, Stephanie Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Commuting Conversions and ..." Article: oopslaa26main-p54-p
Wrigstad, Tobias Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Floating-Point Usage on GitHub: ..." Article: oopslaa26main-p22-p
Wu, Chiachih Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Specifications Meet Reality: ..." Article: oopslaa26main-p122-p
Wu, Daoyuan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LLM-Powered Silent Bug Fuzzing ..." Article: oopslaa26main-p341-p
Wu, Haoyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Type-Safe Monotonic Object ..." Article: oopslaa26main-p276-p
Wu, Rongxin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Hermes: Making Path-Sensitive ..." Article: oopslaa26main-p61-p
Wu, Zhiyong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beacon: Detecting Broken Access ..." Article: oopslaa26main-p172-p
Xi, Jinwen Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Specifications Meet Reality: ..." Article: oopslaa26main-p122-p
Xia, Shihao Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "SymGPT: Auditing Smart Contracts ..." Article: oopslaa26main-p107-p
Xiao, Dongwei Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "MetaSpace: Metamorphic Testing ..." Article: oopslaa26main-p63-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LLM-Powered Silent Bug Fuzzing ..." Article: oopslaa26main-p341-p
Xie, Ningning Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Mechanised Semantics of Multi-stage ..." Article: oopslaa26main-p354-p
Xie, Xingyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "(Dis)Proving Spectre Security ..." Article: oopslaa26main-p130-p
Xie, Yuchong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "RandSet: Randomized Corpus ..." Article: oopslaa26main-p340-p
Xing, Mingzhe Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Specifications Meet Reality: ..." Article: oopslaa26main-p122-p
Xu, Gengyang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "MetaSpace: Metamorphic Testing ..." Article: oopslaa26main-p63-p
Xu, Haoran Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Deegen: A JIT-Capable VM Generator ..." Article: oopslaa26main-p258-p
Xu, Jianhao Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "CLower: Detecting Compiler ..." Article: oopslaa26main-p272-p
Xu, Jin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "SART: Sign-Absolute Reformulation ..." Article: oopslaa26main-p200-p
Xu, Qiyuan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Minimalist Proof Language ..." Article: oopslaa26main-p581-p
Xu, Runqing Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Differential Execution with ..." Article: oopslaa26main-p381-p
Xu, Tongtong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LLM-Powered Silent Bug Fuzzing ..." Article: oopslaa26main-p341-p
Xu, Zhengzi Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Reframing Paths as Logic: ..." Article: oopslaa26main-p549-p
Xu, Zhijie Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Learning Symmetric Invariants ..." Article: oopslaa26main-p9-p
Xue, Jingling Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "CMakeSonar: A Static Approach ..." Article: oopslaa26main-p114-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "From Raw Pointers to Memory ..." Article: oopslaa26main-p409-p
Yadav, Aneeket Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "IRIDIUM: A Framework for Statically ..." Article: oopslaa26main-p554-p
Yallop, Jeremy Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Mechanised Semantics of Multi-stage ..." Article: oopslaa26main-p354-p
Yan, Zhen Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "VeriEQ: Finding Verilog Simulators ..." Article: oopslaa26main-p188-p
Yan, Zhenyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beer: Interactive Alarm Resolution ..." Article: oopslaa26main-p91-p
Yang, Mingqi Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Tale of 1001 LoC: Potential ..." Article: oopslaa26main-p510-p
Yang, Rundong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "RandSet: Randomized Corpus ..." Article: oopslaa26main-p340-p
Yang, Yibiao Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beyond Coverage: Automatic ..." Article: oopslaa26main-p275-p
Yao, Rui Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LARTS: Language Abstractions ..." Article: oopslaa26main-p216-p
Yi, Qiuping Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Efficient Directed Hybrid ..." Article: oopslaa26main-p176-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LARTS: Language Abstractions ..." Article: oopslaa26main-p216-p
Yi, Xiao Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Tale of 1001 LoC: Potential ..." Article: oopslaa26main-p510-p
Yi, Zijian Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Understanding and Finding ..." Article: oopslaa26main-p246-p
Yin, Jianwei Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "A Tale of 1001 LoC: Potential ..." Article: oopslaa26main-p510-p
Yoshida, Nobuko Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "SymGPT: Auditing Smart Contracts ..." Article: oopslaa26main-p107-p
Yousefian, Nazanin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Geo: A Query Rewrite Framework ..." Article: oopslaa26main-p206-p
Yu, Tailai Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Localizing Type Errors for ..." Article: oopslaa26main-p284-p
Yu, Tingting Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "SymGPT: Auditing Smart Contracts ..." Article: oopslaa26main-p107-p
Yu, Zehong Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "VeriEQ: Finding Verilog Simulators ..." Article: oopslaa26main-p188-p
Yuan, Hengchen Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Detecting Flaky Tests by Controlling ..." Article: oopslaa26main-p396-p
Yuan, Mengting Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "CMakeSonar: A Static Approach ..." Article: oopslaa26main-p114-p
Yue, Yinliang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "When Specifications Meet Reality: ..." Article: oopslaa26main-p122-p
Zakhour, George Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Metamorphic Testing for Infrastructure-as-Code ..." Article: oopslaa26main-p139-p
Zhang, Charles Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Diatom: Polylithic Binary ..." Article: oopslaa26main-p41-p
Zhang, He Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Hermes: Making Path-Sensitive ..." Article: oopslaa26main-p61-p
Zhang, Kaikai Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "RandSet: Randomized Corpus ..." Article: oopslaa26main-p340-p
Zhang, Kunbo Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "CLower: Detecting Compiler ..." Article: oopslaa26main-p272-p
Zhang, Kunpeng Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LLM-Powered Silent Bug Fuzzing ..." Article: oopslaa26main-p341-p
Zhang, Miaomiao Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "SART: Sign-Absolute Reformulation ..." Article: oopslaa26main-p200-p
Zhang, Peng Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beyond Coverage: Automatic ..." Article: oopslaa26main-p275-p
Zhang, Xin Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beer: Interactive Alarm Resolution ..." Article: oopslaa26main-p91-p
Zhang, Yang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LARTS: Language Abstractions ..." Article: oopslaa26main-p216-p
Zhang, Yao Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Determining the Unreachable: ..." Article: oopslaa26main-p311-p
Zhang, Yiran Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Reframing Paths as Logic: ..." Article: oopslaa26main-p549-p
Zhang, Yiying Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "SymGPT: Auditing Smart Contracts ..." Article: oopslaa26main-p107-p
Zhang, Yue Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "InspectCoder: Dynamic Analysis-Driven ..." Article: oopslaa26main-p202-p
Zhang, Yufeng Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Online Input Grammar Synthesis ..." Article: oopslaa26main-p232-p
Zhang, Zhiyuan Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "(Dis)Proving Spectre Security ..." Article: oopslaa26main-p130-p Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Decompiling for Constant-Time ..." Article: oopslaa26main-p13-p
Zhao, Jiali Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "LLM-Powered Silent Bug Fuzzing ..." Article: oopslaa26main-p341-p
Zheng, Yijie Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Efficient Incremental GR(1) ..." Article: oopslaa26main-p187-p
Zhi, Chen Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "InspectCoder: Dynamic Analysis-Driven ..." Article: oopslaa26main-p202-p
Zhong, Zihang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "CMakeSonar: A Static Approach ..." Article: oopslaa26main-p114-p
Zhou, Anshunkang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Diatom: Polylithic Binary ..." Article: oopslaa26main-p41-p
Zhou, Chenyu Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Mechanically Translating Iterative ..." Article: oopslaa26main-p99-p
Zhou, Yuming Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Beyond Coverage: Automatic ..." Article: oopslaa26main-p275-p
Zhou, Zhiping Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "Determining the Unreachable: ..." Article: oopslaa26main-p311-p
Zhu, Chenguang Proc. ACM Program. Lang., vol. 10, issue OOPSLA1: "OBsmith: LLM-Powered JavaScript ..." Article: oopslaa26main-p25-p

342 authors

proc time: 3.74