Buenos Aires, Provincia de Buenos Aires, Argentina
3 mil seguidores
Más de 500 os
Acerca de
Artículos de Guido
-
The secret ingredient behind a successful tech lead
The secret ingredient behind a successful tech lead
[Originally published on the Medallia Engineering Blog] Healthy engineering teams are generally structured in a…
1 comentario
Actividad
-
Very grateful to have received an award at Dialpad's RKO in Austin, TX this past February, recognizing my performance in 2024 as part of the amazing…
Very grateful to have received an award at Dialpad's RKO in Austin, TX this past February, recognizing my performance in 2024 as part of the amazing…
Recomendado por Guido de Caso
-
🎓 ¡Graduado del #ExecutiveMBA en IAE Business School! 🎓 Hace unas semanas celebramos la entrega de diplomas del Executive MBA del IAE Business…
🎓 ¡Graduado del #ExecutiveMBA en IAE Business School! 🎓 Hace unas semanas celebramos la entrega de diplomas del Executive MBA del IAE Business…
Recomendado por Guido de Caso
-
At Dialpad, we’re on the lookout for a talented Design Manager (based in 🇦🇷) to lead and inspire a team of designers in delivering exceptional…
At Dialpad, we’re on the lookout for a talented Design Manager (based in 🇦🇷) to lead and inspire a team of designers in delivering exceptional…
Recomendado por Guido de Caso
Experiencia y educación
-
Dialpad
Mira la experiencia completa de Guido
Mira su cargo, antigüedad y más
o
Publicaciones
-
Enabledness-based Program Abstractions for Behaviour Validation
ACM Transactions on Software Engineering and Methodology
-
DKAL*: Constructing Executable Specifications of Authorization Protocols
Lecture Notes in Computer Science - Springer-Verlag Berlin Heidelberg
-
Integrated Program Verification Tools in Education
Software: Practice and Experience
-
Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering
Lecture Notes in Computer Science - Springer-Verlag Berlin Heidelberg
-
From Primal Infon Logic with Individual Variables to Datalog
Lecture Notes in Computer Science - Springer-Verlag Berlin Heidelberg
-
Breve Repaso Histórico de la Computación Hogareña en la Argentina (in Spanish)
http://www.revistacts.net/volumen-6-numero-18/103-dossier/406-breve-repaso-historico-de-la-computacion-hogarena-en-la-argentina
-
Program Abstractions for Behaviour Validation
International Conference on Software Engineering 2011
-
Automated Abstractions for Contract Validation
IEEE Transactions on Software Engineering
-
Validation of Contracts using Enabledness Preserving Finite State Abstractions
International Conference on Software Engineering 2009
-
Behavioural Validation of Software Engineering Artefacts
International Conference on Software Engineering 2010 (Doctoral Symposium)
Patentes
-
Memory efficient database change management
Expedida US US10762076B1
A request to modify a data set is received. The data set comprises a plurality of entries where the plurality of entries have a corresponding edit state and the corresponding edit state indicates whether a corresponding entry in the plurality of entries is in a published state or a preview state. The data set is modified at least in part by creating a draft entry based at least in part on the request. An edit state of the draft entry indicates that the draft entry is in the preview state. A…
A request to modify a data set is received. The data set comprises a plurality of entries where the plurality of entries have a corresponding edit state and the corresponding edit state indicates whether a corresponding entry in the plurality of entries is in a published state or a preview state. The data set is modified at least in part by creating a draft entry based at least in part on the request. An edit state of the draft entry indicates that the draft entry is in the preview state. A request to render the data set is received. The request indicates whether to render a published version or a preview version. Entries of the data set to be rendered are determined based at least in part on the edit state of the entries. The determined entries of the data set are provided to a interface layer that renders the determined entries in a display.
Otros inventores -
Reconocimientos y premios
-
Microsoft Research Fellow
Microsoft Research
The Microsoft Research Fellowship is the most prestigious student awarded by Microsoft Research to graduate students throughout the world.
Idiomas
-
English
Competencia profesional completa
-
Spanish
Competencia bilingüe o nativa
Más actividad de Guido
-
Esta semana comenzó una nueva etapa para mí como ayudante en la materia Ingeniería de Datos en la Universidad Torcuato Di Tella! 🎉 A lo largo de…
Esta semana comenzó una nueva etapa para mí como ayudante en la materia Ingeniería de Datos en la Universidad Torcuato Di Tella! 🎉 A lo largo de…
Recomendado por Guido de Caso
-
It’s hard to believe how quickly time has flown! I recently celebrated 3 years at Dialpad 💜 These years have been filled with meaningful…
It’s hard to believe how quickly time has flown! I recently celebrated 3 years at Dialpad 💜 These years have been filled with meaningful…
Recomendado por Guido de Caso