Dr.
Darya Melnyk
This page is no longer updated, please visit my current website.
Publications
-
The k-Server Problem with Delays on the Uniform Metric Space
Predrag Krnetic, Darya Melnyk, Yuyi Wang and Roger Wattenhofer.
31st International Symposium on Algorithms and Computation (ISAAC), Online, December 2020.
BibTeX -
Space Complexity of Streaming Algorithms on Universal Quantum Computers
Yanglin Hu, Darya Melnyk, Yuyi Wang and Roger Wattenhofer.
16th Annual Conference on Theory and Applications of Models of Computation (TAMC), Changsha, China, October 2020.
BibTeX -
Byzantine Agreement on Representative Input Values Over Public Channels
Darya Melnyk.
PhD Thesis, August 2020.
BibTeX -
The Append Memory Model: Why BlockDAGs Excel Blockchains
Darya Melnyk and Roger Wattenhofer.
32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Philadelphia, Pennsylvania, USA, July 2020.
External Slides (PDF) BibTeX -
Swimming Style Recognition and Lap Counting Using a Smartwatch
Gino Brunner, Darya Melnyk, Birkir Sigfusson and Roger Wattenhofer.
23rd International Symposium on Wearable Computers (ISWC), London, UK, September 2019.
Slides (PDF) BibTeX -
Byzantine Preferential Voting
Darya Melnyk, Yuyi Wang and Roger Wattenhofer.
14th Conference on Web and Internet Economics (WINE), Oxford, United Kingdom, December 2018.
Slides (PDF) BibTeX -
Improving Raft When There Are Failures
Christian Fluri, Darya Melnyk and Roger Wattenhofer.
8th Latin-American Symposium on Dependable Computing (LADC), Foz do Iguaçu, Brazil, October 2018.
Slides (PDF) BibTeX -
Byzantine Agreement with Interval Validity
Darya Melnyk and Roger Wattenhofer.
37th Annual IEEE International Symposium on Reliable Distributed Systems (SRDS), Salvador, Bahia, Brazil, October 2018.
Slides (PDF) BibTeX -
Byzantine Preferential Voting
Darya Melnyk, Yuyi Wang and Roger Wattenhofer.
3rd Highlights of Algorithms (HALG 2018), Amsterdam, Netherlands, June 2018.
Slides (PDF) BibTeX
Theses & Labs
Past Theses & Labs | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Title | Type | Contact/Supervisor | Assigned | Student(s) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Are You Human? | S | Tejaswi Nadahalli, Darya Melnyk | FS 20 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Byzantine Reinforcement Learning | M | Darya Melnyk, Oliver Richter | FS 20 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Online Matching [confidential] | B | Yuyi Wang, Darya Melnyk | FS 20 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Using ElectionGuard for Secure Remote Voting on Untrusted Devices | B | Darya Melnyk, Tejaswi Nadahalli | FS 20 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Secure E-Voting with ETHVote | M | Darya Melnyk, Tejaswi Nadahalli | FS 20 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Adding Ranked Voting to Artemis and Implementing a Registrar [confidential] | B | Darya Melnyk, Tejaswi Nadahalli | FS 20 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Artemis: Solving the Secure Platform Problem for the Helios E-Voting System [confidential] | B | Darya Melnyk, Tejaswi Nadahalli | FS 20 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
A Machine Learning Analysis of the Swiss Political Spectrum and Candidate Recommendation Process | G | Henri Devillez, Darya Melnyk | FS 20 | , , | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
SwitP: Mobile Application for Real-Time Swimming Analysis | S | Darya Melnyk, Simon Tanner | FS 20 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
A Debatable Way to Gain Participation in Voting | B | Darya Melnyk, Pál András Papp | FS 20 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Deep Reinforcement Learning Applied to Byzantine Agreement | S | Darya Melnyk, Oliver Richter | HS 19 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Two-Choice Consensus Dynamics with Rankings [confidential] | B | Darya Melnyk, Yuyi Wang | HS 19 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
The k-Server Problem with Delay [confidential] | B | Yuyi Wang, Darya Melnyk | FS 19 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Online Graph Coloring [confidential] | B | Darya Melnyk, Pál András Papp | FS 19 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Peer Grading and Byzantine Sorting [confidential] | B | Darya Melnyk, Jakub Sliwinski | FS 19 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Swimming Activity Recognition with Smartwatches and Deep Learning [confidential] | M | Gino Brunner, Darya Melnyk | FS 19 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
The k-Server Problem with Delay on the Uniform Metric [confidential] | B | Yuyi Wang, Darya Melnyk | HS 18 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Student Democracy with Blockchain | B | Darya Melnyk, Tejaswi Nadahalli | HS 18 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ETHVote - A Distributed E-Voting Application [confidential] | M | Darya Melnyk, Tejaswi Nadahalli | HS 18 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
E-Voting Under the Hood [confidential] | S | Darya Melnyk, Julian Steger | FS 18 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Generalized Metrics in Online Matching [confidential] | G | Yuyi Wang, Darya Melnyk | FS 18 | , | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
On the Advice Complexity for Min-cost Perfect Matching and the K-Server Problem with Delays [confidential] | G | Yuyi Wang, Darya Melnyk | FS 18 | , | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Lower Bounds on Local Distributed Deterministic Coloring Algorithms [confidential] | S | Darya Melnyk, Pál András Papp | FS 18 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Randomized Algorithms for Online Matching with Delay for Two Sources [confidential] | M | Yuyi Wang, Darya Melnyk | FS 18 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Swimming Style Recognition and Lane Counting Using a Smartwatch [confidential] | M | Darya Melnyk, Gino Brunner | FS 18 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
On the Benefits of Making your Clients Wait [confidential] | B | Yuyi Wang, Darya Melnyk | HS 17 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Improving RAFT | S | Darya Melnyk, Georg Bachmeier | FS 17 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
The Recommendation Problem | M | Darya Melnyk, Thomas Ulrich | HS 16 |