Gariano, Isaac Oscar

1. More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme
   2022/05/02 by James Noble, David Streader, Noble, James +5 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE) #Software Engineering Research #Software Engineering Techniques and Practices #Teaching and Learning Programming
2. Dala: A Simple Capability-Based Dynamic Language Design For Data\n Race-Freedom
   2021/09/15 by Kiko Fernandez-Reyes, Isaac Oscar Gariano, Fernandez-Reyes, Kiko +9 · 1 voice
   Computer Science · #Advanced Data Storage Technologies #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #and Cluster Computing (cs.DC) #cs.DC #cs.PL