MOBILESoft 2023
Mon 15 - Tue 16 May 2023
Melbourne, Australia
co-located with
ICSE 2023
Toggle navigation
Attending
Venue: Melbourne Convention Exhibition Centre | MCEC
Program
MOBILESoft Program
Your Program
Keynote
Mon 15 May
Tue 16 May
Tracks
MOBILESoft 2023
Research Track
NIER (Novel Ideas and Emerging Results)
Tools and Datasets
Leaders Forum
Awards
Organization
MOBILESoft 2023 Committees
Organizing Committee
Track Committees
Research Track
NIER (Novel Ideas and Emerging Results)
Tools and Datasets
Leaders Forum
Awards
Contributors
People Index
Search
Series
Series
MOBILESoft 2025
MOBILESoft 2024
MOBILESoft 2023
MOBILESoft 2022
MOBILESoft 2021
MOBILESoft 2020
MOBILESoft 2019
MobileSoft 2018
Sign in
Sign up
ICSE 2023
(
series
) /
MOBILESoft 2023
(
series
) /
Graeme Smith
ICSE 2023 profile
conf.research.org general profile
ECOOP 2015 profile
POPL 2016 profile
Registered user since Wed 1 Mar 2023
Name:
Graeme Smith
Country:
Australia
Affiliation:
The University of Queensland
Contributions
2023
FormaliSE
Session Chair of Application (part of FormaliSE 2023)
A Dafny-based approach to thread-local information flow analysis
ICSE
Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models
Show activities from other conferences
Share
ICSE 2023-profile
View general profile
x
Thu 21 Nov 22:55