I Am Looking For Phd Students
I am trying to recruit PhD students in addition to since this is the application flavor for graduate school, I idea I should every bit good advertise here.
If you lot are interested, delight contact me via email.
Below are the 2 projects I innovation to top novel students started on.
Yes, it snows a lot inwards Buffalo. But the summertime is beautiful, in addition to Niagara Falls percentage is twenty infinitesimal get from the university.
In this project, nosotros volition explore performant, scalable, practical in addition to usable variants of Paxos. We already implemented the Paxi framework to facilitate developing in addition to benchmarking Paxos variants, in addition to provided implementations of a dozen Paxos variants. https://github.com/ailidani/paxi
In this project, nosotros volition railroad train novel Paxos variants inwards Go using Paxi, in addition to run experiments in addition to benchmarks on these implementations. These include implementing:
Consider a timely commit protocol. The transaction director (TM) sends a message to the resources managers (RMs) bespeak them to commit the transaction at fourth dimension T. If an RM needs to reject, it sends dorsum a message; upon receiving this, the TM sends an Abort message to all the RMs. Otherwise the TM’s kickoff message to commit at T is the solely message transmitted. While the classical two-phase commit protocol uses 2 broadcast, in addition to receives due north responses, the timely commit protocol uses silent-consent to trim that to solely 1 broadcast for the nearly mutual happy path. By eschewing explicit positive acknowledgments, timely protocols accept the potential to avoid incast tempest problems in addition to amend the throughput of the system.
In contrast to leases in addition to timeouts, which role passage of fourth dimension to bring expiration in addition to removal of information, timely protocols advise a to a greater extent than active in addition to full general role of synchronized clocks. While this approach is attractive every bit it tin trim the communication costs of distributed protocols, the argue this has non been adopted inwards exercise is the multiplitude of challenges involved. Faults, such every bit crash of nodes in addition to loss of messages, invalidate the data to live on conveyed via passage of time.
We formulate a systematic two-pronged approach to circumvent these challenges: 1) error detection in addition to correction to trim threats to security violation of timely protocols, in addition to 2) hindsight reconciliation to recover whatever potential security violation that persists nevertheless.
In this projection nosotros volition implement proof-of-concept prototypes of timely protocols, timely detectors, timely correctors, in addition to hindsight reconciliation. High-level timely detectors in addition to correctors tin produce on our previous run on Retroscope.
If you lot are interested, delight contact me via email.
Below are the 2 projects I innovation to top novel students started on.
Yes, it snows a lot inwards Buffalo. But the summertime is beautiful, in addition to Niagara Falls percentage is twenty infinitesimal get from the university.
Paxos Unpacked
Due to their fantabulous fault-tolerance in addition to consistency benefits, Paxos protocols are employed at the heart of many distributed systems infrastructures at Google, Facebook, Amazon, in addition to Microsoft. When properly tailored in addition to optimized, Paxos theatre unit of measurement of protocols tin deliver efficiency, performance, in addition to scalability at par amongst weakly consistent protocols, field providing a stable in addition to strong foundation to produce services in addition to applications on top.In this project, nosotros volition explore performant, scalable, practical in addition to usable variants of Paxos. We already implemented the Paxi framework to facilitate developing in addition to benchmarking Paxos variants, in addition to provided implementations of a dozen Paxos variants. https://github.com/ailidani/paxi
In this project, nosotros volition railroad train novel Paxos variants inwards Go using Paxi, in addition to run experiments in addition to benchmarks on these implementations. These include implementing:
- reconfiguration for Paxos
- in-protocol sharding for Paxos
- linearizable quorum reads for Paxos variants
- durability of Paxos log on disk inwards an efficient manner
- BigPaxos for vertically scaling Paxos to hundreds of nodes
- Byzantine tolerant Paxos variants for blockchains/blockDAGs
Timely Protocols
This projection proposes timely protocols that role tightly-synchronized clocks to bring acquisition in addition to affirmation of data amongst the passage of fourth dimension in addition to trim the communication costs of distributed coordination.Consider a timely commit protocol. The transaction director (TM) sends a message to the resources managers (RMs) bespeak them to commit the transaction at fourth dimension T. If an RM needs to reject, it sends dorsum a message; upon receiving this, the TM sends an Abort message to all the RMs. Otherwise the TM’s kickoff message to commit at T is the solely message transmitted. While the classical two-phase commit protocol uses 2 broadcast, in addition to receives due north responses, the timely commit protocol uses silent-consent to trim that to solely 1 broadcast for the nearly mutual happy path. By eschewing explicit positive acknowledgments, timely protocols accept the potential to avoid incast tempest problems in addition to amend the throughput of the system.
In contrast to leases in addition to timeouts, which role passage of fourth dimension to bring expiration in addition to removal of information, timely protocols advise a to a greater extent than active in addition to full general role of synchronized clocks. While this approach is attractive every bit it tin trim the communication costs of distributed protocols, the argue this has non been adopted inwards exercise is the multiplitude of challenges involved. Faults, such every bit crash of nodes in addition to loss of messages, invalidate the data to live on conveyed via passage of time.
We formulate a systematic two-pronged approach to circumvent these challenges: 1) error detection in addition to correction to trim threats to security violation of timely protocols, in addition to 2) hindsight reconciliation to recover whatever potential security violation that persists nevertheless.
In this projection nosotros volition implement proof-of-concept prototypes of timely protocols, timely detectors, timely correctors, in addition to hindsight reconciliation. High-level timely detectors in addition to correctors tin produce on our previous run on Retroscope.
0 Response to "I Am Looking For Phd Students"
Post a Comment