OOPSLA

OOPSLA 公式サイト ↗

Programming Languages & Formal Methods

2025 · 210 papers

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

1. 2025 · OOPSLA

   A Complete Formal Semantics of eBPF Instruction Set Architecture for Solana

   Shenghao Yuan, Zhuoruo Zhang, Jiayi Lu, David Sanan, Rui Chang, Yongwang Zhao

   Programming Languages & Formal Methods

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

2. 2025 · OOPSLA

   A Domain-Specific Probabilistic Programming Language for Reasoning about Reasoning (Or: A Memo on memo)

   Kartik Chandra, Tony Chen, Joshua B. Tenenbaum, Jonathan Ragan-Kelley

   Programming Languages & Formal Methods

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

3. 2025 · OOPSLA

   A Flow-Sensitive Refinement Type System for Verifying eBPF Programs

   Ameer Hamza, Lucas Zavalia, Arie Gurfinkel, Jorge A. Navas, Grigory Fedyukovich

   Programming Languages & Formal Methods

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

4. 2025 · OOPSLA

   A Hoare Logic for Symmetry Properties

   Vaibhav Mehta, Justin Hsu

   Programming Languages & Formal Methods

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

5. 2025 · OOPSLA

   A Language for Quantifying Quantum Network Behavior

   Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster

   Programming Languages & Formal Methods

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

6. 2025 · OOPSLA

   A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and Temporary Invalidation with Constraint-Based Subtype Inference

   Cunyuan Gao, Lionel Parreaux

   Programming Languages & Formal Methods

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

7. 2025 · OOPSLA

   A Mechanized Semantics for Dataflow Circuits

   Tony Law, Delphine Demange, Sandrine Blazy

   Programming Languages & Formal Methods

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

8. 2025 · OOPSLA

   A Refinement Methodology for Distributed Programs in Rust

   Aurel Bílý, João Pereira, Peter Müller

   Programming Languages & Formal Methods

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

9. 2025 · OOPSLA

   A Sound Static Analysis Approach to I/O API Migration

   Shangyu Li, Zhaoyang Zhang, Sizhe Zhong, Diyu Zhou, Jiasi Shen

   Programming Languages & Formal Methods

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

10. 2025 · OOPSLA

    A Unifying Approach to Product Constructions for Quantitative Temporal Inference

    Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo

    Programming Languages & Formal Methods

    日本大学: 総合研究大学院大学

11. 2025 · OOPSLA

    ABC: Towards a Universal Code Styler through Model Merging

    Yitong Chen, Zhiqiang Gao, Chuanqi Shi, Baixuan Li, Miao Gao

    Programming Languages & Formal Methods

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

12. 2025 · OOPSLA

    API-Guided Dataset Synthesis to Finetune Large Code Models

    Zongjie Li, Daoyuan Wu, Shuai Wang, Zhendong Su

    Programming Languages & Formal Methods

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

13. 2025 · OOPSLA

    Abstract Interpretation of Temporal Safety Effects of Higher Order Programs

    Mihai Nicola, Chaitanya Agarwal, Eric Koskinen, Thomas Wies

    Programming Languages & Formal Methods

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

14. 2025 · OOPSLA

    Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations

    Guofeng Cui, Yuning Wang, Wensen Mao, Yuanlin Duan, He Zhu

    Programming Languages & Formal Methods

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

15. 2025 · OOPSLA

    AccelerQ: Accelerating Quantum Eigensolvers with Machine Learning on Quantum Simulators

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

    Programming Languages & Formal Methods

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

16. 2025 · OOPSLA

    Active Learning for Neurosymbolic Program Synthesis

    Celeste Barnaby, Qiaochu Chen, Ramya Ramalingam, Osbert Bastani, Işıl Dillig

    Programming Languages & Formal Methods

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

17. 2025 · OOPSLA

    Adaptive Shielding via Parametric Safety Proofs

    Yao Feng, Jun Zhu, André Platzer, Jonathan Laurent

    Programming Languages & Formal Methods

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

18. 2025 · OOPSLA

    Adequacy for Algebraic Effects Revisited

    G. A. Kavvos

    Programming Languages & Formal Methods

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

19. 2025 · OOPSLA

    Advancing Performance via a Systematic Application of Research and Industrial Best Practice

    Wenyu Zhao, Stephen M. Blackburn, Kathryn S. McKinley, Man Cao, Sara S. Hamouda

    Programming Languages & Formal Methods

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

