ECOOP 2022 June 6-10, 2022, Berlin, Germany

36th European Conference on Object-Oriented Programming (ECOOP 2022)



Karim Ali and Jan Vitek (Eds.)
ISBN 978-3-95977-225-9, LIPICS Vol. 222 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 22 MB)
Search Publication Server


Authors
  • Adão, Pedro
  • Ali, Karim
  • Audrito, Giorgio
  • Balzer, Stephanie
  • Becker, Heiko
  • Bender, John
  • Bračevac, Oliver
  • Busse, Frank
  • Büning, Julian
  • Cadar, Cristian
  • Casadei, Roberto
  • Chakraborty, Madhurima
  • Chen, Ruo Fei
  • Chugh, Ravi
  • Ciccone, Luca
  • Cledou, Guillermina
  • D'Alessandro, Luke
  • Dagnino, Francesco
  • Damiani, Ferruccio
  • Darulova, Eva
  • Deweese, Kevin
  • Edixhoven, Luc
  • Erdweg, Sebastian
  • Ernst, Michael D.
  • Fan, Andong
  • Faust, Sebastian
  • Firoz, Jesun
  • Fox, Anthony
  • Fragoso Santos, José
  • Gauthier, François
  • Gheri, Lorenzo
  • Ghorbani, Mahdi
  • Grannan, Zachary
  • Gu, Dawu
  • Hassanshahi, Behnaz
  • He, Dongjie
  • Hempel, Brian
  • Holík, Lukáš
  • Huang, Xuejing
  • Jacobs, Jules
  • Jongmans, Sung-Shik
  • Kellogg, Martin
  • Kretzler, David
  • Kumar, Ramana
  • Lagaillardie, Nicolas
  • Lanese, Ivan
  • Li, Hehao
  • Li, Juanru
  • Liblit, Ben
  • Liu, Kenan
  • Liu, Shuyang
  • Liu, Xu Tony
  • Liu, Yu David
  • Lu, Jingbo
  • Lumsdaine, Andrew
  • Mahmoud, Khaled
  • Mai, Trong Nhan
  • Marques, Filipe
  • Marshall, Daniel
  • McMillan, Scott
  • Mezini, Mira
  • Mukherjee, Rajdeep
  • Myreen, Magnus O.
  • Navarro, Marcelo
  • Neykova, Rumyana
  • Nowack, Martin
  • Nowak, David
  • Olivares, Renzo
  • Oliveira, Bruno C. d. S.
  • Olmedo, Federico
  • Orchard, Dominic
  • Pacak, André
  • Padovani, Luca
  • Palsberg, Jens
  • Peringer, Petr
  • Plümicke, Martin
  • Proença, José
  • Rabe, Robert
  • Ratzloff, John Phillip
  • Rehman, Baber
  • Richter, David
  • Rogalewicz, Adam
  • Rompf, Tiark
  • Rusu, Vlad
  • Salvaneschi, Guido
  • Santos, Nuno
  • Sarkar, Abhiroop
  • Sayers, Neil
  • Schemmel, Daniel
  • Schlüter, Max
  • Selwyn-Smith, Benjamin
  • Serrano, Manuel
  • Shadab, Narges
  • Shahrokhi, Hesam
  • Shaikhha, Amir
  • Sheeran, Mary
  • Sridharan, Manu
  • Stadelmeier, Andreas
  • Summers, Alexander J.
  • Sun, Yaozhu
  • Svensson, Bo Joel
  • Tan, Yong Kiam
  • Tatlock, Zachary
  • Thiemann, Peter
  • Toninho, Bernardo
  • Tripp, Omer
  • Tuosto, Emilio
  • Vazou, Niki
  • Viroli, Mirko
  • Vitek, Jan
  • Vojnar, Tomáš
  • Wang, Yizhuo
  • Wei, Guannan
  • Weisenburger, Pascal
  • Williams, Micah
  • Wilson, Michael
  • Xhebraj, Anxhelo
  • Xie, Ningning
  • Xu, Han
  • Xue, Jingling
  • Yoo, Joonhwan
  • Yoshida, Nobuko
  • Zalewski, Marcin
  • Zhang, Yiwei
  • Zhao, Jinxu
  • Zuleger, Florian
  • Šoková, Veronika

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Ali, Karim ; Vitek, Jan

    Abstract | Document (713 KB) | BibTeX

    Verified Compilation and Optimization of Floating-Point Programs in CakeML
    Authors: Becker, Heiko ; Rabe, Robert ; Darulova, Eva ; Myreen, Magnus O. ; Tatlock, Zachary ; Kumar, Ramana ; Tan, Yong Kiam ; Fox, Anthony

    Abstract | Document (983 KB) | BibTeX

    Elementary Type Inference
    Authors: Zhao, Jinxu ; Oliveira, Bruno C. d. S.

    Abstract | Document (913 KB) | BibTeX

    Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs
    Authors: Chakraborty, Madhurima ; Olivares, Renzo ; Sridharan, Manu ; Hassanshahi, Behnaz

    Abstract | Document (1,393 KB) | BibTeX

    Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types
    Authors: Lagaillardie, Nicolas ; Neykova, Rumyana ; Yoshida, Nobuko

    Abstract | Document (1,862 KB) | BibTeX

    How to Take the Inverse of a Type
    Authors: Marshall, Daniel ; Orchard, Dominic

    Abstract | Document (1,121 KB) | BibTeX

    Compiling Volatile Correctly in Java
    Authors: Liu, Shuyang ; Bender, John ; Palsberg, Jens

    Abstract | Document (1,274 KB) | BibTeX

    Functional Programming with Datalog
    Authors: Pacak, André ; Erdweg, Sebastian

    Abstract | Document (852 KB) | BibTeX

    Design-By-Contract for Flexible Multiparty Session Protocols
    Authors: Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil ; Tuosto, Emilio ; Yoshida, Nobuko

    Abstract | Document (1,385 KB) | BibTeX

    A Deterministic Memory Allocator for Dynamic Symbolic Execution
    Authors: Schemmel, Daniel ; Büning, Julian ; Busse, Frank ; Nowack, Martin ; Cadar, Cristian

    Abstract | Document (1,015 KB) | BibTeX

    Accumulation Analysis
    Authors: Kellogg, Martin ; Shadab, Narges ; Sridharan, Manu ; Ernst, Michael D.

    Abstract | Document (976 KB) | BibTeX

    Concolic Execution for WebAssembly
    Authors: Marques, Filipe ; Fragoso Santos, José ; Santos, Nuno ; Adão, Pedro

    Abstract | Document (1,613 KB) | BibTeX

    Defining Corecursive Functions in Coq Using Approximations
    Authors: Rusu, Vlad ; Nowak, David

    Abstract | Document (848 KB) | BibTeX

    REST: Integrating Term Rewriting with Program Verification
    Authors: Grannan, Zachary ; Vazou, Niki ; Darulova, Eva ; Summers, Alexander J.

    Abstract | Document (1,208 KB) | BibTeX

    Static Analysis for AWS Best Practices in Python Code
    Authors: Mukherjee, Rajdeep ; Tripp, Omer ; Liblit, Ben ; Wilson, Michael

    Abstract | Document (820 KB) | BibTeX

    What If We Don't Pop the Stack? The Return of 2nd-Class Values
    Authors: Xhebraj, Anxhelo ; Bračevac, Oliver ; Wei, Guannan ; Rompf, Tiark

    Abstract | Document (1,190 KB) | BibTeX

    Maniposynth: Bimodal Tangible Functional Programming
    Authors: Hempel, Brian ; Chugh, Ravi

    Abstract | Document (3,878 KB) | BibTeX

    Synchron - An API and Runtime for Embedded Systems
    Authors: Sarkar, Abhiroop ; Svensson, Bo Joel ; Sheeran, Mary

    Abstract | Document (1,378 KB) | BibTeX

    Direct Foundations for Compositional Programming
    Authors: Fan, Andong ; Huang, Xuejing ; Xu, Han ; Sun, Yaozhu ; Oliveira, Bruno C. d. S.

    Abstract | Document (1,159 KB) | BibTeX

    Low-Level Bi-Abduction
    Authors: Holík, Lukáš ; Peringer, Petr ; Rogalewicz, Adam ; Šoková, Veronika ; Vojnar, Tomáš ; Zuleger, Florian

    Abstract | Document (1,225 KB) | BibTeX

    Functional Programming for Distributed Systems with XC
    Authors: Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko

    Abstract | Document (1,730 KB) | BibTeX

    PEDroid: Automatically Extracting Patches from Android App Updates
    Authors: Li, Hehao ; Wang, Yizhuo ; Zhang, Yiwei ; Li, Juanru ; Gu, Dawu

    Abstract | Document (1,510 KB) | BibTeX

    Ferrite: A Judgmental Embedding of Session Types in Rust
    Authors: Chen, Ruo Fei ; Balzer, Stephanie ; Toninho, Bernardo

    Abstract | Document (1,078 KB) | BibTeX

    A Self-Dual Distillation of Session Types
    Authors: Jacobs, Jules

    Abstract | Document (866 KB) | BibTeX

    JavaScript Sealed Classes
    Authors: Serrano, Manuel

    Abstract | Document (1,278 KB) | BibTeX

    Union Types with Disjoint Switches
    Authors: Rehman, Baber ; Huang, Xuejing ; Xie, Ningning ; Oliveira, Bruno C. d. S.

    Abstract | Document (1,087 KB) | BibTeX

    Fair Termination of Multiparty Sessions
    Authors: Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca

    Abstract | Document (876 KB) | BibTeX

    API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
    Authors: Cledou, Guillermina ; Edixhoven, Luc ; Jongmans, Sung-Shik ; Proença, José

    Abstract | Document (1,190 KB) | BibTeX

    Global Type Inference for Featherweight Generic Java
    Authors: Stadelmeier, Andreas ; Plümicke, Martin ; Thiemann, Peter

    Abstract | Document (1,072 KB) | BibTeX

    Experience: Model-Based, Feedback-Driven, Greybox Web Fuzzing with BackREST
    Authors: Gauthier, François ; Hassanshahi, Behnaz ; Selwyn-Smith, Benjamin ; Mai, Trong Nhan ; Schlüter, Max ; Williams, Micah

    Abstract | Document (1,321 KB) | BibTeX

    Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
    Authors: He, Dongjie ; Lu, Jingbo ; Xue, Jingling

    Abstract | Document (1,270 KB) | BibTeX

    NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20
    Authors: Lumsdaine, Andrew ; D'Alessandro, Luke ; Deweese, Kevin ; Firoz, Jesun ; Liu, Xu Tony ; McMillan, Scott ; Ratzloff, John Phillip ; Zalewski, Marcin

    Abstract | Document (1,594 KB) | BibTeX

    Vincent: Green Hot Methods in the JVM (Extended Abstract)
    Authors: Liu, Kenan ; Mahmoud, Khaled ; Yoo, Joonhwan ; Liu, Yu David

    Abstract | Document (1,158 KB) | BibTeX

    Hinted Dictionaries: Efficient Functional Ordered Sets and Maps (Extended Abstract)
    Authors: Shaikhha, Amir ; Ghorbani, Mahdi ; Shahrokhi, Hesam

    Abstract | Document (370 KB) | BibTeX

    Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)
    Authors: Navarro, Marcelo ; Olmedo, Federico

    Abstract | Document (437 KB) | BibTeX

    Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract)
    Authors: Richter, David ; Kretzler, David ; Weisenburger, Pascal ; Salvaneschi, Guido ; Faust, Sebastian ; Mezini, Mira

    Abstract | Document (563 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI