2020 MSC Theses

• MSC-2020-01 Thomas Dagès (Michael Lindenbaum, Alfred M. Bruckstein): Seeing Things in Random-Dot Videos
• MSC-2020-02 Uzi Smadja (Mor Naaman, Shaul Markovitch): Text Readability and its Relationship with Backtracking Actions
• MSC-2020-03 Shunit Agmon (Assaf Schuster): Preventing Collusion in Cloud Computing Auctions
• MSC-2020-04 Uri Shomroni (Avi Mendelson): Performance Prediction of Programs on Heterogeneous and Massively-Parallel Architectures
• MSC-2020-05 Rojeh Hayek (Oded Shmueli): Machine Learning of SQL Queries Containment Rate and Result Cardinality
• MSC-2020-06 Yoav Zuriel (Erez Petrank and Nachshon Cohen): Efficient Lock-Free Durable Sets
• MSC-2020-07 Rachel Nirit Berman (Ronny Roth): On the Number of Factorizations of Polynomials with Application to Rank-Metric Codes
• MSC-2020-08 Muhammad Tibi (Benny Kimelfeld): Query Evaluation in Election Databases
• MSC-2020-09 Gal Novich (Roy Kishony, Zohar Yakhini): Tree-Test: an association test for observations on a directed tree Gal
• MSC-2020-10 Dov Bridger (Ayellet Tal): Solving Square Jigsaw Puzzles with Eroded Boundaries using GAN Inpainting
• MSC-2020-11 Yair Feldman (Ran El-Yaniv): Multi-Hop Paragraph Retrieval for Open-Domain Question Answering
• MSC-2020-12 Matan Peled (Yossi Gil, David H. Lorenz): Thapl—A Theatrical Programming Language
• MSC-2020-13 Yair Reani (Mirela Ben-Chen): Functional Tracing of Discrete Vector Fields
• MSC-2020-14 Yair Reani (Mirela Ben-Chen): Functional Tracing of Discrete Vector Fields
• MSC-2020-15 Nadav Bhonker (Ran El-Yaniv): Neural Models for Personalized Jazz Improvisations
• MSC-2020-16 Yehonatan Rubin (Danny Raz): Quantifying the Impact of Latency on High Frequency Trading
• MSC-2020-17 Gary Mataev (Michael Elad): Deep Image Prior Powered by RED
• MSC-2020-18 Sanketh Vedula (Prof. Alex Bronstein, Dr. Michael Zibulevsky): Learning-based design of ultrasound imaging systems
• MSC-2020-19 Yinon Horesh (Eli Ben-Sasson, Yuval Ishai): Arithmetization for Probabilistically Checkable and Interactive Oracle Proofs
• MSC-2020-20 Shai Zeevi (Benny Kimelfeld): Answering (Unions of) Join Queries using Random Access and Random-Order Enumeration
• MSC-2020-21(*) Yuval Efron (Keren Censor-Hillel): New Advances in Distributed Optimization and Distance Computation
• MSC-2020-22 Yonatan Elul (Alexander Bronstein, Yael Yaniv, Assaf Schuster): Applied Artificial Intelligence for Medicine - A Deep Learning Framework for Diagnosis of Cardiac Arrhythmia
• MSC-2020-23 תומר גלבר (שחר יצחקי): Worst Casr Resour e Qnalysis in Program Synthesis
• MSC-2020-24 Roi Gabay (Shachar Itzhaky): Synthesis with Granular Interactive Model
• MSC-2020-25 Omer Sabary (Eitan Yaakobi): Reconstruction Algorithms for DNA-based Storage Systems
• MSC-2020-26 Roman Rabinovich (Ron Kimmel): Coded Beacons for Localization, Object Tracking and SLAM Augmentation
• MSC-2020-27 Lior Neumann (Eli Biham): Security Analysis of the Bluetooth Pairing Protocol
• MSC-2020-28 Saar Raz (Prof. Mirela Ben-Chen): Real-Time Simulation of Viscous Thin-Films
• MSC-2020-29 Yuval Ron (Eli Biham, Amichai Shulman): On the Security of Voice Assistants on Lock Screens
• MSC-2020-30 Sean Hadar (Shachar Itzhaky): Incremental Computation of Spreadsheet Formulas
• MSC-2020-31 Ran Yeheskel (Roy Schwartz): Graph Balancing with Orientation Costs
• MSC-2020-32 Aviv Nachman (Gala Yadgar): Managing Capacity in Deduplicated Storage Systems