OOPSLASoftware Engineering / System Software / Programming Languages
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
915Papers indexed
2020-2026Years covered
Recent papers
- (Dis)Proving Spectre Security with Speculation-Passing StyleSantiago Arranz-Olmos, Gilles Barthe, Lionel Blatter, Xingyu Xie et al.2026
- A Design Space Exploration of Async/AwaitGavin Gray, Shriram Krishnamurthi, Will Crichton2026
- A Formal Account of the Wasm 3.0 Concurrency ModelAzalea Raad, Michalis Kokologiannakis, Viktor Vafeiadis, Conrad Watt2026
- A Language Approach to Fine-Grained Microarchitectural ObservationGuokai Chen, Sergi Soler Arrufat, Clément Pit-Claudel, Thomas Bourgeat2026
- A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOLQiyuan Xu, Renxi Wang, Peixin Wang, Haonan Li et al.2026
- A New Approach to Optimal Function Inlining for Code Size Minimization via E-graphsAmir K. Goharshady, Chun Kit Lam, Andreas Pavlogiannis, Ahmed Khaled Zaher2026 · 1 citation
- A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale ProgramsZhongyi Wang, Tengjie Lin, Mingshuai Chen, Haokun Li et al.2026 · 1 citation
- A Type System for Optimizing Dynamic IFCDaniel Galán Pascual, François Hublet, Srđan Krstić, Roman Fischer et al.2026
- AADT: Abstract Abstract Data TypesJulien Simonnet, Matthieu Lemerre, Mihaela Sighireanu2026 · 1 citation
- Abductive Inference of Separation Logic Specifications with Isorecursive User-Defined Predicates and Magic WandsNicolas Klose, Peter Müller2026 · 1 citation
- Accurate Residues for Floating-Point DebuggingYumeng He, Pavel Panchekha2026
- Agent-Based Automated Remediation for Vulnerabilities in Maven ProjectsLyuye Zhang, He Ye, Federica Sarro, Yuqiang Sun et al.2026
- Augur: Predicting View Serializability Violations in Relational Data Store ApplicationsChujun Geng, Noah Charlton, Spyros Blanas, Michael D. Bond et al.2026
- Automated Debugging of Datalog ProgramsJiashen Wei, Baoyuan Luo, Runshuo Xie, Yun Qi et al.2026
- Automatic Propagation of Profile Information through the Optimization PipelineElisa Fröhlich, Angelica Aparecida Moreira, Fernando Magno Quintão Pereira2026
- Automatically Generating ML Compiler Backends from Tensor Accelerator ISA DescriptionsDevansh Jain, Akash Pardeshi, Marco Frigo, Kaustubh Khulbe et al.2026
- BackSmith: A Systematic Approach to Testing Compiler BackendsHongyu Chen, Yu Wang, Jianhua Zhao, Ke Wang2026
- Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency ValidationZongrui Peng, Jingzhou Fu, Zhiyong Wu, Jie Liang et al.2026
- Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-ExploitationHaoran Lin, Zhenyu Yan, Xin Zhang2026
- Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language ModelsZeyu Lu, Peng Zhang, Yuge Nie, Yibiao Yang et al.2026 · 1 citation
- Beyond Nominality: Faster Rapid Type Analysis in the Presence of Structural SubtypingElton Pinto, Milind Chabbi2026
- Block TestsKevin Guan, Pengyue Jiang, Milos Gligoric, Owolabi Legunsen2026
- Bonsai: Efficient and Optimal Automatic Tensor Rematerialization for Memory-Constrained DNN TrainingDat Nguyen, Vasudha Devarakonda, Anxiao Jiang, Khanh Nguyen2026
- Bringing Foundational Verification to Real-World Rust CodeLennard Gäher, Vincent Lafeychine, Sascha Kehrli, Avraham Shinnar et al.2026
