Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
education [2019/04/05 16:11]
mmonti
education [2019/12/19 18:01]
fablpd
Line 3: Line 3:
 ====== Education ====== ====== Education ======
  
 +\\
  
 The lab is teaching the following courses: The lab is teaching the following courses:
 \\ \\
 +
 +  * [[education/​ca_2019|Concurrent Algorithms]] (theory & practice)
 +  * [[education/​da|Distributed Algorithms]] (theory & practice)
 \\ \\
-  * [[education/​ca_2018|Concurrent Algorithms]] +The lab taught in the past the following courses: 
-  * [[education/​da|Distributed Algorithms]]+
   * <​html><​a href="​http://​moodle.epfl.ch/​course/​view.php?​id=14044">​Information,​ Calcul et Communication</​a></​html>​   * <​html><​a href="​http://​moodle.epfl.ch/​course/​view.php?​id=14044">​Information,​ Calcul et Communication</​a></​html>​
   * <​html><​a href="​http://​cowww.epfl.ch/​proginfo/​wwwhiver/">​Introduction à la Programmation Orientée Objet</​a></​html>​   * <​html><​a href="​http://​cowww.epfl.ch/​proginfo/​wwwhiver/">​Introduction à la Programmation Orientée Objet</​a></​html>​
Line 23: Line 26:
 DCL offers master projects in the following areas: DCL offers master projects in the following areas:
  
-  * **Probabilistic Byzantine Resilience**:  ​Development of high-performance,​ Byzantine-resilient distributed systems with provable probabilistic guarantees. Two options are currently available, both building on previous work on probabilistic Byzantine broadcast: (i) a theoretical ​project, focused the correctness ​of probabilistic Byzantine-tolerant distributed algorithms; (ii) a practical project, focused ​on numerically evaluating of our theoretical results. Please contact [[matteo.monti@epfl.ch|Matteo Monti]] to get more information.+  * **[[cryptocurrencies|Cryptocurrencies]]**: We have several ​project ​openings as part of our ongoing research ​on designing new cryptocurrency systems. Please contact [[rachid.guerraoui@epfl.ch|Prof. Rachid Guerraoui]].
  
