Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mark Staples
conf.researchr.org general profile
ICSE 2023 profile
ICSE 2024 profile
ICSE 2025 profile
POPL 2018 profile
Registered user since Thu 10 Oct 2024
Name:
Mark Staples
Country:
Australia
Affiliation:
CSIRO Data61 and Digital Finance CRC
Contributions
2025
ICSE
Author in Software Engineering in Practice within the SE In Practice (SEIP)-track
2024
CAIN
Author of Privacy and Copyright Protection in Generative AI: A Lifecycle Perspective within the Research and Experience Papers-track
2023
ICSE
Committee Member in Software Engineering in Practice within the SEIP - Software Engineering in Practice-track
2018
CPP
Author of Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL within the CPP 2018-track
Share
x
Sat 25 Oct 07:17
