‹Programming› 2020
Mon 23 - Thu 26 March 2020
Porto, Portugal
Toggle navigation
Attending
Venue: FEUP | Universidade do Porto
Banquet: The Yeatman Hotel, Porto
Registration
Students
Health Information [COVID-19]
Program
‹Programming› Program
Your Program
Mon 23 Mar
Tue 24 Mar
Wed 25 Mar
Thu 26 Mar
Tracks
‹Programming› 2020
Keynotes
Research Papers
Workshops
Student Research Competition
Tutorials
- AntidoteDB
- Bela Workshop
- Learning Haskell: a project-based approach
- Meta-Programming for the masses
- Music Generation with Sonic Pi
- PharoIoT
Posters
Demos
Student Volunteers
Social Events
Workshops
Convivial Computing Salon
ENIAC20
ICW
MiniPLoP
MoreVMs
NIP
PX/20
ProWeb20
Co-hosted Coding Dojos
CoCoDo
Organization
‹Programming› 2020 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Workshops
Student Research Competition
Organizing Committee
Jury
Posters
Demos
Student Volunteers
Contributors
People Index
Workshops
Convivial Computing Salon
Organizing Committee
Program Committee
ENIAC20
Organizing Committee
Program Committee
ICW
Organizing Committee
Program Committee
MiniPLoP
Organizing Committee
Program Committee
MoreVMs
Organizing Committee
Program Committee
NIP
Organizing Committee
Program Committee
PX/20
Organizing Committee
Program Committee
ProWeb20
Organizing Committee
Program Committee
Steering Committee
Co-hosted Coding Dojos
CoCoDo
Organizing Committee
Program Committee
Search
Series
Series
‹Programming› 2025
‹Programming› 2024
‹Programming› 2023
‹Programming› 2022
‹Programming› 2021
‹Programming› 2020
‹Programming› 2019
‹Programming› 2018
‹Programming› 2017
Sign in
Sign up
‹Programming› 2020
(
series
) /
Student Research Competition
/
An Annotation System for Specifying Aliasing Invariants on Object Fields
Track
‹Programming› 2020 Student Research Competition
Aurélien Coet
University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland
x
Thu 26 Dec 12:52