-  * **Dynamically Distributed Spatial Indexing**:  a project here would consist ​in studying existing spatial index data structures and algorithms, e.g., simple gridsQuadtreesR-Trees etc., and how they may be dynamically distributed for indexing ​a large number ​of moving objects; please contact ​[[mailto:benoit.garbinato@unil.ch|Benoit Garbinato]] to get more information.+  * **On the design and implementation of scalable and secure blockchain algorithms**: Consensus has recently gained ​in popularity with the advent of blockchain technologiesUnfortunatelymost blockchains do not scale duein partto their centralized (leader-based) limitationWe recently designed ​promising fully decentralised (leader-less) algorithm that promises to scale to large networks. The goal of this project is to implement it in rust and compare its performance on AWS instances against a traditional leader-based alternative like BFT-Smart whose code will be provided. Contact ​[[https://people.epfl.ch/​vincent.gramoli|Vincent Gramoli]] for more information.
  
 +  * **Probabilistic Byzantine Resilience**: ​ Development of high-performance,​ Byzantine-resilient distributed systems with provable probabilistic guarantees. Two options are currently available, both building on previous work on probabilistic Byzantine broadcast: (i) a theoretical project, focused the correctness of probabilistic Byzantine-tolerant distributed algorithms; (ii) a practical project, focused on numerically evaluating of our theoretical results. Please contact [[matteo.monti@epfl.ch|Matteo Monti]] to get more information.
  
-  * **Multicore computing**:​ a project here would consist for instance in designing and implementing efficient lock-based or lock-free shared objects; please contact [[https://​people.epfl.ch/​igor.zablotchi|Igor Zablotchi]] to get more information. 
  
-  * **Distributed computing using RDMA and/or NVRAM**: contact ​[[https://​people.epfl.ch/​igor.zablotchi|Igor Zablotchi]] for more information.+  * **Distributed computing using RDMA and/or NVRAM.** RDMA (Remote Direct Memory Access) allows accessing a remote machine'​s memory without interrupting its CPU. NVRAM is byte-addressable persistent (non-volatile) memory with access times on the same order of magnitude as traditional (volatile) RAM. These two recent technologies pose novel challenges and raise new opportunities in distributed system design and implementation. Contact ​[[https://​people.epfl.ch/​igor.zablotchi|Igor Zablotchi]] for more information.
  
-  * **[[Distributed ML|Distributed Machine Learning]]**+  * **[[Distributed ML|Distributed Machine Learning]]**: contact [[http://​people.epfl.ch/​georgios.damaskinos|Georgios Damaskinos]] for more information.
  
-  * **Distributed ​and Fault-tolerant algorithms**: projects here would consist in designing failure detection mechanisms suited for large-scale systemsreal-time systems, and systems with unreliable communication or partial synchronyThis task also involves implementingevaluating, and simulating ​the performance ​of the developed mechanisms to verify the achievable guarantees; please contact [[http://people.epfl.ch/​david.kozhaya|David Kozhaya]] to get more information. +  * **Robust ​Distributed ​Machine Learning**: With the proliferation of big datasets and modelsMachine Learning is becoming distributedFollowing the standard parameter server model, the learning phase is taken by two categories ​of machinesparameter servers and workersAny of these machines could behave arbitrarily ​(i.e., said Byzantine) affecting the model convergence in the learning phaseOur goal in this project is to build a system that is robust against Byzantine behavior of both parameter server and workers. Our first prototypeAggregaThor(https://​www.sysml.cc/doc/2019/54.pdf), ​describes the first scalable robust Machine Learning frameworkIt fixed severe vulnerability ​in TensorFlow ​and it showed how to make TensorFlow even fasterwhile robustContact ​[[https://​people.epfl.ch/​arsany.guirguis|Arsany Guirguis]] for more information.
- +
-  * **Consistency in global-scale storage systems**: We offer several projects in the context ​of storage systems, ranging from implementation of social applications ​(similar to [[http://​retwis.redis.io/​|Retwis]]or [[https://​github.com/​share/​sharejs|ShareJS]]) ​to recommender systemsstatic content storage services ​(à la [[https://​www.usenix.org/legacy/event/osdi10/​tech/​full_papers/​Beaver.pdf|Facebook'​s Haystack]]), or experimenting with well-known cloud serving benchmarks (such as [[https://​github.com/​brianfrankcooper/​YCSB|YCSB]]);​ please contact [[http://​people.epfl.ch/​dragos-adrian.seredinschi|Adrian Seredinschi]] for further information. +
- +
-  * **Distributed database algorithms**: ​project here would consist ​in implementing ​and evaluating protocols that are running in today'​s database systemse.g., [[https://​en.wikipedia.org/​wiki/​Two-phase_commit_protocol|2PC]],​ and comparing them with those protocols that can  potentially be used in future database systems; please contact [[http://​people.epfl.ch/​jingjing.wang|Jingjing Wang]] to get more information.+
  
 +  * **Consistency in global-scale storage systems**: We offer several projects in the context of storage systems, ranging from implementation of social applications (similar to [[http://​retwis.redis.io/​|Retwis]],​ or [[https://​github.com/​share/​sharejs|ShareJS]]) to recommender systems, static content storage services (à la [[https://​www.usenix.org/​legacy/​event/​osdi10/​tech/​full_papers/​Beaver.pdf|Facebook'​s Haystack]]),​ or experimenting with well-known cloud serving benchmarks (such as [[https://​github.com/​brianfrankcooper/​YCSB|YCSB]]);​ please contact [[http://​people.epfl.ch/​dragos-adrian.seredinschi|Adi Seredinschi]] or [[https://​people.epfl.ch/​karolos.antoniadis|Karolos Antoniadis]] ​ for further information.
  
  
Line 50: Line 50:
  
 EPFL I&C duration, credits and workload information are available [[https://​www.epfl.ch/​schools/​ic/​education/​|here]]. Don't hesitate to contact the project supervisor if you want to complete your Semester Project outside the regular semester period. EPFL I&C duration, credits and workload information are available [[https://​www.epfl.ch/​schools/​ic/​education/​|here]]. Don't hesitate to contact the project supervisor if you want to complete your Semester Project outside the regular semester period.
 +
 +===== Collaborative Projects =====
 +
 +The lab is also collaborating with the industry and other labs at EPFL to offer interesting student projects motivated from real-world problems. With [[http://​lara.epfl.ch|LARA]] and [[interchain.io|Interchain Foundation]] we have several projects:
 +
 +  - **[[https://​dcl.epfl.ch/​site/​cryptocurrencies|AT2]]:​** Integration of an asynchronous (consensus-less) payment system in the Cosmos Hub.
 +  - **[[https://​github.com/​cosmos/​ics/​tree/​master/​ibc|Interblockchain Communication (IBC)]]:** Protocols description (and optional implementation) for enabling the inter-operation of independent blockchain applications.
 +  - **[[http://​stainless.epfl.ch|Stainless]]**:​ Implementation of Tendermint modules (consensus, mempool, fast sync) using Stainless and Scala.
 +  - **[[https://​github.com/​viperproject/​prusti-dev|Prusti]]:​** Implementation of Tendermint modules (consensus, mempool, fast sync) using Prusti and the Rust programming language.
 +  - **[[https://​tendermint.com/​docs/​spec/​reactors/​mempool/​functionality.html#​mempool-functionality|Mempool]]** performance analysis and algorithm improvement.
 +  - **Adversarial engineering:​** Experimental evaluation of Tendermint in adversarial settings (e.g., in the style of [[http://​jepsen.io/​analyses/​tendermint-0-10-2|Jepsen]]).
 +  - **Testing**:​ Generation of tests out of specifications (TLA+ or Stainless) for the consensus module of Tendermint.
 +  - **Facebook Libra comparative research**: Comparative analysis of consensus algorithms, specifically,​ between HotStuff (the consensus algorithm underlying [[https://​cryptorating.eu/​whitepapers/​Libra/​libra-consensus-state-machine-replication-in-the-libra-blockchain.pdf|Facebook'​s Libra]]) and Tendermint consensus.
 +
 +Contact [[adi@interchain.io|Adi Seredinschi]] (INR 327) if interested in learning more about these projects.