Julian Mackay

13 papers A 1B 2Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Reasoning about External Calls.
CoRR
Sophia Drossopoulou, Julian Mackay, Susan Eisenbach, James Noble
2025 J jnl
Reasoning about External Calls.
Proc. ACM Program. Lang.
Sophia Drossopoulou, Julian Mackay, Susan Eisenbach, James Noble
2025 J jnl
Semantically Separating Nominal Wyvern for Usability and Decidability.
CoRR
Yu Xiang Zhu, Amos Robinson, Sophia Roshal, Timothy Mou, Julian Mackay, Jonathan Aldrich, Alex Potanin
2024 — conf
Dafny vs. Dala: Experience with Mechanising Language Design.
FTfJP@ECOOP
James Noble, Julian Mackay, Tobias Wrigstad, Andrew Fawcet, Michael Homer
2022 J jnl
Necessity Specifications for Robustness.
CoRR
Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach
2022 J jnl
Rusty Links in Local Chains.
CoRR
James Noble, Julian Mackay, Tobias Wrigstad
2022 — conf
Rusty Links in Local Chains✱.
FTfJP@ECOOP
James Noble, Julian Mackay, Tobias Wrigstad
2020 J jnl
Decidable subtyping for path dependent types.
Proc. ACM Program. Lang.
Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
2020 B conf
Holistic Specifications for Robust Programs.
FASE
Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach
2020 J jnl
Holistic Specifications for Robust Programs.
CoRR
Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach
2020 B conf
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping.
APLAS
Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
2013 A conf
The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types.
ECOOP
Marco Servetto, Julian Mackay, Alex Potanin, James Noble
2012 — conf
Encoding Featherweight Java with assignment and immutability using the Coq proof assistant.
FTfJP@ECOOP
Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron