Follow
Isaac Oscar Gariano
Isaac Oscar Gariano
Verified email at ecs.vuw.ac.nz
Title
Cited by
Cited by
Year
More programming than programming: Teaching formal methods in a software engineering programme
J Noble, D Streader, IO Gariano, M Samarakoon
NASA Formal Methods Symposium, 431-450, 2022
72022
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
62019
Dala: a simple capability-based dynamic language design for data race-freedom
K Fernandez-Reyes, IO Gariano, J Noble, E Greenwood-Thessman, ...
Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideasá…, 2021
52021
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
42019
Using capabilities for strict runtime invariant checking
IO Gariano, M Servetto, A Potanin
Science of Computer Programming 224, 102878, 2022
12022
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
Na´ve transient cast insertion isn't (that) bad
E Greenwood-Thessman, IO Gariano, R Roberts, S Marr, M Homer, ...
Proceedings of the 16th ACM International Workshop on Implementationá…, 2021
2021
Callℇ: An Effect System for Method Calls
IO Gariano, J Noble, M Servetto
Open Access Te Herenga Waka-Victoria University of Wellington, 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
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–13