• Sign in
  • Sign up
conf.researchr.org / Wim Vanderbauwhede
  • CC 2025 profile
  • ECOOP 2019 profile
  • ECOOP and ISSTA 2023 profile
  • ETAPS 2019 profile
  • SPLASH 2020 profile
  • SPLASH 2023 profile
No Photo

Not registered as user

Name:Wim Vanderbauwhede
Affiliation:University of Glasgow

Contributions

2025

CC

  • Author of Compiler Support for Speculation in Decoupled Access/Execute Architectures within the Main Conference-track

2023

ST

  • Author of CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types within the ST30-track

ECOOP

  • Author of Wiring circuits is easy as {0, 1, ω}, or is it… within the Research Papers-track

2020

ECOOP

  • Author of A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact) within the Artifacts-track
  • Author of A Framework for Resource Dependent EDSLs in a Dependently Typed Language within the Research Papers-track

2019

ECOOP

  • Author of A Typing Discipline for Hardware Interfaces within the Research Papers-track
  • Author of A Typing Discipline for Hardware Interfaces within the Artifacts-track

PLACES

  • Author of Value-Dependent Session Design in a Dependently Typed Language within the PLACES-track
Share
xThu 22 May 21:22
using conf.researchr.org (v1.69.0)
Support page
Sign Up