OOPSLA

OOPSLA 公式サイト ↗

Programming Languages & Formal Methods

2024 · 148 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

1. 2024 · OOPSLA

   Profiling Programming Language Learning

   Will Crichton, Shriram Krishnamurthi

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

2. 2024 · OOPSLA

   Programmable MCMC with Soundly Composed Guide Programs

   Long Pham, Di Wang, Feras A. Saad, Jan Hoffmann

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

3. 2024 · OOPSLA

   PyDex: Repairing Bugs in Introductory Python Assignments using LLMs

   Jialu Zhang, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

4. 2024 · OOPSLA

   QuAC: Quick Attribute-Centric Type Inference for Python

   Jifeng Wu, Caroline Lemieux

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

5. 2024 · OOPSLA

   Qualifying System F_<:: Some Terms and Conditions May Apply

   Edward Lee, Yaoyu Zhao, Ondřej Lhoták, James You, Kavin Satheeskumar, Jonathan Immanuel Brachthäuser

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

6. 2024 · OOPSLA

   Quantitative Bounds on Resource Usage of Probabilistic Programs

   Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Đorđe Žikelić

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

7. 2024 · OOPSLA

   Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers

   Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

8. 2024 · OOPSLA

   Quantum Control Machine: The Limits of Control Flow in Quantum Programming

   Charles Yuan, Agnes Villanyi, Michael Carbin

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

9. 2024 · OOPSLA

   Quantum Probabilistic Model Checking for Time-Bounded Properties

   Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, Jeehoon Kang

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

10. 2024 · OOPSLA

    Quarl: A Learning-Based Quantum Circuit Optimizer

    Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, Zhihao Jia

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

11. 2024 · OOPSLA

    Realistic Realizability: Specifying ABIs You Can Count On

    Andrew Wagner, Zachary Eisbach, Amal Ahmed

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

12. 2024 · OOPSLA

    Refinement Type Refutations

    Robin Webbers, Klaus von Gleissenthall, Ranjit Jhala

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

13. 2024 · OOPSLA

    Reward Augmentation in Reinforcement Learning for Testing Distributed Systems

    Andrea Borgarelli, Constantin Enea, Rupak Majumdar, Srinidhi Nagendra

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

14. 2024 · OOPSLA

    Rustlantis: Randomized Differential Testing of the Rust Compiler

    Qian Wang, Ralf Jung

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

15. 2024 · OOPSLA

    SMT2Test: From SMT Formulas to Effective Test Cases

    Chengyu Zhang, Zhendong Su

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

16. 2024 · OOPSLA

    Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks

    Zhenyu Yan, Xin Zhang, Peng Di

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

17. 2024 · OOPSLA

    Scenario-Based Proofs for Concurrent Objects

    Constantin Enea, Eric Koskinen

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

18. 2024 · OOPSLA

    Semantic-Type-Guided Bug Finding

    Kelvin Qian, Scott Smith, Brandon Stride, Shiwei Weng, Ke Wu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

19. 2024 · OOPSLA

    Semantics Lifting for Syntactic Sugar

    Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, Zhenjiang Hu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

20. 2024 · OOPSLA

    Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures

    Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, Azalea Raad

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

21. 2024 · OOPSLA

    Seneca: Taint-Based Call Graph Construction for Java Object Deserialization

    Joanna C. S. Santos, Mehdi Mirakhorli, Ali Shokri

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

22. 2024 · OOPSLA

    Sensitivity by Parametricity

    Elisabet Lobo-Vesga, Alejandro Russo, Marco Gaboardi, Carlos Tomé Cortiñas

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

23. 2024 · OOPSLA

    Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs

    Dennis Liew, Tiago Cogumbreiro, Julien Lange

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

24. 2024 · OOPSLA

    SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring

    Adhitha Dias, Logan Anderson, Kirshanthan Sundararajah, Artem Pelenitsyn, Milind Kulkarni

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

25. 2024 · OOPSLA

    StarMalloc: Verifying a Modern, Hardened Memory Allocator

    Antonin Reitz, Aymeric Fromherz, Jonathan Protzenko

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

26. 2024 · OOPSLA

    Statically Contextualizing Large Language Models with Typed Holes

    Andrew Blinn, Xiang Li, June Hyung Kim, Cyrus Omar

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

27. 2024 · OOPSLA

    Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification

    Chan Gu Kang, Joonghoon Lee, Hakjoo Oh

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

28. 2024 · OOPSLA

    Synthesizing Formal Semantics from Executable Interpreters

    Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J.C. Johnson, Thomas Reps, Loris D’Antoni

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

29. 2024 · OOPSLA

    Synthetiq: Fast and Versatile Quantum Circuit Synthesis

    Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, Martin Vechev

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

30. 2024 · OOPSLA

    Tachis: Higher-Order Separation Logic with Credits for Expected Costs

    Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

31. 2024 · OOPSLA

    Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation

    Qianchuan Ye, Benjamin Delaware

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

32. 2024 · OOPSLA

    The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently

    Shashin Halalingaiah, Vijay Sundaresan, Daryl Maier, V. Krishna Nandivada

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

33. 2024 · OOPSLA

    The Ultimate Conditional Syntax

    Luyu Cheng, Lionel Parreaux

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

34. 2024 · OOPSLA

    TorchQL: A Programming Framework for Integrity Constraints in Machine Learning

    Aaditya Naik, Adam Stein, Yinjun Wu, Mayur Naik, Eric Wong

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

35. 2024 · OOPSLA

    Type Inference Logics

    Denis Carnier, François Pottier, Steven Keuchel

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

36. 2024 · OOPSLA

    Understanding and Finding Java Decompiler Bugs

    Yifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, Zhendong Su

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

37. 2024 · OOPSLA

    UniSparse: An Intermediate Language for General Sparse Format Customization

    Jie Liu, Zhongyuan Zhao, Zijian Ding, Benjamin Brock, Hongbo Rong, Zhiru Zhang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

38. 2024 · OOPSLA

    Unifying Static and Dynamic Intermediate Languages for Accelerator Generators

    Caleb Kim, Pai Li, Anshuman Mohan, Andrew Butt, Adrian Sampson, Rachit Nigam

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

39. 2024 · OOPSLA

    Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration

    Dominik Winterer, Zhendong Su

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

40. 2024 · OOPSLA

    VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts

    Yichuan Li, Wei Song, Jeff Huang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

41. 2024 · OOPSLA

    VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints

    Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

42. 2024 · OOPSLA

    Verification of Neural Networks’ Global Robustness

    Anan Kabaha, Dana Drachsler Cohen

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

43. 2024 · OOPSLA

    Verified Lock-Free Session Channels with Linking

    Thomas Somers, Robbert Krebbers

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

44. 2024 · OOPSLA

    Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks

    Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

45. 2024 · OOPSLA

    Weighted Context-Free-Language Ordered Binary Decision Diagrams

    Meghana Sistla, Swarat Chaudhuri, Thomas Reps

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

46. 2024 · OOPSLA

    When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems

    Georgios-Petros Drosos, Thodoris Sotiropoulos, Georgios Alexopoulos, Dimitris Mitropoulos, Zhendong Su

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

47. 2024 · OOPSLA

    WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models

    Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, Lingming Zhang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

48. 2024 · OOPSLA

    libLISA: Instruction Discovery and Analysis on x86-64

    Jos Craaijo, Freek Verbeek, Binoy Ravindran

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）