OOPSLA

OOPSLA 公式サイト ↗

Programming Languages & Formal Methods

2024 · 148 papers

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

1. 2024 · OOPSLA

   A Case for First-Class Environments

   Jinhao Tan, Bruno C. d. S. Oliveira

   Programming Languages & Formal Methods

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

2. 2024 · OOPSLA

   A Constraint Solving Approach to Parikh Images of Regular Languages

   Amanda Stjerna, Philipp Rümmer

   Programming Languages & Formal Methods

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

3. 2024 · OOPSLA

   A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code

   Julien Simonnet, Matthieu Lemerre, Mihaela Sighireanu

   Programming Languages & Formal Methods

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

4. 2024 · OOPSLA

   A Learning-Based Approach to Static Program Slicing

   Aashish Yadavally, Yi Li, Shaohua Wang, Tien N. Nguyen

   Programming Languages & Formal Methods

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

5. 2024 · OOPSLA

   A Low-Level Look at A-Normal Form

   William J. Bowman

   Programming Languages & Formal Methods

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

6. 2024 · OOPSLA

   A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs

   Vineet Rajani, Gilles Barthe, Deepak Garg

   Programming Languages & Formal Methods

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

7. 2024 · OOPSLA

   A Pure Demand Operational Semantics with Applications to Program Analysis

   Scott Smith, Robert Zhang

   Programming Languages & Formal Methods

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

8. 2024 · OOPSLA

   A Runtime System for Interruptible Query Processing: When Incremental Computing Meets Fine-Grained Parallelism

   Jeff Eymer, Philip Dexter, Joseph Raskind, Yu David Liu

   Programming Languages & Formal Methods

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

9. 2024 · OOPSLA

   A Typed Multi-level Datalog IR and Its Compiler Framework

   David Klopp, Sebastian Erdweg, André Pacak

   Programming Languages & Formal Methods

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

10. 2024 · OOPSLA

    AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming

    Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen, Magnus Madsen, Martin Elsman

    Programming Languages & Formal Methods

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

11. 2024 · OOPSLA

    Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning

    Gabriel Ryan, Burcu Cetin, Yongwhan Lim, Suman Jana

    Programming Languages & Formal Methods

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

12. 2024 · OOPSLA

    AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects

    Wolf Honoré, Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Zhong Shao

    Programming Languages & Formal Methods

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

13. 2024 · OOPSLA

    Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models

    Kartik Nagar, Anmol Sahoo, Romit Roy Chowdhury, Suresh Jagannathan

    Programming Languages & Formal Methods

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

14. 2024 · OOPSLA

    Automated Verification of Parametric Channel-Based Process Communication

    Georgian-Vlad Saioc, Julien Lange, Anders Møller

    Programming Languages & Formal Methods

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

15. 2024 · OOPSLA

    Automatically Reducing Privilege for Access Control Policies

    Loris D’Antoni, Shuo Ding, Amit Goel, Mathangi Ramesh, Neha Rungta, Chungha Sung

    Programming Languages & Formal Methods

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

16. 2024 · OOPSLA

    Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics

    Keith J.C. Johnson, Rahul Krishnan, Thomas Reps, Loris D’Antoni

    Programming Languages & Formal Methods

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

17. 2024 · OOPSLA

    Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs

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

    Programming Languages & Formal Methods

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

18. 2024 · OOPSLA

    Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers

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

    Programming Languages & Formal Methods

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

19. 2024 · OOPSLA

    CYCLE: Learning to Self-Refine the Code Generation

    Yangruibo Ding, Marcus J. Min, Gail Kaiser, Baishakhi Ray

    Programming Languages & Formal Methods

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

20. 2024 · OOPSLA

    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 Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew M. Wells

    Programming Languages & Formal Methods

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

21. 2024 · OOPSLA

    Cocoon: Static Information Flow Control in Rust

    Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, Zhiqiang Lin

    Programming Languages & Formal Methods

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

22. 2024 · OOPSLA

    Compilation of Shape Operators on Sparse Arrays

    Alexander J Root, Bobby Yan, Peiming Liu, Christophe Gyurgyik, Aart J.C. Bik, Fredrik Kjolstad

    Programming Languages & Formal Methods

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

23. 2024 · OOPSLA

    Compiler Support for Sparse Tensor Convolutions

    Peiming Liu, Alexander J Root, Anlun Xu, Yinying Li, Fredrik Kjolstad, Aart J.C. Bik

    Programming Languages & Formal Methods

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

24. 2024 · OOPSLA

    Compiling Recurrences over Dense and Sparse Arrays

    Shiv Sundram, Muhammad Usman Tariq, Fredrik Kjolstad

    Programming Languages & Formal Methods

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

