ICPC 2023
Mon 15 - Tue 16 May 2023
Melbourne, Australia
co-located with
ICSE 2023
Toggle navigation
Attending
Venue: Melbourne Convention Exhibition Centre | MCEC
Keynotes
ICPC Social Event
ICSE 2023
Keynotes
Melbourne
Victoria
Australia
Code of Conduct
Diversity and Inclusion Plan
Main Conference In-Person Presenter Instructions
Main Conference Virtual Presenter Instructions
Workshop and Co-Located Event Instructions
Session Chair Instructions
Venue Floor Map
Accommodation
Registration
Visa Letter of Invitation
Social Events
Recruitment Opportunities at ICSE 2023
IEEE Computer Society Open Conference Statement
Travel Support
Childcare Support
Program
ICPC Program
Your Program
Mon 15 May
Tue 16 May
Tracks
ICPC 2023
Closing
Discussion
Early Research Achievements (ERA)
ICPC Keynotes
Journal First
MIP Talk
Opening
Replications and Negative Results (RENE)
Research
Tool Demonstration
Organization
ICPC 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Early Research Achievements (ERA)
Journal First
Replications and Negative Results (RENE)
Research
Tool Demonstration
Contributors
People Index
Search
Series
Series
ICPC 2025
ICPC 2024
ICPC 2023
ICPC 2022
ICPC 2021
ICPC 2020
ICPC 2019
ICPC 2018
Sign in
Sign up
ICSE 2023
(
series
) /
ICPC 2023
(
series
) /
Stefan Mitsch
ICSE 2023 profile
conf.research.org general profile
NASA Formal Methods 2023 profile
NASA Formal Methods 2024 profile
PLDI 2018 profile
POPL 2022 profile
STAF 2023 profile
Registered user since Thu 25 Nov 2021
Name:
Stefan Mitsch
Affiliation:
Carnegie Mellon University, USA
Contributions
2023
ICSE
Pegasus: A Framework for Sound Continuous Invariant Generation
Show activities from other conferences
Share
ICSE 2023-profile
View general profile
x
Thu 12 Dec 14:10