Concepedia

Bastian Pochon

BP

11

Publications

461

Citations

10

H-Index

2003

Active since

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

Microsoft Research (United Kingdom)

Brown University

Bastian Pochon is an author at École Polytechnique Fédérale de Lausanne specializing in engineering, computer science, and parallel programming.

Top concepts

EngineeringComputer ScienceParallel ProgrammingParallel ComputingCluster ComputingDistributed SystemsFormal MethodsCloud ComputingAutomated ReasoningFormal Verification

Publications per year

2003–2011

11

Publications

11

Toward a theory of transactional contention managers

Rachid Guerraoui, Maurice Herlihy, Bastian Pochon · 2005 · 244 citations · Full text

Negotiation, Engineering, Computer Architecture +18

Robust Contention Management in Software Transactional Memory

Rachid Guerraoui, Maurice Herlihy, Michał Kapałka et al. · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2005 · 53 citations · Full text

Throughput optimal total order broadcast for cluster environments

Rachid Guerraoui, Ron R. Levy, Bastian Pochon et al. · ACM Transactions on Computer Systems · 2010 · 50 citations · Full text

Cluster Computing, Total Order Broadcast, Engineering +16

From a static impossibility to an adaptive lower bound

Eli Gafni, Rachid Guerraoui, Bastian Pochon · 2005 · 26 citations · Full text

Mathematical Programming, Cluster Computing, Computational Complexity Theory +19

High Throughput Total Order Broadcast for Cluster Environments

Rachid Guerraoui, Ronnie Levy, Bastian Pochon et al. · 2006 · 21 citations · Full text

Cluster Computing, Total Order Broadcast, Engineering +16

Rows per page

1–5 of 11