Acerca de
Actividad
-
🚫 Onboarding doesn’t live in a spreadsheet. It lives in PRs, in tickets, in commits. In Slack channels, daily standups, and code reviews. That’s…
🚫 Onboarding doesn’t live in a spreadsheet. It lives in PRs, in tickets, in commits. In Slack channels, daily standups, and code reviews. That’s…
Recomendado por Jonathan Tapicer
-
⏱️ Time to experience. Un concepto simple, pero que lo cambia todo. No se trata solo de cuánto sabe un desarrollador. Se trata de cuánto tarda en…
⏱️ Time to experience. Un concepto simple, pero que lo cambia todo. No se trata solo de cuánto sabe un desarrollador. Se trata de cuánto tarda en…
Recomendado por Jonathan Tapicer
-
¿𝗤𝘂𝗲́ 𝗮𝗽𝗿𝗲𝗻𝗱𝗶𝗺𝗼𝘀 𝗱𝗲𝘀𝗽𝘂𝗲́𝘀 𝗱𝗲 𝘁𝗮𝗻𝘁𝗼 𝘁𝗶𝗲𝗺𝗽𝗼 𝗳𝗼𝗿𝗺𝗮𝗻𝗱𝗼 𝗲𝗾𝘂𝗶𝗽𝗼𝘀 𝘁𝗲𝗰𝗵? Que el código se puede…
¿𝗤𝘂𝗲́ 𝗮𝗽𝗿𝗲𝗻𝗱𝗶𝗺𝗼𝘀 𝗱𝗲𝘀𝗽𝘂𝗲́𝘀 𝗱𝗲 𝘁𝗮𝗻𝘁𝗼 𝘁𝗶𝗲𝗺𝗽𝗼 𝗳𝗼𝗿𝗺𝗮𝗻𝗱𝗼 𝗲𝗾𝘂𝗶𝗽𝗼𝘀 𝘁𝗲𝗰𝗵? Que el código se puede…
Recomendado por Jonathan Tapicer
Experiencia y educación
-
Teamcubation
Mira la experiencia completa de Jonathan
Mira su cargo, antigüedad y más
o
Licencias y certificaciones
Publicaciones
-
Resource Usage Contracts for .NET
ACM, TOPI 2011: 1st Workshop on Developing Tools as Plug-ins (short paper)
Code Contracts is a tool that allows the specification and verification of contracts (pre, post-condition, invariants) in all .NET based programming languages. Resource Contracts is an extension of this language to specify resource usage in .NET programs. The new annotations, initially focussed on dynamic memory, enable modular analysis of both memory consumption and lifetime properties. They are checked by relying on the own Code Contracts static verifier and a points-to analysis. This…
Code Contracts is a tool that allows the specification and verification of contracts (pre, post-condition, invariants) in all .NET based programming languages. Resource Contracts is an extension of this language to specify resource usage in .NET programs. The new annotations, initially focussed on dynamic memory, enable modular analysis of both memory consumption and lifetime properties. They are checked by relying on the own Code Contracts static verifier and a points-to analysis. This approach is implemented as a Visual Studio extension, providing facilities such us autocompletion and verification at build time.
Available at: https://lafhis.dc.uba.ar/dependex/resourcecontracts/Otros autores -
Idiomas
-
Spanish
Competencia bilingüe o nativa
-
English
Competencia básica profesional
Más actividad de Jonathan
-
Yesterday, I had the incredible honor of interviewing NVIDIA's Jensen Huang, at the Menlo Ventures annual summit and wow. Beyond the AI hype, his…
Yesterday, I had the incredible honor of interviewing NVIDIA's Jensen Huang, at the Menlo Ventures annual summit and wow. Beyond the AI hype, his…
Recomendado por Jonathan Tapicer
-
🚀 ¿Estás dando tus primeros pasos como dev y querés crecer acompañado/a de los mejores? Seguí leyendo, porque ¡esta oportunidad es para vos! En…
🚀 ¿Estás dando tus primeros pasos como dev y querés crecer acompañado/a de los mejores? Seguí leyendo, porque ¡esta oportunidad es para vos! En…
Recomendado por Jonathan Tapicer
-
¿La IA lo hace todo más fácil? Sí. ¿Entonces ya no necesitamos equipos tech? JA. En el Mercado Libre Experience '25, Daniel Rabinovich (COO de…
¿La IA lo hace todo más fácil? Sí. ¿Entonces ya no necesitamos equipos tech? JA. En el Mercado Libre Experience '25, Daniel Rabinovich (COO de…
Recomendado por Jonathan Tapicer
-
Buen Martes! 😊 Llamado para Juniors y Semi Seniors - Fullstack Oportunidad solo para CABA 🦾 - Esquema…
Buen Martes! 😊 Llamado para Juniors y Semi Seniors - Fullstack Oportunidad solo para CABA 🦾 - Esquema…
Recomendado por Jonathan Tapicer
-
Hace una semana nuestro COO y cofundador, Diego Jolodenco, regresó de Acelerar España y queremos contarles qué tal resultó esa experiencia. El…
Hace una semana nuestro COO y cofundador, Diego Jolodenco, regresó de Acelerar España y queremos contarles qué tal resultó esa experiencia. El…
Recomendado por Jonathan Tapicer