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

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

OOPSLA2 2025 – Author Index

Contents - Abstracts - Authors

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

Aamer, Zain K Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Bennet: Randomized Specification ..." Article: oopslab25main-p1072-p doi:10.1145/3764115
Abbas, Neha Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeRace: Assessing and Addressing ..." Article: oopslab25main-p196-p doi:10.1145/3763075
Agarwal, Chaitanya Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstract Interpretation of ..." Article: oopslab25main-p750-p doi:10.1145/3763140
Ahmed, Amal Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "From Linearity to Borrowing ..." Article: oopslab25main-p852-p doi:10.1145/3764117
Ahn, Joongwon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "React-tRace: A Semantics for ..." Article: oopslab25main-p146-p doi:10.1145/3763067
Ahrens, Willow Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Continuous Tensor Abstraction: ..." Article: oopslab25main-p793-p doi:10.1145/3763146
Akhin, Marat Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Finding Compiler Bugs through ..." Article: oopslab25main-p842-p doi:10.1145/3763152
Aldrich, Jonathan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Information Flow: ..." Article: oopslab25main-p829-p doi:10.1145/3764116
Aldrich, Mark W. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "RestPi: Path-Sensitive Type ..." Article: oopslab25main-p42-p doi:10.1145/3763055
Ali, Shan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Coinductive Proofs of Regular ..." Article: oopslab25main-p123-p doi:10.1145/3763063
Allard, Henry Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Embedding Quantum Program ..." Article: oopslab25main-p889-p doi:10.1145/3763157
Amarasinghe, Saman Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Continuous Tensor Abstraction: ..." Article: oopslab25main-p793-p doi:10.1145/3763146
An, Zixi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..." Article: oopslab25main-p582-p doi:10.1145/3763124
Anand, Aditya Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "CoSSJIT: Combining Static ..." Article: oopslab25main-p823-p doi:10.1145/3763149
Angel, Sebastian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Temporal Logic ..." Article: oopslab25main-p357-p doi:10.1145/3763091
Antoniadis, Anastasios Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Universal Scalability in Declarative ..." Article: oopslab25main-p613-p doi:10.1145/3763129
Antonopoulos, Timos Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Coinductive Proofs of Regular ..." Article: oopslab25main-p123-p doi:10.1145/3763063
Argo, Sven Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Detecting and Explaining (In-)equivalence ..." Article: oopslab25main-p886-p doi:10.1145/3763156
Ayoun, Sacha-Élie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Symbolic Execution ..." Article: oopslab25main-p840-p doi:10.1145/3763151
Bachurski, Jakub Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mind the Abstraction Gap: ..." Article: oopslab25main-p111-p doi:10.1145/3763062
Bai, Alexander Y. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..." Article: oopslab25main-p582-p doi:10.1145/3763124
Bai, Guangdong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Convex Hull Approximation ..." Article: oopslab25main-p302-p doi:10.1145/3763086
Bao, Peihua Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..." Article: oopslab25main-p898-p doi:10.1145/3763159
Bao, Yuyan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modeling Reachability Types ..." Article: oopslab25main-p536-p doi:10.1145/3763116 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Complete the Cycle: Reachability ..." Article: oopslab25main-p1206-p doi:10.1145/3763172
Barnaby, Celeste Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Active Learning for Neurosymbolic ..." Article: oopslab25main-p424-p doi:10.1145/3763102
Barrett, Clark Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..." Article: oopslab25main-p1052-p doi:10.1145/3763167
Basso, Matteo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Heap-Snapshot Matching and ..." Article: oopslab25main-p456-p doi:10.1145/3763103 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HeapBuffers: Why Not Just ..." Article: oopslab25main-p1281-p doi:10.1145/3763175
Bastani, Osbert Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Active Learning for Neurosymbolic ..." Article: oopslab25main-p424-p doi:10.1145/3763102 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Opportunistically Parallel ..." Article: oopslab25main-p774-p doi:10.1145/3763143
Beillahi, Sidi Mohamed Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HEMVM: A Heterogeneous Blockchain ..." Article: oopslab25main-p203-p doi:10.1145/3763076
Beneš, Jiří Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Simple Essence of Overloading: ..." Article: oopslab25main-p1105-p doi:10.1145/3763168
Bensoussan, Avner Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Shaking Up Quantum Simulators ..." Article: oopslab25main-p411-p doi:10.1145/3763100 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AccelerQ: Accelerating Quantum ..." Article: oopslab25main-p661-p doi:10.1145/3763132
Berger, Ryan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..." Article: oopslab25main-p798-p doi:10.1145/3763147
Beschastnikh, Ivan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TraceLinking Implementations ..." Article: oopslab25main-p601-p doi:10.1145/3763128
Beutner, Raven Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Verifying Asynchronous Hyperproperties ..." Article: oopslab25main-p632-p doi:10.1145/3763130
Bhat, Siddharth Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Certified Decision Procedures ..." Article: oopslab25main-p821-p doi:10.1145/3763148 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..." Article: oopslab25main-p1052-p doi:10.1145/3763167
Bijlani, Baldip Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Memory-Safety Verification ..." Article: oopslab25main-p347-p doi:10.1145/3763090
Bílý, Aurel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Refinement Methodology for ..." Article: oopslab25main-p552-p doi:10.1145/3763119 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Place Capability Graphs: A ..." Article: oopslab25main-p565-p doi:10.1145/3763122
Binder, Walter Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Heap-Snapshot Matching and ..." Article: oopslab25main-p456-p doi:10.1145/3763103 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HeapBuffers: Why Not Just ..." Article: oopslab25main-p1281-p doi:10.1145/3763175
Blackburn, Stephen M. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Work Packets: A New Abstraction ..." Article: oopslab25main-p745-p doi:10.1145/3763139 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Advancing Performance via ..." Article: oopslab25main-p669-p doi:10.1145/3764118
Blinn, Andrew Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Syntactic Completions with ..." Article: oopslab25main-p1468-p doi:10.1145/3763182
Bocevska, Ivana Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Divide and Conquer: A Compositional ..." Article: oopslab25main-p555-p doi:10.1145/3763120
Bodík, Rastislav Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HieraSynth: A Parallel Framework ..." Article: oopslab25main-p937-p doi:10.1145/3763162
Bolz-Tereick, CF Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tracing Just-in-Time Compilation ..." Article: oopslab25main-p294-p doi:10.1145/3763085
Bonetta, Daniele Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HeapBuffers: Why Not Just ..." Article: oopslab25main-p1281-p doi:10.1145/3763175
Boushehrinejad Moradi, Nader Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..." Article: oopslab25main-p798-p doi:10.1145/3763147
Böving, Henrik Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..." Article: oopslab25main-p1052-p doi:10.1145/3763167
Bowman, Wavid Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..." Article: oopslab25main-p582-p doi:10.1145/3763124
Bračevac, Oliver Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "What’s in the Box: Ergonomic ..." Article: oopslab25main-p496-p doi:10.1145/3763112 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modeling Reachability Types ..." Article: oopslab25main-p536-p doi:10.1145/3763116
Brachthäuser, Jonathan Immanuel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tracing Just-in-Time Compilation ..." Article: oopslab25main-p294-p doi:10.1145/3763085 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Dynamic Wind for Effect Handlers ..." Article: oopslab25main-p885-p doi:10.1145/3763155 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Simple Essence of Overloading: ..." Article: oopslab25main-p1105-p doi:10.1145/3763168
Brendel, Ana Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing Implication Lemmas ..." Article: oopslab25main-p633-p doi:10.1145/3763131
Briles, Mitch Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..." Article: oopslab25main-p798-p doi:10.1145/3763147
Brown, Fraser Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scaling Instruction-Selection ..." Article: oopslab25main-p195-p doi:10.1145/3764383
Buckley, Anita Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Language for Quantifying ..." Article: oopslab25main-p677-p doi:10.1145/3763135
Burchell, Humphrey Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Divining Profiler Accuracy: ..." Article: oopslab25main-p1404-p doi:10.1145/3763180
Cadar, Cristian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "P³: Reasoning about Patches ..." Article: oopslab25main-p786-p doi:10.1145/3763145
Calderón Trilla, José Manuel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Exploring the Theory and Practice ..." Article: oopslab25main-p8-p doi:10.1145/3763050
Canelas, Paulo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ROSpec: A Domain-Specific ..." Article: oopslab25main-p1129-p doi:10.1145/3763169
Cao, Man Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Advancing Performance via ..." Article: oopslab25main-p669-p doi:10.1145/3764118
Cao, Qinxiang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Encode the ∀∃ Relational ..." Article: oopslab25main-p732-p doi:10.1145/3763138
Castello, Jonathan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Exploring the Theory and Practice ..." Article: oopslab25main-p8-p doi:10.1145/3763050
Cecchetti, Ethan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Choreographic Quick Changes: ..." Article: oopslab25main-p503-p doi:10.1145/3763114
Chachkarova, Elena Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Shaking Up Quantum Simulators ..." Article: oopslab25main-p411-p doi:10.1145/3763100 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AccelerQ: Accelerating Quantum ..." Article: oopslab25main-p661-p doi:10.1145/3763132
Chandra, Kartik Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Domain-Specific Probabilistic ..." Article: oopslab25main-p212-p doi:10.1145/3763078
Chatterjee, Prantik Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Memory-Safety Verification ..." Article: oopslab25main-p347-p doi:10.1145/3763090
Chen, Chong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..." Article: oopslab25main-p364-p doi:10.1145/3763094
Chen, Fei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "im2im: Automatically Converting ..." Article: oopslab25main-p80-p doi:10.1145/3763059
Chen, Guanlin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tunneling through the Hill: ..." Article: oopslab25main-p1282-p doi:10.1145/3763176
Chen, Hongbo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..." Article: oopslab25main-p401-p doi:10.1145/3763099
Chen, Junjie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..." Article: oopslab25main-p364-p doi:10.1145/3763094 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DESIL: Detecting Silent Bugs ..." Article: oopslab25main-p920-p doi:10.1145/3763161
Chen, Qiaochu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Active Learning for Neurosymbolic ..." Article: oopslab25main-p424-p doi:10.1145/3763102 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Automated Discovery of Tactic ..." Article: oopslab25main-p563-p doi:10.1145/3763121
Chen, Siyan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..." Article: oopslab25main-p898-p doi:10.1145/3763159
Chen, Tony Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Domain-Specific Probabilistic ..." Article: oopslab25main-p212-p doi:10.1145/3763078
Chen, Weiyi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Probabilistic Inference for ..." Article: oopslab25main-p66-p doi:10.1145/3763058
Chen, Xi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..." Article: oopslab25main-p898-p doi:10.1145/3763159
Chen, Yanju Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..." Article: oopslab25main-p482-p doi:10.1145/3763110
Chen, Yanning Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..." Article: oopslab25main-p482-p doi:10.1145/3763110
Chen, Yitong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ABC: Towards a Universal Code ..." Article: oopslab25main-p457-p doi:10.1145/3763104
Chen, Zhenbang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Multi-modal Sketch-Based Behavior ..." Article: oopslab25main-p1365-p doi:10.1145/3763178
Cheng, Feifei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Embedding Quantum Program ..." Article: oopslab25main-p889-p doi:10.1145/3763157
Cheng, Ruotong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Products of Recursive Programs ..." Article: oopslab25main-p901-p doi:10.1145/3763160
Cheng, Xiao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Efficient Abstract Interpretation ..." Article: oopslab25main-p283-p doi:10.1145/3763083
Chlipala, Adam Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Pyrosome: Verified Compilation ..." Article: oopslab25main-p30-p doi:10.1145/3763052
Choi, Joonwon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Revamping Verilog Semantics ..." Article: oopslab25main-p290-p doi:10.1145/3763084
Chuprikov, Pavel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Language for Quantifying ..." Article: oopslab25main-p677-p doi:10.1145/3763135
Cicolini, Luisa Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..." Article: oopslab25main-p1052-p doi:10.1145/3763167
Cito, Jürgen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Static Inference of Regular ..." Article: oopslab25main-p41-p doi:10.1145/3763054
Clarke, Christopher Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..." Article: oopslab25main-p359-p doi:10.1145/3763092
Clune, Joshua Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..." Article: oopslab25main-p1052-p doi:10.1145/3763167
Coblenz, Michael Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "RestPi: Path-Sensitive Type ..." Article: oopslab25main-p42-p doi:10.1145/3763055 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On the Impact of Formal Verification ..." Article: oopslab25main-p1467-p doi:10.1145/3763181 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Evaluation of ..." Article: oopslab25main-p315-p doi:10.1145/3764068
Cohen, Albert Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mind the Abstraction Gap: ..." Article: oopslab25main-p111-p doi:10.1145/3763062
Cohen, Dana Drachsler Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Quantization with Guaranteed ..." Article: oopslab25main-p551-p doi:10.1145/3763118
Collin, Teodoro Fields Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Continuous Tensor Abstraction: ..." Article: oopslab25main-p793-p doi:10.1145/3763146
Coughlin, Nicholas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..." Article: oopslab25main-p798-p doi:10.1145/3763147
Cui, Guofeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstraction Refinement-Guided ..." Article: oopslab25main-p155-p doi:10.1145/3763070
Cui, Weidong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..." Article: oopslab25main-p1243-p doi:10.1145/3763174
Dahmen, Tim Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "im2im: Automatically Converting ..." Article: oopslab25main-p80-p doi:10.1145/3763059
Dai, Jiarun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ApkDiffer: Accurate and Scalable ..." Article: oopslab25main-p752-p doi:10.1145/3763141
Dal Lago, Ugo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On Higher-Order Model Checking ..." Article: oopslab25main-p1541-p doi:10.1145/3763184
D'Amorim, Marcelo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Faster Explicit-Trace Monitoring-Oriented ..." Article: oopslab25main-p1510-p doi:10.1145/3763183
Dang, Sixuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..." Article: oopslab25main-p401-p doi:10.1145/3763099
Dantanarayana, Jayanaka L. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..." Article: oopslab25main-p359-p doi:10.1145/3763092
Delaware, Benjamin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "We’ve Got You Covered: Type-Guided ..." Article: oopslab25main-p893-p doi:10.1145/3763158
De Medeiros, Markus Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Place Capability Graphs: A ..." Article: oopslab25main-p565-p doi:10.1145/3763122
Demsky, Brian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards Verifying Crash Consistency ..." Article: oopslab25main-p210-p doi:10.1145/3763077
Deng, Haotian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Complete the Cycle: Reachability ..." Article: oopslab25main-p1206-p doi:10.1145/3763172
Deng, Ming Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..." Article: oopslab25main-p364-p doi:10.1145/3763094
Derakhshan, Farzaneh Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Quantified Underapproximation ..." Article: oopslab25main-p14-p doi:10.1145/3763051
Dharanikota, Samvid Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fray: An Efficient General-Purpose ..." Article: oopslab25main-p151-p doi:10.1145/3764119
Díaz, Tomás Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flexible and Expressive Typed ..." Article: oopslab25main-p103-p doi:10.1145/3763061 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Certified Programming ..." Article: oopslab25main-p152-p doi:10.1145/3763068
Dillig, Işıl Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Probabilistic Inference for ..." Article: oopslab25main-p66-p doi:10.1145/3763058 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Homomorphism Calculus for ..." Article: oopslab25main-p172-p doi:10.1145/3763072 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Active Learning for Neurosymbolic ..." Article: oopslab25main-p424-p doi:10.1145/3763102 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Automated Discovery of Tactic ..." Article: oopslab25main-p563-p doi:10.1145/3763121
Dimitrov, Dimitar Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "qblaze: An Efficient and Scalable ..." Article: oopslab25main-p143-p doi:10.1145/3763066
Dimoulas, Christos Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Contract System Metatheories ..." Article: oopslab25main-p1009-p doi:10.1145/3764861
Drachsler-Cohen, Dana Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mini-Batch Robustness Verification ..." Article: oopslab25main-p834-p doi:10.1145/3763150
Drossopoulou, Sophia Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Reasoning about External Calls ..." Article: oopslab25main-p128-p doi:10.1145/3763064
Duan, Yuanlin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstraction Refinement-Guided ..." Article: oopslab25main-p155-p doi:10.1145/3763070
Dubach, Christophe Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Sound and Modular Activity ..." Article: oopslab25main-p590-p doi:10.1145/3763125
Duck, Gregory J. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Large Language Model Powered ..." Article: oopslab25main-p950-p doi:10.1145/3763163
Dutta, Saikat Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Understanding and Improving ..." Article: oopslab25main-p400-p doi:10.1145/3763098
Eilers, Marco Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modular Reasoning about Global ..." Article: oopslab25main-p665-p doi:10.1145/3763133
Eisenbach, Susan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Reasoning about External Calls ..." Article: oopslab25main-p128-p doi:10.1145/3763064
Emer, Joel S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Continuous Tensor Abstraction: ..." Article: oopslab25main-p793-p doi:10.1145/3763146
Eugster, Patrick Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Language for Quantifying ..." Article: oopslab25main-p677-p doi:10.1145/3763135
Even-Mendoza, Karine Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Shaking Up Quantum Simulators ..." Article: oopslab25main-p411-p doi:10.1145/3763100 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AccelerQ: Accelerating Quantum ..." Article: oopslab25main-p661-p doi:10.1145/3763132
Fallin, Chris Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scaling Instruction-Selection ..." Article: oopslab25main-p195-p doi:10.1145/3764383
Fan, Max Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Proof Repair across Quotient ..." Article: oopslab25main-p972-p doi:10.1145/3763164
Fang, Ruijie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Homomorphism Calculus for ..." Article: oopslab25main-p172-p doi:10.1145/3763072 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Software Model Checking via ..." Article: oopslab25main-p766-p doi:10.1145/3763142
Farzan, Azadeh Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Products of Recursive Programs ..." Article: oopslab25main-p901-p doi:10.1145/3763160
Fedyukovich, Grigory Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Flow-Sensitive Refinement ..." Article: oopslab25main-p1038-p doi:10.1145/3763799
Feeley, Marc Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Float Self-Tagging ..." Article: oopslab25main-p474-p doi:10.1145/3763108
Feng, Qiong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Finding Compiler Bugs through ..." Article: oopslab25main-p842-p doi:10.1145/3763152
Feng, Yang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..." Article: oopslab25main-p1331-p doi:10.1145/3763800
Feng, Yu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..." Article: oopslab25main-p482-p doi:10.1145/3763110
Feng, Ziyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Finding Compiler Bugs through ..." Article: oopslab25main-p842-p doi:10.1145/3763152
Fiala, Jonáš Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Place Capability Graphs: A ..." Article: oopslab25main-p565-p doi:10.1145/3763122
Findler, Robert Bruce Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Contract System Metatheories ..." Article: oopslab25main-p1009-p doi:10.1145/3764861
Finkbeiner, Bernd Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Verifying Asynchronous Hyperproperties ..." Article: oopslab25main-p632-p doi:10.1145/3763130
Firlejczyk, Patricia Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modular Reasoning about Global ..." Article: oopslab25main-p665-p doi:10.1145/3763133
Flautner, Krisztian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..." Article: oopslab25main-p359-p doi:10.1145/3763092
Fonseca, Alcides Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ROSpec: A Domain-Specific ..." Article: oopslab25main-p1129-p doi:10.1145/3763169
Fortz, Sophie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Shaking Up Quantum Simulators ..." Article: oopslab25main-p411-p doi:10.1145/3763100 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AccelerQ: Accelerating Quantum ..." Article: oopslab25main-p661-p doi:10.1145/3763132
Foster, Jeffrey S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "RestPi: Path-Sensitive Type ..." Article: oopslab25main-p42-p doi:10.1145/3763055
Francalanza, Adrian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Correct Black-Box Monitors ..." Article: oopslab25main-p153-p doi:10.1145/3763069
Frenot, Léon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..." Article: oopslab25main-p1052-p doi:10.1145/3763167
Fu, Hongfei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Abstraction and ..." Article: oopslab25main-p528-p doi:10.1145/3763115
Gaißert, Marcial Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tracing Just-in-Time Compilation ..." Article: oopslab25main-p294-p doi:10.1145/3763085
Gao, Cunyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Lightweight Type-and-Effect ..." Article: oopslab25main-p780-p doi:10.1145/3763144
Gao, Miao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ABC: Towards a Universal Code ..." Article: oopslab25main-p457-p doi:10.1145/3763104
Gao, Yanfeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HybridPersist: A Compiler ..." Article: oopslab25main-p341-p doi:10.1145/3763089
Gao, Zhiqiang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ABC: Towards a Universal Code ..." Article: oopslab25main-p457-p doi:10.1145/3763104
Gardner, Philippa Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Symbolic Execution ..." Article: oopslab25main-p840-p doi:10.1145/3763151
Garg, Deepak Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Non-interference Preserving ..." Article: oopslab25main-p420-p doi:10.1145/3763101
Garg, Poorva Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tuning Random Generators: ..." Article: oopslab25main-p278-p doi:10.1145/3763082
Ge, Zhaoyi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Zero-Overhead Lexical Effect ..." Article: oopslab25main-p1288-p doi:10.1145/3763177
Geer, Jasper Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Place Capability Graphs: A ..." Article: oopslab25main-p565-p doi:10.1145/3763122
Gehr, Timon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "qblaze: An Efficient and Scalable ..." Article: oopslab25main-p143-p doi:10.1145/3763066
Gierczak, Olek Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "From Linearity to Borrowing ..." Article: oopslab25main-p852-p doi:10.1145/3764117
Gilbert, Elizabeth Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..." Article: oopslab25main-p582-p doi:10.1145/3763124
Glover, Nathan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Integrating Resource Analyses ..." Article: oopslab25main-p461-p doi:10.1145/3763798
Godfrey, Brighten Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeTree: Expressive Tree ..." Article: oopslab25main-p595-p doi:10.1145/3763127
Goldstein, Harrison Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tuning Random Generators: ..." Article: oopslab25main-p278-p doi:10.1145/3763082
Gong, Yeyun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..." Article: oopslab25main-p1243-p doi:10.1145/3763174
Goodman, Noah D. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Automated Discovery of Tactic ..." Article: oopslab25main-p563-p doi:10.1145/3763121
Gordon, Colin S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modal Abstractions for Virtualizing ..." Article: oopslab25main-p670-p doi:10.1145/3763134
Gouni, Hemant Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Information Flow: ..." Article: oopslab25main-p829-p doi:10.1145/3764116
Grannan, Zachary Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Place Capability Graphs: A ..." Article: oopslab25main-p565-p doi:10.1145/3763122
Grech, Neville Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Universal Scalability in Declarative ..." Article: oopslab25main-p613-p doi:10.1145/3763129
Grewal, Karuna Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeTree: Expressive Tree ..." Article: oopslab25main-p595-p doi:10.1145/3763127
Grosser, Tobias Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Certified Decision Procedures ..." Article: oopslab25main-p821-p doi:10.1145/3763148 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..." Article: oopslab25main-p1052-p doi:10.1145/3763167
Guan, Kevin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Faster Explicit-Trace Monitoring-Oriented ..." Article: oopslab25main-p1510-p doi:10.1145/3763183
Gulcan, Ege Berkay Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Model-Guided Fuzzing of Distributed ..." Article: oopslab25main-p89-p doi:10.1145/3763060
Gurfinkel, Arie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Flow-Sensitive Refinement ..." Article: oopslab25main-p1038-p doi:10.1145/3763799
Gutierrez, Claudio Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flexible and Expressive Typed ..." Article: oopslab25main-p103-p doi:10.1145/3763061
Hack, Sebastian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Non-interference Preserving ..." Article: oopslab25main-p420-p doi:10.1145/3763101
Hackett, Finn Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TraceLinking Implementations ..." Article: oopslab25main-p601-p doi:10.1145/3763128
Hague, Matthew Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Power of Regular Constraint ..." Article: oopslab25main-p983-p doi:10.1145/3763165
Halalingaiah, Shashin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Probabilistic Inference for ..." Article: oopslab25main-p66-p doi:10.1145/3763058
Hamouda, Sara S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Advancing Performance via ..." Article: oopslab25main-p669-p doi:10.1145/3764118
Hamza, Ameer Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Flow-Sensitive Refinement ..." Article: oopslab25main-p1038-p doi:10.1145/3763799
Han, Xing Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..." Article: oopslab25main-p401-p doi:10.1145/3763099
Han, Zhilei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Abstraction and ..." Article: oopslab25main-p528-p doi:10.1145/3763115
Hao, Dan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..." Article: oopslab25main-p364-p doi:10.1145/3763094
Hawblitzel, Chris Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..." Article: oopslab25main-p1243-p doi:10.1145/3763174
He, Dongjie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fast Client-Driven CFL-Reachability ..." Article: oopslab25main-p139-p doi:10.1145/3763065
He, Fei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Abstraction and ..." Article: oopslab25main-p528-p doi:10.1145/3763115
He, Siyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Complete the Cycle: Reachability ..." Article: oopslab25main-p1206-p doi:10.1145/3763172
He, Yumeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Formalizing Linear Motion ..." Article: oopslab25main-p459-p doi:10.1145/3763106
Hirsch, Andrew K. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Choreographic Quick Changes: ..." Article: oopslab25main-p503-p doi:10.1145/3763114
Hoffmann, Jan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Integrating Resource Analyses ..." Article: oopslab25main-p461-p doi:10.1145/3763798
Hong, Weijiang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Multi-modal Sketch-Based Behavior ..." Article: oopslab25main-p1365-p doi:10.1145/3763178
Hsu, Justin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Hoare Logic for Symmetry ..." Article: oopslab25main-p227-p doi:10.1145/3763080 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeTree: Expressive Tree ..." Article: oopslab25main-p595-p doi:10.1145/3763127
Huang, Jeff Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DepFuzz: Efficient Smart Contract ..." Article: oopslab25main-p1663-p doi:10.1145/3763185
Huang, Xuejing Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Liberating Merges via Apartness ..." Article: oopslab25main-p58-p doi:10.1145/3763057
Hückelheim, Jan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing Sound and Precise ..." Article: oopslab25main-p330-p doi:10.1145/3763088
Hughes, Chris Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Certified Decision Procedures ..." Article: oopslab25main-p821-p doi:10.1145/3763148
Hughes, Jacob Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Garbage Collection for Rust: ..." Article: oopslab25main-p1375-p doi:10.1145/3763179
Hwang, Doha Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Corrigendum: PAFL: Enhancing ..." Article: oopslaa25main-p240-p-CR doi:10.1145/3766912
Ioannidis, Eleftherios Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Temporal Logic ..." Article: oopslab25main-p357-p doi:10.1145/3763091
Isychev, Anastasia Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Cost of Soundness in Mixed-Precision ..." Article: oopslab25main-p719-p doi:10.1145/3763137
Jafari, Seyed Mohammad Reza Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Embedding Quantum Program ..." Article: oopslab25main-p889-p doi:10.1145/3763157
Jagannathan, Suresh Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "We’ve Got You Covered: Type-Guided ..." Article: oopslab25main-p893-p doi:10.1145/3763158
Jamner, Dustin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Pyrosome: Verified Compilation ..." Article: oopslab25main-p30-p doi:10.1145/3763052
Jayakumar, Nikhil Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "GALA: A High Performance Graph ..." Article: oopslab25main-p502-p doi:10.1145/3763113
Jeon, Minseok Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Corrigendum: PAFL: Enhancing ..." Article: oopslaa25main-p240-p-CR doi:10.1145/3766912
Jeż, Artur Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Power of Regular Constraint ..." Article: oopslab25main-p983-p doi:10.1145/3763165
Jhala, Ranjit Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On the Impact of Formal Verification ..." Article: oopslab25main-p1467-p doi:10.1145/3763181
Ji, Ruyi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tunneling through the Hill: ..." Article: oopslab25main-p1282-p doi:10.1145/3763176
Jia, Limin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Quantified Underapproximation ..." Article: oopslab25main-p14-p doi:10.1145/3763051
Jia, Songlin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modeling Reachability Types ..." Article: oopslab25main-p536-p doi:10.1145/3763116 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Complete the Cycle: Reachability ..." Article: oopslab25main-p1206-p doi:10.1145/3763172
Jiang, Jiajun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DESIL: Detecting Silent Bugs ..." Article: oopslab25main-p920-p doi:10.1145/3763161
Jung, Max Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Zero-Overhead Lexical Effect ..." Article: oopslab25main-p1288-p doi:10.1145/3763177
Kabaha, Anan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Quantization with Guaranteed ..." Article: oopslab25main-p551-p doi:10.1145/3763118
Kallas, Konstantinos Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Opportunistically Parallel ..." Article: oopslab25main-p774-p doi:10.1145/3763143
Kammer, Gabriel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Pyrosome: Verified Compilation ..." Article: oopslab25main-p30-p doi:10.1145/3763052
Kang, Byeongjee Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fray: An Efficient General-Purpose ..." Article: oopslab25main-p151-p doi:10.1145/3764119
Kang, Jeehoon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Revamping Verilog Semantics ..." Article: oopslab25main-p290-p doi:10.1145/3763084
Kang, Yiping Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..." Article: oopslab25main-p359-p doi:10.1145/3763092
Kashmira, Savini Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..." Article: oopslab25main-p359-p doi:10.1145/3763092
Keizer, Alex Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..." Article: oopslab25main-p1052-p doi:10.1145/3763167
Khan, Harun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..." Article: oopslab25main-p1052-p doi:10.1145/3763167
Kiefer, Sandra Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Detecting and Explaining (In-)equivalence ..." Article: oopslab25main-p886-p doi:10.1145/3763156
Kim, Donguk Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Corrigendum: PAFL: Enhancing ..." Article: oopslaa25main-p240-p-CR doi:10.1145/3766912
Kim, Jaewoo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Revamping Verilog Semantics ..." Article: oopslab25main-p290-p doi:10.1145/3763084
Kincaid, Zachary Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Software Model Checking via ..." Article: oopslab25main-p766-p doi:10.1145/3763142
Kirisame, Marisa Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Bidirectional ..." Article: oopslab25main-p538-p doi:10.1145/3763117
Kjolstad, Fredrik Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "REPTILE: Performant Tiling ..." Article: oopslab25main-p189-p doi:10.1145/3763074
Klein, Mark Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Quantified Underapproximation ..." Article: oopslab25main-p14-p doi:10.1145/3763051
Klimis, Vasileios Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Shaking Up Quantum Simulators ..." Article: oopslab25main-p411-p doi:10.1145/3763100
Kolesar, John C. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Coinductive Proofs of Regular ..." Article: oopslab25main-p123-p doi:10.1145/3763063
Koskinen, Eric Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstract Interpretation of ..." Article: oopslab25main-p750-p doi:10.1145/3763140
Kovács, Laura Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Divide and Conquer: A Compositional ..." Article: oopslab25main-p555-p doi:10.1145/3763120
Krogmeier, Paul Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing DSLs for Few-Shot ..." Article: oopslab25main-p182-p doi:10.1145/3763073
Kuper, Lindsey Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Exploring the Theory and Practice ..." Article: oopslab25main-p8-p doi:10.1145/3763050
Kuru, Ismail Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modal Abstractions for Virtualizing ..." Article: oopslab25main-p670-p doi:10.1145/3763134
LaFontaine, Patrick Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "We’ve Got You Covered: Type-Guided ..." Article: oopslab25main-p893-p doi:10.1145/3763158
Laguna, Ignacio Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing Sound and Precise ..." Article: oopslab25main-p330-p doi:10.1145/3763088
Lahiri, Shuvendu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..." Article: oopslab25main-p1243-p doi:10.1145/3763174
Lai, Cheuk Tung Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Extraction and Mutation at ..." Article: oopslab25main-p876-p doi:10.1145/3763154
Lai, JianXin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..." Article: oopslab25main-p368-p doi:10.1145/3763095
Lal, Akash Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Memory-Safety Verification ..." Article: oopslab25main-p347-p doi:10.1145/3763090
Lam, Kait Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..." Article: oopslab25main-p798-p doi:10.1145/3763147
Lampropoulos, Leonidas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Quantum Control ..." Article: oopslab25main-p54-p doi:10.1145/3763056
Laurel, Jacob Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing Sound and Precise ..." Article: oopslab25main-p330-p doi:10.1145/3763088
Lauwaerts, Tom Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MIO: Multiverse Debugging ..." Article: oopslab25main-p685-p doi:10.1145/3763136
Laybourn, Isabella Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fray: An Efficient General-Purpose ..." Article: oopslab25main-p151-p doi:10.1145/3764119
Lee, Ashley Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeRace: Assessing and Addressing ..." Article: oopslab25main-p196-p doi:10.1145/3763075
Lee, Edward Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Qualified Types with Boolean ..." Article: oopslab25main-p385-p doi:10.1145/3763096
Lee, Jay Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "React-tRace: A Semantics for ..." Article: oopslab25main-p146-p doi:10.1145/3763067
Lee, Keonho Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards Verifying Crash Consistency ..." Article: oopslab25main-p210-p doi:10.1145/3763077
Lee, Leo Seojun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mind the Abstraction Gap: ..." Article: oopslab25main-p111-p doi:10.1145/3763062
Lee, Zheng Han Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Efficient Decrease-and-Conquer ..." Article: oopslab25main-p577-p doi:10.1145/3763123
Legunsen, Owolabi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Faster Explicit-Trace Monitoring-Oriented ..." Article: oopslab25main-p1510-p doi:10.1145/3763183
Lenadora, Damitha Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "GALA: A High Performance Graph ..." Article: oopslab25main-p502-p doi:10.1145/3763113
Lenihan, Connor Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Shaking Up Quantum Simulators ..." Article: oopslab25main-p411-p doi:10.1145/3763100 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AccelerQ: Accelerating Quantum ..." Article: oopslab25main-p661-p doi:10.1145/3763132
Levin, Kyla H. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "RestPi: Path-Sensitive Type ..." Article: oopslab25main-p42-p doi:10.1145/3763055
Levine, Reese Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeRace: Assessing and Addressing ..." Article: oopslab25main-p196-p doi:10.1145/3763075
Lhoták, Ondřej Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Qualified Types with Boolean ..." Article: oopslab25main-p385-p doi:10.1145/3763096 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flix: A Design for Language-Integrated ..." Article: oopslab25main-p593-p doi:10.1145/3763126
Li, Ao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fray: An Efficient General-Purpose ..." Article: oopslab25main-p151-p doi:10.1145/3764119
Li, Baichuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..." Article: oopslab25main-p359-p doi:10.1145/3763092
Li, Baixuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ABC: Towards a Universal Code ..." Article: oopslab25main-p457-p doi:10.1145/3763104
Li, Chenxi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Two Approaches to Fast Bytecode ..." Article: oopslab25main-p259-p doi:10.1145/3763081
Li, Chenxing Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HEMVM: A Heterogeneous Blockchain ..." Article: oopslab25main-p203-p doi:10.1145/3763076
Li, Guanyan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Abstraction and ..." Article: oopslab25main-p528-p doi:10.1145/3763115
Li, Haofeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fast Client-Driven CFL-Reachability ..." Article: oopslab25main-p139-p doi:10.1145/3763065
Li, John M. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "From Linearity to Borrowing ..." Article: oopslab25main-p852-p doi:10.1145/3764117
Li, Juanen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Abstraction and ..." Article: oopslab25main-p528-p doi:10.1145/3763115
Li, Lian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fast Client-Driven CFL-Reachability ..." Article: oopslab25main-p139-p doi:10.1145/3763065
Li, Liyi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Embedding Quantum Program ..." Article: oopslab25main-p889-p doi:10.1145/3763157
Li, Long Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..." Article: oopslab25main-p368-p doi:10.1145/3763095
Li, Mingyi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..." Article: oopslab25main-p898-p doi:10.1145/3763159
Li, Peilun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HEMVM: A Heterogeneous Blockchain ..." Article: oopslab25main-p203-p doi:10.1145/3763076
Li, Shangyu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Sound Static Analysis Approach ..." Article: oopslab25main-p159-p doi:10.1145/3763071
Li, Shaohua Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interleaving Large Language ..." Article: oopslab25main-p225-p doi:10.1145/3763079 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..." Article: oopslab25main-p1331-p doi:10.1145/3763800
Li, Xuandong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HybridPersist: A Compiler ..." Article: oopslab25main-p341-p doi:10.1145/3763089 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "PReMM: LLM-Based Program Repair ..." Article: oopslab25main-p395-p doi:10.1145/3763097 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TailTracer: Continuous Tail ..." Article: oopslab25main-p478-p doi:10.1145/3763109 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards a Theoretically-Backed ..." Article: oopslab25main-p486-p doi:10.1145/3763111
Li, Xuheng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..." Article: oopslab25main-p1243-p doi:10.1145/3763174
Li, Yi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TailTracer: Continuous Tail ..." Article: oopslab25main-p478-p doi:10.1145/3763109
Li, Yihe Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Large Language Model Powered ..." Article: oopslab25main-p950-p doi:10.1145/3763163
Li, Yue Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Two Approaches to Fast Bytecode ..." Article: oopslab25main-p259-p doi:10.1145/3763081
Li, Zhong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "PReMM: LLM-Based Program Repair ..." Article: oopslab25main-p395-p doi:10.1145/3763097
Liang, Peng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Finding Compiler Bugs through ..." Article: oopslab25main-p842-p doi:10.1145/3763152
Lin, Anthony Widjaja Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Power of Regular Constraint ..." Article: oopslab25main-p983-p doi:10.1145/3763165
Lin, Haoran Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Two Approaches to Fast Bytecode ..." Article: oopslab25main-p259-p doi:10.1145/3763081
Lin, Youfang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..." Article: oopslab25main-p364-p doi:10.1145/3763094
Little, Kyle Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeRace: Assessing and Addressing ..." Article: oopslab25main-p196-p doi:10.1145/3763075
Liu, Hanzhi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..." Article: oopslab25main-p482-p doi:10.1145/3763110
Liu, Junrui Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..." Article: oopslab25main-p482-p doi:10.1145/3763110
Liu, Kui Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "PReMM: LLM-Based Program Repair ..." Article: oopslab25main-p395-p doi:10.1145/3763097
Liu, Lang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Quantified Underapproximation ..." Article: oopslab25main-p14-p doi:10.1145/3763051
Liu, Tianyi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TailTracer: Continuous Tail ..." Article: oopslab25main-p478-p doi:10.1145/3763109
Liu, Yan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..." Article: oopslab25main-p368-p doi:10.1145/3763095
Liu, Zixi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..." Article: oopslab25main-p1331-p doi:10.1145/3763800
Löff, Júnior Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HeapBuffers: Why Not Just ..." Article: oopslab25main-p1281-p doi:10.1145/3763175
Lohar, Debasmita Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Cost of Soundness in Mixed-Precision ..." Article: oopslab25main-p719-p doi:10.1145/3763137
Long, Fan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HEMVM: A Heterogeneous Blockchain ..." Article: oopslab25main-p203-p doi:10.1145/3763076
Lööw, Andreas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Symbolic Execution ..." Article: oopslab25main-p840-p doi:10.1145/3763151
Lopes, Nuno P. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..." Article: oopslab25main-p798-p doi:10.1145/3763147
Lorch, Jacob R. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..." Article: oopslab25main-p1243-p doi:10.1145/3763174
Lu, Jie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fast Client-Driven CFL-Reachability ..." Article: oopslab25main-p139-p doi:10.1145/3763065
Lu, Longlong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards a Theoretically-Backed ..." Article: oopslab25main-p486-p doi:10.1145/3763111
Lu, Shan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..." Article: oopslab25main-p1243-p doi:10.1145/3763174
Lu, Shuai Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..." Article: oopslab25main-p1243-p doi:10.1145/3763174
Lu, Sirui Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HieraSynth: A Parallel Framework ..." Article: oopslab25main-p937-p doi:10.1145/3763162
Lu, Yifei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards a Theoretically-Backed ..." Article: oopslab25main-p486-p doi:10.1145/3763111
Luo, Mingyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ApkDiffer: Accurate and Scalable ..." Article: oopslab25main-p752-p doi:10.1145/3763141
Ma, Chenyang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DepFuzz: Efficient Smart Contract ..." Article: oopslab25main-p1663-p doi:10.1145/3763185
Ma, Cong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Zero-Overhead Lexical Effect ..." Article: oopslab25main-p1288-p doi:10.1145/3763177
Ma, Hui Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..." Article: oopslab25main-p898-p doi:10.1145/3763159
Ma, Xiaotian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Finding Compiler Bugs through ..." Article: oopslab25main-p842-p doi:10.1145/3763152
Ma, Zhongkui Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Convex Hull Approximation ..." Article: oopslab25main-p302-p doi:10.1145/3763086
Mackay, Julian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Reasoning about External Calls ..." Article: oopslab25main-p128-p doi:10.1145/3763064
Mada, Stefan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..." Article: oopslab25main-p798-p doi:10.1145/3763147
Madhusudan, P. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing DSLs for Few-Shot ..." Article: oopslab25main-p182-p doi:10.1145/3763073
Madsen, Magnus Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Qualified Types with Boolean ..." Article: oopslab25main-p385-p doi:10.1145/3763096 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flix: A Design for Language-Integrated ..." Article: oopslab25main-p593-p doi:10.1145/3763126
Maier, Daryl Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "CoSSJIT: Combining Static ..." Article: oopslab25main-p823-p doi:10.1145/3763149
Maillard, Kenji Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Certified Programming ..." Article: oopslab25main-p152-p doi:10.1145/3763068
Majumdar, Rupak Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Model-Guided Fuzzing of Distributed ..." Article: oopslab25main-p89-p doi:10.1145/3763060
Mao, Wensen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstraction Refinement-Guided ..." Article: oopslab25main-p155-p doi:10.1145/3763070
Markgraf, Oliver Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Power of Regular Constraint ..." Article: oopslab25main-p983-p doi:10.1145/3763165
Marr, Stefan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Divining Profiler Accuracy: ..." Article: oopslab25main-p1404-p doi:10.1145/3763180
Mars, Jason Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..." Article: oopslab25main-p359-p doi:10.1145/3763092
Marshall, Brianna Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "From Linearity to Borrowing ..." Article: oopslab25main-p852-p doi:10.1145/3764117
Mathur, Umang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Efficient Decrease-and-Conquer ..." Article: oopslab25main-p577-p doi:10.1145/3763123
McKinley, Kathryn S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Work Packets: A New Abstraction ..." Article: oopslab25main-p745-p doi:10.1145/3763139 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Advancing Performance via ..." Article: oopslab25main-p669-p doi:10.1145/3764118
McLoughlin, Michael Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scaling Instruction-Selection ..." Article: oopslab25main-p195-p doi:10.1145/3764383
Mehta, Vaibhav Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Hoare Logic for Symmetry ..." Article: oopslab25main-p227-p doi:10.1145/3763080
Melançon, Olivier Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Float Self-Tagging ..." Article: oopslab25main-p474-p doi:10.1145/3763108
Mell, Stephen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Opportunistically Parallel ..." Article: oopslab25main-p774-p doi:10.1145/3763143
Mendis, Charith Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "GALA: A High Performance Graph ..." Article: oopslab25main-p502-p doi:10.1145/3763113
Meng, Ruijie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Large Language Model Powered ..." Article: oopslab25main-p950-p doi:10.1145/3763163
Miller, Heather Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..." Article: oopslab25main-p582-p doi:10.1145/3763124
Millstein, Todd Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tuning Random Generators: ..." Article: oopslab25main-p278-p doi:10.1145/3763082 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing Implication Lemmas ..." Article: oopslab25main-p633-p doi:10.1145/3763131
Mints, Mikhail Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Quantum Control ..." Article: oopslab25main-p54-p doi:10.1145/3763056
Mishra, Ashish Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "We’ve Got You Covered: Type-Guided ..." Article: oopslab25main-p893-p doi:10.1145/3763158
Misu, Md Rakib Hossain Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..." Article: oopslab25main-p1243-p doi:10.1145/3763174
Mohamed, Abdalrhman Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..." Article: oopslab25main-p1052-p doi:10.1145/3763167
Moon, David Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Syntactic Completions with ..." Article: oopslab25main-p1468-p doi:10.1145/3763182
Moreno, Gabriel A. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Quantified Underapproximation ..." Article: oopslab25main-p14-p doi:10.1145/3763051
Moser, Cyril Flurin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating Soundness and Completeness ..." Article: oopslab25main-p1202-p doi:10.1145/3763171
Moses, William S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mind the Abstraction Gap: ..." Article: oopslab25main-p111-p doi:10.1145/3763062 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Sound and Modular Activity ..." Article: oopslab25main-p590-p doi:10.1145/3763125
Mugnier, Eric Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On the Impact of Formal Verification ..." Article: oopslab25main-p1467-p doi:10.1145/3763181
Müller, Peter Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Refinement Methodology for ..." Article: oopslab25main-p552-p doi:10.1145/3763119 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Place Capability Graphs: A ..." Article: oopslab25main-p565-p doi:10.1145/3763122 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modular Reasoning about Global ..." Article: oopslab25main-p665-p doi:10.1145/3763133
Nag, Ritam Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Pyrosome: Verified Compilation ..." Article: oopslab25main-p30-p doi:10.1145/3763052
Nagendra, Srinidhi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Model-Guided Fuzzing of Distributed ..." Article: oopslab25main-p89-p doi:10.1145/3763060
Nandi, Chandrakana Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Formalizing Linear Motion ..." Article: oopslab25main-p459-p doi:10.1145/3763106
Nantes-Sobrinho, Daniele Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Symbolic Execution ..." Article: oopslab25main-p840-p doi:10.1145/3763151
Navas, Jorge A. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Flow-Sensitive Refinement ..." Article: oopslab25main-p1038-p doi:10.1145/3763799
Nekriach, Vladyslav Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HEMVM: A Heterogeneous Blockchain ..." Article: oopslab25main-p203-p doi:10.1145/3763076
Ni, Yunbo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interleaving Large Language ..." Article: oopslab25main-p225-p doi:10.1145/3763079 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..." Article: oopslab25main-p1331-p doi:10.1145/3763800
Nicola, Mihai Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstract Interpretation of ..." Article: oopslab25main-p750-p doi:10.1145/3763140
Niu, Yue Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Integrating Resource Analyses ..." Article: oopslab25main-p461-p doi:10.1145/3763798
Noble, James Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Reasoning about External Calls ..." Article: oopslab25main-p128-p doi:10.1145/3763064
Odersky, Martin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "What’s in the Box: Ergonomic ..." Article: oopslab25main-p496-p doi:10.1145/3763112
Oh, Hakjoo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Corrigendum: PAFL: Enhancing ..." Article: oopslaa25main-p240-p-CR doi:10.1145/3766912 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Enhancing APR with PRISM: ..." Article: oopslab25main-p1201-p doi:10.1145/3763170
Oliveira, Bruno C. d. S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Liberating Merges via Apartness ..." Article: oopslab25main-p58-p doi:10.1145/3763057 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flexible and Expressive Typed ..." Article: oopslab25main-p103-p doi:10.1145/3763061
Omar, Cyrus Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Bidirectional ..." Article: oopslab25main-p538-p doi:10.1145/3763117 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Syntactic Completions with ..." Article: oopslab25main-p1468-p doi:10.1145/3763182
Otoni, Rodrigo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Language for Quantifying ..." Article: oopslab25main-p677-p doi:10.1145/3763135
Ozkan, Burcu Kulahcioglu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Model-Guided Fuzzing of Distributed ..." Article: oopslab25main-p89-p doi:10.1145/3763060
Padhye, Rohan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fray: An Efficient General-Purpose ..." Article: oopslab25main-p151-p doi:10.1145/3764119
Pai, Sreepathi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Formalizing Linear Motion ..." Article: oopslab25main-p459-p doi:10.1145/3763106
Pan, Minxue Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards a Theoretically-Backed ..." Article: oopslab25main-p486-p doi:10.1145/3763111
Panchekha, Pavel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Bidirectional ..." Article: oopslab25main-p538-p doi:10.1145/3763117
Park, Seung Hoon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Symbolic Execution ..." Article: oopslab25main-p840-p doi:10.1145/3763151
Parno, Bryan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scaling Instruction-Selection ..." Article: oopslab25main-p195-p doi:10.1145/3764383
Parreaux, Lionel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Lightweight Type-and-Effect ..." Article: oopslab25main-p780-p doi:10.1145/3763144
Pearson, Luke Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..." Article: oopslab25main-p482-p doi:10.1145/3763110
Pei, Yu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "PReMM: LLM-Based Program Repair ..." Article: oopslab25main-p395-p doi:10.1145/3763097
Peng, Mai Jacob Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Sound and Modular Activity ..." Article: oopslab25main-p590-p doi:10.1145/3763125
Peng, Yiteng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Extraction and Mutation at ..." Article: oopslab25main-p876-p doi:10.1145/3763154
Pereira, João Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Refinement Methodology for ..." Article: oopslab25main-p552-p doi:10.1145/3763119 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modular Reasoning about Global ..." Article: oopslab25main-p665-p doi:10.1145/3763133
Petković Komel, Anja Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Divide and Conquer: A Compositional ..." Article: oopslab25main-p555-p doi:10.1145/3763120
Pfenning, Frank Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Information Flow: ..." Article: oopslab25main-p829-p doi:10.1145/3764116
Pham, Cao Nguyen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "What’s in the Box: Ergonomic ..." Article: oopslab25main-p496-p doi:10.1145/3763112
Pham, Long Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Integrating Resource Analyses ..." Article: oopslab25main-p461-p doi:10.1145/3763798
Phothilimthana, Phitchaya Mangpo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mind the Abstraction Gap: ..." Article: oopslab25main-p111-p doi:10.1145/3763062
Pierce, Benjamin C. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tuning Random Generators: ..." Article: oopslab25main-p278-p doi:10.1145/3763082 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Bennet: Randomized Specification ..." Article: oopslab25main-p1072-p doi:10.1145/3764115
Piskac, Ruzica Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Coinductive Proofs of Regular ..." Article: oopslab25main-p123-p doi:10.1145/3763063
Poesia, Gabriel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Automated Discovery of Tactic ..." Article: oopslab25main-p563-p doi:10.1145/3763121
Porter, Thomas J. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Bidirectional ..." Article: oopslab25main-p538-p doi:10.1145/3763117 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Syntactic Completions with ..." Article: oopslab25main-p1468-p doi:10.1145/3763182
Potanin, Alex Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Embedding Quantum Program ..." Article: oopslab25main-p889-p doi:10.1145/3763157
Prokopec, Aleksandar Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Heap-Snapshot Matching and ..." Article: oopslab25main-p456-p doi:10.1145/3763103
Ragan-Kelley, Jonathan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Domain-Specific Probabilistic ..." Article: oopslab25main-p212-p doi:10.1145/3763078
Rahman, Shanto Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Understanding and Improving ..." Article: oopslab25main-p400-p doi:10.1145/3763098
Rain, Sophie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Divide and Conquer: A Compositional ..." Article: oopslab25main-p555-p doi:10.1145/3763120
Ramalingam, Ramya Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Active Learning for Neurosymbolic ..." Article: oopslab25main-p424-p doi:10.1145/3763102
Rand, Robert Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Quantum Control ..." Article: oopslab25main-p54-p doi:10.1145/3763056 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Language for Quantifying ..." Article: oopslab25main-p677-p doi:10.1145/3763135
Ravi, Savitha Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Evaluation of ..." Article: oopslab25main-p315-p doi:10.1145/3764068
Rawson, Michael Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Divide and Conquer: A Compositional ..." Article: oopslab25main-p555-p doi:10.1145/3763120
Redmond, Patrick Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Exploring the Theory and Practice ..." Article: oopslab25main-p8-p doi:10.1145/3763050
Regehr, John Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..." Article: oopslab25main-p798-p doi:10.1145/3763147
Reps, Thomas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Software Model Checking via ..." Article: oopslab25main-p766-p doi:10.1145/3763142 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scalable Equivalence Checking ..." Article: oopslab25main-p861-p doi:10.1145/3763153
Rigger, Manuel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flexible and Expressive Typed ..." Article: oopslab25main-p103-p doi:10.1145/3763061
Ringer, Talia Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Proof Repair across Quotient ..." Article: oopslab25main-p972-p doi:10.1145/3763164
Rompf, Tiark Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modeling Reachability Types ..." Article: oopslab25main-p536-p doi:10.1145/3763116 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Complete the Cycle: Reachability ..." Article: oopslab25main-p1206-p doi:10.1145/3763172
Rosà, Andrea Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Heap-Snapshot Matching and ..." Article: oopslab25main-p456-p doi:10.1145/3763103
Rosemann, Julian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Non-interference Preserving ..." Article: oopslab25main-p420-p doi:10.1145/3763101
Rowicki, Radosław Jan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Correct Black-Box Monitors ..." Article: oopslab25main-p153-p doi:10.1145/3763069
Roy, Subhajit Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Memory-Safety Verification ..." Article: oopslab25main-p347-p doi:10.1145/3763090
Rümmer, Philipp Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Power of Regular Constraint ..." Article: oopslab25main-p983-p doi:10.1145/3763165
Saad, Feras Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Integrating Resource Analyses ..." Article: oopslab25main-p461-p doi:10.1145/3763798
Saffrich, Hannes Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Borrowing from Session Types ..." Article: oopslab25main-p1223-p doi:10.1145/3763173
Saha, Sunita Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "im2im: Automatically Converting ..." Article: oopslab25main-p80-p doi:10.1145/3763059
Samuelson, Ashley Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Choreographic Quick Changes: ..." Article: oopslab25main-p503-p doi:10.1145/3763114
Scalas, Alceste Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Correct Black-Box Monitors ..." Article: oopslab25main-p153-p doi:10.1145/3763069
Schemmel, Daniel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "P³: Reasoning about Patches ..." Article: oopslab25main-p786-p doi:10.1145/3763145
Schmellenkamp, Marko Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Detecting and Explaining (In-)equivalence ..." Article: oopslab25main-p886-p doi:10.1145/3763156
Schmerl, Bradley Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ROSpec: A Domain-Specific ..." Article: oopslab25main-p1129-p doi:10.1145/3763169
Schneider, Matthew Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..." Article: oopslab25main-p582-p doi:10.1145/3763124
Scholliers, Christophe Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MIO: Multiverse Debugging ..." Article: oopslab25main-p685-p doi:10.1145/3763136
Schröder, Michael Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Static Inference of Regular ..." Article: oopslab25main-p41-p doi:10.1145/3763054
Schuler, Manuela Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "im2im: Automatically Converting ..." Article: oopslab25main-p80-p doi:10.1145/3763059
Schuster, Philipp Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Dynamic Wind for Effect Handlers ..." Article: oopslab25main-p885-p doi:10.1145/3763155
Sekiyama, Taro Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On Higher-Order Model Checking ..." Article: oopslab25main-p1541-p doi:10.1145/3763184
Serrano, Manuel Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Float Self-Tagging ..." Article: oopslab25main-p474-p doi:10.1145/3763108
Sharma, Arindam Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "P³: Reasoning about Patches ..." Article: oopslab25main-p786-p doi:10.1145/3763145
Shen, Jiasi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Sound Static Analysis Approach ..." Article: oopslab25main-p159-p doi:10.1145/3763071
Shen, Qingchao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DESIL: Detecting Silent Bugs ..." Article: oopslab25main-p920-p doi:10.1145/3763161
Sheng, Ashley Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scaling Instruction-Selection ..." Article: oopslab25main-p195-p doi:10.1145/3764383
Shi, August Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Understanding and Improving ..." Article: oopslab25main-p400-p doi:10.1145/3763098
Shi, Chenghang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fast Client-Driven CFL-Reachability ..." Article: oopslab25main-p139-p doi:10.1145/3763065
Shi, Chuanqi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ABC: Towards a Universal Code ..." Article: oopslab25main-p457-p doi:10.1145/3763104
Shi, Qingkai Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..." Article: oopslab25main-p1331-p doi:10.1145/3763800
Shi, Yuanfeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On Abstraction Refinement ..." Article: oopslab25main-p992-p doi:10.1145/3763166
Siems, Cedric Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Detecting and Explaining (In-)equivalence ..." Article: oopslab25main-p886-p doi:10.1145/3763156
Sihler, Florian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Statically Analyzing the Dataflow ..." Article: oopslab25main-p327-p doi:10.1145/3763087
Sivaraman, Aishwarya Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synthesizing Implication Lemmas ..." Article: oopslab25main-p633-p doi:10.1145/3763131
Sivasothynathan, Kugesan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..." Article: oopslab25main-p359-p doi:10.1145/3763092
Sjöstedt, Opale Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Symbolic Execution ..." Article: oopslab25main-p840-p doi:10.1145/3763151
Slusallek, Philipp Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "im2im: Automatically Converting ..." Article: oopslab25main-p80-p doi:10.1145/3763059
Smaragdakis, Yannis Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Universal Scalability in Declarative ..." Article: oopslab25main-p613-p doi:10.1145/3763129
Song, Dowon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Enhancing APR with PRISM: ..." Article: oopslab25main-p1201-p doi:10.1145/3763170
Song, Jiaxin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..." Article: oopslab25main-p482-p doi:10.1145/3763110
Song, Wei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Finding Compiler Bugs through ..." Article: oopslab25main-p842-p doi:10.1145/3763152 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DepFuzz: Efficient Smart Contract ..." Article: oopslab25main-p1663-p doi:10.1145/3763185
Sorensen, Tyler Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "SafeRace: Assessing and Addressing ..." Article: oopslab25main-p196-p doi:10.1145/3763075
Sotiropoulos, Thodoris Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating Soundness and Completeness ..." Article: oopslab25main-p1202-p doi:10.1145/3763171
Soulé, Robert Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Language for Quantifying ..." Article: oopslab25main-p677-p doi:10.1145/3763135
Spaderna, Janek Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Borrowing from Session Types ..." Article: oopslab25main-p1223-p doi:10.1145/3763173
Starup, Jonathan Lindegaard Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Qualified Types with Boolean ..." Article: oopslab25main-p385-p doi:10.1145/3763096
Stebel, Fynn Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Detecting and Explaining (In-)equivalence ..." Article: oopslab25main-p886-p doi:10.1145/3763156
Steevens, Maarten Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MIO: Multiverse Debugging ..." Article: oopslab25main-p685-p doi:10.1145/3763136
Stefanesco, Léo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Certified Decision Procedures ..." Article: oopslab25main-p821-p doi:10.1145/3763148 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Interactive Bitvector Reasoning ..." Article: oopslab25main-p1052-p doi:10.1145/3763167
Su, Zhendong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating Soundness and Completeness ..." Article: oopslab25main-p1202-p doi:10.1145/3763171 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..." Article: oopslab25main-p1331-p doi:10.1145/3763800
Sudusinghe, Chamika Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "GALA: A High Performance Graph ..." Article: oopslab25main-p502-p doi:10.1145/3763113
Sui, Tianxiang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..." Article: oopslab25main-p368-p doi:10.1145/3763095
Sui, Yulei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Efficient Abstract Interpretation ..." Article: oopslab25main-p283-p doi:10.1145/3763083
Summers, Alexander J. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Place Capability Graphs: A ..." Article: oopslab25main-p565-p doi:10.1145/3763122
Sun, Chengnian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Boosting Program Reduction ..." Article: oopslab25main-p40-p doi:10.1145/3763053
Sun, Jun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..." Article: oopslab25main-p364-p doi:10.1145/3763094 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Correct-by-Construction: Certified ..." Article: oopslab25main-p466-p doi:10.1145/3763107
Sun, Maolin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating SMT Rewriters via ..." Article: oopslab25main-p362-p doi:10.1145/3763093
Sundaresan, Vijay Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "CoSSJIT: Combining Static ..." Article: oopslab25main-p823-p doi:10.1145/3763149
Sundram, Shiv Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "REPTILE: Performant Tiling ..." Article: oopslab25main-p189-p doi:10.1145/3763074
Suo, Chenyao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DESIL: Detecting Silent Bugs ..." Article: oopslab25main-p920-p doi:10.1145/3763161
Tabareau, Nicolas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Certified Programming ..." Article: oopslab25main-p152-p doi:10.1145/3763068
Takhar, Gourav Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Memory-Safety Verification ..." Article: oopslab25main-p347-p doi:10.1145/3763090
Tan, Guangming Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..." Article: oopslab25main-p898-p doi:10.1145/3763159
Tan, Tian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Two Approaches to Fast Bytecode ..." Article: oopslab25main-p259-p doi:10.1145/3763081
Tang, Dixin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Homomorphism Calculus for ..." Article: oopslab25main-p172-p doi:10.1145/3763072
Tang, Lingjia Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MTP: A Meaning-Typed Language ..." Article: oopslab25main-p359-p doi:10.1145/3763092
Tanter, Éric Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Certified Programming ..." Article: oopslab25main-p152-p doi:10.1145/3763068
Tariq, Muhammad Usman Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "REPTILE: Performant Tiling ..." Article: oopslab25main-p189-p doi:10.1145/3763074
Tate, Ross Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Type-Outference with Label-Listeners: ..." Article: oopslab25main-p174-p doi:10.1145/3763797
Tenenbaum, Joshua B. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Domain-Specific Probabilistic ..." Article: oopslab25main-p212-p doi:10.1145/3763078
Thakur, Manas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "CoSSJIT: Combining Static ..." Article: oopslab25main-p823-p doi:10.1145/3763149
Thalanki, Suhas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..." Article: oopslab25main-p582-p doi:10.1145/3763124
Thiemann, Peter Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Borrowing from Session Types ..." Article: oopslab25main-p1223-p doi:10.1145/3763173
Tian, Yongqiang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Boosting Program Reduction ..." Article: oopslab25main-p40-p doi:10.1145/3763053
Tichy, Matthias Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Statically Analyzing the Dataflow ..." Article: oopslab25main-p327-p doi:10.1145/3763087
Timperley, Christopher S. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ROSpec: A Domain-Specific ..." Article: oopslab25main-p1129-p doi:10.1145/3763169
Tirpankar, Tanmay Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Translation Validation for ..." Article: oopslab25main-p798-p doi:10.1145/3763147
Titzer, Ben L. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Debugging WebAssembly? Put ..." Article: oopslab25main-p582-p doi:10.1145/3763124
Tiwari, Shrey Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fray: An Efficient General-Purpose ..." Article: oopslab25main-p151-p doi:10.1145/3764119
Tjoa, Ryan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tuning Random Generators: ..." Article: oopslab25main-p278-p doi:10.1145/3763082
Toro, Matías Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flexible and Expressive Typed ..." Article: oopslab25main-p103-p doi:10.1145/3763061
Tratt, Laurence Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Garbage Collection for Rust: ..." Article: oopslab25main-p1375-p doi:10.1145/3763179
Trinh, Xuan Du Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scalable Equivalence Checking ..." Article: oopslab25main-p861-p doi:10.1145/3763153
Truong, Conan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards Verifying Crash Consistency ..." Article: oopslab25main-p210-p doi:10.1145/3763077
Tsatiris, Ilias Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Universal Scalability in Declarative ..." Article: oopslab25main-p613-p doi:10.1145/3763129
Tzour-Shaday, Saar Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mini-Batch Robustness Verification ..." Article: oopslab25main-p834-p doi:10.1145/3763150
Udomsrirungruang, Thien Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "qblaze: An Efficient and Scalable ..." Article: oopslab25main-p143-p doi:10.1145/3763066
Unno, Hiroshi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On Higher-Order Model Checking ..." Article: oopslab25main-p1541-p doi:10.1145/3763184
Van Bakel, Isaac Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modular Reasoning about Global ..." Article: oopslab25main-p665-p doi:10.1145/3763133
Van den Broeck, Guy Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tuning Random Generators: ..." Article: oopslab25main-p278-p doi:10.1145/3763082
Vangeepuram, Sushen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Embedding Quantum Program ..." Article: oopslab25main-p889-p doi:10.1145/3763157
VanHattum, Alexa Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scaling Instruction-Selection ..." Article: oopslab25main-p195-p doi:10.1145/3764383
Vasconcelos, Vasco T. Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Borrowing from Session Types ..." Article: oopslab25main-p1223-p doi:10.1145/3763173
Vechev, Martin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "qblaze: An Efficient and Scalable ..." Article: oopslab25main-p143-p doi:10.1145/3763066
Veneris, Andreas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HEMVM: A Heterogeneous Blockchain ..." Article: oopslab25main-p203-p doi:10.1145/3763076
Venev, Hristo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "qblaze: An Efficient and Scalable ..." Article: oopslab25main-p143-p doi:10.1145/3763066
Vikram, Vasudev Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fray: An Efficient General-Purpose ..." Article: oopslab25main-p151-p doi:10.1145/3764119
Viola, Cosmo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Proof Repair across Quotient ..." Article: oopslab25main-p972-p doi:10.1145/3763164
Vohra, Arya Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mind the Abstraction Gap: ..." Article: oopslab25main-p111-p doi:10.1145/3763062
Voichick, Finn Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Compositional Quantum Control ..." Article: oopslab25main-p54-p doi:10.1145/3763056
Voigt, David Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Dynamic Wind for Effect Handlers ..." Article: oopslab25main-p885-p doi:10.1145/3763155
Vrgoč, Domagoj Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flexible and Expressive Typed ..." Article: oopslab25main-p103-p doi:10.1145/3763061
Wagner, Andrew Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "From Linearity to Borrowing ..." Article: oopslab25main-p852-p doi:10.1145/3764117
Wang, Bo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..." Article: oopslab25main-p364-p doi:10.1145/3763094
Wang, Chao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Probabilistic Inference for ..." Article: oopslab25main-p66-p doi:10.1145/3763058
Wang, Jianrong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DESIL: Detecting Silent Bugs ..." Article: oopslab25main-p920-p doi:10.1145/3763161
Wang, Jiawei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Efficient Abstract Interpretation ..." Article: oopslab25main-p283-p doi:10.1145/3763083
Wang, Jingbo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Probabilistic Inference for ..." Article: oopslab25main-p66-p doi:10.1145/3763058
Wang, Ke Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synchronized Behavior Checking: ..." Article: oopslab25main-p458-p doi:10.1145/3763105
Wang, Linzhang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synchronized Behavior Checking: ..." Article: oopslab25main-p458-p doi:10.1145/3763105
Wang, Peixin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Abstraction and ..." Article: oopslab25main-p528-p doi:10.1145/3763115
Wang, Shuai Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Extraction and Mutation at ..." Article: oopslab25main-p876-p doi:10.1145/3763154
Wang, XiaoFeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..." Article: oopslab25main-p401-p doi:10.1145/3763099
Wang, Yongjia Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "DESIL: Detecting Silent Bugs ..." Article: oopslab25main-p920-p doi:10.1145/3763161
Wang, Yongzhi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HybridPersist: A Compiler ..." Article: oopslab25main-p341-p doi:10.1145/3763089
Wang, Yu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synchronized Behavior Checking: ..." Article: oopslab25main-p458-p doi:10.1145/3763105
Wang, Yuning Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstraction Refinement-Guided ..." Article: oopslab25main-p155-p doi:10.1145/3763070
Wang, Zhuangda Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TailTracer: Continuous Tail ..." Article: oopslab25main-p478-p doi:10.1145/3763109
Wang, Zihan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Convex Hull Approximation ..." Article: oopslab25main-p302-p doi:10.1145/3763086
Wang, Ziteng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Homomorphism Calculus for ..." Article: oopslab25main-p172-p doi:10.1145/3763072
Wei, Guannan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Modeling Reachability Types ..." Article: oopslab25main-p536-p doi:10.1145/3763116
Wei, Ivan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Incremental Bidirectional ..." Article: oopslab25main-p538-p doi:10.1145/3763117
Wen, Hongbo Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tabby: A Synthesis-Aided Compiler ..." Article: oopslab25main-p482-p doi:10.1145/3763110
Wen, Zhongzhen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "PReMM: LLM-Based Program Repair ..." Article: oopslab25main-p395-p doi:10.1145/3763097
Wies, Thomas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstract Interpretation of ..." Article: oopslab25main-p750-p doi:10.1145/3763140
Won, Jaeyeon Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "The Continuous Tensor Abstraction: ..." Article: oopslab25main-p793-p doi:10.1145/3763146
Wong, Wai Kin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Extraction and Mutation at ..." Article: oopslab25main-p876-p doi:10.1145/3763154
Wu, Daoyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Extraction and Mutation at ..." Article: oopslab25main-p876-p doi:10.1145/3763154
Wu, Jiangchang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating SMT Rewriters via ..." Article: oopslab25main-p362-p doi:10.1145/3763093
Wu, Ming Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HEMVM: A Heterogeneous Blockchain ..." Article: oopslab25main-p203-p doi:10.1145/3763076
Wu, Rongxin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TailTracer: Continuous Tail ..." Article: oopslab25main-p478-p doi:10.1145/3763109
Wu, Shushu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Encode the ∀∃ Relational ..." Article: oopslab25main-p732-p doi:10.1145/3763138
Wu, Xiwei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Encode the ∀∃ Relational ..." Article: oopslab25main-p732-p doi:10.1145/3763138
Xiao, Dongwei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Extraction and Mutation at ..." Article: oopslab25main-p876-p doi:10.1145/3763154
Xiao, Junmin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..." Article: oopslab25main-p898-p doi:10.1145/3763159
Xiao, Linjie Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..." Article: oopslab25main-p368-p doi:10.1145/3763095
Xie, Linna Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "PReMM: LLM-Based Program Repair ..." Article: oopslab25main-p395-p doi:10.1145/3763097
Xin, Jimmy Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Automated Discovery of Tactic ..." Article: oopslab25main-p563-p doi:10.1145/3763121
Xin, Yutong Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Automated Discovery of Tactic ..." Article: oopslab25main-p563-p doi:10.1145/3763121
Xiong, Yingfei Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tunneling through the Hill: ..." Article: oopslab25main-p1282-p doi:10.1145/3763176
Xu, Baowen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..." Article: oopslab25main-p1331-p doi:10.1145/3763800
Xu, Han Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Liberating Merges via Apartness ..." Article: oopslab25main-p58-p doi:10.1145/3763057
Xu, Yichen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "What’s in the Box: Ergonomic ..." Article: oopslab25main-p496-p doi:10.1145/3763112
Xu, Zhenyang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Boosting Program Reduction ..." Article: oopslab25main-p40-p doi:10.1145/3763053
Xue, Jingling Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fast Client-Driven CFL-Reachability ..." Article: oopslab25main-p139-p doi:10.1145/3763065 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..." Article: oopslab25main-p368-p doi:10.1145/3763095
Yang, Chenyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..." Article: oopslab25main-p1243-p doi:10.1145/3763174
Yang, Fan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..." Article: oopslab25main-p1243-p doi:10.1145/3763174
Yang, Min Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ApkDiffer: Accurate and Scalable ..." Article: oopslab25main-p752-p doi:10.1145/3763141
Yang, Minghui Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ApkDiffer: Accurate and Scalable ..." Article: oopslab25main-p752-p doi:10.1145/3763141
Yang, Sen Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..." Article: oopslab25main-p401-p doi:10.1145/3763099
Yang, Yibiao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating SMT Rewriters via ..." Article: oopslab25main-p362-p doi:10.1145/3763093
Yao, Jianan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..." Article: oopslab25main-p1243-p doi:10.1145/3763174
Ye, Wenjia Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Flexible and Expressive Typed ..." Article: oopslab25main-p103-p doi:10.1145/3763061
Yi, Kwangkeun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "React-tRace: A Semantics for ..." Article: oopslab25main-p146-p doi:10.1145/3763067
Yin, Xizhe Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "An Empirical Study of Bugs ..." Article: oopslab25main-p1331-p doi:10.1145/3763800
You, Shu-Hung Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Contract System Metatheories ..." Article: oopslab25main-p1009-p doi:10.1145/3764861
Yu, Nengkun Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Scalable Equivalence Checking ..." Article: oopslab25main-p861-p doi:10.1145/3763153
Yuan, Liang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Stencil-Lifting: Hierarchical ..." Article: oopslab25main-p898-p doi:10.1145/3763159
Yuan, Peng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..." Article: oopslab25main-p368-p doi:10.1145/3763095
Zakowski, Yannick Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Temporal Logic ..." Article: oopslab25main-p357-p doi:10.1145/3763091
Zavalía, Lucas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Flow-Sensitive Refinement ..." Article: oopslab25main-p1038-p doi:10.1145/3763799
Zdancewic, Steve Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Structural Temporal Logic ..." Article: oopslab25main-p357-p doi:10.1145/3763091 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Opportunistically Parallel ..." Article: oopslab25main-p774-p doi:10.1145/3763143
Zeume, Thomas Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Detecting and Explaining (In-)equivalence ..." Article: oopslab25main-p886-p doi:10.1145/3763156
Zhang, Chaoyue Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Towards a Theoretically-Backed ..." Article: oopslab25main-p486-p doi:10.1145/3763111
Zhang, Chengyu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating Soundness and Completeness ..." Article: oopslab25main-p1202-p doi:10.1145/3763171
Zhang, Danfeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..." Article: oopslab25main-p401-p doi:10.1145/3763099
Zhang, Fan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..." Article: oopslab25main-p401-p doi:10.1145/3763099
Zhang, Mengxiao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Boosting Program Reduction ..." Article: oopslab25main-p40-p doi:10.1145/3763053
Zhang, Ruihan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Correct-by-Construction: Certified ..." Article: oopslab25main-p466-p doi:10.1145/3763107
Zhang, Shuhao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Tunneling through the Hill: ..." Article: oopslab25main-p1282-p doi:10.1145/3763176
Zhang, Tian Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "PReMM: LLM-Based Program Repair ..." Article: oopslab25main-p395-p doi:10.1145/3763097
Zhang, Wenmeng Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Multi-modal Sketch-Based Behavior ..." Article: oopslab25main-p1365-p doi:10.1145/3763178
Zhang, Xiaojing Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..." Article: oopslab25main-p368-p doi:10.1145/3763095
Zhang, Xin Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On Abstraction Refinement ..." Article: oopslab25main-p992-p doi:10.1145/3763166
Zhang, Xing Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Fuzzing C++ Compilers via ..." Article: oopslab25main-p364-p doi:10.1145/3763094
Zhang, Yi Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Synchronized Behavior Checking: ..." Article: oopslab25main-p458-p doi:10.1145/3763105
Zhang, Yifan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On Abstraction Refinement ..." Article: oopslab25main-p992-p doi:10.1145/3763166
Zhang, Yiyu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HybridPersist: A Compiler ..." Article: oopslab25main-p341-p doi:10.1145/3763089 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TailTracer: Continuous Tail ..." Article: oopslab25main-p478-p doi:10.1145/3763109
Zhang, Yizhou Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Zero-Overhead Lexical Effect ..." Article: oopslab25main-p1288-p doi:10.1145/3763177
Zhang, Yuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "ApkDiffer: Accurate and Scalable ..." Article: oopslab25main-p752-p doi:10.1145/3763141
Zhang, Zhaoyang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Sound Static Analysis Approach ..." Article: oopslab25main-p159-p doi:10.1145/3763071
Zhao, Wenyu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Work Packets: A New Abstraction ..." Article: oopslab25main-p745-p doi:10.1145/3763139 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Advancing Performance via ..." Article: oopslab25main-p669-p doi:10.1145/3764118
Zheng, Linus Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Homomorphism Calculus for ..." Article: oopslab25main-p172-p doi:10.1145/3763072
Zhong, Sizhe Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Sound Static Analysis Approach ..." Article: oopslab25main-p159-p doi:10.1145/3763071
Zhou, Diyu Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "A Sound Static Analysis Approach ..." Article: oopslab25main-p159-p doi:10.1145/3763071
Zhou, Quan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Agora: Trust Less and Open ..." Article: oopslab25main-p401-p doi:10.1145/3763099
Zhou, Yuanyuan Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "On the Impact of Formal Verification ..." Article: oopslab25main-p1467-p doi:10.1145/3763181
Zhou, Yuming Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Validating SMT Rewriters via ..." Article: oopslab25main-p362-p doi:10.1145/3763093
Zhou, Zhe Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "We’ve Got You Covered: Type-Guided ..." Article: oopslab25main-p893-p doi:10.1145/3763158
Zhou, Ziqiao Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "AutoVerus: Automated Proof ..." Article: oopslab25main-p1243-p doi:10.1145/3763174
Zhu, He Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Abstraction Refinement-Guided ..." Article: oopslab25main-p155-p doi:10.1145/3763070
Zhu, Qing Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "MetaKernel: Enabling Efficient ..." Article: oopslab25main-p368-p doi:10.1145/3763095
Zinenko, Oleksandr Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Mind the Abstraction Gap: ..." Article: oopslab25main-p111-p doi:10.1145/3763062 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "Sound and Modular Activity ..." Article: oopslab25main-p590-p doi:10.1145/3763125
Zuo, Zhiqiang Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "HybridPersist: A Compiler ..." Article: oopslab25main-p341-p doi:10.1145/3763089 Proc. ACM Program. Lang., vol. 9, issue OOPSLA2: "TailTracer: Continuous Tail ..." Article: oopslab25main-p478-p doi:10.1145/3763109

642 authors

proc time: 17.66