OOPSLA

OOPSLA 公式サイト ↗

Programming Languages & Formal Methods

2021 · 71 papers

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

1. 2021 · OOPSLA

   A derivative-based parser generator for visibly Pushdown grammars

   Xiaodong Jia, Ashish Kumar, Gang Tan

   Programming Languages & Formal Methods

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

2. 2021 · OOPSLA

   A multiparty session typing discipline for fault-tolerant event-driven distributed programming

   Malte Viering, Raymond Hu, Patrick Eugster, Lukasz Ziarek

   Programming Languages & Formal Methods

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

3. 2021 · OOPSLA

   A type system for extracting functional specifications from memory-safe imperative programs

   Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Ştefănescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic

   Programming Languages & Formal Methods

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

4. 2021 · OOPSLA

   APIfix: output-oriented program synthesis for combating breaking changes in libraries

   Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury

   Programming Languages & Formal Methods

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

5. 2021 · OOPSLA

   Automatic migration from synchronous to asynchronous JavaScript APIs

   Satyajit Gokhale, Alexi Turcotte, Frank Tip

   Programming Languages & Formal Methods

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

6. 2021 · OOPSLA

   Coarsening optimization for differentiable programming

   Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, Shannon Yang

   Programming Languages & Formal Methods

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

7. 2021 · OOPSLA

   Compacting points-to sets through object clustering

   Mohamad Barbar, Yulei Sui

   Programming Languages & Formal Methods

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

8. 2021 · OOPSLA

   Compilation of sparse array programming models

   Rawn Henry, Olivia Hsu, Rohan Yadav, Stephen Chou, Kunle Olukotun, Saman Amarasinghe, Fredrik Kjolstad

   Programming Languages & Formal Methods

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

9. 2021 · OOPSLA

   Compiling with continuations, correctly

   Zoe Paraskevopoulou, Anvay Grover

   Programming Languages & Formal Methods

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

10. 2021 · OOPSLA

    Copy-and-patch compilation: a fast compilation algorithm for high-level languages and bytecode

    Haoran Xu, Fredrik Kjolstad

    Programming Languages & Formal Methods

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

11. 2021 · OOPSLA

    Data-driven abductive inference of library specifications

    Zhe Zhou, Robert Dickerson, Benjamin Delaware, Suresh Jagannathan

    Programming Languages & Formal Methods

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

12. 2021 · OOPSLA

    Durable functions: semantics for stateful serverless

    Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn

    Programming Languages & Formal Methods

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

13. 2021 · OOPSLA

    Dynaplex: analyzing program complexity using dynamically inferred recurrence relations

    Didier Ishimwe, KimHao Nguyen, ThanhVu Nguyen

    Programming Languages & Formal Methods

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

14. 2021 · OOPSLA

    ECROs: building global scale systems from sequential code

    Kevin De Porre, Carla Ferreira, Nuno Preguiça, Elisa Gonzalez Boix

    Programming Languages & Formal Methods

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

15. 2021 · OOPSLA

    Efficient automatic scheduling of imaging and vision pipelines for the GPU

    Luke Anderson, Andrew Adams, Karima Ma, Tzu-Mao Li, Tian Jin, Jonathan Ragan-Kelley

    Programming Languages & Formal Methods

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

16. 2021 · OOPSLA

    Efficient compilation of algebraic effect handlers

    Georgios Karachalias, Filip Koprivec, Matija Pretnar, Tom Schrijvers

    Programming Languages & Formal Methods

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

17. 2021 · OOPSLA

    FPL: fast Presburger arithmetic through transprecision

    Arjun Pitchanathan, Christian Ulmann, Michel Weber, Torsten Hoefler, Tobias Grosser

    Programming Languages & Formal Methods

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

18. 2021 · OOPSLA

    Formal verification of high-level synthesis

    Yann Herklotz, James D. Pollard, Nadesh Ramanathan, John Wickerson

    Programming Languages & Formal Methods

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

19. 2021 · OOPSLA

    Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs

    Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su

    Programming Languages & Formal Methods

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

20. 2021 · OOPSLA

    Gauss: program synthesis by reasoning over graphs

    Rohan Bavishi, Caroline Lemieux, Koushik Sen, Ion Stoica

    Programming Languages & Formal Methods

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

21. 2021 · OOPSLA

    Generalizable synthesis through unification

    Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu

    Programming Languages & Formal Methods

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

22. 2021 · OOPSLA

    Generative type-aware mutation for testing SMT solvers

    Jiwon Park, Dominik Winterer, Chengyu Zhang, Zhendong Su

    Programming Languages & Formal Methods

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

