Which of my transient type checks are not (almost) free? - Isaac Oscar Gariano; Richard Roberts 004; Stefan Marr; Michael Homer; James Noble 001 (VMIL@SPLASH, 2019)

CallƐ: an effect system for method calls. - Isaac Oscar Gariano; James Noble 001; Marco Servetto (Onward!, 2019)

Iteratively Composing Statically Verified Traits. - Isaac Oscar Gariano; Marco Servetto; Alex Potanin; Hrshikesh Arora (VPT@Programming, 2019)

Sound Invariant Checking Using Type Modifiers and Object Capabilities. - Isaac Oscar Gariano; Marco Servetto; Alex Potanin (CoRR, 2019)

Towards Gradual Checking of Reference Capabilities. - Kiko Fernandez-Reyes; Isaac Oscar Gariano; James Noble 001; Tobias Wrigstad (CoRR, 2019)

Mμl: The Power of Dynamic Multi-Methods. - Isaac Oscar Gariano; Marco Servetto (CoRR, 2019)

Naïve transient cast insertion isn't (that) bad. - Erin Greenwood-Thessman; Isaac Oscar Gariano; Richard Roberts 004; Stefan Marr; Michael Homer; James Noble 001 (ICOOOLPS@ECOOP, 2021)

Dala: a simple capability-based dynamic language design for data race-freedom. - Kiko Fernandez-Reyes; Isaac Oscar Gariano; James Noble 001; Erin Greenwood-Thessman; Michael Homer; Tobias Wrigstad (Onward!, 2021)

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme. - James Noble 001; David Streader; Isaac Oscar Gariano; Miniruwani Samarakoon (NFM, 2022)

Using capabilities for strict runtime invariant checking. - Isaac Oscar Gariano; Marco Servetto; Alex Potanin (Sci. Comput. Program., 2022)