Isaac Oscar Gariano
Isaac Oscar Gariano
Verified email at ecs.vuw.ac.nz
Title
Cited by
Cited by
Year
Which of my transient type checks are not (almost) free?
IO Gariano, R Roberts, S Marr, M Homer, J Noble
Proceedings of the 11th ACM SIGPLAN International Workshop on Virtualá…, 2019
22019
Towards Gradual Checking of Reference Capabilities
K Fernandez-Reyes, IO Gariano, J Noble, T Wrigstad
arXiv preprint arXiv:1909.01465, 2019
12019
AArch64 Mu: An Efficient Implementation of a Micro Virtual Machine
I Gariano
Honours thesis, Australian National University.(cited on pages 70 and 77), 2017
12017
Dala: A Simple Capability-Based Dynamic Language Design For Data-Race Freedom
K Fernandez-Reyes, J Noble, IO Gariano, E Greenwood-Thessman, ...
2020
CallƐ: an effect system for method calls
IO Gariano, J Noble, M Servetto
Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideasá…, 2019
2019
M {\mu} l: The Power of Dynamic Multi-Methods
IO Gariano, M Servetto
arXiv preprint arXiv:1910.00709, 2019
2019
Sound Invariant Checking Using Type Modifiers and Object Capabilities
IO Gariano, M Servetto, A Potanin
arXiv preprint arXiv:1902.10231, 2019
2019
Iteratively Composing Statically Verified Traits
IO Gariano, M Servetto, A Potanin, H Arora
arXiv preprint arXiv:1902.09685, 2019
2019
Na´ve Transient Cast Insertion Isn’t (That) Bad
E GREENWOOD-THESSMAN, IO GARIANO, R ROBERTS, S MARR, ...
Call: An E ect System for Method Calls
IO Gariano, J Noble, M Servetto
The system can't perform the operation now. Try again later.
Articles 1–10