OOPSLA

OOPSLA 公式サイト ↗

Programming Languages & Formal Methods

2025 · 210 papers

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

1. 2025 · OOPSLA

   Incremental Bidirectional Typing via Order Maintenance

   Thomas J. Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar

   Programming Languages & Formal Methods

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

2. 2025 · OOPSLA

   Incremental Certified Programming

   Tomás Díaz, Kenji Maillard, Nicolas Tabareau, Éric Tanter

   Programming Languages & Formal Methods

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

3. 2025 · OOPSLA

   Inductive Synthesis of Inductive Heap Predicates

   Ziyi Yang, Ilya Sergey

   Programming Languages & Formal Methods

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

4. 2025 · OOPSLA

   Integrating Resource Analyses via Resource Decomposition

   Long Pham, Yue Niu, Nathan Glover, Feras Saad, Jan Hoffmann

   Programming Languages & Formal Methods

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

5. 2025 · OOPSLA

   Interactive Bitvector Reasoning using Verified Bit-Blasting

   Henrik Böving, Siddharth Bhat, Luisa Cicolini, Alex Keizer, Léon Frenot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark Barrett, Tobias Grosser

   Programming Languages & Formal Methods

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

6. 2025 · OOPSLA

   Interleaving Large Language Models for Compiler Testing

   Yunbo Ni, Shaohua Li

   Programming Languages & Formal Methods

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

7. 2025 · OOPSLA

   JavART: A Lightweight Rule-Based JIT Compiler using Translation Rules Extracted from a Learning Approach

   Hanzhang Wang, Wei Peng, Wenwen Wang, Yunping Lu, Pen-Chung Yew, Weihua Zhang

   Programming Languages & Formal Methods

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

8. 2025 · OOPSLA

   KestRel: Relational Verification using E-Graphs for Program Alignment

   Robert Dickerson, Prasita Mukherjee, Benjamin Delaware

   Programming Languages & Formal Methods

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

9. 2025 · OOPSLA

   LOUD: Synthesizing Strongest and Weakest Specifications

   Kanghee Park, Xuanyu Peng, Loris D'Antoni

   Programming Languages & Formal Methods

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

10. 2025 · OOPSLA

    Language-Parametric Reference Synthesis

    Daniel A. A. Pelsmaeker, Aron Zwaan, Casper Bach, Arjan J. Mooij

    Programming Languages & Formal Methods

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

11. 2025 · OOPSLA

    Large Language Model Powered Symbolic Execution

    Yihe Li, Ruijie Meng, Gregory J. Duck

    Programming Languages & Formal Methods

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

12. 2025 · OOPSLA

    Laurel: Unblocking Automated Verification with Large Language Models

    Eric Mugnier, Emmanuel Anaya Gonzalez, Nadia Polikarpova, Ranjit Jhala, Zhou Yuanyuan

    Programming Languages & Formal Methods

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

13. 2025 · OOPSLA

    Liberating Merges via Apartness and Guarded Subtyping

    Han Xu, Xuejing Huang, Bruno C. d. S. Oliveira

    Programming Languages & Formal Methods

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

14. 2025 · OOPSLA

    Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness

    Dongjae Lee, Janggun Lee, Taeyoung Yoon, Minki Cho, Jeehoon Kang, Chung-Kil Hur

    Programming Languages & Formal Methods

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

15. 2025 · OOPSLA

    MIO: Multiverse Debugging in the Face of Input/Output

    Tom Lauwaerts, Maarten Steevens, Christophe Scholliers

    Programming Languages & Formal Methods

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

16. 2025 · OOPSLA

    MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming

    Jayanaka L. Dantanarayana, Yiping Kang, Kugesan Sivasothynathan, Christopher Clarke, Baichuan Li, Savini Kashmira, Krisztian Flautner, Lingjia Tang, Jason Mars

    Programming Languages & Formal Methods

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

