OOPSLA

OOPSLA 公式サイト ↗

Programming Languages & Formal Methods

2023 · 110 papers

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

1. 2023 · OOPSLA

   Towards Better Semantics Exploration for Browser Fuzzing

   Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, Bin Gu

   Programming Languages & Formal Methods

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

2. 2023 · OOPSLA

   Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs

   Alex Renda, Yi Ding, Michael Carbin

   Programming Languages & Formal Methods

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

3. 2023 · OOPSLA

   Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network

   Shangwen Wang, Bo Lin, Zhensu Sun, Ming Wen, Yepang Liu, Yan Lei, Xiaoguang Mao

   Programming Languages & Formal Methods

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

4. 2023 · OOPSLA

   Type-Safe Dynamic Placement with First-Class Placed Values

   George Zakhour, Pascal Weisenburger, Guido Salvaneschi

   Programming Languages & Formal Methods

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

5. 2023 · OOPSLA

   User-Customizable Transpilation of Scripting Languages

   Bo Wang, Aashish Kolluri, Ivica Nikolić, Teodora Baluta, Prateek Saxena

   Programming Languages & Formal Methods

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

6. 2023 · OOPSLA

   Validating IoT Devices with Rate-Based Session Types

   Grant Iraci, Cheng-En Chuang, Raymond Hu, Lukasz Ziarek

   Programming Languages & Formal Methods

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

7. 2023 · OOPSLA

   Verification-Preserving Inlining in Automatic Separation Logic Verifiers

   Thibault Dardinier, Gaurav Parthasarathy, Peter Müller

   Programming Languages & Formal Methods

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

8. 2023 · OOPSLA

   Verifying Indistinguishability of Privacy-Preserving Protocols

   Kirby Linvill, Gowtham Kaki, Eric Wustrow

   Programming Languages & Formal Methods

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

9. 2023 · OOPSLA

   Verus: Verifying Rust Programs using Linear Ghost Types

   Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel

   Programming Languages & Formal Methods

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

10. 2023 · OOPSLA

    When Concurrency Matters: Behaviour-Oriented Concurrency

    Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, Paul Liétar

    Programming Languages & Formal Methods

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