20. 2025 · OOPSLA

    Agora: Trust Less and Open More in Verification for Confidential Computing

    Hongbo Chen, Quan Zhou, Sen Yang, Sixuan Dang, Xing Han, Danfeng Zhang, Fan Zhang, XiaoFeng Wang

    Programming Languages & Formal Methods

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

21. 2025 · OOPSLA

    An Empirical Evaluation of Property-Based Testing in Python

    Savitha Ravi, Michael Coblenz

    Programming Languages & Formal Methods

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

22. 2025 · OOPSLA

    An Empirical Study of Bugs in the rustc Compiler

    Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, Qingkai Shi, Baowen Xu, Zhendong Su

    Programming Languages & Formal Methods

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

23. 2025 · OOPSLA

    ApkDiffer: Accurate and Scalable Cross-Version Diffing Analysis for Android Applications

    Jiarun Dai, Mingyuan Luo, Yuan Zhang, Min Yang, Minghui Yang

    Programming Languages & Formal Methods

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

24. 2025 · OOPSLA

    Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-procedural Path-Sensitive Taint Analysis

    Yuchen Ji, Ting Dai, Zhichao Zhou, Yutian Tang, Jingzhu He

    Programming Languages & Formal Methods

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

25. 2025 · OOPSLA

    AutoVerus: Automated Proof Generation for Rust Code

    Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu

    Programming Languages & Formal Methods

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

26. 2025 · OOPSLA

    Automated Discovery of Tactic Libraries for Interactive Theorem Proving

    Yutong Xin, Jimmy Xin, Gabriel Poesia, Noah D. Goodman, Qiaochu Chen, Işıl Dillig

    Programming Languages & Formal Methods

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

27. 2025 · OOPSLA

    Automated Verification of Soundness of DNN Certifiers

    Avaljot Singh, Yasmin Chandini Sarita, Charith Mendis, Gagandeep Singh

    Programming Languages & Formal Methods

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

28. 2025 · OOPSLA

    Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials

    Qihao Lian, Di Wang

    Programming Languages & Formal Methods

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

29. 2025 · OOPSLA

    Automatically Verifying Replication-Aware Linearizability

    Vimala Soundarapandian, Kartik Nagar, Aseem Rastogi, KC Sivaramakrishnan

    Programming Languages & Formal Methods

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

30. 2025 · OOPSLA

    Bennet: Randomized Specification Testing for Heap-Manipulating Programs

    Zain K Aamer, Benjamin C. Pierce

    Programming Languages & Formal Methods

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

31. 2025 · OOPSLA

    Binary Cryptographic Function Identification via Similarity Analysis with Path-Insensitive Emulation

    Yikun Hu, Yituo He, Wenyu He, Haoran Li, Yubo Zhao, Shuai Wang, Dawu Gu

    Programming Languages & Formal Methods

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

32. 2025 · OOPSLA

    Bolt-On Strong Consistency: Specification, Implementation, and Verification

    Nicholas V. Lewchenko, Gowtham Kaki, Bor-Yuh Evan Chang

    Programming Languages & Formal Methods

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

33. 2025 · OOPSLA

    Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations

    Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Chengnian Sun

    Programming Languages & Formal Methods

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

34. 2025 · OOPSLA

    Borrowing from Session Types

    Hannes Saffrich, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos

    Programming Languages & Formal Methods

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

35. 2025 · OOPSLA

    Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation

    Jihee Park, Insu Yun, Sukyoung Ryu

    Programming Languages & Formal Methods

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

36. 2025 · OOPSLA

    Carapace: Static–Dynamic Information Flow Control in Rust

    Vincent Beardsley, Chris Xiong, Ada Lamba, Michael D. Bond

    Programming Languages & Formal Methods

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

37. 2025 · OOPSLA

    Certified Decision Procedures for Width-Independent Bitvector Predicates

    Siddharth Bhat, Léo Stefanesco, Chris Hughes, Tobias Grosser

    Programming Languages & Formal Methods

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

38. 2025 · OOPSLA

    Characterizing Implementability of Global Protocols with Infinite States and Data

    Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey

    Programming Languages & Formal Methods

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

39. 2025 · OOPSLA

    Checking Observational Correctness of Database Systems

    Lauren Pick, Amanda Xu, Ankush Desai, Sanjit A. Seshia, Aws Albarghouthi

    Programming Languages & Formal Methods

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

40. 2025 · OOPSLA

    Checking δ-Satisfiability of Reals with Integrals

    Cody Rivera, Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

    Programming Languages & Formal Methods

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

