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

334 authors

proc time: 5.36