Isaac Oscar Gariano

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