41. 2025 · OOPSLA

    Choreographic Quick Changes: First-Class Location (Set) Polymorphism

    Ashley Samuelson, Andrew K. Hirsch, Ethan Cecchetti

    Programming Languages & Formal Methods

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

42. 2025 · OOPSLA

    CoSSJIT: Combining Static Analysis and Speculation in JIT Compilers

    Aditya Anand, Vijay Sundaresan, Daryl Maier, Manas Thakur

    Programming Languages & Formal Methods

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

43. 2025 · OOPSLA

    Code Style Sheets: CSS for Code

    Sam Cohen, Ravi Chugh

    Programming Languages & Formal Methods

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

44. 2025 · OOPSLA

    Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge

    John C. Kolesar, Shan Ali, Timos Antonopoulos, Ruzica Piskac

    Programming Languages & Formal Methods

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

45. 2025 · OOPSLA

    Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences

    Tianchi Li, Xin Zhang

    Programming Languages & Formal Methods

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

46. 2025 · OOPSLA

    Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation

    Philipp Schuster, Marius Müller, Klaus Ostermann, Jonathan Immanuel Brachthäuser

    Programming Languages & Formal Methods

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

47. 2025 · OOPSLA

    Complete the Cycle: Reachability Types with Expressive Cyclic References

    Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf

    Programming Languages & Formal Methods

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

48. 2025 · OOPSLA

    Compositional Quantum Control Flow with Efficient Compilation in Qunity

    Mikhail Mints, Finn Voichick, Leonidas Lampropoulos, Robert Rand

    Programming Languages & Formal Methods

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

49. 2025 · OOPSLA

    Compositional Symbolic Execution for the Next 700 Memory Models

    Andreas Lööw, Seung Hoon Park, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Opale Sjöstedt, Philippa Gardner

    Programming Languages & Formal Methods

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

50. 2025 · OOPSLA

    Compressed and Parallelized Structured Tensor Algebra

    Mahdi Ghorbani, Emilien Bauer, Tobias Grosser, Amir Shaikhha

    Programming Languages & Formal Methods

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

51. 2025 · OOPSLA

    Contract System Metatheories à la Carte: A Transition-System View of Contracts

    Shu-Hung You, Christos Dimoulas, Robert Bruce Findler

    Programming Languages & Formal Methods

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

52. 2025 · OOPSLA

    Convex Hull Approximation for Activation Functions

    Zhongkui Ma, Zihan Wang, Guangdong Bai

    Programming Languages & Formal Methods

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

53. 2025 · OOPSLA

    Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation

    Radosław Jan Rowicki, Adrian Francalanza, Alceste Scalas

    Programming Languages & Formal Methods

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

54. 2025 · OOPSLA

    Correct-by-Construction: Certified Individual Fairness through Neural Network Training

    Ruihan Zhang, Jun Sun

    Programming Languages & Formal Methods

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

55. 2025 · OOPSLA

    Cost of Soundness in Mixed-Precision Tuning

    Anastasia Isychev, Debasmita Lohar

    Programming Languages & Formal Methods

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

56. 2025 · OOPSLA

    Counterexample-Guided Inference of Modular Specifications

    William T. Hallahan, Ranjit Jhala, Ruzica Piskac

    Programming Languages & Formal Methods

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

57. 2025 · OOPSLA

    DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure

    Chenyao Suo, Jianrong Wang, Yongjia Wang, Jiajun Jiang, Qingchao Shen, Junjie Chen

    Programming Languages & Formal Methods

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

58. 2025 · OOPSLA

    Debugging WebAssembly? Put Some Whamm on It!

    Elizabeth Gilbert, Matthew Schneider, Zixi An, Suhas Thalanki, Wavid Bowman, Alexander Y. Bai, Ben L. Titzer, Heather Miller

    Programming Languages & Formal Methods

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

59. 2025 · OOPSLA

    Denotational Foundations for Expected Cost Analysis

    Pedro H. Azevedo de Amorim

    Programming Languages & Formal Methods

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

60. 2025 · OOPSLA

    DepFuzz: Efficient Smart Contract Fuzzing with Function Dependence Guidance

    Chenyang Ma, Wei Song, Jeff Huang

    Programming Languages & Formal Methods

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

61. 2025 · OOPSLA

    Dependency-Aware Compilation for Surface Code Quantum Architectures

    Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi

    Programming Languages & Formal Methods

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

62. 2025 · OOPSLA

    Destination Calculus: A Linear 𝜆-Calculus for Purely Functional Memory Writes

    Thomas Bagrel, Arnaud Spiwack

    Programming Languages & Formal Methods

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

