Using Concurrent Objects in Randomized Programs

TheEuroTech Universities Allianceis a strategic partnership of leading European universities of science and technology:Technical University of Denmark (DTU)École Polytechnique Fédérale de Lausanne (EPFL)Institut Polytechnique de ParisTechnion - Israel Institute of TechnologyEindhoven University of Technology (TU/e)Technical University of Munich (TUM)The universities join forces to build a strong, sustainable, sovereign, and resilient Europe. The partners bring their excellence in research and education, their active engagement in vibrant eco-systems and service to society. Together, they join forces to accelerate their research in high-tech focus areas and advocate for change, through dedicated partners and a strong presence in Brussels.Based on the EuroTech values, the partners aspire to a new level of cooperation by bringing together their inclusive, diverse and sustainable campuses. The EuroTech Universities create a unique environment for international talents to lead a new generation of change agents in research, entrepreneurship, industry and society.

EuroTech Universities Alliance

Tackling global challenges together. A series of scientific online lectures by renowned researchers of EuroTech Universities

EuroTechTalks

The EuroTechTalks are a series of scientific online lectures by renowned researchers of EuroTech Universities. In the Alliance, we tackle global challenges together. This series highlights some outcomes of our scientific collaborations.

Atomic concurrent objects, whose operations take place instantaneously, are a powerful technique for designing complex concurrent programs. Since they are not always available, they are typically substituted with software implementations. A prominent condition relating these implementations to their atomic specifications is linearizability, which preserves safety properties of programs using them. However linearizability does not preserve hyper-properties, which include probabilistic guarantees about randomized programs. A more restrictive property, strong linearizability, does preserve hyper-properties but it is impossible to achieve in many situations. In particular, we show that there are no strongly linearizable implementations of multi-writer registers or snapshot objects in message-passing systems. On the other hand, we show that a wide class of linearizable implementations, including well-known ones for registers and snapshots, can be modified to approximate the probabilistic guarantees of randomized programs when using atomic objects.S﻿peakers:<ul><li>Prof. Constantin Enea, Computer Science Laboratory (LIX), École Polytechnique/CNRS</li><li>Prof. Hagit Attiya, Department of Computer Science, Technion – Israel Institute of Technology</li></ul>AboutThe EuroTechTalks are a series of scientific online lectures by renowned researchers of EuroTech Universities. In the Alliance, we tackle global challenges together. This series highlights some of our scientific collaborations.

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

Using Concurrent Objects in Randomized Programs

More events from EuroTech Universities Alliance

Discover more events from EuroTech Universities Alliance, from Science & Tech to other experiences you might love.

Still looking for the right event?

Explore all online events to browse and filter by date, category, and more.

Using Concurrent Objects in Randomized Programs

More events from EuroTech Universities Alliance

Discover more events from EuroTech Universities Alliance, from Science & Tech to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all online events to browse and filter by date, category, and more.