ASE 2024
Sun 27 October - Fri 1 November 2024
Sacramento, California, United States
Toggle navigation
Attending
Venue: Sheraton Grand, Sacramento, California
Accommodations
Diversity and Inclusion Plan
Code of Conduct
Travel Support
Visa Letters
ASE 2024 Keynotes
Registration
Sponsorship
Program
Complete Program
Your Program
Week Overview
Social Events
Sun 27 Oct
Mon 28 Oct
Tue 29 Oct
Wed 30 Oct
Thu 31 Oct
Fri 1 Nov
Tracks
ASE 2024
Research Papers
Student Volunteers
Industry Showcase
Journal-first Papers
Artifact Evaluation Track
Posters
Tool Demonstrations
NIER Track
Student Research Competition
Most Influential Papers (MIP)
Doctoral Symposium
Tutorials
Workshops
Keynotes
OSS Sustainability Forum
[Workshop] RENE
[Workshop] ASYDE
[Workshop] HCSE&CS
[Workshop] A-Mobile
[Workshop] VARSE
Organization
ASE 2024 Committees
Organizing Committee
Track Committees
Research Papers
Student Volunteers
Industry Showcase
Journal-first Papers
Artifact Evaluation Track
Posters
Tool Demonstrations
NIER Track
Student Research Competition
Student Research Competition Chair
Judges
Program Committee
Most Influential Papers (MIP)
Doctoral Symposium
Tutorials
Workshops
OSS Sustainability Forum
[Workshop] RENE
Contributors
People Index
Search
Series
Series
ASE 2025
ASE 2024
ASE 2023
ASE 2022
ASE 2021
ASE 2020
ASE 2019
Past Editions
Sign in
Sign up
ASE 2024
(
series
) /
René Just
ASE 2024 profile
conf.research.org general profile
* ICSE 2018 * profile
ASE 2019 profile
ASE 2020 profile
ECOOP and ISSTA 2018 profile
ECOOP and ISSTA 2023 profile
ESEC/FSE 2020 profile
ESEC/FSE 2021 profile
ESEC/FSE 2023 profile
ESEM 2021 profile
FSE 2024 profile
ICSE 2019 profile
ICSE 2020 profile
ICSE 2021 profile
ICSE 2022 profile
ICSE 2023 profile
ICSE 2024 profile
ICSE 2025 profile
ICST 2020 profile
ICST 2021 profile
ICST 2023 profile
ISSTA 2017 profile
ISSTA 2022 profile
ISSTA/ECOOP 2024 profile
PLDI 2023 profile
SPLASH 2022 profile
Registered user since Fri 9 Jun 2017
Name:
René Just
Country:
United States
Affiliation:
University of Washington
Contributions
2024
ASE
Artifact for "Verifying the Option Type with Rely-Guarantee Reasoning"
Verifying the Option Type With Rely-Guarantee Reasoning
Show activities from other conferences
Share
Using general profile
x
Fri 4 Oct 02:04