ISSTA 2023
Mon 17 - Fri 21 July 2023
Seattle (University of Washington campus), Washington, United States
co-located with
ECOOP and ISSTA 2023
Toggle navigation
Attending
Venue: Seattle
Travel Support
ECOOP and ISSTA 2023
Conduct
Covid-19
Accommodation
Registration
Visas
Program
ISSTA Program
Your Program
Schedule Overview
Mon 17 Jul
Tue 18 Jul
Wed 19 Jul
Thu 20 Jul
Fri 21 Jul
Tracks
ISSTA 2023
Technical Papers
Artifact Evaluation
Tool Demonstrations
Keynotes
ECOOP and ISSTA 2023
Doctoral Symposium
Keynotes
Sponsorships
Student Research Competition
Student Volunteers
Workshops
Workshops
COP
DEBT
FTfJP
FUZZING
ICOOOLPS
VORTEX
Organization
ISSTA 2023 Committees
Organizing Committee
Track Committees
Technical Papers
Artifact Evaluation
Tool Demonstrations
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
ISSTA 2025
ISSTA 2024
ISSTA 2023
ISSTA 2022
ISSTA 2021
ISSTA 2020
ISSTA 2019
ISSTA 2018
ISSTA 2017
Sign in
Sign up
ECOOP and ISSTA 2023
(
series
) /
ISSTA 2023
(
series
) /
Annette Bieniusa
ECOOP and ISSTA 2023 profile
conf.research.org general profile
ECOOP 2016 profile
ECOOP 2022 profile
ICFP 2016 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2023 profile
ICFP 2024 profile
ISSTA/ECOOP 2024 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2021 profile
POPL 2023 profile
PPoPP 2019 profile
SPLASH 2023 profile
‹Programming› 2020 profile
‹Programming› 2024 profile
Registered user since Tue 21 Feb 2017
Name:
Annette Bieniusa
Affiliation:
Kaiserslautern
Contributions
2023
ECOOP
LoRe: A Programming Model for Verifiably Safe Local-First Software
Show activities from other conferences
Share
ECOOP and ISSTA 2023-profile
View general profile
x
Sat 21 Dec 19:59