OOPSLA

OOPSLA 公式サイト ↗

Programming Languages & Formal Methods

2022 · 79 papers

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

1. 2022 · OOPSLA

   <i>Necessity</i> specifications for robustness

   Julian Mackay, Susan Eisenbach, James Noble, Sophia Drossopoulou

   Programming Languages & Formal Methods

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

2. 2022 · OOPSLA

   A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency

   Dan Frumin, Emanuele D’Osualdo, Bas van den Heuvel, Jorge A. Pérez

   Programming Languages & Formal Methods

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

3. 2022 · OOPSLA

   A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning

   Aleksander Boruch-Gruszecki, Radosław Waśko, Yichen Xu, Lionel Parreaux

   Programming Languages & Formal Methods

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

4. 2022 · OOPSLA

   A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model

   Clément Blaudeau, Fengyun Liu

   Programming Languages & Formal Methods

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

5. 2022 · OOPSLA

   A concurrent program logic with a future and history

   Roland Meyer, Thomas Wies, Sebastian Wolff

   Programming Languages & Formal Methods

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

6. 2022 · OOPSLA

   A fast in-place interpreter for WebAssembly

   Ben L. Titzer

   Programming Languages & Formal Methods

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

7. 2022 · OOPSLA

   A general construction for abstract interpretation of higher-order automatic differentiation

   Jacob Laurel, Rem Yang, Shubham Ugare, Robert Nagel, Gagandeep Singh, Sasa Misailovic

   Programming Languages & Formal Methods

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

8. 2022 · OOPSLA

   A study of inline assembly in solidity smart contracts

   Stefanos Chaliasos, Arthur Gervais, Benjamin Livshits

   Programming Languages & Formal Methods

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

9. 2022 · OOPSLA

   AnICA: analyzing inconsistencies in microarchitectural code analyzers

   Fabian Ritter, Sebastian Hack

   Programming Languages & Formal Methods

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

10. 2022 · OOPSLA

    Applying cognitive principles to model-finding output: the positive value of negative information

    Tristan Dyer, Tim Nelson, Kathi Fisler, Shriram Krishnamurthi

    Programming Languages & Formal Methods

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

11. 2022 · OOPSLA

    Automated transpilation of imperative to functional code using neural-guided program synthesis

    Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Işil Dillig

    Programming Languages & Formal Methods

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

12. 2022 · OOPSLA

    BFF: foundational and automated verification of bitfield-manipulating programs

    Fengmin Zhu, Michael Sammler, Rodolphe Lepigre, Derek Dreyer, Deepak Garg

    Programming Languages & Formal Methods

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

13. 2022 · OOPSLA

    Bridging the semantic gap between qualitative and quantitative models of distributed systems

    Si Liu, Jose Meseguer, Peter Csaba Ölveczky, Min Zhang, David Basin

    Programming Languages & Formal Methods

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

14. 2022 · OOPSLA

    Bugs in Quantum computing platforms: an empirical study

    Matteo Paltenghi, Michael Pradel

    Programming Languages & Formal Methods

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

15. 2022 · OOPSLA

    C to checked C by 3c

    Aravind Machiry, John Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks

    Programming Languages & Formal Methods

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

16. 2022 · OOPSLA

    C4: verified transactional objects

    Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic

    Programming Languages & Formal Methods

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

17. 2022 · OOPSLA

    CAAT: consistency as a theory

    Thomas Haas, Roland Meyer, Hernán Ponce de León

    Programming Languages & Formal Methods

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

18. 2022 · OOPSLA

    Can guided decomposition help end-users write larger block-based programs? a mobile robot experiment

    Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, David C. Shepherd

    Programming Languages & Formal Methods

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

19. 2022 · OOPSLA

    Checking equivalence in a non-strict language

    John C. Kolesar, Ruzica Piskac, William T. Hallahan

    Programming Languages & Formal Methods

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

20. 2022 · OOPSLA

    Coeffects for sharing and mutation

    Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto

    Programming Languages & Formal Methods

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

21. 2022 · OOPSLA

    Compilation of dynamic sparse tensor algebra

    Stephen Chou, Saman Amarasinghe

    Programming Languages & Formal Methods

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

22. 2022 · OOPSLA

    Complexity-guided container replacement synthesis

    Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, Charles Zhang

    Programming Languages & Formal Methods

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

23. 2022 · OOPSLA

    Compositional embeddings of domain-specific languages

    Yaozhu Sun, Utkarsh Dhandhania, Bruno C. d. S. Oliveira

    Programming Languages & Formal Methods

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

24. 2022 · OOPSLA

    Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation

    Mengqi Liu, Zhong Shao, Hao Chen, Man-Ki Yoon, Jung-Eun Kim

    Programming Languages & Formal Methods

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

25. 2022 · OOPSLA

    Concurrent size

    Gal Sela, Erez Petrank

    Programming Languages & Formal Methods

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

26. 2022 · OOPSLA

    Data-driven lemma synthesis for interactive proofs

    Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd Millstein

    Programming Languages & Formal Methods

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

