Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Isaac Oscar Gariano
conf.researchr.org general profile
ECOOP 2019 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2024 profile
‹Programming› 2019 profile
Registered user since Wed 18 Sep 2019
Name:
Isaac Oscar Gariano
Country:
New Zealand
Affiliation:
Victoria University of Wellington
Contributions
2024
Unsound
Author of MeDeTy: An Unsound Object Based Encoding of Propositions as Types within the UNSOUND 2024-track
2022
SPLASH
In-person student volunteer in Organizers within the Student Volunteers-track
2021
SPLASH
Author of Dala: A Simple Capability-Based Dynamic Language Design for Data Race-Freedom within the Onward! Papers-track
2020
FTfJP
Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track
2019
SPLASH
Author of CallƐ: An Effect System for Method Calls within the Onward! Papers-track
META
Author of Mμl: The Power of Dynamic Multi-Methods within the META 2019-track
VMIL
Author of Which of my Transient Type Checks are not (Almost) Free? within the VMIL 2019-track
Author of Towards Gradual Checking of Reference Capabilities within the VMIL 2019-track
FTfJP
Author of CallƐ: An Effect System for Method Calls within the FTfJP 2019-track
VPT
Author of Iteratively Composing Statically Verified Traits within the VPT 2019 -track
Share
x
Sat 14 Jun 01:14