23. 2021 · OOPSLA

    Gradually structured data

    Stefan Malewski, Michael Greenberg, Éric Tanter

    Programming Languages & Formal Methods

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

24. 2021 · OOPSLA

    How statically-typed functional programmers write code

    Justin Lubin, Sarah E. Chasins

    Programming Languages & Formal Methods

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

25. 2021 · OOPSLA

    Interpretable noninterference measurement and its application to processor designs

    Ziqiao Zhou, Michael K. Reiter

    Programming Languages & Formal Methods

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

26. 2021 · OOPSLA

    JavaDL: automatically incrementalizing Java bug pattern detection

    Alexandru Dura, Christoph Reichenbach, Emma Söderberg

    Programming Languages & Formal Methods

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

27. 2021 · OOPSLA

    LXM: better splittable pseudorandom number generators (and almost as fast)

    Guy L. Steele Jr., Sebastiano Vigna

    Programming Languages & Formal Methods

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

28. 2021 · OOPSLA

    Label dependent lambda calculus and gradual typing

    Weili Fu, Fabian Krause, Peter Thiemann

    Programming Languages & Formal Methods

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

29. 2021 · OOPSLA

    LooPy: interactive program synthesis with control structures

    Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova

    Programming Languages & Formal Methods

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

30. 2021 · OOPSLA

    Making pointer analysis more precise by unleashing the power of selective context sensitivity

    Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, Yannis Smaragdakis

    Programming Languages & Formal Methods

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

31. 2021 · OOPSLA

    Making weak memory models fair

    Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis

    Programming Languages & Formal Methods

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

32. 2021 · OOPSLA

    Modular specification and verification of closures in Rust

    Fabian Wolff, Aurel Bílý, Christoph Matheja, Peter Müller, Alexander J. Summers

    Programming Languages & Formal Methods

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

33. 2021 · OOPSLA

    MonkeyDB: effectively testing correctness under weak isolation levels

    Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal

    Programming Languages & Formal Methods

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

34. 2021 · OOPSLA

    Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems

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

    Programming Languages & Formal Methods

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

35. 2021 · OOPSLA

    Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis

    Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

    Programming Languages & Formal Methods

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

36. 2021 · OOPSLA

    Not so fast: understanding and mitigating negative impacts of compiler optimizations on code reuse gadget sets

    Michael D. Brown, Matthew Pruett, Robert Bigelow, Girish Mururu, Santosh Pande

    Programming Languages & Formal Methods

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

37. 2021 · OOPSLA

    One down, 699 to go: or, synthesising compositional desugarings

    Sándor Bartha, James Cheney, Vaishak Belle

    Programming Languages & Formal Methods

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

38. 2021 · OOPSLA

    Permchecker: a toolchain for debugging memory managers with typestate

    Karl Cronburg, Samuel Z. Guyer

    Programming Languages & Formal Methods

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

39. 2021 · OOPSLA

    Program analysis via efficient symbolic abstraction

    Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang

    Programming Languages & Formal Methods

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

40. 2021 · OOPSLA

    Programming and execution models for parallel bounded exhaustive testing

    Nader Al Awar, Kush Jain, Christopher J. Rossbach, Milos Gligoric

    Programming Languages & Formal Methods

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

41. 2021 · OOPSLA

    Promises are made to be broken: migrating R to strict semantics

    Aviral Goel, Jan Ječmen, Sebastián Krynski, Olivier Flückiger, Jan Vitek

    Programming Languages & Formal Methods

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

42. 2021 · OOPSLA

    QuickSilver: modeling and parameterized verification for distributed agreement-based systems

    Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

    Programming Languages & Formal Methods

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

43. 2021 · OOPSLA

    Reachability types: tracking aliasing and separation in higher-order functional programs

    Yuyan Bao, Guannan Wei, Oliver Bračevac, Yuxuan Jiang, Qiyang He, Tiark Rompf

    Programming Languages & Formal Methods

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

44. 2021 · OOPSLA

    Reconciling optimization with secure compilation

    Son Tuan Vu, Albert Cohen, Arnaud De Grandmaison, Christophe Guillon, Karine Heydemann

    Programming Languages & Formal Methods

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

45. 2021 · OOPSLA

    Relational nullable types with Boolean unification

    Magnus Madsen, Jaco van de Pol

    Programming Languages & Formal Methods

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

46. 2021 · OOPSLA

    Rewrite rule inference using equality saturation

    Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock

    Programming Languages & Formal Methods

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

