Publication

A Provably Starvation-Free Distributed Directory Protocol

Publications associées (32)

Operating System and Network Co-Design for Latency-Critical Datacenter Applications

Datacenters are the heart of our digital lives. Online applications, such as social-networking and e-commerce, run inside datacenters under strict Service Level Objectives for their tail latency. Tight latency SLOs are necessary for such services to remain ...

EPFL2020

Mneme: A Mobile Distributed Ledger

Boi Faltings, Sujit Prakash Gujar, Dimitrios Chatzopoulos

Advances in mobile computing have paved the way for new types of distributed applications that can be executed solely by mobile devices on device-to-device (D2D) ecosystems (e.g., crowdsensing). More sophisticated applications, like cryptocurrencies, need ...

IEEE2020

The Cost of Scaling a Reliable Interconnection Topology

Rachid Guerraoui, Alexandre David Olivier Maurer

In distributed computing, many papers try to evaluate the message complexity of a distributed system as a function of the number of nodes n. But what about the cost of building the distributed system itself? Assuming that we want to reliably connect n node ...

2020

Distributed Computing with Modern Shared Memory

Mihail Igor Zablotchi

In this thesis, we revisit classic problems in shared-memory distributed computing through the lenses of (1) emerging hardware technologies and (2) changing requirements. Our contributions consist, on the one hand, in providing a better understanding of th ...

EPFL2020

R2P2: Making RPCs first-class datacenter citizens

Adrien Ghosn, Edouard Bugnion, Georgios Prekas, Jonas Fietz, Evangelos Marios Kogias

Remote Procedure Calls are widely used to connect datacenter applications with strict tail-latency service level objectives in the scale of µs. Existing solutions utilize streaming or datagram-based transport protocols for RPCs that impose overheads and li ...

USENIX ASSOC2019

Copper-catalyzed remote C(sp3)–H azidation and oxidative trifluoromethylation of benzohydrazides

Qian Wang, Jieping Zhu, Xu Bao

The Hofmann-Löffler-Freytag (HLF) reaction is a prototypical example of radical-based remote functionalization of unactivated C(sp3)–H bond. While 1,5-hydrogen atom transfer (1,5-HAT) of the amidyl radical is thermodynamically favorable and is well-establi ...

Springer2019

One-Pot Synthesis of 1-[(Triisopropylsilyl)ethynyl]-1,2-benziodoxol-3(1H)-one (TIPS-EBX): Process Safety Assessment and Impact of Impurities on Product Stability

Jérôme Waser, Stefano Nicolai, Lionel Schouwey, Durga Prasada Rao Hari, Paola Caramenti, Miyeon Chang

The hypervalent iodine reagent 1-[(TriIsoPropylSilyl)Ethynyl]-1,2-BenziodoXol-3(1H)-one (TIPS-EBX) is among the most useful electrophilic and somophilic alkynylation reagents. Herein, we report a new synthetic protocol to access this reagent in one step fr ...

2019

Scaling Byzantine Fault Tolerance

Matej Pavlovic

Online services are becoming more and more ubiquitous and keep growing in scale. At the same time, they are required to be highly available, secure, energy-efficient, and to achieve high performance. To ensure these (and many other) properties, replication ...

EPFL2019

Scalable Byzantine Reliable Broadcast

Rachid Guerraoui, Matej Pavlovic, Dragos-Adrian Seredinschi, Matteo Monti

Byzantine reliable broadcast is a powerful primitive that allows a set of processes to agree on a message from a designated sender, even if some processes (including the sender) are Byzantine. Existing broadcast protocols for this setting scale poorly, as ...

Schloss Dagstuhl--Leibniz-Zentrum fer Informatik2019

Two-Tone Optomechanical Instability and Its Fundamental Implications for Backaction-Evading Measurements

Tobias Kippenberg, Liu Qiu, Itay Shomroni, Amir Youssefi

While quantum mechanics imposes a fundamental limit on the precision of interferometric measurementsof mechanical motion due to measurement backaction, the nonlinear nature of the coupling also leads toparametric instabilities that place practical limits o ...

American Physical Society2019

Asynchronous Branch-Paralle Simulation of Detailed Neuron Models

Felix Schürmann, Michael Lee Hines

Simulations of electrical activity of networks of morphologically detailed neuron models allow for a better understanding of the brain. State-of-the-art simulations describe the dynamics of ionic currents and biochemical processes within branching topologi ...

2019

Fully-Asynchronous Cache-Efficient Simulation of Detailed Neural Networks

Felix Schürmann, Michael Lee Hines

Modern asynchronous runtime systems allow the re-thinking of large-scale scientific applications. With the example of a simulator of morphologically detailed neural networks, we show how detaching from the commonly used bulk-synchronous parallel (BSP) exec ...

SPRINGER INTERNATIONAL PUBLISHING AG2019