🏠홈📊트렌드🏆논문👤마이
CS-Pedia
TrendsBest Papers
Best Papers/OOPSLA

OOPSLA Best Papers

ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications

10 papers · 2021–2025

← OOPSLA Conference Info

🏆 2025(2)

Distinguished Paper Award
Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
Lian & Wang
RustResource Analysis
Distinguished Paper Award
Incremental Bidirectional Typing via Order Maintenance
Porter, Kirisame, Wei, Panchekha & Omar
Type SystemsIncremental Computation

🏆 2024(2)

Distinguished Paper Award
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Liu, Mada & Regehr
SIMDSuperoptimization
Distinguished Paper Award
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
He, Zhao, Wang & Wang
SQL VerificationEquivalence Checking

🏆 2023(2)

Distinguished Paper Award
Algebro-Geometric Algorithms for Template-Based Synthesis of Polynomial Programs
Goharshady, Hitarth, Mohammadi & Motwani
Program SynthesisAlgebraic Geometry
Distinguished Paper Award
Grounded Copilot: How Programmers Interact with Code-Generating Models
Barke, James & Polikarpova
LLMCode Generation

🏆 2022(2)

Distinguished Paper Award
Complexity-Guided Container Replacement Synthesis
Wang, Yao, Tang, Shi & Zhang
Program SynthesisComplexity
Distinguished Paper Award
Finding Real Bugs in Big Programs with Incorrectness Logic
Le, Raad, Villard, Berdine, Dreyer & O'Hearn
Program AnalysisBug Detection

🏆 2021(2)

Distinguished Paper Award
Making Weak Memory Models Fair
Lahav, Namakonov, Oberhauser, Podkopaev & Vafeiadis
ConcurrencyMemory Models
Distinguished Paper Award
Study of the Subtyping Machine of Nominal Subtyping with Variance
Roth
Type TheorySubtyping

CS-Pedia — 한국 CS 연구자를 위한 학회 통합 플랫폼

데이터 출처: DBLP (CC0), OpenAlex (CC0), Semantic Scholar, aideadlin.es (MIT), 한국연구재단, 한국정보과학회, jeffhuang.com

제출 전 데드라인·학회 일정은 공식 웹사이트에서 반드시 확인하세요.

소개·개인정보 처리방침·이용약관·문의