• Sign in
  • Sign up
conf.researchr.org / Thomas Somers
  • ICFP/SPLASH 2025 profile
  • POPL 2024 profile
  • SPLASH 2024 profile
Thomas Somers

Registered user since Thu 15 Jun 2023

Name:Thomas Somers

Contributions

2025

ICFP

  • Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track

2024

SPLASH

  • Author of Verified Lock-Free Session Channels with Linking within the OOPSLA 2024-track

POPL

  • Author of Linking Session-Typed Channels in Separation Logic within the Student Research Competition-track
Share
xThu 22 May 11:42
using conf.researchr.org (v1.69.0)
Support page
Sign Up