ECOOP 2023
Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States
co-located with ECOOP and ISSTA 2023
  • Attending
    • Venue: Seattle
    • ECOOP and ISSTA 2023
    • Conduct
    • Covid-19
    • Accommodation
    • Registration
    • Visas
  • Program
    • ECOOP Program
    • Your Program
    • Schedule Overview
    • Mon 17 Jul
    • Tue 18 Jul
    • Wed 19 Jul
    • Thu 20 Jul
    • Fri 21 Jul
  • Tracks
      • ECOOP 2023
      • Awards
      • Keynotes
      • Research Papers
      • Artifacts
      • ECOOP and ISSTA 2023
      • Doctoral Symposium
      • Keynotes
      • Sponsorships
      • Student Research Competition
      • Student Volunteers
      • Workshops
      • Workshops
      • COP
      • DEBT
      • FTfJP
      • FUZZING
      • ICOOOLPS
      • VORTEX
  • Organization
      • ECOOP 2023 Committees
      • Organizing Committee
      • Track Committees
      • Research Papers
        • Program Committee
        • Extended Review Committee and External Reviewers
      • Artifacts
      • ECOOP and ISSTA
      • Doctoral Symposium
      • Sponsorships
      • Student Research Competition
      • Student Volunteers
      • Workshops
      • Contributors
      • People Index
      • Workshops
      • COP
        • Organizing Committee
        • Program Committee
      • DEBT
        • Organizing Committee
        • Program Committee
      • FTfJP
        • Organizing Committee
        • Program Committee
      • FUZZING
        • Organizing Committee
        • Program Committee
      • ICOOOLPS
        • Organizing Committee
        • Program Committee
      • VORTEX
        • Organizing Committee
        • Program Committee
  • Search
  • Series
    • Series
    • ECOOP 2026
    • ECOOP 2025
    • ECOOP 2024
    • ECOOP 2023
    • ECOOP 2022
    • ECOOP 2021
    • ECOOP 2020
    • ECOOP 2019
    • ECOOP 2018
    • ECOOP 2017
    • ECOOP 2016
    • ECOOP 2015
    • 2014: Uppsala
    • 2013: Montpellier
    • 2012: Beijing
    • 2011: Lancaster
    • 2010: Maribor
    • 2009: Genova
    • 2008: Cyprus
    • 2007: Berlin
    • 2006: Nice
    • 2005: Glasgow
  • Sign in
  • Sign up
ECOOP and ISSTA 2023 (series) / ECOOP 2023 (series) / Lars Birkedal
  • conf.research.org general profile
  • ESOP 2015 profile
  • ETAPS 2019 profile
  • ICFP 2016 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • ICFP 2024 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • PLDI 2023 profile
  • PLDI 2024 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • POPL 2024 profile
  • POPL 2025 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
  • SPLASH 2024 profile
Lars Birkedal

Registered user since Wed 15 Feb 2017

Name:Lars Birkedal
Country:Denmark
Affiliation:Aarhus University
Personal website: http://cs.au.dk/~birke/

Contributions

2023

ECOOP

  • Modular Verification of State-Based CRDTs in Separation Logic

Show activities from other conferences

Share
ECOOP and ISSTA 2023-profile
View general profile
xFri 30 May 06:59

ECOOP 2023

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

Awards
Keynotes
Research Papers
Artifacts

ECOOP and ISSTA 2023

Doctoral Symposium
Keynotes
Sponsorships
Student Research Competition
Student Volunteers
Workshops

Workshops

COP 2023
DEBT 2023
FTfJP 2023
FUZZING 2023
ICOOOLPS 2023
VORTEX 2023

Attending

Venue: Seattle
ECOOP/ISSTA Code of Conduct
ECOOP/ISSTA Covid-19 Disclosure & Liability Waiver
Accommodation
ECOOP / ISSTA 2023 Registration Is Open
Visas