63. 2025 · OOPSLA

    Detecting and Explaining (In-)equivalence of Context-Free Grammars

    Marko Schmellenkamp, Thomas Zeume, Sven Argo, Sandra Kiefer, Cedric Siems, Fynn Stebel

    Programming Languages & Formal Methods

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

64. 2025 · OOPSLA

    Divide and Conquer: A Compositional Approach to Game-Theoretic Security

    Ivana Bocevska, Anja Petković Komel, Laura Kovács, Sophie Rain, Michael Rawson

    Programming Languages & Formal Methods

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

65. 2025 · OOPSLA

    Divining Profiler Accuracy: An Approach to Approximate Profiler Accuracy through Machine Code-Level Slowdown

    Humphrey Burchell, Stefan Marr

    Programming Languages & Formal Methods

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

66. 2025 · OOPSLA

    Dynamic Wind for Effect Handlers

    David Voigt, Philipp Schuster, Jonathan Immanuel Brachthäuser

    Programming Languages & Formal Methods

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

67. 2025 · OOPSLA

    Efficient Abstract Interpretation via Selective Widening

    Jiawei Wang, Xiao Cheng, Yulei Sui

    Programming Languages & Formal Methods

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

68. 2025 · OOPSLA

    Efficient Algorithms for the Uniform Tokenization Problem

    Angela W. Li, Konstantinos Mamouras

    Programming Languages & Formal Methods

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

69. 2025 · OOPSLA

    Efficient Decrease-and-Conquer Linearizability Monitoring

    Zheng Han Lee, Umang Mathur

    Programming Languages & Formal Methods

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

70. 2025 · OOPSLA

    Embedding Quantum Program Verification into Dafny

    Feifei Cheng, Sushen Vangeepuram, Henry Allard, Seyed Mohammad Reza Jafari, Alex Potanin, Liyi Li

    Programming Languages & Formal Methods

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

71. 2025 · OOPSLA

    Encode the ∀∃ Relational Hoare Logic into Standard Hoare Logic

    Shushu Wu, Xiwei Wu, Qinxiang Cao

    Programming Languages & Formal Methods

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

72. 2025 · OOPSLA

    Enhancing APR with PRISM: A Semantic-Based Approach to Overfitting Patch Detection

    Dowon Song, Hakjoo Oh

    Programming Languages & Formal Methods

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

73. 2025 · OOPSLA

    Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern

    Patrick Redmond, Jonathan Castello, José Manuel Calderón Trilla, Lindsey Kuper

    Programming Languages & Formal Methods

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

74. 2025 · OOPSLA

    Extraction and Mutation at a High Level: Template-Based Fuzzing for JavaScript Engines

    Wai Kin Wong, Dongwei Xiao, Cheuk Tung Lai, Yiteng Peng, Daoyuan Wu, Shuai Wang

    Programming Languages & Formal Methods

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

75. 2025 · OOPSLA

    FO-Complete Program Verification for Heap Logics

    Adithya Murali, Hrishikesh Balakrishnan, Aaron Councilman, P. Madhusudan

    Programming Languages & Formal Methods

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

76. 2025 · OOPSLA

    Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification

    Chenghang Shi, Dongjie He, Haofeng Li, Jie Lu, Lian Li, Jingling Xue

    Programming Languages & Formal Methods

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

77. 2025 · OOPSLA

    Fast Constraint Synthesis for C++ Function Templates

    Shuo Ding, Qirun Zhang

    Programming Languages & Formal Methods

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

78. 2025 · OOPSLA

    Faster Explicit-Trace Monitoring-Oriented Programming for Runtime Verification of Software Tests

    Kevin Guan, Marcelo d'Amorim, Owolabi Legunsen

    Programming Languages & Formal Methods

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

79. 2025 · OOPSLA

    Finch: Sparse and Structured Tensor Programming with Control Flow

    Willow Ahrens, Teodoro Fields Collin, Radha Patel, Kyle Deeds, Changwan Hong, Saman Amarasinghe

    Programming Languages & Formal Methods

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

80. 2025 · OOPSLA

    Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing

    Qiong Feng, Xiaotian Ma, Ziyuan Feng, Marat Akhin, Wei Song, Peng Liang

    Programming Languages & Formal Methods

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

