A. Finn Hackett

According to our database, A. Finn Hackett authored at least 4 papers between 2020 and 2025.

Collaborative distances:

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

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