• Sign in
  • Sign up
conf.researchr.org / Kirsten Winter
  • * ICSE 2018 * profile
  • ICSE 2019 profile
  • ICSE 2023 profile
  • ICSE 2024 profile
  • POPL 2019 profile
No Photo

Registered user since Sat 2 Feb 2019

Name:Kirsten Winter
Affiliation:The University of Queensland

Contributions

2024

FormaliSE

  • Committee Member in Program Committee within the FormaliSE 2024-track

2023

FormaliSE

  • Committee Member in Program Committee within the FormaliSE 2023-track

ICSE

  • Author of Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models within the Showcase-track

2019

FormaliSE

  • Committee Member in Program Committee within the FormaliSE 2019-track

OPCT

  • Author of Linearizability in the Context of Weak Memory Models within the OPCT 2019-track

2018

FormaliSE

  • Committee Member in Program Committee within the FormaliSE 2018-track
Share
xSun 18 May 23:29
using conf.researchr.org (v1.69.0)
Support page
Sign Up