25. 2024 · OOPSLA

    Compositionality and Observational Refinement for Linearizability with Crashes

    Arthur Oliveira Vale, Zhongye Wang, Yixuan Chen, Peixin You, Zhong Shao

    Programming Languages & Formal Methods

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

26. 2024 · OOPSLA

    Computing Precise Control Interface Specifications

    Eric Hayden Campbell, Hossein Hojjat, Nate Foster

    Programming Languages & Formal Methods

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

27. 2024 · OOPSLA

    Concurrent Data Structures Made Easy

    Callista Le, Kiran Gopinathan, Koon Wen Lee, Seth Gilbert, Ilya Sergey

    Programming Languages & Formal Methods

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

28. 2024 · OOPSLA

    Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis

    Benjamin Mariano, Ziteng Wang, Shankara Pailoor, Christian Collberg, Işil Dillig

    Programming Languages & Formal Methods

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

29. 2024 · OOPSLA

    CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming

    Ethan Chen, Jiwon Chang, Yuhao Zhu

    Programming Languages & Formal Methods

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

30. 2024 · OOPSLA

    Crabtree: Rust API Test Synthesis Guided by Coverage and Type

    Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, Corina S. Păsăreanu

    Programming Languages & Formal Methods

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

31. 2024 · OOPSLA

    Degrees of Separation: A Flexible Type System for Safe Concurrency

    Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky

    Programming Languages & Formal Methods

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

32. 2024 · OOPSLA

    Dependency-Aware Code Naturalness

    Chen Yang, Junjie Chen, Jiajun Jiang, Yuliang Huang

    Programming Languages & Formal Methods

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

33. 2024 · OOPSLA

    Deriving Dependently-Typed OOP from First Principles

    David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann

    Programming Languages & Formal Methods

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

34. 2024 · OOPSLA

    Design and Implementation of an Aspect-Oriented C Programming Language

    Zhe Chen, Yunlong Zhu, Zhemin Wang

    Programming Languages & Formal Methods

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

35. 2024 · OOPSLA

    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

    Programming Languages & Formal Methods

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

36. 2024 · OOPSLA

    Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models

    Ningke Li, Yuekang Li, Yi Liu, Ling Shi, Kailong Wang, Haoyu Wang

    Programming Languages & Formal Methods

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

37. 2024 · OOPSLA

    Effect Handlers for C via Coroutines

    Mario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica, Sam Lindley

    Programming Languages & Formal Methods

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

38. 2024 · OOPSLA

    Effects and Coeffects in Call-by-Push-Value

    Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, Stephanie Weirich

    Programming Languages & Formal Methods

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

39. 2024 · OOPSLA

    Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach

    Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian

    Programming Languages & Formal Methods

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

40. 2024 · OOPSLA

    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

    Programming Languages & Formal Methods

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

41. 2024 · OOPSLA

    Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions

    Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

    Programming Languages & Formal Methods

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

42. 2024 · OOPSLA

    Extending the C/C++ Memory Model with Inline Assembly

    Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis, Azalea Raad

    Programming Languages & Formal Methods

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

43. 2024 · OOPSLA

    FPCC: Detecting Floating-Point Errors via Chain Conditions

    Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang

    Programming Languages & Formal Methods

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

44. 2024 · OOPSLA

    Fast and Optimal Extraction for Sparse Equality Graphs

    Amir Kafshdar Goharshady, Chun Kit Lam, Lionel Parreaux

    Programming Languages & Formal Methods

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

45. 2024 · OOPSLA

    Finding Cross-Rule Optimization Bugs in Datalog Engines

    Chi Zhang, Linzhang Wang, Manuel Rigger

    Programming Languages & Formal Methods

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

46. 2024 · OOPSLA

    Finding ∀∃ Hyperbugs using Symbolic Execution

    Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, Georg Weissenbacher

    Programming Languages & Formal Methods

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

47. 2024 · OOPSLA

    FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions

    Zhengyao Lin, Joshua Gancher, Bryan Parno

    Programming Languages & Formal Methods

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

48. 2024 · OOPSLA

    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

    Programming Languages & Formal Methods

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

49. 2024 · OOPSLA

    Fulfilling OCaml Modules with Transparency

    Blaudeau Clement, Didier Rémy, Gabriel Radanne

    Programming Languages & Formal Methods

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

50. 2024 · OOPSLA

    Full Iso-Recursive Types

    Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira

    Programming Languages & Formal Methods

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

51. 2024 · OOPSLA

    Fully Verified Instruction Scheduling

    Ziteng Yang, Jun Shirako, Vivek Sarkar

    Programming Languages & Formal Methods

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

52. 2024 · OOPSLA

    Functional Ownership through Fractional Uniqueness

    Daniel Marshall, Dominic Orchard

    Programming Languages & Formal Methods

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