17. 2025 · OOPSLA

    Memory-Safety Verification of Open Programs with Angelic Assumptions

    Gourav Takhar, Baldip Bijlani, Prantik Chatterjee, Akash Lal, Subhajit Roy

    Programming Languages & Formal Methods

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

18. 2025 · OOPSLA

    MetaKernel: Enabling Efficient Encrypted Neural Network Inference through Unified MVM and Convolution

    Peng Yuan, Yan Liu, JianXin Lai, Long Li, Tianxiang Sui, Linjie Xiao, Xiaojing Zhang, Qing Zhu, Jingling Xue

    Programming Languages & Formal Methods

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

19. 2025 · OOPSLA

    Metamorph: Synthesizing Large Objects from Dafny Specifications

    Aleksandr Fedchin, Alexander Y. Bai, Jeffrey S. Foster

    Programming Languages & Formal Methods

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

20. 2025 · OOPSLA

    Mind the Abstraction Gap: Bringing Equality Saturation to Real-World ML Compilers

    Arya Vohra, Leo Seojun Lee, Jakub Bachurski, Oleksandr Zinenko, Phitchaya Mangpo Phothilimthana, Albert Cohen, William S. Moses

    Programming Languages & Formal Methods

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

21. 2025 · OOPSLA

    Mini-Batch Robustness Verification of Deep Neural Networks

    Saar Tzour-Shaday, Dana Drachsler-Cohen

    Programming Languages & Formal Methods

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

22. 2025 · OOPSLA

    Modal Abstractions for Virtualizing Memory Addresses

    Ismail Kuru, Colin S. Gordon

    Programming Languages & Formal Methods

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

23. 2025 · OOPSLA

    Modal Effect Types

    Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen

    Programming Languages & Formal Methods

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

24. 2025 · OOPSLA

    Model-Guided Fuzzing of Distributed Systems

    Ege Berkay Gulcan, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Srinidhi Nagendra

    Programming Languages & Formal Methods

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

25. 2025 · OOPSLA

    Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory

    Yuyan Bao, Songlin Jia, Guannan Wei, Oliver Bračevac, Tiark Rompf

    Programming Languages & Formal Methods

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

26. 2025 · OOPSLA

    Modular Reasoning about Global Variables and Their Initialization

    João Pereira, Isaac van Bakel, Patricia Firlejczyk, Marco Eilers, Peter Müller

    Programming Languages & Formal Methods

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

27. 2025 · OOPSLA

    Multi-Language Probabilistic Programming

    Sam Stites, John M. Li, Steven Holtzen

    Programming Languages & Formal Methods

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

28. 2025 · OOPSLA

    Multi-modal Sketch-Based Behavior Tree Synthesis

    Wenmeng Zhang, Zhenbang Chen, Weijiang Hong

    Programming Languages & Formal Methods

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

29. 2025 · OOPSLA

    Non-interference Preserving Optimising Compilation

    Julian Rosemann, Sebastian Hack, Deepak Garg

    Programming Languages & Formal Methods

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

30. 2025 · OOPSLA

    Notions of Stack-Manipulating Computation and Relative Monads

    Yuchen Jiang, Runze Xue, Max S. New

    Programming Languages & Formal Methods

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

31. 2025 · OOPSLA

    On Abstraction Refinement for Bayesian Program Analysis

    Yuanfeng Shi, Yifan Zhang, Xin Zhang

    Programming Languages & Formal Methods

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

32. 2025 · OOPSLA

    On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs

    Taro Sekiyama, Ugo Dal Lago, Hiroshi Unno

    Programming Languages & Formal Methods

    日本大学: 総合研究大学院大学 / 東北大学

33. 2025 · OOPSLA

    On the Impact of Formal Verification on Software Development

    Eric Mugnier, Yuanyuan Zhou, Ranjit Jhala, Michael Coblenz

    Programming Languages & Formal Methods

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

