Isaac Oscar Gariano

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 14

Top Topics

Bayes Classifiers

Bayesian Classifiers

Reference Images

Software Engineering

Top Venues

VPT@Programming

Publications

Isaac Oscar Gariano, Marco Servetto, Alex Potanin
Using capabilities for strict runtime invariant checking. Sci. Comput. Program. 224 (2022)
James Noble, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon
More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme. NFM (2022)
James Noble, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon
More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme. CoRR (2022)
Erin Greenwood-Thessman, Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble
Naïve transient cast insertion isn't (that) bad. ICOOOLPS@ECOOP (2021)
Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom. CoRR (2021)
Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad
Dala: a simple capability-based dynamic language design for data race-freedom. Onward! (2021)
Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble
Which of my transient type checks are not (almost) free? VMIL@SPLASH (2019)
Isaac Oscar Gariano, James Noble, Marco Servetto
CallƐ: an effect system for method calls. Onward! (2019)
Isaac Oscar Gariano, James Noble, Marco Servetto
CallE: An Effect System for Method Calls. CoRR (2019)
Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Tobias Wrigstad
Towards Gradual Checking of Reference Capabilities. CoRR (2019)
Isaac Oscar Gariano, Marco Servetto, Alex Potanin
Sound Invariant Checking Using Type Modifiers and Object Capabilities. CoRR (2019)
Isaac Oscar Gariano, Marco Servetto
Mμl: The Power of Dynamic Multi-Methods. CoRR (2019)
Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora
Iteratively Composing Statically Verified Traits. VPT@Programming (2019)
Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble
Which of My Transient Type Checks Are Not (Almost) Free? CoRR (2019)