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
) /
Stephen N. Freund
ISSTA/ECOOP 2024 profile
conf.research.org general profile
PLDI 2015 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
SPLASH 2012 profile
SPLASH 2013 profile
SPLASH 2014 profile
SPLASH 2020 profile
Registered user since Wed 9 Jul 2014
Name:
Stephen N. Freund
Affiliation:
Williams College
Contributions
2024
ECOOP
Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning
Show activities from other conferences
Share
ISSTA/ECOOP 2024-profile
View general profile
x
Sun 22 Dec 02:09