34. 2025 · OOPSLA

    Opportunistically Parallel Lambda Calculus

    Stephen Mell, Konstantinos Kallas, Steve Zdancewic, Osbert Bastani

    Programming Languages & Formal Methods

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

35. 2025 · OOPSLA

    Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles

    Zhineng Zhong, Ziqi Zhang, Hanqin Guan, Ding Li

    Programming Languages & Formal Methods

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

36. 2025 · OOPSLA

    PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns

    Donguk Kim, Minseok Jeon, Doha Hwang, Hakjoo Oh

    Programming Languages & Formal Methods

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

37. 2025 · OOPSLA

    PReMM: LLM-Based Program Repair for Multi-method Bugs via Divide and Conquer

    Linna Xie, Zhong Li, Yu Pei, Zhongzhen Wen, Kui Liu, Tian Zhang, Xuandong Li

    Programming Languages & Formal Methods

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

38. 2025 · OOPSLA

    Pathological Cases for a Class of Reachability-Based Garbage Collectors

    Matthew Sotoudeh

    Programming Languages & Formal Methods

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

39. 2025 · OOPSLA

    Peepco: Batch-Based Consistency Optimization

    Ivan Kuraj, John Feser, Nadia Polikarpova, Armando Solar-Lezama

    Programming Languages & Formal Methods

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

40. 2025 · OOPSLA

    Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees

    Zachary Grannan, Aurel Bílý, Jonáš Fiala, Jasper Geer, Markus de Medeiros, Peter Müller, Alexander J. Summers

    Programming Languages & Formal Methods

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

41. 2025 · OOPSLA

    Polymorphic Records for Dynamic Languages

    Giuseppe Castagna, Loïc Peyrot

    Programming Languages & Formal Methods

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

42. 2025 · OOPSLA

    Probabilistic Inference for Datalog with Correlated Inputs

    Jingbo Wang, Shashin Halalingaiah, Weiyi Chen, Chao Wang, Işıl Dillig

    Programming Languages & Formal Methods

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

43. 2025 · OOPSLA

    Products of Recursive Programs for Hypersafety Verification

    Ruotong Cheng, Azadeh Farzan

    Programming Languages & Formal Methods

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

44. 2025 · OOPSLA

    Proof Repair across Quotient Type Equivalences

    Cosmo Viola, Max Fan, Talia Ringer

    Programming Languages & Formal Methods

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

45. 2025 · OOPSLA

    Pyrosome: Verified Compilation for Modular Metatheory

    Dustin Jamner, Gabriel Kammer, Ritam Nag, Adam Chlipala

    Programming Languages & Formal Methods

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

46. 2025 · OOPSLA

    P³: Reasoning about Patches via Product Programs

    Arindam Sharma, Daniel Schemmel, Cristian Cadar

    Programming Languages & Formal Methods

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

47. 2025 · OOPSLA

    QED in Context: An Observation Study of Proof Assistant Users

    Jessica Shi, Cassia Torczon, Harrison Goldstein, Benjamin C. Pierce, Andrew Head

    Programming Languages & Formal Methods

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

48. 2025 · OOPSLA

    QbC: Quantum Correctness by Construction

    Anurudh Peduri, Ina Schaefer, Michael Walter

    Programming Languages & Formal Methods

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

49. 2025 · OOPSLA

    Qualified Types with Boolean Algebras

    Edward Lee, Jonathan Lindegaard Starup, Ondřej Lhoták, Magnus Madsen

    Programming Languages & Formal Methods

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

50. 2025 · OOPSLA

    Quantified Underapproximation via Labeled Bunches

    Lang Liu, Farzaneh Derakhshan, Limin Jia, Gabriel A. Moreno, Mark Klein

    Programming Languages & Formal Methods

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

51. 2025 · OOPSLA

    Quantization with Guaranteed Floating-Point Neural Network Classifications

    Anan Kabaha, Dana Drachsler Cohen

    Programming Languages & Formal Methods

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