27. 2022 · OOPSLA

    Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back

    Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki

    Programming Languages & Formal Methods

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

28. 2022 · OOPSLA

    Elipmoc: advanced decompilation of Ethereum smart contracts

    Neville Grech, Sifis Lagouvardos, Ilias Tsatiris, Yannis Smaragdakis

    Programming Languages & Formal Methods

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

29. 2022 · OOPSLA

    End-to-end translation validation for the halide language

    Basile Clément, Albert Cohen

    Programming Languages & Formal Methods

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

30. 2022 · OOPSLA

    Fast shadow execution for debugging numerical errors using error free transformations

    Sangeeta Chowdhary, Santosh Nagarakatte

    Programming Languages & Formal Methods

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

31. 2022 · OOPSLA

    Finding real bugs in big programs with incorrectness logic

    Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, Peter W. O'Hearn

    Programming Languages & Formal Methods

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

32. 2022 · OOPSLA

    First-class names for effect handlers

    Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen

    Programming Languages & Formal Methods

    日本大学: 東京科学大学

33. 2022 · OOPSLA

    Fractional resources in unbounded separation logic

    Thibault Dardinier, Peter Müller, Alexander J. Summers

    Programming Languages & Formal Methods

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

34. 2022 · OOPSLA

    Functional collection programming with semi-ring dictionaries

    Amir Shaikhha, Mathieu Huot, Jaclyn Smith, Dan Olteanu

    Programming Languages & Formal Methods

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

35. 2022 · OOPSLA

    High-level effect handlers in C++

    Dan Ghica, Sam Lindley, Marcos Maroñas Bravo, Maciej Piróg

    Programming Languages & Formal Methods

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

36. 2022 · OOPSLA

    Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters

    Joshua Hoeflich, Robert Bruce Findler, Manuel Serrano

    Programming Languages & Formal Methods

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

37. 2022 · OOPSLA

    Implementing and verifying release-acquire transactional memory in C11

    Sadegh Dalvandi, Brijesh Dongol

    Programming Languages & Formal Methods

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

38. 2022 · OOPSLA

    Incremental type-checking for free: using scope graphs to derive incremental type-checkers

    Aron Zwaan, Hendrik van Antwerpen, Eelco Visser

    Programming Languages & Formal Methods

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

39. 2022 · OOPSLA

    Indexing the extended Dyck-CFL reachability for context-sensitive program analysis

    Qingkai Shi, Yongchao Wang, Peisen Yao, Charles Zhang

    Programming Languages & Formal Methods

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

40. 2022 · OOPSLA

    Intrinsically-typed definitional interpreters à la carte

    Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter Mosses

    Programming Languages & Formal Methods

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

41. 2022 · OOPSLA

    Katara: synthesizing CRDTs with verified lifting

    Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein

    Programming Languages & Formal Methods

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

42. 2022 · OOPSLA

    Language-parametric static semantic code completion

    Daniel A. A. Pelsmaeker, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser

    Programming Languages & Formal Methods

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

43. 2022 · OOPSLA

    Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities

    Aïna Linn Georges, Alix Trieu, Lars Birkedal

    Programming Languages & Formal Methods

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

44. 2022 · OOPSLA

    Linear types for large-scale systems verification

    Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel

    Programming Languages & Formal Methods

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

45. 2022 · OOPSLA

    MLstruct: principal type inference in a Boolean algebra of structural types

    Lionel Parreaux, Chun Yin Chau

    Programming Languages & Formal Methods

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

46. 2022 · OOPSLA

    Model-guided synthesis of inductive lemmas for FOL with least fixpoints

    Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

    Programming Languages & Formal Methods

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

47. 2022 · OOPSLA

    Neural architecture search using property guided synthesis

    Charles Jin, Phitchaya Mangpo Phothilimthana, Sudip Roy

    Programming Languages & Formal Methods

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

48. 2022 · OOPSLA

    On incorrectness logic for Quantum programs

    Peng Yan, Hanru Jiang, Nengkun Yu

    Programming Languages & Formal Methods

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

49. 2022 · OOPSLA

    Optimal heap limits for reducing browser memory use

    Marisa Kirisame, Pranav Shenoy, Pavel Panchekha

    Programming Languages & Formal Methods

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

50. 2022 · OOPSLA

    Overwatch: learning patterns in code edit sequences

    Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta, Ameya Ketkar, Miltiadis Allamanis, Titus Barik, Sumit Gulwani, Arjun Radhakrishna, Mohammad Raza, Gustavo Soares, Ashish Tiwari

    Programming Languages & Formal Methods

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

51. 2022 · OOPSLA

    Parsing randomness

    Harrison Goldstein, Benjamin C. Pierce

    Programming Languages & Formal Methods

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

52. 2022 · OOPSLA

    Plausible sealing for gradual parametricity

    Elizabeth Labrada, Matías Toro, Éric Tanter, Dominique Devriese

    Programming Languages & Formal Methods

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

