Julian Mackay

Orcid: 0000-0003-3098-3901

According to our database¹, Julian Mackay authored at least 11 papers between 2012 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Dafny vs. Dala: Experience with Mechanising Language Design.

[BibT_eX]

[DOI]

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

2022

Necessity Specifications for Robustness.

[BibT_eX]

[DOI]

Dataset, September, 2022

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Necessity Specifications for Robustness.

[BibT_eX]

[DOI]

CoRR, 2022

Rusty Links in Local Chains✱.

[BibT_eX]

[DOI]

James Noble

Julian Mackay

Tobias Wrigstad

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

2020

Holisitic Specifications for Robust Programs - Coq Model.

[BibT_eX]

[DOI]

Dataset, February, 2020

Decidable subtyping for path dependent types.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Holistic Specifications for Robust Programs.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

Syntactically Restricting Bounded Polymorphism for Decidable Subtyping.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2012

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

[BibT_eX]

[DOI]

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

Julian Mackay

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...