81. 2025 · OOPSLA

    Flexible and Expressive Typed Path Patterns for GQL

    Wenjia Ye, Matías Toro, Tomás Díaz, Bruno C. d. S. Oliveira, Manuel Rigger, Claudio Gutierrez, Domagoj Vrgoč

    Programming Languages & Formal Methods

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

82. 2025 · OOPSLA

    Flix: A Design for Language-Integrated Datalog

    Magnus Madsen, Ondřej Lhoták

    Programming Languages & Formal Methods

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

83. 2025 · OOPSLA

    Float Self-Tagging

    Olivier Melançon, Manuel Serrano, Marc Feeley

    Programming Languages & Formal Methods

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

84. 2025 · OOPSLA

    Formalizing Linear Motion G-Code for Invariant Checking and Differential Testing of Fabrication Tools

    Yumeng He, Chandrakana Nandi, Sreepathi Pai

    Programming Languages & Formal Methods

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

85. 2025 · OOPSLA

    Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back

    Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler

    Programming Languages & Formal Methods

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

86. 2025 · OOPSLA

    Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM

    Ao Li, Byeongjee Kang, Vasudev Vikram, Isabella Laybourn, Samvid Dharanikota, Shrey Tiwari, Rohan Padhye

    Programming Languages & Formal Methods

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

87. 2025 · OOPSLA

    From Linearity to Borrowing

    Andrew Wagner, Olek Gierczak, Brianna Marshall, John M. Li, Amal Ahmed

    Programming Languages & Formal Methods

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

88. 2025 · OOPSLA

    Fuzzing C++ Compilers via Type-Driven Mutation

    Bo Wang, Chong Chen, Ming Deng, Junjie Chen, Xing Zhang, Youfang Lin, Dan Hao, Jun Sun

    Programming Languages & Formal Methods

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

89. 2025 · OOPSLA

    GALA: A High Performance Graph Neural Network Acceleration LAnguage and Compiler

    Damitha Lenadora, Nikhil Jayakumar, Chamika Sudusinghe, Charith Mendis

    Programming Languages & Formal Methods

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

90. 2025 · OOPSLA

    Garbage Collection for Rust: The Finalizer Frontier

    Jacob Hughes, Laurence Tratt

    Programming Languages & Formal Methods

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

91. 2025 · OOPSLA

    Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification

    Anan Kabaha, Dana Drachsler Cohen

    Programming Languages & Formal Methods

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

92. 2025 · OOPSLA

    HEMVM: A Heterogeneous Blockchain Framework for Interoperable Virtual Machines

    Vladyslav Nekriach, Sidi Mohamed Beillahi, Chenxing Li, Peilun Li, Ming Wu, Andreas Veneris, Fan Long

    Programming Languages & Formal Methods

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

93. 2025 · OOPSLA

    Hambazi: Spatial Coordination Synthesis for Augmented Reality

    Yi-Zhen Tsai, Jiasi Chen, Mohsen Lesani

    Programming Languages & Formal Methods

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

94. 2025 · OOPSLA

    Heap-Snapshot Matching and Ordering using CAHPs: A Context-Augmented Heap-Path Representation for Exact and Partial Path Matching using Prefix Trees

    Matteo Basso, Aleksandar Prokopec, Andrea Rosà, Walter Binder

    Programming Languages & Formal Methods

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

95. 2025 · OOPSLA

    HeapBuffers: Why Not Just Using a Binary Serialization Format for Your Managed Memory?

    Daniele Bonetta, Júnior Löff, Matteo Basso, Walter Binder

    Programming Languages & Formal Methods

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

96. 2025 · OOPSLA

    HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical Space Decomposition

    Sirui Lu, Rastislav Bodík

    Programming Languages & Formal Methods

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

97. 2025 · OOPSLA

    Homomorphism Calculus for User-Defined Aggregations

    Ziteng Wang, Ruijie Fang, Linus Zheng, Dixin Tang, Işıl Dillig

    Programming Languages & Formal Methods

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

98. 2025 · OOPSLA

    HpC: A Calculus for Hybrid and Mobile Systems

    Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Hao Wu, Bohua Zhan, Xinxin Liu, Naijun Zhan

    Programming Languages & Formal Methods

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

99. 2025 · OOPSLA

    HybridPersist: A Compiler Support for User-Friendly and Efficient PM Programming

    Yiyu Zhang, Yongzhi Wang, Yanfeng Gao, Xuandong Li, Zhiqiang Zuo

    Programming Languages & Formal Methods

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

100. 2025 · OOPSLA

     IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis

     Aman Nougrahiya, V. Krishna Nandivada

     Programming Languages & Formal Methods

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