Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Julian Mackay
conf.researchr.org general profile
APLAS 2019 profile
APLAS 2020 profile
ECOOP 2022 profile
ISSTA/ECOOP 2024 profile
PLDI 2018 profile
PLDI 2020 profile
POPL 2020 profile
POPL 2024 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2022 profile
Registered user since Wed 31 Jan 2018
Name:
Julian Mackay
Country:
New Zealand
Affiliation:
Victoria University of Wellington
Contributions
2024
FTfJP
Author of Dafny vs. Dala: Experience with Mechanising Language Design within the FTfJP 2024-track
POCL
Author of Object Capabilities within the POCL 2024-track
2022
APLAS
Session Chair of Semantics and Analysis (part of APLAS)
SPLASH
Author of Necessity Specifications for Robustness within the OOPSLA-track
Student Volunteer Chair in Organizing Committee
Student Volunteer Chair in Organizers within the Student Volunteers-track
FTfJP
Author of Rusty Links in Local Chains within the FTfJP-track
2020
APLAS
Author of Syntactically Restricting Bounded Polymorphism for Decidable Subtyping within the Research Papers-track
SPLASH
Committee Member in External Review Committee within the OOPSLA-track
PLDI
Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL
Author of Decidable Subtyping for Path Dependent Types within the Research Papers-track
2019
APLAS
Author of On Decidable Subtyping for Path Dependent Types within the APLAS NIER-track
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
2018
SPLASH
Committee Member in Artifact Evaluation Committee within the Artifacts-track
PLDI
Committee Member in Artifact Evaluation Committee
2017
SLE
Committee Member in Artifact Evaluation Committee within the SLE-track
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Share
x
Thu 21 Nov 11:52