52. 2025 · OOPSLA

    REPTILE: Performant Tiling of Recurrences

    Muhammad Usman Tariq, Shiv Sundram, Fredrik Kjolstad

    Programming Languages & Formal Methods

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

53. 2025 · OOPSLA

    ROSpec: A Domain-Specific Language for ROS-Based Robot Software

    Paulo Canelas, Bradley Schmerl, Alcides Fonseca, Christopher S. Timperley

    Programming Languages & Formal Methods

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

54. 2025 · OOPSLA

    React-tRace: A Semantics for Understanding React Hooks: An Operational Semantics and a Visualizer for Clarifying React Hooks

    Jay Lee, Joongwon Ahn, Kwangkeun Yi

    Programming Languages & Formal Methods

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

55. 2025 · OOPSLA

    Reasoning about External Calls

    Sophia Drossopoulou, Julian Mackay, Susan Eisenbach, James Noble

    Programming Languages & Formal Methods

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

56. 2025 · OOPSLA

    RestPi: Path-Sensitive Type Inference for REST APIs

    Mark W. Aldrich, Kyla H. Levin, Michael Coblenz, Jeffrey S. Foster

    Programming Languages & Formal Methods

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

57. 2025 · OOPSLA

    Revamping Verilog Semantics for Foundational Verification

    Joonwon Choi, Jaewoo Kim, Jeehoon Kang

    Programming Languages & Formal Methods

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

58. 2025 · OOPSLA

    Revealing Sources of (Memory) Errors via Backward Analysis

    Flavio Ascari, Roberto Bruni, Roberta Gori, Francesco Logozzo

    Programming Languages & Formal Methods

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

59. 2025 · OOPSLA

    SPLAT: A Framework for Optimised GPU Code-Generation for SParse reguLar ATtention

    Ahan Gupta, Yueming Yuan, Devansh Jain, Yuhao Ge, David Aponte, Yanqi Zhou, Charith Mendis

    Programming Languages & Formal Methods

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

60. 2025 · OOPSLA

    SafeRace: Assessing and Addressing WebGPU Memory Safety in the Presence of Data Races

    Reese Levine, Ashley Lee, Neha Abbas, Kyle Little, Tyler Sorensen

    Programming Languages & Formal Methods

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

61. 2025 · OOPSLA

    SafeTree: Expressive Tree Policies for Microservices

    Karuna Grewal, Brighten Godfrey, Justin Hsu

    Programming Languages & Formal Methods

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

62. 2025 · OOPSLA

    Scalable Equivalence Checking and Verification of Shallow Quantum Circuits

    Nengkun Yu, Xuan Du Trinh, Thomas Reps

    Programming Languages & Formal Methods

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

63. 2025 · OOPSLA

    Scaling Instruction-Selection Verification against Authoritative ISA Semantics

    Michael McLoughlin, Ashley Sheng, Chris Fallin, Bryan Parno, Fraser Brown, Alexa VanHattum

    Programming Languages & Formal Methods

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

64. 2025 · OOPSLA

    Scaling Optimization over Uncertainty via Compilation

    Minsung Cho, John Gouwar, Steven Holtzen

    Programming Languages & Formal Methods

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

65. 2025 · OOPSLA

    Semantics of Sets of Programs

    Jinwoo Kim, Shaan Nagy, Thomas Reps, Loris D'Antoni

    Programming Languages & Formal Methods

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

66. 2025 · OOPSLA

    Shaking Up Quantum Simulators with Fuzzing and Rigour

    Vasileios Klimis, Avner Bensoussan, Elena Chachkarova, Karine Even-Mendoza, Sophie Fortz, Connor Lenihan

    Programming Languages & Formal Methods

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

