conf.researchr.org / Marco Servetto
Registered user since Sat 21 Jun 2014
Name:Marco Servetto
Country:New Zealand
Affiliation:Victoria University of Wellington
Contributions
2024
2022
SLE
SPLASH
Unsound
- Author of The 4 horsemen of unsoundness in OO languages within the Sources of Unsoundness in Verification-track
- Author of Discussion within the Sources of Unsoundness in Verification-track
- Committee Member in Organizing Committee within the Sources of Unsoundness in Verification-track
- Author of Welcome to Unsound within the Sources of Unsoundness in Verification-track
2021
2019
2018
2017
2016
2014
FOOL
- Session Chair of FOOF (Future of Object-Oriented Foundations) (part of FOOL)
- Committee Member in Program Committee within the FOOL-track
- Session Chair of Welcome, Introductions, Discussion (part of FOOL)
- Session Chair of Research Papers (part of FOOL)
- Committee Member in Organizing Committee within the FOOL-track
- Session Chair of Keynote (part of FOOL)