Finn Hackett -

Registered user since Wed 5 Mar 2025

Name:Finn Hackett

Country:Canada

Affiliation:University of British Columbia

Personal website: https://fhackett.com/

GitHub: https://github.com/fhackett

Contributions

2025

SPLASH

Author of TraceLinking Implementations with their Verified Designs within the OOPSLA-track

Scala

Presenter of Debugging for Scala Control Flow DSLs within the The Scala Workshop 2025-track

ICSE

Author of Listening to the Firehose: Sonifying Z3’s Behavior within the New Ideas and Emerging Results (NIER)-track

2023

ICSE

Author of Understanding Inconsistency in Azure Cosmos DB with TLA+ within the SEIP - Software Engineering in Practice-track