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 | 15 | 2022 |
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 | 7 | 2021 |
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 | 6 | 2019 |
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 | 3 | 2019 |
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 | 2 | 2021 |
Using capabilities for strict runtime invariant checking IO Gariano, M Servetto, A Potanin Science of Computer Programming 224, 102878, 2022 | 1 | 2022 |
Towards Gradual Checking of Reference Capabilities K Fernandez-Reyes, IO Gariano, J Noble, T Wrigstad arXiv preprint arXiv:1909.01465, 2019 | 1 | 2019 |
AArch64 Mu: An Efficient Implementation of a Micro Virtual Machine I Gariano Honours thesis, Australian National University.(cited on pages 70 and 77), 2017 | 1 | 2017 |
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 | | |