67. 2025 · OOPSLA

    Show Me Why It’s Correct: Saving 1/3 of Debugging Time in Program Repair with Interactive Runtime Comparison

    Ruixin Wang, Zhongkai Zhao, Le Fang, Nan Jiang, Yiling Lou, Lin Tan, Tianyi Zhang

    Programming Languages & Formal Methods

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

68. 2025 · OOPSLA

    Software Model Checking via Summary-Guided Search

    Ruijie Fang, Zachary Kincaid, Thomas Reps

    Programming Languages & Formal Methods

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

69. 2025 · OOPSLA

    Sound and Modular Activity Analysis for Automatic Differentiation in MLIR

    Mai Jacob Peng, William S. Moses, Oleksandr Zinenko, Christophe Dubach

    Programming Languages & Formal Methods

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

70. 2025 · OOPSLA

    Soundness of Predictive Concurrency Analyses

    Shuyang Liu, Doug Lea, Jens Palsberg

    Programming Languages & Formal Methods

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

71. 2025 · OOPSLA

    Static Inference of Regular Grammars for Ad Hoc Parsers

    Michael Schröder, Jürgen Cito

    Programming Languages & Formal Methods

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

72. 2025 · OOPSLA

    Statically Analyzing the Dataflow of R Programs

    Florian Sihler, Matthias Tichy

    Programming Languages & Formal Methods

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

73. 2025 · OOPSLA

    Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes

    Mingyi Li, Junmin Xiao, Siyan Chen, Hui Ma, Xi Chen, Peihua Bao, Liang Yuan, Guangming Tan

    Programming Languages & Formal Methods

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

74. 2025 · OOPSLA

    Structural Abstraction and Refinement for Probabilistic Programs

    Guanyan Li, Juanen Li, Zhilei Han, Peixin Wang, Hongfei Fu, Fei He

    Programming Languages & Formal Methods

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

75. 2025 · OOPSLA

    Structural Information Flow: A Fresh Look at Types for Non-interference

    Hemant Gouni, Frank Pfenning, Jonathan Aldrich

    Programming Languages & Formal Methods

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

76. 2025 · OOPSLA

    Structural Temporal Logic for Mechanized Program Verification

    Eleftherios Ioannidis, Yannick Zakowski, Steve Zdancewic, Sebastian Angel

    Programming Languages & Formal Methods

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

77. 2025 · OOPSLA

    Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice

    Jay Richards, Daniel Wright, Simon Cooksey, Mark Batty

    Programming Languages & Formal Methods

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

78. 2025 · OOPSLA

    Synchronized Behavior Checking: A Method for Finding Missed Compiler Optimizations

    Yi Zhang, Yu Wang, Linzhang Wang, Ke Wang

    Programming Languages & Formal Methods

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

79. 2025 · OOPSLA

    Syntactic Completions with Material Obligations

    David Moon, Andrew Blinn, Thomas J. Porter, Cyrus Omar

    Programming Languages & Formal Methods

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

80. 2025 · OOPSLA

    Synthesizing DSLs for Few-Shot Learning

    Paul Krogmeier, P. Madhusudan

    Programming Languages & Formal Methods

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

81. 2025 · OOPSLA

    Synthesizing Implication Lemmas for Interactive Theorem Proving

    Ana Brendel, Aishwarya Sivaraman, Todd Millstein

    Programming Languages & Formal Methods

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

82. 2025 · OOPSLA

    Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers

    Jacob Laurel, Ignacio Laguna, Jan Hückelheim

    Programming Languages & Formal Methods

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

83. 2025 · OOPSLA

    Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits

    Junrui Liu, Jiaxin Song, Yanning Chen, Hanzhi Liu, Hongbo Wen, Luke Pearson, Yanju Chen, Yu Feng

    Programming Languages & Formal Methods

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

84. 2025 · OOPSLA

    TailTracer: Continuous Tail Tracing for Production Use

    Tianyi Liu, Yi Li, Yiyu Zhang, Zhuangda Wang, Rongxin Wu, Xuandong Li, Zhiqiang Zuo

    Programming Languages & Formal Methods

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