53. 2024 · OOPSLA

    Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types

    Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer, Clément Pit-Claudel

    Programming Languages & Formal Methods

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

54. 2024 · OOPSLA

    Gradually Typed Languages Should Be Vigilant!

    Olek Gierczak, Lucy Menon, Christos Dimoulas, Amal Ahmed

    Programming Languages & Formal Methods

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

55. 2024 · OOPSLA

    HOL4P4: Mechanized Small-Step Semantics for P4

    Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam

    Programming Languages & Formal Methods

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

56. 2024 · OOPSLA

    HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing

    Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, Zhiqiang Zuo

    Programming Languages & Formal Methods

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

57. 2024 · OOPSLA

    HiPy: Extracting High-Level Semantics from Python Code for Data Processing

    Michael Jungmair, Alexis Engelke, Jana Giceva

    Programming Languages & Formal Methods

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

58. 2024 · OOPSLA

    Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification

    Taro Sekiyama, Hiroshi Unno

    Programming Languages & Formal Methods

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

59. 2024 · OOPSLA

    Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs

    Martin Avanzini, Gilles Barthe, Benjamin Grégoire, Georg Moser, Gabriele Vanoni

    Programming Languages & Formal Methods

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

60. 2024 · OOPSLA

    HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism

    Alexis Le Glaunec, Lingkun Kong, Konstantinos Mamouras

    Programming Languages & Formal Methods

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

61. 2024 · OOPSLA

    Hydra: Generalizing Peephole Optimizations with Program Synthesis

    Manasij Mukherjee, John Regehr

    Programming Languages & Formal Methods

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

62. 2024 · OOPSLA

    Hypra: A Deductive Program Verifier for Hyper Hoare Logic

    Thibault Dardinier, Anqi Li, Peter Müller

    Programming Languages & Formal Methods

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

63. 2024 · OOPSLA

    Identifying and Correcting Programming Language Behavior Misconceptions

    Kuang-Chen Lu, Shriram Krishnamurthi

    Programming Languages & Formal Methods

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

64. 2024 · OOPSLA

    Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing

    Wenjia Ye, Yaozhu Sun, Bruno C. d. S. Oliveira

    Programming Languages & Formal Methods

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

65. 2024 · OOPSLA

    Inductive Diagrams for Causal Reasoning

    Jonathan Castello, Patrick Redmond, Lindsey Kuper

    Programming Languages & Formal Methods

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

66. 2024 · OOPSLA

    Intensional Functions

    Zachary Palmer, Nathaniel Wesley Filardo, Ke Wu

    Programming Languages & Formal Methods

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

67. 2024 · OOPSLA

    Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly

    Maxime Legoupil, June Rousseau, Aïna Linn Georges, Jean Pichon-Pharabod, Lars Birkedal

    Programming Languages & Formal Methods

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

68. 2024 · OOPSLA

    Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability

    Pei Xu, Yuxiang Lei, Yulei Sui, Jingling Xue

    Programming Languages & Formal Methods

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

69. 2024 · OOPSLA

    Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed Languages

    David Schwartz, Ankith Kowshik, Luís Pina

    Programming Languages & Formal Methods

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

70. 2024 · OOPSLA

    Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs

    Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q Feldman, Michael Greenberg, Abhinav Jangda, Arjun Guha

    Programming Languages & Formal Methods

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

71. 2024 · OOPSLA

    Law and Order for Typestate with Borrowing

    Hannes Saffrich, Yuki Nishida, Peter Thiemann

    Programming Languages & Formal Methods

    日本大学: 京都大学

72. 2024 · OOPSLA

    Learning Abstraction Selection for Bayesian Program Analysis

    Yifan Zhang, Yuanfeng Shi, Xin Zhang

    Programming Languages & Formal Methods

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

73. 2024 · OOPSLA

    Lexical Effect Handlers, Directly

    Cong Ma, Zhaoyi Ge, Edward Lee, Yizhou Zhang

    Programming Languages & Formal Methods

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

74. 2024 · OOPSLA

    MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang

    Boyao Ding, Qingwei Li, Yu Zhang, Fugen Tang, Jinbao Chen

    Programming Languages & Formal Methods

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

75. 2024 · OOPSLA

    Making Formulog Fast: An Argument for Unconventional Datalog Evaluation

    Aaron Bembenek, Michael Greenberg, Stephen Chong

    Programming Languages & Formal Methods

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

76. 2024 · OOPSLA

    Making Sense of Multi-threaded Application Performance at Scale with NonSequitur

    Augustine Wong, Paul Bucci, Ivan Beschastnikh, Alexandra Fedorova

    Programming Languages & Formal Methods

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

