Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Didier Buchs
conf.researchr.org general profile
ECOOP and ISSTA 2021 profile
MODELS 2021 profile
SPLASH 2018 profile
SPLASH 2019 profile
SPLASH 2020 profile
‹Programming› 2020 profile
Registered user since Tue 28 Aug 2018
Name:
Didier Buchs
Affiliation:
University of Geneva, Switzerland
Contributions
2021
MODELS
Author of Pragmatic Reuse in DSML Development within the Technical Papers-track
ICOOOLPS
Author of Fuel: A Compiler Framework for Safe Memory Management within the ICOOOLPS-track
2020
SLE
Author of Featherweight Swift: A Core Calculus for Swift’s Type System within the SLE-track
LIVE
Author of Functional Block Programming and Debugging within the LIVE 2020-track
ICW
Author of LogicKit: Bringing logic programming to Swift within the ICW-track
2019
VMIL
Author of Implementing a Language with Explicit Assignment Semantics within the VMIL 2019-track
2018
SLE
Author of A Practical Type System for Safe Aliasing within the SLE 2018-track
Share
x
Sat 21 Dec 19:41