PRIDE 2022
Mon 6 - Fri 10 June 2022 Berlin, Germany
co-located with ECOOP 2022
ECOOP 2022 (series) / PRIDE 2022 (series) / Virtual Meeting(s) /

Room information: Zoom

VenueVirtual Meeting(s)
Room nameZoom
Room Information

This is the virtual room used for VCOOP’22 meetings

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 16 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 16:30
VCOOP 1ECOOP Research Papers at Zoom
Chair(s): Tijs van der Storm CWI; University of Groningen
15:00
30m
Talk
PEDroid: Automatically Extracting Patches from Android App UpdatesArtifacts Evaluated - FunctionalVCOOP 2022
ECOOP Research Papers
Hehao Li Shanghai Jiao Tong University, Yizhuo Wang Shanghai Jiao Tong University, Yiwei Zhang Shanghai Jiao Tong University, Juanru Li Shanghai Jiao Tong University, Dawu Gu Shanghai Jiao Tong University
15:30
30m
Talk
Ferrite: A Judgmental Embedding of Session Types in RustArtifacts Evaluated - ReusableDistinguished Paper AwardArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
ECOOP Research Papers
Ruo Fei Chen Independent Researcher, Stephanie Balzer Carnegie Mellon University, Bernardo Toninho Nova University of Lisbon / NOVA-LINCS
Pre-print
16:00
30m
Talk
Automatic Root Cause Quantification for Missing Edges in JavaScript Call GraphsArtifacts Evaluated - FunctionalVCOOP 2022
ECOOP Research Papers
Madhurima Chakraborty University of California, Riverside, Renzo Olivares University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia
Pre-print
16:45 - 18:15
VCOOP 2ECOOP Research Papers at Zoom
Chair(s): Sophia Drossopoulou Facebook and Imperial College London
16:45
30m
Talk
Direct Foundations for Compositional ProgrammingArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022
ECOOP Research Papers
Andong Fan Zhejiang University, Xuejing Huang The University of Hong Kong, Han Xu Peking University, Yaozhu Sun University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong
Pre-print Media Attached
17:15
30m
Talk
Experience: Model-Based Feedback-Driven Greybox Fuzzing for Web ApplicationsVCOOP 2022
ECOOP Research Papers
François Gauthier Oracle Labs, Behnaz Hassanshahi Oracle Labs, Australia, Benjamin Selwyn-Smith Oracle Labs, Trong Nhan Mai Oracle Labs, Max Schlüter Oracle Labs, Micah Williams Oracle
17:45
30m
Talk
A Self-Dual Distillation of Session Types (Pearl)Artifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
ECOOP Research Papers
Jules Jacobs Radboud University Nijmegen
Pre-print
18:30 - 19:00
VCOOP 3ECOOP Research Papers at Zoom
Chair(s): Philipp Haller KTH
18:30
30m
Keynote
Are Programming Languages the Key to Distributed Systems?VCOOP 2022Keynote
ECOOP Research Papers
K: Guido Salvaneschi University of St. Gallen
File Attached

Thu 23 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 16:30
VCOOP 4ECOOP Research Papers at Zoom
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
15:00
30m
Talk
Accumulation AnalysisDistinguished Artifact AwardArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022
ECOOP Research Papers
Martin Kellogg University of Washington, Narges Shadab University of California at Riverside, Manu Sridharan University of California at Riverside, Michael D. Ernst University of Washington
15:30
30m
Talk
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer AnalysisArtifacts Evaluated - FunctionalVCOOP 2022
ECOOP Research Papers
Dongjie He UNSW Sydney, Jingbo Lu UNSW Sydney, Jingling Xue UNSW Sydney
16:00
30m
Talk
Functional programming for distributed systems with XCDistinguished Artifact AwardArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
ECOOP Research Papers
Giorgio Audrito Università di Torino, Roberto Casadei University of Bologna, Italy, Ferruccio Damiani University of Turin, Guido Salvaneschi University of St. Gallen, Mirko Viroli Alma Mater Studiorum - Università di Bologna
Pre-print
16:45 - 18:15
VCOOP 5ECOOP Research Papers at Zoom
Chair(s): Philipp Haller KTH
16:45
30m
Talk
Vincent: Green Hot Methods in the JVMVCOOP 2022
ECOOP Research Papers
Kenan Liu SUNY Binghamton, Khaled Mahmoud SUNY Binghamton, USA, Joonhwan Yoo SUNY Binghamton, Yu David Liu SUNY Binghamton
Pre-print
17:15
30m
Talk
Verified Compilation and Optimization of Floating-Point Programs in CakeMLArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
ECOOP Research Papers
Heiko Becker MPI-SWS, Robert Rabe TU Munich, Eva Darulova Uppsala University, Magnus O. Myreen Chalmers University of Technology, Zachary Tatlock University of Washington, Ramana Kumar DeepMind, Yong Kiam Tan Carnegie Mellon University, Anthony C. J. Fox Arm Limited
17:45
30m
Talk
Compiling Volatile Correctly in JavaArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022
ECOOP Research Papers
Shuyang Liu UCLA, John Bender Sandia National Laboratories, Jens Palsberg University of California at Los Angeles
18:30 - 19:00
VCOOP 6ECOOP Research Papers at Zoom
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
18:30
30m
Talk
Union Types with Disjoint SwitchesArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
ECOOP Research Papers
Baber Rehman The University of Hong Kong, Xuejing Huang The University of Hong Kong, Ningning Xie University of Toronto, Bruno C. d. S. Oliveira University of Hong Kong

