«I had the pleasure of working with Cristian while collaborating across interconnected services. I was consistently impressed by his expertise in building real-time, highly scalable, and highly available systems. Cristian is not only a technically skilled professional but also a responsible and proactive team player who fosters a collaborative and positive work environment. His ability to balance technical excellence with a strong sense of teamwork makes him an invaluable asset to any project. I wholeheartedly recommend him.»
Acerca de
I am a self-motivated challenge-driven person with a proactive working attitude. I am…
Actividad
-
🎉 ¡Surhive dice presente en el SBC Summit Americas 2025! 🇺🇸 Del 13 al 15 de mayo, estamos participando con nuestro propio stand en el Broward…
🎉 ¡Surhive dice presente en el SBC Summit Americas 2025! 🇺🇸 Del 13 al 15 de mayo, estamos participando con nuestro propio stand en el Broward…
Recomendado por Cristian Rosa
-
What if you could run EVM smart contracts with sub-second finality while still being able to use Ethereum's existing developer tooling? That's what I…
What if you could run EVM smart contracts with sub-second finality while still being able to use Ethereum's existing developer tooling? That's what I…
Recomendado por Cristian Rosa
-
El jueves pasado estuvimos presentando en la ExpoAgro los avances del prototipo del robot desmalezador que estamos desarrollando en el Laboratorio de…
El jueves pasado estuvimos presentando en la ExpoAgro los avances del prototipo del robot desmalezador que estamos desarrollando en el Laboratorio de…
Recomendado por Cristian Rosa
Experiencia y educación
-
Ring
Mira la experiencia completa de Cristian
Mira su cargo, antigüedad y más
o
Licencias y certificaciones
-
Oracle Certified Professional, Java SE 6 Programmer
Oracle
Expedición:
Publicaciones
-
Parallel Simulation of Peer-to-Peer Systems.
12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'12)
-
A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction
10th International Workshop on Automated Verification of Critical Systems
We are interested in the verification, using model checking, of distributed programs that communicate asynchronously over standard communication APIs such as MPI. This is feasible only if the set of executions that the model checker explores is aggressively reduced to a subset of representative executions, using techniques such as dynamic partial-order reduction. We propose a small set of core primitives in of which such APIs can be defined and formally specify these primitives in TLA+…
We are interested in the verification, using model checking, of distributed programs that communicate asynchronously over standard communication APIs such as MPI. This is feasible only if the set of executions that the model checker explores is aggressively reduced to a subset of representative executions, using techniques such as dynamic partial-order reduction. We propose a small set of core primitives in of which such APIs can be defined and formally specify these primitives in TLA+ . From this specification we derive theorems about the (in)dependence of invocations of the primitives, and use them in a DPOR-based verifier that runs within SimGrid, a simulation framework for distributed programming. Our preliminary experimental results indicate that we obtain good reductions, even though complex network operations are implemented in of the core communication primitives.
Otros autores -
Idiomas
-
English
-
-
French
-
-
Spanish
-
Recomendaciones recibidas
3 personas han recomendado a Cristian
Unirse para verloMás actividad de Cristian
-
🇦🇷 🌎 SAGSE 2025! 🚀 What an incredible few days at SAGSE South America 2025! Our team dove deep into the latest innovations, connected with…
🇦🇷 🌎 SAGSE 2025! 🚀 What an incredible few days at SAGSE South America 2025! Our team dove deep into the latest innovations, connected with…
Recomendado por Cristian Rosa
-
Hey Folks, heads up! The Walletera project released a new article, and you cannot miss it! This time, the Walletera journey will take us to the…
Hey Folks, heads up! The Walletera project released a new article, and you cannot miss it! This time, the Walletera journey will take us to the…
Recomendado por Cristian Rosa
-
"La noche de los Magazine". Un momento mágico que se vivió en la ciudad de Rosario. Muchas gracias Carlos Bermejo por la invitación y a todo su…
"La noche de los Magazine". Un momento mágico que se vivió en la ciudad de Rosario. Muchas gracias Carlos Bermejo por la invitación y a todo su…
Recomendado por Cristian Rosa
-
After almost three incredibly impactful years at ProfitWell, I start my new role as Chief of Staff at Feather on Monday! I could not be more…
After almost three incredibly impactful years at ProfitWell, I start my new role as Chief of Staff at Feather on Monday! I could not be more…
Recomendado por Cristian Rosa
-
Conseguí trabajo! Gracias a todos los que ayudaron difundiendo las publicaciones anteriores. El día lunes comienza mi paso por Puzzle Saludos y…
Conseguí trabajo! Gracias a todos los que ayudaron difundiendo las publicaciones anteriores. El día lunes comienza mi paso por Puzzle Saludos y…
Recomendado por Cristian Rosa
-
El 2020 nos obligó a todos a aprender cosas nuevas y lograr cambios que parecían imposibles. Deseo que en 2021 aprovechemos este impulso y hagamos…
El 2020 nos obligó a todos a aprender cosas nuevas y lograr cambios que parecían imposibles. Deseo que en 2021 aprovechemos este impulso y hagamos…
Recomendado por Cristian Rosa
Perfiles similares
Otras personas con el nombre de Cristian Rosa en Argentina
-
Cristian Rosa
-
Cristian rosa
Gerente de IT en Rojosoft S.R.L.
-
Cristian Rosa
Supervisor SSA en Pan American Energy
-
Cristian Adrian Rosa
Test Engineering Associate Manager en Accenture
Hay 55 personas más con el nombre de Cristian Rosa en Argentina en LinkedIn
Ver a otras personas con el nombre de Cristian Rosa