vitorenesduarte Follow

Vitor Enes vitorenesduarte

PhD student @ HASLab/INESC TEC. Making geo-distribution fast.

63 followers · 27 following · 209

Highlights

Organizations

Pinned

fantoch

framework for evaluating (planet-scale) consensus protocols

Rust 8
tricks

Run experiments effortlessly on top of Kubernetes

Erlang 22 1
ldb

Replication of CRDTs

Erlang 30 1
exp

Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb

Erlang 11 1

2,659 contributions in the last year

Activity overview

Contributed to vitorenesduarte/fantoch, vitorenesduarte/threshold-rs, jonhoo/tsunami and 5 other repositories

Contribution activity

June 2020

Created a pull request in jonhoo/tsunami that received 9 comments

Jun 22

Make openssh optional

+155 −81 • 9 comments

Add artificial connection delay to output of ping Jun 23
Allow tsunami's baremetal provider Jun 22
Refactor configs Jun 21
Add delay task: simulate WAN latencies in runner Jun 20
Newt: make `skip_fast_ack` configurable and track max commit time to be the min clock in periodic clock bumps Jun 20
Flamegraph runs Jun 15
AWS experiments Jun 8
Use `tsunami` for AWS ping experiment && skip MCollectAck optimization in Newt Jun 3

Add username and private_key fields to Machine Jun 23
Make region spans info Jun 8
WIP: Make private key file not temporary Jun 5
WIP: Add Setup::ssh_setup Jun 4
Bump rusoto Jun 4
Improve spot requests cancellation upon timeout Jun 4

Fix cargo hack in CI Jun 23

Created an issue in stateright/stateright that received 9 comments

Jun 3

Relax trait bounds for messages and actor state

Hi. I was upgrading to the latest version and noticed that new trait bounds were introduced (e.g. Ord for Actor::Message). If I understand correctl…

9 comments

Compare against `raft-rs` Jun 20
Maybe replace atomic's `fetch_update` with `fetch_max` Jun 10

`std::error::Error` is not implemented for `eyre::Report<color_eyre::Handler>` Jun 22

Increase ssh session timeout Jun 4

9 contributions in private repositories Jun 6 – Jun 23

Create your own GitHub profile