Finn Hackett

According to our database, Finn Hackett authored at least 7 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2026

Trace Validation of Unmodified Concurrent Systems with OmniLink.

Finn Hackett, Evan Wrench, Peter Macko, A. Jesse Jiryu Davis, Yuanhao Wei, Ivan Beschastnikh

CoRR, January, 2026

2025

SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems.

Qian Cheng, Ruize Tang, Emilie Ma, Finn Hackett, Peiyang He, Yiming Su, Ivan Beschastnikh, Yu Huang, Xiaoxing Ma, Tianyin Xu

CoRR, September, 2025

TraceLinking Implementations with Their Verified Designs.

Finn Hackett, Ivan Beschastnikh

Proc. ACM Program. Lang., 2025

Listening to the Firehose: Sonifying Z3's Behavior.

A. Finn Hackett, Ivan Beschastnikh

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE 2025 - NIER, Ottawa, ON, Canada, April 27, 2025

2023

Understanding Inconsistency in Azure Cosmos DB with TLA+.

A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

Compiling Distributed System Models with PGo.

A. Finn Hackett, Shayan Hosseini, Renato Costa, Matthew Do, Ivan Beschastnikh

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2020

<i>mel</i>- model extractor language for extracting facts from models.

Robert Hackman, Joanne M. Atlee, Alistair Finn Hackett, Michael W. Godfrey

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020