Thu 30 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 16:30
VCOOP 7ECOOP Research Papers at Zoom
Chair(s): Philipp Haller KTH
15:00
30m
Talk
What If We Don’t Pop the Stack? The Return of Second-Class ValuesArtifacts Evaluated - FunctionalVCOOP 2022
ECOOP Research Papers
Anxhelo Xhebraj Purdue University, Oliver Bračevac Purdue University, Guannan Wei Purdue University, Tiark Rompf Purdue University
Link to publication DOI
15:30
30m
Talk
NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20VCOOP 2022
ECOOP Research Papers
Andrew Lumsdaine TileDB, Inc., University of Washington, Pacific Northwest National Laboratory, Luke Dalessandro Indiana University, Jesun Sahariar Firoz Pacific Northwest National Lab, Xu Liu University of Washington, Phil Ratzloff SAS, Scott McMillan Carnegie Mellon University, Marcin Zalewski, Kevin Deweese Cadence
16:00
30m
Talk
Prisma: A tierless language for enforcing contract-client protocols in decentralized appsArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
ECOOP Research Papers
David Richter Technical University of Darmstadt, David Kretzler Technical University of Darmstadt, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen, Sebastian Faust Technical University of Darmstadt, Mira Mezini TU Darmstadt
Pre-print Media Attached
16:45 - 18:15
VCOOP 8ECOOP Research Papers at Zoom
Chair(s): Tijs van der Storm CWI; University of Groningen
16:45
30m
Talk
Maniposynth: Bimodal Tangible Functional ProgrammingArtifacts Evaluated - FunctionalVCOOP 2022
ECOOP Research Papers
Brian Hempel University of Chicago, Ravi Chugh University of Chicago
Pre-print Media Attached
17:15
30m
Talk
Elementary Type InferenceArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022
ECOOP Research Papers
Jinxu Zhao University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong
17:45
30m
Talk
Defining Corecursive Functions in Coq Using ApproximationsVCOOP 2022ECOOP 2022
ECOOP Research Papers
Vlad Rusu Inria, Lille, France, David Nowak CRIStAL, CNRS & University of Lille
18:30 - 19:00
VCOOP 9ECOOP Research Papers at Zoom
Chair(s): Tijs van der Storm CWI; University of Groningen
18:30
30m
Keynote
From AI for Code to AI for CodingVCOOP 2022Keynote
ECOOP Research Papers
Albert Ziegler GitHub

Thu 7 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 16:30
VCOOP 10ECOOP Research Papers at Zoom
Chair(s): Philipp Haller KTH
15:00
30m
Talk
API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl)Artifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
ECOOP Research Papers
Guillermina Cledou HASLab, INESC TEC; University of Minho, Luc Edixhoven Open University of the Netherlands; CWI, Sung-Shik Jongmans Open University of the Netherlands; CWI, José Proença ISEP P.PORTO & INESC TEC
15:30
30m
Talk
Global Type Inference for Featherweight Generic JavaArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
ECOOP Research Papers
Andreas Stadelmeier DHBW Stuttgart, Campus Horb, Germany, Martin Plümicke DHBW Stuttgart, Campus Horb, Germany, Peter Thiemann University of Freiburg, Germany
16:00
30m
Talk
Stay Safe under Panic: Affine Rust Programming with Multiparty Session TypesArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
ECOOP Research Papers
Nicolas Lagaillardie Imperial College London, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London
16:45 - 18:15
VCOOP 11ECOOP Research Papers at Zoom
Chair(s): Doug Lea State University of New York (SUNY) Oswego
16:45
30m
Talk
REST: Integrating Term Rewriting with Program VerificationArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
ECOOP Research Papers
Zachary Grannan University of British Columbia, Eva Darulova Uppsala University, Alexander J. Summers University of British Columbia, Niki Vazou IMDEA Software Institute
17:15
30m
Talk
Static Analysis for AWS Best Practices in Python CodeVCOOP 2022ECOOP 2022
ECOOP Research Papers
Rajdeep Mukherjee Amazon Web Services, Omer Tripp Amazon, Ben Liblit Amazon, Michael Wilson Amazon Web Services
DOI
17:45
30m
Talk
A Deterministic Memory Allocator for Dynamic Symbolic ExecutionArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
ECOOP Research Papers
Daniel Schemmel Imperial College London, Julian Büning RWTH Aachen University, Frank Busse Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London, UK
18:30 - 19:00
VCOOP 12ECOOP Research Papers at Zoom
Chair(s): Philipp Haller KTH
18:30
30m
Keynote
Hedy: Creating a gradual programming languageVCOOP 2022Keynote
ECOOP Research Papers
K: Felienne Hermans Leiden University

