Isaac Oscar Gariano

According to our database, Isaac Oscar Gariano authored at least 10 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Using capabilities for strict runtime invariant checking.

Isaac Oscar Gariano, Marco Servetto, Alex Potanin

Sci. Comput. Program., 2022

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme.

James Noble, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Dala: a simple capability-based dynamic language design for data race-freedom.

Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad

Proceedings of the Onward! 2021: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, 2021

Naïve transient cast insertion isn't (that) bad.

Erin Greenwood-Thessman, Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble

Proceedings of the ICOOOLPS 2021: Proceedings of the 16th ACM International Workshop on Implementation, 2021

2019

Mμl: The Power of Dynamic Multi-Methods.

Isaac Oscar Gariano, Marco Servetto

CoRR, 2019

Towards Gradual Checking of Reference Capabilities.

Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Tobias Wrigstad

CoRR, 2019

Sound Invariant Checking Using Type Modifiers and Object Capabilities.

Isaac Oscar Gariano, Marco Servetto, Alex Potanin

CoRR, 2019

Iteratively Composing Statically Verified Traits.

Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora

Proceedings of the Proceedings Seventh International Workshop on Verification and Program Transformation, 2019

CallƐ: an effect system for method calls.

Isaac Oscar Gariano, James Noble, Marco Servetto

Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, 2019

Which of my transient type checks are not (almost) free?

Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019