ISSTA 2024
Mon 16 - Fri 20 September 2024
Vienna, Austria
co-located with
ISSTA/ECOOP 2024
Toggle navigation
Attending
Venue: Vienna University of Technology (TU Wien) - Campus Gusshaus
Reception: Vienna University of Technology (TU Wien) - Campus Karlsplatz
Banquet: Fuhrgassl-Huber
Travel Support
ISSTA/ECOOP 2024
Equity, Diversity and Inclusion
Code of Conduct
Visa Support Letters
Accomodation
Registration
Program
ISSTA Program
Your Program
ISSTA/ECOOP 2024
Schedule Overview
Mon 16 Sep
Tue 17 Sep
Wed 18 Sep
Thu 19 Sep
Fri 20 Sep
Tracks
ISSTA 2024
Technical Papers
Artifact Evaluation
Keynotes
ISSTA/ECOOP 2024
Diversity
Doctoral Symposium
Sponsorship
Student Volunteers
Tool Demonstrations
Workshops
Organization
ISSTA 2024 Committees
Organizing Committee
Track Committees
Technical Papers
Artifact Evaluation
ISSTA/ECOOP
Doctoral Symposium
Sponsorship
Student Volunteers
Tool Demonstrations
Workshops
Contributors
People Index
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
ISSTA/ECOOP 2024
(
series
) /
ISSTA 2024
(
series
) /
Petar Maksimović
ISSTA/ECOOP 2024 profile
conf.research.org general profile
ECOOP 2019 profile
ECOOP and ISSTA 2023 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2020 profile
POPL 2018 profile
POPL 2019 profile
POPL 2021 profile
POPL 2024 profile
SPLASH 2020 profile
Registered user since Wed 1 Nov 2017
Name:
Petar Maksimović
Affiliation:
Imperial College London, UK
Contributions
2024
ECOOP
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
Matching Plans for Frame Inference in Compositional Reasoning
Show activities from other conferences
Share
ISSTA/ECOOP 2024-profile
View general profile
x
Thu 21 Nov 12:34