Truffle 2022
Mon 6 - Fri 10 June 2022 Berlin, Germany
co-located with ECOOP 2022
VenueScandic Potsdamer Platz, Berlin
Room nameCopenhagen 1
Floor2
Capacity20
Room InformationNo extra information available
Program

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
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

Tue 7 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Copenhagen 1