• Sign in
  • Sign up
conf.researchr.org / Bas van den Heuvel
  • APLAS 2023 profile
  • ISSTA/ECOOP 2024 profile
  • PLNL 2023 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
Bas van den Heuvel

Registered user since Mon 20 Sep 2021

Name:Bas van den Heuvel
Country:Germany
Affiliation:Karlsruhe University of Applied Sciences, University of Freiburg
Personal website: https://basvdheuvel.github.io/
GitHub: https://github.com/basvdheuvel

Contributions

2024

ECOOP

  • Author of Information Flow Control in Cyclic Process Networks within the Technical Papers-track

2023

APLAS

  • Author of Typed Non-determinism in Functional and Concurrent Calculi within the APLAS 2023-track

PLNL

  • Author of A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency within the PLNL 2023-track

2022

SPLASH

  • Author of A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency within the OOPSLA-track

2021

AGERE

  • Author of Towards Practical Protocol Verification via Minimal Orchestration in ACP within the AGERE 2021-track
Share
xFri 24 Oct 21:53
using conf.researchr.org (v1.72.1)
Support page
Sign Up