53. 2022 · OOPSLA

    Proof transfer for fast certification of multiple approximate neural networks

    Shubham Ugare, Gagandeep Singh, Sasa Misailovic

    Programming Languages & Formal Methods

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

54. 2022 · OOPSLA

    Proving hypersafety compositionally

    Emanuele D’Osualdo, Azadeh Farzan, Derek Dreyer

    Programming Languages & Formal Methods

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

55. 2022 · OOPSLA

    Purity of an ST monad: full abstraction by semantically typed back-translation

    Koen Jacobs, Dominique Devriese, Amin Timany

    Programming Languages & Formal Methods

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

56. 2022 · OOPSLA

    Quantitative strongest post: a calculus for reasoning about the flow of quantitative information

    Linpeng Zhang, Benjamin Lucien Kaminski

    Programming Languages & Formal Methods

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

57. 2022 · OOPSLA

    Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing

    Sujit Kumar Muduli, Subhajit Roy

    Programming Languages & Formal Methods

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

58. 2022 · OOPSLA

    Scalable verification of GNN-based job schedulers

    Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh

    Programming Languages & Formal Methods

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

59. 2022 · OOPSLA

    Semi-symbolic inference for efficient streaming probabilistic programming

    Eric Atkinson, Charles Yuan, Guillaume Baudart, Louis Mandel, Michael Carbin

    Programming Languages & Formal Methods

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

60. 2022 · OOPSLA

    Seq2Parse: neurosymbolic parse error repair

    Georgios Sakkas, Madeline Endres, Philip J. Guo, Westley Weimer, Ranjit Jhala

    Programming Languages & Formal Methods

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

61. 2022 · OOPSLA

    SigVM: enabling event-driven execution for truly decentralized smart contracts

    Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song, Yuxi Cai, Andreas Veneris, Fan Long

    Programming Languages & Formal Methods

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

62. 2022 · OOPSLA

    Solo: a lightweight static analysis for differential privacy

    Chiké Abuah, David Darais, Joseph P. Near

    Programming Languages & Formal Methods

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

63. 2022 · OOPSLA

    Specification-guided component-based synthesis from effectful libraries

    Ashish Mishra, Suresh Jagannathan

    Programming Languages & Formal Methods

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

64. 2022 · OOPSLA

    Symbolic execution for randomized programs

    Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy

    Programming Languages & Formal Methods

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

65. 2022 · OOPSLA

    Synthesis-powered optimization of smart contracts via data type refactoring

    Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, Işil Dillig

    Programming Languages & Formal Methods

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

66. 2022 · OOPSLA

    Synthesizing abstract transformers

    Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D’Antoni, Thomas Reps, Subhajit Roy

    Programming Languages & Formal Methods

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

67. 2022 · OOPSLA

    Synthesizing axiomatizations using logic learning

    Paul Krogmeier, Zhengyao Lin, Adithya Murali, P. Madhusudan

    Programming Languages & Formal Methods

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

68. 2022 · OOPSLA

    Synthesizing code quality rules from examples

    Pranav Garg, Srinivasan H. Sengamedu

    Programming Languages & Formal Methods

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

69. 2022 · OOPSLA

    Synthesizing fine-grained synchronization protocols for implicit monitors

    Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Işil Dillig

    Programming Languages & Formal Methods

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

70. 2022 · OOPSLA

    The essence of online data processing

    Philip Dexter, Yu David Liu, Kenneth Chiu

    Programming Languages & Formal Methods

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

71. 2022 · OOPSLA

    The road not taken: exploring alias analysis based optimizations missed by the compiler

    Khushboo Chitre, Piyus Kedia, Rahul Purandare

    Programming Languages & Formal Methods

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

72. 2022 · OOPSLA

    This is the moment for probabilistic loops

    Marcel Moosbrugger, Miroslav Stankovič, Ezio Bartocci, Laura Kovács

    Programming Languages & Formal Methods

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

73. 2022 · OOPSLA

    Tower: data structures in Quantum superposition

    Charles Yuan, Michael Carbin

    Programming Languages & Formal Methods

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

74. 2022 · OOPSLA

    Translating canonical SQL to imperative code in Coq

    Véronique Benzaken, Évelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon

    Programming Languages & Formal Methods

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

75. 2022 · OOPSLA

    UniRec: a unimodular-like framework for nested recursions and loops

    Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni

    Programming Languages & Formal Methods

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

76. 2022 · OOPSLA

    Veracity: declarative multicore programming with commutativity

    Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus

    Programming Languages & Formal Methods

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

77. 2022 · OOPSLA

    Verified compilation of Quantum oracles

    Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks

    Programming Languages & Formal Methods

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

78. 2022 · OOPSLA

    Weighted programming: a programming paradigm for specifying mathematical models

    Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler

    Programming Languages & Formal Methods

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

79. 2022 · OOPSLA

    Wildcards need witness protection

    Kevin Bierhoff

    Programming Languages & Formal Methods

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