Julian Mackay

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 8

Top Topics

Formal Specification

Computation Tree Logic

Transitive Closure

Top Venues

Proc. ACM Program. Lang.

Publications

Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach
Necessity Specifications for Robustness. CoRR (2022)
Julian Mackay, Susan Eisenbach, James Noble, Sophia Drossopoulou
specifications for robustness. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
James Noble, Julian Mackay, Tobias Wrigstad
Rusty Links in Local Chains. CoRR (2022)
James Noble, Julian Mackay, Tobias Wrigstad
Rusty Links in Local Chains✱. FTfJP@ECOOP (2022)
Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach
Holistic Specifications for Robust Programs. FASE (2020)
Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. APLAS (2020)
Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
Decidable subtyping for path dependent types. Proc. ACM Program. Lang. 4 (POPL) (2020)
Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach
Holistic Specifications for Robust Programs. CoRR (2020)
Marco Servetto, Julian Mackay, Alex Potanin, James Noble
The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. ECOOP (2013)
Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron
Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. FTfJP@ECOOP (2012)