77. 2024 · OOPSLA

    Mark–Scavenge: Waiting for Trash to Take Itself Out

    Jonas Norlinder, Erik Österlund, David Black-Schaffer, Tobias Wrigstad

    Programming Languages & Formal Methods

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

78. 2024 · OOPSLA

    Mechanizing the CMP Abstraction for Parameterized Verification

    Yongjian Li, Bohua Zhan, Jun Pang

    Programming Languages & Formal Methods

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

79. 2024 · OOPSLA

    Merging Gradual Typing

    Wenjia Ye, Bruno C. d. S. Oliveira, Matías Toro

    Programming Languages & Formal Methods

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

80. 2024 · OOPSLA

    Message-Observing Sessions

    Ryan Kavanagh, Brigitte Pientka

    Programming Languages & Formal Methods

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

81. 2024 · OOPSLA

    Minotaur: A SIMD-Oriented Synthesizing Superoptimizer

    Zhengyang Liu, Stefan Mada, John Regehr

    Programming Languages & Formal Methods

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

82. 2024 · OOPSLA

    Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations

    Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson

    Programming Languages & Formal Methods

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

83. 2024 · OOPSLA

    Model Checking Distributed Protocols in Must

    Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis, Rupak Majumdar

    Programming Languages & Formal Methods

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

84. 2024 · OOPSLA

    Modeling Dynamic (De)Allocations of Local Memory for Translation Validation

    Abhishek Rose, Sorav Bansal

    Programming Languages & Formal Methods

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

85. 2024 · OOPSLA

    Modular Synthesis of Efficient Quantum Uncomputation

    Hristo Venev, Timon Gehr, Dimitar Dimitrov, Martin Vechev

    Programming Languages & Formal Methods

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

86. 2024 · OOPSLA

    Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials

    Nikhil Pimpalkhare, Zachary Kincaid

    Programming Languages & Formal Methods

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

87. 2024 · OOPSLA

    Multiverse Notebook: Shifting Data Scientists to Time Travelers

    Shigeyuki Sato, Tomoki Nakamaru

    Programming Languages & Formal Methods

    日本大学: 電気通信大学 / 東京大学

88. 2024 · OOPSLA

    Multris: Functional Verification of Multiparty Message Passing in Separation Logic

    Jonas Kastberg Hinrichsen, Jules Jacobs, Robbert Krebbers

    Programming Languages & Formal Methods

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

89. 2024 · OOPSLA

    Newtonian Program Analysis of Probabilistic Programs

    Di Wang, Thomas Reps

    Programming Languages & Formal Methods

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

90. 2024 · OOPSLA

    Non-termination Proving at Scale

    Azalea Raad, Julien Vanegue, Peter O’Hearn

    Programming Languages & Formal Methods

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

91. 2024 · OOPSLA

    Object-Oriented Fixpoint Programming with Datalog

    David Klopp, Sebastian Erdweg, André Pacak

    Programming Languages & Formal Methods

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

92. 2024 · OOPSLA

    On the Expressive Power of Languages for Static Variability

    Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Jeffrey M. Young, Leopoldo Teixeira, Eric Walkingshaw, Parisa Ataei, Thomas Thüm

    Programming Languages & Formal Methods

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

93. 2024 · OOPSLA

    Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects

    Noam Zilberstein, Angelina Saliling, Alexandra Silva

    Programming Languages & Formal Methods

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

94. 2024 · OOPSLA

    PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis

    Zhaoyu Wang, Pingchuan Ma, Huaijin Wang, Shuai Wang

    Programming Languages & Formal Methods

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

95. 2024 · OOPSLA

    PROMPT: A Fast and Extensible Memory Profiling Framework

    Ziyang Xu, Yebin Chon, Yian Su, Zujun Tan, Sotiris Apostolakis, Simone Campanoni, David I. August

    Programming Languages & Formal Methods

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

96. 2024 · OOPSLA

    ParDiff: Practical Static Differential Analysis of Network Protocol Parsers

    Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, Xiangyu Zhang

    Programming Languages & Formal Methods

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

97. 2024 · OOPSLA

    Persimmon: Nested Family Polymorphism with Extensible Variant Types

    Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, Nada Amin

    Programming Languages & Formal Methods

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

98. 2024 · OOPSLA

    Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels

    Si Liu, Long Gu, Hengfeng Wei, David Basin

    Programming Languages & Formal Methods

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

99. 2024 · OOPSLA

    PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting

    Chijin Zhou, Bingzhou Qian, Gwihwan Go, Quan Zhang, Shanshan Li, Yu Jiang

    Programming Languages & Formal Methods

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

100. 2024 · OOPSLA

     Practical Verification of Smart Contracts using Memory Splitting

     Shelly Grossman, John Toman, Alexander Bakst, Sameer Arora, Mooly Sagiv, Chandrakana Nandi

     Programming Languages & Formal Methods

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