OOPSLASoftware Engineering / System Software / Programming Languages
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
915已索引 Paper
2020-2026覆盖年份
最新论文
- (Dis)Proving Spectre Security with Speculation-Passing StyleSantiago Arranz-Olmos, Gilles Barthe, Lionel Blatter, Xingyu Xie 等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 等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 次
- A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale ProgramsZhongyi Wang, Tengjie Lin, Mingshuai Chen, Haokun Li 等2026 · 被引用 1 次
- A Type System for Optimizing Dynamic IFCDaniel Galán Pascual, François Hublet, Srđan Krstić, Roman Fischer 等2026
- AADT: Abstract Abstract Data TypesJulien Simonnet, Matthieu Lemerre, Mihaela Sighireanu2026 · 被引用 1 次
- Abductive Inference of Separation Logic Specifications with Isorecursive User-Defined Predicates and Magic WandsNicolas Klose, Peter Müller2026 · 被引用 1 次
- 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 等2026
- Augur: Predicting View Serializability Violations in Relational Data Store ApplicationsChujun Geng, Noah Charlton, Spyros Blanas, Michael D. Bond 等2026
- Automated Debugging of Datalog ProgramsJiashen Wei, Baoyuan Luo, Runshuo Xie, Yun Qi 等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 等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 等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 等2026 · 被引用 1 次
- 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 等2026
