PPaperPicks
← All conferences
Editions202620252024

OOPSLA 2024

A

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

Official site ↗
148
accepted papers
559
authors
October 20-25, 2024
dates
United States
location

148 / 148 papers

  1. 1
    A Case for First-Class Environments
    Jinhao Tan
    ,
    Bruno C. d. S. Oliveira
  2. 2
    A Constraint Solving Approach to Parikh Images of Regular Languages
    Amanda Stjerna
    ,
    Philipp Rümmer
  3. 3
    A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code
    Julien Simonnet
    ,
    Matthieu Lemerre
    ,
    Mihaela Sighireanu
  4. 4
    A Learning-Based Approach to Static Program Slicing
    Aashish Yadavally
    ,
    Yi Li
    ,
    Shaohua Wang
    ,
    Tien N. Nguyen
  5. 5
    A Low-Level Look at A-Normal Form
    William J. Bowman
  6. 6
    A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs
    Vineet Rajani
    ,
    Gilles Barthe
    ,
    Deepak Garg
  7. 7
    A Pure Demand Operational Semantics with Applications to Program Analysis
    Scott F. Smith
    ,
    Robert Zhang
  8. 8
    A Runtime System for Interruptible Query Processing: When Incremental Computing Meets Fine-Grained Parallelism
    Jeff Eymer
    ,
    Philip Dexter
    ,
    Joseph Raskind
    ,
    Yu David Liu
  9. 9
    A Typed Multi-level Datalog IR and Its Compiler Framework
    David Klopp
    ,
    Sebastian Erdweg
    ,
    André Pacak
  10. 10
    Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
    Gabriel Ryan
    ,
    Burcu Cetin
    ,
    Yongwhan Lim
    ,
    Suman Jana
  11. 11
    AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
    Wolf Honoré
    ,
    Longfei Qiu
    ,
    Yoonseung Kim
    ,
    Ji-Yong Shin
    ,
    Jieung Kim
    ,
    Zhong Shao
  12. 12
    AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
    Robert Schenck
    ,
    Nikolaj Hey Hinnerskov
    ,
    Troels Henriksen
    ,
    Magnus Madsen
    ,
    Martin Elsman
  13. 13
    Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models
    Kartik Nagar
    ,
    Anmol Sahoo
    ,
    Romit Roy Chowdhury
    ,
    Suresh Jagannathan
  14. 14
    Automated Verification of Parametric Channel-Based Process Communication
    Georgian-Vlad Saioc
    ,
    Julien Lange
    ,
    Anders Møller
  15. 15
    Automatically Reducing Privilege for Access Control Policies
    Loris D'Antoni
    ,
    Shuo Ding
    ,
    Amit Goel
    ,
    Mathangi Ramesh
    ,
    Neha Rungta
    ,
    Chungha Sung
  16. 16
    Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
    Keith J. C. Johnson
    ,
    Rahul Krishnan
    ,
    Thomas W. Reps
    ,
    Loris D'Antoni
  17. 17
    Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
    Shaan Nagy
    ,
    Jinwoo Kim
    ,
    Thomas W. Reps
    ,
    Loris D'Antoni
  18. 18
    Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers
    Haofeng Li
    ,
    Chenghang Shi
    ,
    Jie Lu
    ,
    Lian Li
    ,
    Jingling Xue
  19. 19
    Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
    Joseph W. Cutler
    ,
    Craig Disselkoen
    ,
    Aaron Eline
    ,
    Shaobo He
    ,
    Kyle Headley
    ,
    Michael Hicks
    ,
    Kesha Hietala
    ,
    Eleftherios Ioannidis
    ,
    John H. Kastner
    ,
    Anwar Mamat
    ,
    Darin McAdams
    ,
    Matt McCutchen
    ,
    Neha Rungta
    ,
    Emina Torlak
    ,
    Andrew Wells
  20. 20
    Cocoon: Static Information Flow Control in Rust
    Ada Lamba
    ,
    Max Taylor
    ,
    Vincent Beardsley
    ,
    Jacob Bambeck
    ,
    Michael D. Bond
    ,
    Zhiqiang Lin
  21. 21
    Compilation of Shape Operators on Sparse Arrays
    Alexander J. Root
    ,
    Bobby Yan
    ,
    Peiming Liu
    ,
    Christophe Gyurgyik
    ,
    Aart J. C. Bik
    ,
    Fredrik Kjolstad
  22. 22
    Compiler Support for Sparse Tensor Convolutions
    Peiming Liu
    ,
    Alexander J. Root
    ,
    Anlun Xu
    ,
    Yinying Li
    ,
    Fredrik Kjolstad
    ,
    Aart J. C. Bik
  23. 23
    Compiling Recurrences over Dense and Sparse Arrays
    Shiv Sundram
    ,
    Muhammad Usman Tariq
    ,
    Fredrik Kjolstad
  24. 24
    Compositionality and Observational Refinement for Linearizability with Crashes
    Arthur Oliveira Vale
    ,
    Zhongye Wang
    ,
    Yixuan Chen
    ,
    Peixin You
    ,
    Zhong Shao
  25. 25
    Computing Precise Control Interface Specifications
    Eric Hayden Campbell
    ,
    Hossein Hojjat
    ,
    Nate Foster
  26. 26
    Concurrent Data Structures Made Easy
    Callista Le
    ,
    Kiran Gopinathan
    ,
    Koon Wen Lee
    ,
    Seth Gilbert
    ,
    Ilya Sergey
  27. 27
    Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
    Benjamin Mariano
    ,
    Ziteng Wang
    ,
    Shankara Pailoor
    ,
    Christian S. Collberg
    ,
    Isil Dillig
  28. 28
    CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
    Ethan Chen
    ,
    Jiwon Chang
    ,
    Yuhao Zhu
  29. 29
    Crabtree: Rust API Test Synthesis Guided by Coverage and Type
    Yoshiki Takashima
    ,
    Chanhee Cho
    ,
    Ruben Martins
    ,
    Limin Jia
    ,
    Corina S. Pasareanu
  30. 30
    CYCLE: Learning to Self-Refine the Code Generation
    Yangruibo Ding
    ,
    Marcus J. Min
    ,
    Gail E. Kaiser
    ,
    Baishakhi Ray
  31. 31
    Degrees of Separation: A Flexible Type System for Safe Concurrency
    Yichen Xu
    ,
    Aleksander Boruch-Gruszecki
    ,
    Martin Odersky
  32. 32
    Dependency-Aware Code Naturalness
    Chen Yang
    ,
    Junjie Chen
    ,
    Jiajun Jiang
    ,
    Yuliang Huang
  33. 33
    Deriving Dependently-Typed OOP from First Principles
    David Binder
    ,
    Ingo Skupin
    ,
    Tim Süberkrüb
    ,
    Klaus Ostermann
  34. 34
    Design and Implementation of an Aspect-Oriented C Programming Language
    Zhe Chen
    ,
    Yunlong Zhu
    ,
    Zhemin Wang
  35. 35
    Distributions for Compositionally Differentiating Parametric Discontinuities
    Jesse Michel
    ,
    Kevin Mu
    ,
    Xuanda Yang
    ,
    Sai Praveen Bangaru
    ,
    Elias Rojas Collins
    ,
    Gilbert Bernstein
    ,
    Jonathan Ragan-Kelley
    ,
    Michael Carbin
    ,
    Tzu-Mao Li
  36. 36
    Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models
    Ningke Li
    ,
    Yuekang Li
    ,
    Yi Liu
    ,
    Ling Shi
    ,
    Kailong Wang
    ,
    Haoyu Wang
  37. 37
    Effect Handlers for C via Coroutines
    Mario Alvarez-Picallo
    ,
    Teodoro Freund
    ,
    Dan R. Ghica
    ,
    Sam Lindley
  38. 38
    Effects and Coeffects in Call-by-Push-Value
    Cassia Torczon
    ,
    Emmanuel Suárez Acevedo
    ,
    Shubh Agrawal
    ,
    Joey Velez-Ginorio
    ,
    Stephanie Weirich
  39. 39
    Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
    Haonan Li
    ,
    Yu Hao
    ,
    Yizhuo Zhai
    ,
    Zhiyun Qian
  40. 40
    Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
    Qian Chen
    ,
    Chenyang Yu
    ,
    Ruyan Liu
    ,
    Chi Zhang
    ,
    Yu Wang
    ,
    Ke Wang
    ,
    Ting Su
    ,
    Linzhang Wang
  41. 41
    Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
    Lutz Klinkenberg
    ,
    Christian Blumenthal
    ,
    Mingshuai Chen
    ,
    Darion Haase
    ,
    Joost-Pieter Katoen
  42. 42
    Extending the C/C++ Memory Model with Inline Assembly
    Paulo Emílio de Vilhena
    ,
    Ori Lahav
    ,
    Viktor Vafeiadis
    ,
    Azalea Raad
  43. 43
    Fast and Optimal Extraction for Sparse Equality Graphs
    Amir Kafshdar Goharshady
    ,
    Chun Kit Lam
    ,
    Lionel Parreaux
  44. 44
    Finding Cross-Rule Optimization Bugs in Datalog Engines
    Chi Zhang
    ,
    Linzhang Wang
    ,
    Manuel Rigger
  45. 45
    Finding ∀∃ Hyperbugs using Symbolic Execution
    Arthur Correnson
    ,
    Tobias Nießen
    ,
    Bernd Finkbeiner
    ,
    Georg Weissenbacher
  46. 46
    FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions
    Zhengyao Lin
    ,
    Joshua Gancher
    ,
    Bryan Parno
  47. 47
    Forge: A Tool and Language for Teaching Formal Methods
    Tim Nelson
    ,
    Ben Greenman
    ,
    Siddhartha Prasad
    ,
    Tristan Dyer
    ,
    Ethan Bove
    ,
    Qianfan Chen
    ,
    Charles Cutting
    ,
    Thomas Del Vecchio
    ,
    Sidney Levine
    ,
    Julianne Rudner
    ,
    Ben Ryjikov
    ,
    Alexander Varga
    ,
    Andrew Wagner
    ,
    Luke West
    ,
    Shriram Krishnamurthi
  48. 48
    FPCC: Detecting Floating-Point Errors via Chain Conditions
    Xin Yi
    ,
    Hengbiao Yu
    ,
    Liqian Chen
    ,
    Xiaoguang Mao
    ,
    Ji Wang
  49. 49
    Fulfilling OCaml Modules with Transparency
    Clement Blaudeau
    ,
    Didier Rémy
    ,
    Gabriel Radanne
  50. 50
    Full Iso-Recursive Types
    Litao Zhou
    ,
    Qianyong Wan
    ,
    Bruno C. d. S. Oliveira