Program - ECOOP 2022

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

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

09:00 - 10:30	Session 1PRIDE at Copenhagen 1 Chair(s): Linghui Luo Amazon Web Services

09:15 15m Talk		Welcome by the Organizers PRIDE
09:30 25m Talk		A GitLab IDE Integration Based on MagpieBridge PRIDE Julian Thome GitLab Inc. File Attached
09:55 35m Talk		GobPie: An IDE Integration for Goblint Using MagpieBridge PRIDE Karoliine Holter University of Tartu, Estonia, Sarah Tilscher File Attached

11:00 - 12:30	Session 2PRIDE at Copenhagen 1 Chair(s): Julian Thome GitLab Inc.

11:00 25m Talk		Secucheck: Building a Configurable Taint Analysis PRIDE Goran Piskachev Fraunhofer IEM File Attached
11:25 25m Talk		Experience From Integrating Secucheck-Kotlin Into IDE PRIDE Ranjith Krishnamurthy Fraunhofer IEM File Attached

13:30 - 15:00	Session 3PRIDE at Copenhagen 1 Chair(s): Julian Dolby IBM Research, USA

14:00 25m Talk		Source-Level Dataflow-Based Fixes: Experiences From Using Intraj and Magpiebridge PRIDE Idriss Riouak Department of Computer Science, Lund University, Sweden File Attached
14:25 25m Talk		Property Probes: Source Code Based Exploration of Program Analysis Results PRIDE Anton Risberg Alaküla Department of Computer Science, Lund University, Sweden File Attached

15:30 - 17:00	Session 4PRIDE at Copenhagen 1

15:30 60m Talk		MagpieBridge Tutorial Given By the Organizers PRIDE File Attached

PRIDE 2022 Program

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

Tracks

Workshops

Co-hosted Symposia

PRIDE 2022 Program

Switch Program View

Program Display Configuration

Tue 7 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

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