Thu 16 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room15:003016:003017:003018:0030
Zoom

ECOOP Research Papers

VCOOP 1

ECOOP Research Papers

VCOOP 2

ECOOP Research Papers

VCOOP 3

Thu 23 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room15:003016:003017:003018:0030
Zoom

ECOOP Research Papers

VCOOP 4

ECOOP Research Papers

VCOOP 5

ECOOP Research Papers

VCOOP 6

Thu 30 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room15:003016:003017:003018:0030
Zoom

ECOOP Research Papers

VCOOP 7

ECOOP Research Papers

VCOOP 8

ECOOP Research Papers

VCOOP 9

Thu 7 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room15:003016:003017:003018:0030
Zoom

ECOOP Research Papers

VCOOP 10

ECOOP Research Papers

VCOOP 11

ECOOP Research Papers

VCOOP 12

Thu 16 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room15:0015304516:0015304517:0015304518:00153045
Zoom
ECOOP Research PapersArtifacts Evaluated - FunctionalVCOOP 2022
PEDroid: Automatically Extracting Patches from Android App Updates
15:00 - 15:30
ECOOP Research PapersArtifacts Evaluated - ReusableDistinguished Paper AwardArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Ferrite: A Judgmental Embedding of Session Types in Rust
15:30 - 16:00
ECOOP Research PapersArtifacts Evaluated - FunctionalVCOOP 2022
Automatic Root Cause Quantification for Missing Edges in JavaScript Cal ...
16:00 - 16:30
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022
Direct Foundations for Compositional Programming
16:45 - 17:15
ECOOP Research PapersVCOOP 2022
Experience: Model-Based Feedback-Driven Greybox Fuzzing for Web Applica ...
17:15 - 17:45
ECOOP Research PapersArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
A Self-Dual Distillation of Session Types (Pearl)
17:45 - 18:15
ECOOP Research PapersVCOOP 2022Keynote
Are Programming Languages the Key to Distributed Systems?
18:30 - 19:00

Thu 23 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room15:0015304516:0015304517:0015304518:00153045
Zoom
ECOOP Research PapersDistinguished Artifact AwardArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022
Accumulation Analysis
15:00 - 15:30
ECOOP Research PapersArtifacts Evaluated - FunctionalVCOOP 2022
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity ...
15:30 - 16:00
ECOOP Research PapersDistinguished Artifact AwardArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Functional programming for distributed systems with XC
16:00 - 16:30
ECOOP Research PapersVCOOP 2022
Vincent: Green Hot Methods in the JVM
16:45 - 17:15
ECOOP Research PapersArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Verified Compilation and Optimization of Floating-Point Programs in CakeML
17:15 - 17:45
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022
Compiling Volatile Correctly in Java
17:45 - 18:15
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Union Types with Disjoint Switches
18:30 - 19:00

Thu 30 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room15:0015304516:0015304517:0015304518:00153045
Zoom
ECOOP Research PapersArtifacts Evaluated - FunctionalVCOOP 2022
What If We Don’t Pop the Stack? The Return of Second-Class Values
15:00 - 15:30
ECOOP Research PapersVCOOP 2022
NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20
15:30 - 16:00
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Prisma: A tierless language for enforcing contract-client protocols in ...
16:00 - 16:30
ECOOP Research PapersArtifacts Evaluated - FunctionalVCOOP 2022
Maniposynth: Bimodal Tangible Functional Programming
16:45 - 17:15
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022
Elementary Type Inference
17:15 - 17:45
ECOOP Research PapersVCOOP 2022ECOOP 2022
Defining Corecursive Functions in Coq Using Approximations
17:45 - 18:15
ECOOP Research PapersVCOOP 2022Keynote
From AI for Code to AI for Coding
18:30 - 19:00

Thu 7 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room15:0015304516:0015304517:0015304518:00153045
Zoom
ECOOP Research PapersArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
API Generation for Multiparty Session Types, Revisited and Revised usin ...
15:00 - 15:30
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Global Type Inference for Featherweight Generic Java
15:30 - 16:00
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Stay Safe under Panic: Affine Rust Programming with Multiparty Session ...
16:00 - 16:30
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
REST: Integrating Term Rewriting with Program Verification
16:45 - 17:15
ECOOP Research PapersVCOOP 2022ECOOP 2022
Static Analysis for AWS Best Practices in Python Code
17:15 - 17:45
ECOOP Research PapersArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
A Deterministic Memory Allocator for Dynamic Symbolic Execution
17:45 - 18:15
ECOOP Research PapersVCOOP 2022Keynote
Hedy: Creating a gradual programming language
18:30 - 19:00