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

334 authors

proc time: 7.43