Julian Mackay

According to our database, Julian Mackay authored at least 8 papers between 2012 and 2022.

Collaborative distances:

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

2022

<i>Necessity</i> specifications for robustness.

Julian Mackay, Susan Eisenbach, James Noble, Sophia Drossopoulou

Proc. ACM Program. Lang., 2022

Necessity Specifications for Robustness.

Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach

CoRR, 2022

Rusty Links in Local Chains✱.

James Noble, Julian Mackay, Tobias Wrigstad

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022

2020

Decidable subtyping for path dependent types.

Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves

Proc. ACM Program. Lang., 2020

Holistic Specifications for Robust Programs.

Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach

Proceedings of the Fundamental Approaches to Software Engineering, 2020

Syntactically Restricting Bounded Polymorphism for Decidable Subtyping.

Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2013

The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types.

Marco Servetto, Julian Mackay, Alex Potanin, James Noble

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Encoding Featherweight Java with assignment and immutability using the Coq proof assistant.

Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012