85. 2025 · OOPSLA

    The Continuous Tensor Abstraction: Where Indices Are Real

    Jaeyeon Won, Willow Ahrens, Teodoro Fields Collin, Joel S. Emer, Saman Amarasinghe

    Programming Languages & Formal Methods

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

86. 2025 · OOPSLA

    The Power of Regular Constraint Propagation

    Matthew Hague, Artur Jeż, Anthony Widjaja Lin, Oliver Markgraf, Philipp Rümmer

    Programming Languages & Formal Methods

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

87. 2025 · OOPSLA

    The Simple Essence of Monomorphization

    Matthew Lutze, Philipp Schuster, Jonathan Immanuel Brachthäuser

    Programming Languages & Formal Methods

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

88. 2025 · OOPSLA

    The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking

    Jiří Beneš, Jonathan Immanuel Brachthäuser

    Programming Languages & Formal Methods

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

89. 2025 · OOPSLA

    Towards Verifying Crash Consistency

    Keonho Lee, Conan Truong, Brian Demsky

    Programming Languages & Formal Methods

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

90. 2025 · OOPSLA

    Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis

    Chaoyue Zhang, Longlong Lu, Yifei Lu, Minxue Pan, Xuandong Li

    Programming Languages & Formal Methods

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

91. 2025 · OOPSLA

    TraceLinking Implementations with Their Verified Designs

    Finn Hackett, Ivan Beschastnikh

    Programming Languages & Formal Methods

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

92. 2025 · OOPSLA

    Tracing Just-in-Time Compilation for Effects and Handlers

    Marcial Gaißert, CF Bolz-Tereick, Jonathan Immanuel Brachthäuser

    Programming Languages & Formal Methods

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

93. 2025 · OOPSLA

    Translation Validation for LLVM’s AArch64 Backend

    Ryan Berger, Mitch Briles, Nader Boushehrinejad Moradi, Nicholas Coughlin, Kait Lam, Nuno P. Lopes, Stefan Mada, Tanmay Tirpankar, John Regehr

    Programming Languages & Formal Methods

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

94. 2025 · OOPSLA

    Tuning Random Generators: Property-Based Testing as Probabilistic Programming

    Ryan Tjoa, Poorva Garg, Harrison Goldstein, Todd Millstein, Benjamin C. Pierce, Guy Van den Broeck

    Programming Languages & Formal Methods

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

95. 2025 · OOPSLA

    Tunneling through the Hill: Multi-way Intersection for Version-Space Algebras in Program Synthesis

    Guanlin Chen, Ruyi Ji, Shuhao Zhang, Yingfei Xiong

    Programming Languages & Formal Methods

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

96. 2025 · OOPSLA

    Two Approaches to Fast Bytecode Frontend for Static Analysis

    Chenxi Li, Haoran Lin, Tian Tan, Yue Li

    Programming Languages & Formal Methods

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

97. 2025 · OOPSLA

    Type-Outference with Label-Listeners: Foundations for Decidable Type-Consistency for Nominal Object-Oriented Generics

    Ross Tate

    Programming Languages & Formal Methods

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

98. 2025 · OOPSLA

    Type-Preserving Flat Closure Optimization

    Adam T. Geller, Sean Bocirnea, Chester J. F. Gould, Paulette Koronkevich, William J. Bowman

    Programming Languages & Formal Methods

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

99. 2025 · OOPSLA

    UTFix: Change Aware Unit Test Repairing using LLM

    Shanto Rahman, Sachit Kuhar, Berk Cirisci, Pranav Garg, Shiqi Wang, Xiaofei Ma, Anoop Deoras, Baishakhi Ray

    Programming Languages & Formal Methods

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

100. 2025 · OOPSLA

     Understanding and Improving Flaky Test Classification

     Shanto Rahman, Saikat Dutta, August Shi

     Programming Languages & Formal Methods

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