47. 2021 · OOPSLA

    Rich specifications for Ethereum smart contract verification

    Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, Alexander J. Summers

    Programming Languages & Formal Methods

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

48. 2021 · OOPSLA

    Safer at any speed: automatic context-aware safety enhancement for Rust

    Natalie Popescu, Ziyang Xu, Sotiris Apostolakis, David I. August, Amit Levy

    Programming Languages & Formal Methods

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

49. 2021 · OOPSLA

    Scalability and precision by combining expressive type systems and deductive verification

    Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, Werner Dietl

    Programming Languages & Formal Methods

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

50. 2021 · OOPSLA

    SecRSL: security separation logic for C11 release-acquire concurrency

    Pengbo Yan, Toby Murray

    Programming Languages & Formal Methods

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

51. 2021 · OOPSLA

    Semantic programming by example with pre-trained models

    Gust Verbruggen, Vu Le, Sumit Gulwani

    Programming Languages & Formal Methods

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

52. 2021 · OOPSLA

    SimTyper: sound type inference for Ruby using type equality prediction

    Milod Kazerounian, Jeffrey S. Foster, Bonan Min

    Programming Languages & Formal Methods

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

53. 2021 · OOPSLA

    Solver-based gradual type migration

    Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, Arjun Guha

    Programming Languages & Formal Methods

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

54. 2021 · OOPSLA

    SpecSafe: detecting cache side channels in a speculative world

    Robert Brotzman, Danfeng Zhang, Mahmut Taylan Kandemir, Gang Tan

    Programming Languages & Formal Methods

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

55. 2021 · OOPSLA

    Specifying and testing GPU workgroup progress models

    Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson

    Programming Languages & Formal Methods

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

56. 2021 · OOPSLA

    Static detection of silent misconfigurations with deep interaction analysis

    Jialu Zhang, Ruzica Piskac, Ennan Zhai, Tianyin Xu

    Programming Languages & Formal Methods

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

57. 2021 · OOPSLA

    Statically bounded-memory delayed sampling for probabilistic streams

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

    Programming Languages & Formal Methods

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

58. 2021 · OOPSLA

    Study of the subtyping machine of nominal subtyping with variance

    Ori Roth

    Programming Languages & Formal Methods

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

59. 2021 · OOPSLA

    Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts

    Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris

    Programming Languages & Formal Methods

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

60. 2021 · OOPSLA

    Synbit: synthesizing bidirectional programs using unidirectional sketches

    Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang

    Programming Languages & Formal Methods

    日本大学: 東北大学

61. 2021 · OOPSLA

    Synthesizing contracts correct modulo a test generator

    Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, Tao Xie

    Programming Languages & Formal Methods

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

62. 2021 · OOPSLA

    The reads-from equivalence for the TSO and PSO memory models

    Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman

    Programming Languages & Formal Methods

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

63. 2021 · OOPSLA

    The semantics of shared memory in Intel CPU/FPGA systems

    Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, John Wickerson

    Programming Languages & Formal Methods

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

64. 2021 · OOPSLA

    Transitioning from structural to nominal code with efficient gradual typing

    Fabian Muehlboeck, Ross Tate

    Programming Languages & Formal Methods

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

65. 2021 · OOPSLA

    Translating C to safer Rust

    Mehmet Emre, Ryan Schroeder, Kyle Dewey, Ben Hardekopf

    Programming Languages & Formal Methods

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

66. 2021 · OOPSLA

    Type stability in Julia: avoiding performance pathologies in JIT compilation

    Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

    Programming Languages & Formal Methods

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

67. 2021 · OOPSLA

    UDF to SQL translation through compositional lazy inductive synthesis

    Guoqiang Zhang, Yuanchao Xu, Xipeng Shen, Işıl Dillig

    Programming Languages & Formal Methods

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

68. 2021 · OOPSLA

    VESPA: static profiling for binary optimization

    Angélica Aparecida Moreira, Guilherme Ottoni, Fernando Magno Quintão Pereira

    Programming Languages & Formal Methods

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

69. 2021 · OOPSLA

    Verifying concurrent multicopy search structures

    Nisarg Patel, Siddharth Krishna, Dennis Shasha, Thomas Wies

    Programming Languages & Formal Methods

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

70. 2021 · OOPSLA

    Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers

    Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, Diomidis Spinellis

    Programming Languages & Formal Methods

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

71. 2021 · OOPSLA

    What we eval in the shadows: a large-scale study of eval in R programs

    Aviral Goel, Pierre Donat-Bouillud, Filip Křikava, Christoph M. Kirsch, Jan Vitek

    Programming Languages & Formal Methods

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