ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024
Vienna, Austria
Toggle navigation
Attending
Venue: Vienna University of Technology (TU Wien) - Campus Gusshaus
Reception: Vienna University of Technology (TU Wien) - Campus Karlsplatz
Banquet: Fuhrgassl-Huber
Equity, Diversity and Inclusion
Code of Conduct
Visa Support Letters
Accomodation
Registration
Program
Complete Program
Your Program
Schedule Overview
Mon 16 Sep
Tue 17 Sep
Wed 18 Sep
Thu 19 Sep
Fri 20 Sep
Tracks
ISSTA/ECOOP 2024
Diversity
Doctoral Symposium
Sponsorship
Student Volunteers
Tool Demonstrations
Workshops
Co-hosted Conferences
ECOOP
ECOOP
ECOOP
Technical Papers
ECOOP
Artifact Evaluation
ISSTA
ISSTA
ISSTA
Technical Papers
ISSTA
Artifact Evaluation
ISSTA
Keynotes
MPLR
Workshops
A-TEST
DEBT
FTfJP
FUZZING
Gamify
ICOOOLPS
MET
PLAID
PLF
Programming Local-first Software
VORTEX
Tutorials
CAKC
Concurrent Algorithms in Kotlin Coroutines Tutorial
Organization
ISSTA/ECOOP 2024 Committees
Track Committees
Doctoral Symposium
Sponsorship
Student Volunteers
Tool Demonstrations
Workshops
Contributors
People Index
Co-hosted Conferences
ECOOP
Organizing Committee
Technical Papers
Program Committee
Technical Papers
Extended Review Committee and External Reviewers
Artifact Evaluation
ISSTA
Organizing Committee
Technical Papers
Artifact Evaluation
MPLR
Organizing Committee
Program Committee
Workshops
A-TEST
Organizing Committee
Programme Committee
DEBT
Organizing Committee
Program Committee
FTfJP
Organizing Committee
Program Committee
FUZZING
Organizing Committee
Program Committee
Gamify
N/A - check homepage
ICOOOLPS
Organizing Committee
Program Committee
MET
Organizing Committee
Programme Committee
PLAID
Organizing Committee
Program Committee
PLF
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
Tutorials
CAKC
Organizing Committee
Search
Series
Series
ISSTA/ECOOP 2024
ECOOP and ISSTA 2023
ECOOP and ISSTA 2021
ECOOP and ISSTA 2018
Sign in
Sign up
ISSTA/ECOOP 2024
(
series
) /
Sheng Chen
ISSTA/ECOOP 2024 profile
conf.research.org general profile
POPL 2024 profile
Not registered as user yet
Name:
Sheng Chen
Affiliation:
UL Lafayette
Contributions
2024
ECOOP
Formalizing, Mechanizing, and Verifying Class-based Refinement Types
Show activities from other conferences
Share
ISSTA/ECOOP 2024-profile
View general profile
x
Fri 8 Nov 22:46