# CS Department Events and Talks

• ## Data Science & Deep Learning: Optimal Euclidean Metric Compression in High Dimensions

In the metric compression problem, we are given n points in a metric space, and the goal is to construct a compact representation (sketch)of ...

Speaker:
Tal Wagner (MIT)
Date:
Monday, 30.12.2019, 12:30
Place:
Taub 301 Taub Bld.
• ## Fling – A Fluent API Generator

We present the first general and practical solution of the fluent API problem – an algorithm, that given a deterministic language (equivalently, LR(k), k≥0 ...

Speaker:
Ori Roth
Date:
Wednesday, 25.12.2019, 14:30
Place:
Room 601 Taub Bld.
• ## ceClub: Leveraging Programmable Switches for In-network Computing

Leveraging Programmable Switches for In-network Computing The network line rate is constantly on the rise to support the exploding amounts of data. This means ...

Speaker:
Ran Ben-Basat (Harvard University)
Date:
Tuesday, 24.12.2019, 14:30
Place:
Electrical Eng. Building 861
• ## Hardware Security Seminar: When it leaks, it Pours: On the (Sad) State of Today’s Hardware Security

The security and architecture communities will remember 2018 as the year of side channels. Starting from Spectre and Meltdown, time and again we have ...

Speaker:
Daniel Genkin (University of Michigan)
Date:
Tuesday, 24.12.2019, 12:30
Place:
Room 601 Taub Bld.
• ## Breaking and Fixing Real World Crypto

In recent years, new forms of communication between people and devices have revolutionized our daily lives. The Internet has become the leading platform for ...

Speaker:
Eyal Ronen - CS-Lecture
Date:
Tuesday, 24.12.2019, 10:30
Place:
Room 337 Taub Bld.
• ## Theory Seminar: An Adaptive Step Toward the Multiphase Conjecture

In 2010, Patrascu proposed the Multiphase problem, as a candidate for proving polynomial lower bounds on the operational time of dynamic data structures. Patrascu ...

Speaker:
Omri Weinstein (Columbia University)
Date:
Monday, 23.12.2019, 12:30
Place:
Taub 301 Taub Bld.
• ## Behavioral Machine Learning

Learning systems have become ever more pervasive in our lives. By controlling the flow of information, they play an increasingly significant role in shaping ...

Speaker:
Nir Rosenfeld - CS-Lecture
Date:
Sunday, 22.12.2019, 10:30
Place:
Room 337 Taub Bld.
• ## Theory Seminar: Relative Error Streaming Quantiles

Approximating ranks, quantiles, and distributions over streaming data is a central task in data analysis and monitoring. Given a stream of n items from ...

Speaker:
Zohar Karnin (Amazon)
Date:
Thursday, 19.12.2019, 12:30
Place:
Room 601 Taub Bld.
• ## Theory Seminar: Nearly Optimal Pseudorandomness From Hardness

Existing proofs that deduce P=BPP from circuit lower bounds convert randomized algorithms to deterministic ones with a large polynomial slowdown in running time. In ...

Speaker:
Dean Doron (Stanford University)
Date:
Wednesday, 18.12.2019, 12:30
Place:
Taub 201 Taub Bld.
• ## ceClub: Breaking (and Fixing) Real World Crypto

In recent years, new forms of communication between people and devices have revolutionized our daily lives. The Internet has become the leading platform for ...

Speaker:
Eyal Ronen (Tel-Aviv University)
Date:
Wednesday, 18.12.2019, 11:30
Place:
Electrical Eng. Building 861
• ## Cryptographic Computations need Compilers

There is a recent surge of interest in performing computations on encrypted data. Techniques such as secure multi-party computations and fully-homomorphic encryption enable rich ...

Speaker:
Madan Musuvathi - COLLOQUIUM LECTURE
Date:
Tuesday, 17.12.2019, 14:30
Place:
Room 337 Taub Bld.
• ## Mitigating Gradient Staleness in Asynchronous Environments

Although distributed computing can significantly reduce the training time of deep neural networks, scaling the training process while maintaining high efficiency and final accuracy ...

Speaker:
Saar Barkai (EE, Technion)
Date:
Monday, 16.12.2019, 13:30
Place:
Electrical Eng. Building 701
• ## Data Science & Deep Learning: Meta-Learning by Adjusting Priors Based on Extended PAC-Bayes Theory

Efficient learning requires prior knowledge (inductivebias). The algorithm designer can manually insert a prior based on hisintuition, but ideally, we would like to automatically ...

Speaker:
Ron Amit (EE, Technion)
Date:
Monday, 16.12.2019, 12:30
Place:
Taub 301 Taub Bld.
• ## Quantifying the Impact of Latency on High Frequency Trading

Establishing a low network latency connection to stock exchanges has been the desire of trader for years. A well-known example is the extremely expensive ...

Speaker:
Yehonatan Rubin
Date:
Sunday, 15.12.2019, 15:00
Place:
Room 601 Taub Bld.
• ## Coding Theory: What Is The Value Of Data? On Mathematical Methods for Data Quality Estimation

Data is one of the most important assets of the information age, and its societal impact is undisputed. Yet, rigorous methods of assessing the ...

Speaker:
Netanel Raviv (California Institute of Technology)
Date:
Sunday, 15.12.2019, 14:30
Place:
Room 601 Taub Bld.
• ## Theory Seminar: Lovasz Meets Weisfeiler and Leman

I will speak about an unexpected correspondence between a beautiful theory, due to Lovasz, about homomorphisms and graph limits and a popular heuristic for ...

Speaker:
Martin Grohe (RWTH Aachen University)
Date:
Wednesday, 11.12.2019, 12:30
Place:
Taub 201 Taub Bld.
• ## MPC Beyond the Generic Model - Private Intersection Analytics

Effective data analysis often depends on data that is known to different sources, including private data whose owners cannot disclose. The task at hand ...

Speaker:
Benny Pinkas - COLLOQUIUM LECTURE
Date:
Tuesday, 10.12.2019, 14:30
Place:
Room 337 Taub Bld.
• ## Data Science & Deep Learning: Some New Approaches to The heavy Hitters Problem

In the 'frequent items' problem one sees a sequence of items in a stream (e.g. a stream of words coming into a search query ...

Speaker:
Jelani Nelson (UC Berkeley)
Date:
Monday, 9.12.2019, 12:30
Place:
Taub 301 Taub Bld.
• ## Theory Seminar: Faster k-SAT Algorithms using biased-PPSZ

The PPSZ algorithm, due to Paturi, Pudlak, Saks and Zane, is currently the fastest known algorithm for the k-SAT problem, for every k>3. For ...

Speaker:
Or Zamir (Tel-Aviv University)
Date:
Wednesday, 4.12.2019, 12:30
Place:
Taub 201 Taub Bld.
• ## Degree-Bounded Polymatroids, with Applications to the Many-Visits TSP

In the Bounded Degree Matroid Basis Problem, we are given a matroid and a hypergraph on the same ground set, together with costs for ...

Speaker:
Matthias Mnich - COLLOQUIUM LECTURE
Date:
Tuesday, 3.12.2019, 14:30
Place:
Room 337 Taub Bld.
• ## Pixel Club: What's in a Face? Metric Learning for Face Characterization

We present a method for determining which facial parts (mouth, nose, etc.) best characterize an individual, given a set of that individual's portraits. We ...

Speaker:
Omry Sendik (Tel-Aviv University)
Date:
Tuesday, 3.12.2019, 10:00
Place:
Electrical Eng. Building 1061
• ## Data Science & Deep Learning: Performance of Johnson-Lindenstrauss Transform for k-Means and k-Medians Clustering

Consider an instance of Euclidean k-means or k-medians clustering. We show that the cost of the optimal solution is preserved up to a factor ...

Speaker:
Konstantin Makarychev (Northwestern University)
Date:
Monday, 2.12.2019, 12:30
Place:
Taub 301 Taub Bld.
• ## Theory Seminar: Local Proofs Approaching the Witness Length

Interactive oracle proofs are a hybrid between interactive proofsand probabilistically-checkable proofs, where the prover is allowed to interactwith a verifier by sending relatively long ...

Speaker:
Noga Ron-Zewi (Haifa University)
Date:
Wednesday, 27.11.2019, 12:30
Place:
Taub 201 Taub Bld.
• ## ceClub: Preventing (Network) Time Travel with Chronos

The Network Time Protocol (NTP) synchronizes time across computer systems over the Internet. Unfortunately, NTP is highly vulnerable to “time shifting attacks”, in which ...

Speaker:
Neta Rozen-Schiff (The Hebrew University of Jerusalem)
Date:
Wednesday, 27.11.2019, 11:30
Place:
Electrical Eng. Building 861
• ## Pixel Club: Tools for Visual Expression and Communication

Photos and videos are now a main mode of communication, used to tell stories, share experiences and convey ideas. However, common media editing tools ...

Speaker:
Ohad Fried (Stanford University)
Date:
Tuesday, 26.11.2019, 11:30
Place:
Electrical Eng. Building 1061
• ## Theory Seminar: Scheduling Algorithms in the SINR Model for Wireless Networks

SINR (aka physical model) is a model of wireless communication that has been studied from algorithmic perspective in the last decade, and is considered ...

Speaker:
Tigran Tonoyan (CS. Technion)
Date:
Wednesday, 20.11.2019, 12:30
Place:
Taub 201 Taub Bld.

SpaceIL made history when Beresheet, the first privately funded spacecraft, have reached the Moon with a minute budget of 100M$. After eight years of ... Speaker: Noam Leiter (AE. Technion) Date: Wednesday, 20.11.2019, 11:30 Place: Electrical Eng. Building 861 • ## Data Science & Deep Learning: Discrepancy, Coresets, and Sketches in Machine Learning This paper defines the notion of class discrepancy for families of functions. It shows that low discrepancy classes admit small offline and streaming coresets. ... Speaker: Edo Liberty Date: Monday, 18.11.2019, 12:30 Place: Taub 301 Taub Bld. • ## Machine Learning of SQL Queries Containment Rate and Result Cardinality Traditional query optimizer is crucially dependent on cardinality estimation, which enables choosing among different plan alternatives by using the cardinality estimation of intermediate results ... Speaker: Rojeh Hayek Date: Sunday, 17.11.2019, 15:30 Place: Room 601 Taub Bld. • ## Overlapping Correlation Clustering in Theory The overlapping correlation clustering problem has multiple real-world applications in diverse areas such as: social networks (community detection), biology (protein analysis) and information retrieval ... Speaker: Ayelet Kravi Date: Thursday, 14.11.2019, 11:00 Place: Room 601 Taub Bld. • ## Theory Seminar: Query-to-Communication Lifting Using Low-Discrepancy Gadgets Lifting theorems are theorems that relate the query complexity of a function$f : \{0, 1\}^{n} \rightarrow \{0, 1\}to the communication complexity of ... Speaker: Or Meir (Haifa University) Date: Wednesday, 13.11.2019, 12:30 Place: Taub 201 Taub Bld. • ## Is there Logic in Software Engineering? When this logician moved to theoretical computer science, this did not seem such a big deal to him. The transition was seamless. The transition ... Speaker: Yuri Gurevich - COLLOQUIUM LECTURE Date: Tuesday, 12.11.2019, 14:30 Place: Room 337 Taub Bld. • ## Data Science & Deep Learning: Direct Optimization through arg max for Discrete Variational Auto-Encoder Reparameterization of variational auto-encoders with continuous random variables is an effective method for reducing the variance of their gradient estimates. Our work optimizes the ... Speaker: Tamir Hazan (IE, Technion) Date: Monday, 11.11.2019, 12:30 Place: Taub 301 Taub Bld. • ## Using Neural Networks to Create Personalized Jazz Improvisations Learning to generate music is an ongoing AI challenge. A more difficult challenge is the generation of musical pieces that match human-specific preferences. In ... Speaker: Nadav Bhonker Date: Sunday, 10.11.2019, 13:30 Place: Multidisciplinary Learning Student Center, CS Taub • ## Theory Seminar: The Adversarial Robustness of Sampling Suppose we receive a stream of data, sampling each arriving data element with some predetermined probability. It is well known that if the elements ... Speaker: Omri Ben Eliezer (Tel-Aviv University) Date: Wednesday, 6.11.2019, 12:30 Place: Taub 201 Taub Bld. • ## Training Neural Networks: The Bigger the Better? Artificial neural networks are nowadays routinely trained to solve challenging learning tasks, but our theoretical understanding of this phenomenon remains quite limited. One increasingly ... Speaker: Ohad Shamir - COLLOQUIUM LECTURE Date: Tuesday, 5.11.2019, 14:30 Place: Room 337 Taub Bld. • ## Data Science & Deep Learning: Algorithmic Bias in Neural Networks: From Parameters to Function Space In many common datasets, neural networks can achieve zero training loss yet generalize well to unseen data. Recent works suggest that this because standard ... Speaker: Daniel Soudry (EE, Technion) Date: Monday, 4.11.2019, 12:30 Place: Taub 301 Taub Bld. • ## A Calculus for Brain Computation How does the brain beget the mind? How do molecules, cells and synapses effect reasoning, intelligence, language, science? Despite dazzling progress in experimental neuroscience ... Speaker: Prof. Christos Papadimitriou, Special Guest Talk, Harvey Prize Winner Date: Monday, 4.11.2019, 11:00 Place: Room Auditorium 2 Taub Bld. • ## CSpecial Talk: Barrier-enabled IO stack for Flash Storage This work is dedicated to eliminating the overhead required for guaranteeing the storage order in the modern IO stack. The existing block device adopts ... Speaker: Youjip Won (School of Electrical Engineering, KAIST) Date: Thursday, 31.10.2019, 11:30 Place: Room 601 Taub Bld. • ## Theory Seminar: Anti-concentration in Most Directions The talk is about anti-concentration of the inner product of two independent random vectors in Euclidean space. We shall discuss a proof, and some ... Speaker: Amir Yehudayoff (Technion) Date: Wednesday, 30.10.2019, 12:30 Place: Taub 201 Taub Bld. • ## CS Jubilee Event Technion CS celebrates jubilee and invites you to CS City - a festival of science and technology for the whole family which will be ... Date: Tuesday, 29.10.2019, 16:30 Place: CS Taub Building, Technion • ## Query Evaluation in Election Databases Election databases are the main elements of a recently introduced framework that aims to create bridges between the computational social choice and the data ... Speaker: Muhammad Tibi Date: Wednesday, 23.10.2019, 15:00 Place: Room 601 Taub Bld. • ## The Complexity of Database Inconsistency Measures Managing data inconsistency has been one of the major challenges in the research and practice of database management. Database inconsistency arises for different reasons ... Speaker: Ester Livshits Date: Wednesday, 23.10.2019, 13:30 Place: Room 601 Taub Bld. • ## Theory Seminar: Explicit Binary Tree Codes with Polylogarithmic Size Alphabet A tree code is a combinatorial object introduced by Schulman in the early 90s as a key ingredient in interactive coding. Schulman proved the ... Speaker: Gil Cohen Date: Wednesday, 23.10.2019, 12:30 Place: Taub 201 Taub Bld. • ## DeepRED: Deep Image Prior Powered by RED Inverse problems in imaging are extensively studied, with a variety of strategies, tools, and theory that have been accumulated over the years. Recently, this ... Speaker: Gary Mataev Date: Monday, 16.9.2019, 11:30 Place: Taub 401 Taub Bld. • ## Cross-Cultural Transfer Learning for Text Classification Large training datasets are required to achieve competitive performance in most natural language tasks. The acquisition process for these datasets is labor intensive, expensive, ... Speaker: Dor Ringel Date: Sunday, 15.9.2019, 10:30 Place: Room 601 Taub Bld. • ## Generating Personalized Product Descriptions from User Reviews Product descriptions play an important role in the e-commerce ecosystem, conveying information to buyers about merchandise they may purchase. Yet, on leading e-commerce websites, ... Speaker: Guy Elad Date: Thursday, 12.9.2019, 16:00 Place: Room 601 Taub Bld. • ## Online Linear Models for Edge Computing Maintaining an accurate trained model on an infinite data stream is challenging due to concept drifts that render a learned model inaccurate. Updating the ... Speaker: Hadar Sivan Date: Wednesday, 11.9.2019, 11:30 Place: Room 601 Taub Bld. • ## The 9th Annual International TCE Conference on Autonomous Systems On Wednesday, September 11, TCE center will host this year the 9th annual Henry Taub International Conference on Autonomous Systems and will focus on ... Date: Wednesday, 11.9.2019, 09:00 Place: CS Taub Build. Auditorium 1 • ## Efficient Lock-Free Durable Sets Non-volatile memory is expected to co-exist or replace DRAM in upcoming architectures. Durable concurrent data structures for non-volatile memories are essential building blocks for ... Speaker: Yoav Zuriel Date: Sunday, 8.9.2019, 14:30 Place: Room 701 Taub Bld. • ## Theory Seminar: Transparent Polynomial Commitments and SNARKs We construct a new interactive polynomial commitment scheme using groups of unknown order. The interactive evaluation argument is public-coin and has logarithmic communication in ... Speaker: Ben Fisch (Stanford University) Date: Sunday, 8.9.2019, 12:30 Place: Taub 201 Taub Bld. • ## Tree-Test: an association test for observations on a directed tree In the field of population genetics, it is known that collected observations are not independent, as they all share a common ancestor. Current state-of-the-art ... Speaker: Gal Novich Date: Thursday, 5.9.2019, 10:00 Place: Room 601 Taub Bld. • ## Thapl - A Theaterical Programming Language The purpose of this research is to explore an innovative approach to the declarative and imperative paradigms of programming languages. To demonstrate this approach, ... Speaker: Matan Peled Date: Tuesday, 3.9.2019, 12:30 Place: Room 601 Taub Bld. • ## Performance Prediction of Programs on Heterogeneous and Massively Parallel Architectures Massively parallel, throughput-oriented processors are becoming increasingly common. Maximizing the benefit of these processors requires algorithms to be implemented differently than the sequential algorithms ... Speaker: Uri Shomroni Date: Thursday, 29.8.2019, 16:30 Place: Room 601 Taub Bld. • ## Distributed Clique Detection in Dynamic Networks Real-world networks are dynamic in nature -- nodes may join or leave the network at any time, and communication links may appear or disappear ... Speaker: Matthias Bonne Date: Wednesday, 21.8.2019, 11:30 Place: Room 601 Taub Bld. • ## BQ: A Lock-Free Queue with Batching Concurrent data structures provide fundamental building blocks for concurrent programming. Standard concurrent data structures may be extended by allowing a sequence of operations to ... Speaker: Gal Milman Date: Thursday, 15.8.2019, 11:00 Place: Room 601 Taub Bld. • ## Learning for Numerical Geometry Numerical geometry comprises of principled computational methods that utilize theoretical insights from geometry along with the engineering concepts from numerical methods, for tackling various ... Speaker: Gautam Pai Date: Wednesday, 14.8.2019, 11:00 Place: Taub 401 Taub Bld. • ## Solving Jigsaw Puzzles with Eroded Boundaries Using GAN Inpainting Jigsaw puzzle solving is an intriguing problem, having a wide variety of applications in archaeology, biology, document restoration and others. This paper focuses on ... Speaker: Dov Bridger Date: Tuesday, 13.8.2019, 14:00 Place: Room 601 Taub Bld. • ## Market Driven Multi-Resource Allocation Suboptimal resource utilization among public and private cloud providers prevents them from maximizing their economic potential. Long-term allocated resources are often idle when they ... Speaker: Liran Funaro Date: Monday, 12.8.2019, 16:00 Place: Room 301 Taub Bld. • ## Pixel Club: The Information in the Weights of a Deep Network The information in the weights of deep networks plays a key role in understanding their behavior. When used as a regularizer during training (either ... Speaker: Stefano Soatto (UCLA) Date: Monday, 12.8.2019, 14:30 Place: Electrical Eng. Building 815 • ## Program Synthesis for Programmers Recent years have seen great progress in automated synthesis techniques that can automatically generate code based on some intent expressed by the user, but ... Speaker: Hila Peleg Date: Tuesday, 6.8.2019, 14:30 Place: Room 601 Taub Bld. • ## On the Generalization of Gaussian Dropout using PAC-Bayesian bounds and Log-Sobolev Inequalities The omnipresence of increasingly large deep networks derives primarily from their empirical successes. Indeed, empirical evidence places a strong emphasis on operating at scale, ... Speaker: Yaniv Nemcovsky Date: Monday, 29.7.2019, 10:00 Place: Room 601 Taub Bld. • ## A Learning Approach to Geometric Matrix Completion Different methods where presented through the years to find good solutions for the Matrix Completion Problem. This problem appears in many tasks in life ... Speaker: Maria Schmidt Date: Monday, 22.7.2019, 10:00 Place: Room 601 Taub Bld. • ## Enumeration for MSO Queries on Trees via Circuits This talk will present our approach for enumerating the results of queries in monadic second-order (MSO) on trees. Our goal is to first preprocess ... Speaker: Prof. Antoine Amarilli - SPECIAL GUEST LECTURE Date: Sunday, 14.7.2019, 11:00 Place: Room 301 Taub Bld. • ## ceClub: Preserving Locality across Virtual and Physical Address Spaces to Accelerate Address Translation Applications' memory consumption is growing rapidly, which increases their dependence on the memory system. Since each virtual-to-physical memory translation in modern systems requires cache ... Speaker: Lilia Daniel (EE, Technion) Date: Wednesday, 10.7.2019, 11:30 Place: Electrical Eng. Building 861 • ## Probably Strongly Believed Whereas deterministic protocols are typically guaranteed to obtain particular goals of interest, probabilistic protocols typically provide only probabilistic guarantees. In this talk we initiate ... Speaker: Nitzan Zamir Date: Sunday, 7.7.2019, 11:30 Place: Room 601 Taub Bld. • ## On the Number of Factorizations of Polynomials with Application to List-Decoding of Rank-Metric Codes Rank-metric codes (RMCs) over finite fields were introduced some 40 years ago by Delsarte, Gabidulin and Roth. Interest in RMCs was revived in recent ... Speaker: Rachel Nirit Berman Date: Thursday, 4.7.2019, 14:30 Place: Taub 601 • ## CGGC Seminar: Linearly Converging Quasi Branch and Bound Algorithms for Global Rigid Registration Rigid registration is the problem of finding the optimal rigid motion and correspondence between two shapes, so that they are as similar as possible ... Speaker: Nadav Dym (Duke University) Date: Wednesday, 3.7.2019, 11:30 Place: Taub 401 Taub Bld. • ## Coding Theory: Syndrome Decoding of Reed-Muller Codes and Tensor Decomposition over Finite Fields In this talk, we will look at decoding Reed-Muller codes beyond their minimum distance when the errors are random (i.e., in the binary symmetric ... Speaker: Aditya Potukuchi (Rutgers University) Date: Sunday, 30.6.2019, 14:30 Place: Room 601 Taub Bld. • ## CGGC Seminar: Automatic Non-Isometric Shape Correspondence using a Genetic Algorithm Shape correspondence is a fundamental task in shape analysis. Given two shapes, the goal is to compute a semantic correspondence between points on them. ... Speaker: Michal Edelstein (CS, Technion) Date: Sunday, 30.6.2019, 10:30 Place: Room 337 Taub Bld. • ## ceClub: Accelerating Software Defined Networking in Microsoft Azure Modern cloud architectures rely on each server running a software-defined networking stack to implement policy and virtualization. However, these networking stacks are becoming increasingly ... Speaker: Daniel Firestone (Azure Host Networking) Date: Thursday, 27.6.2019, 13:30 Place: Electrical Eng. Building 861 • ## Theory Seminar: On the Role of Randomness in Local Distributed Graph Algorithm It is widely known that in the well-studied \LOCAL model of distributed computing, introduced by Linial [FOCS '87], many of the classic distributed graph ... Speaker: Yannic Maus, (CS, Technion) Date: Wednesday, 26.6.2019, 12:30 Place: Taub 201 Taub Bld. • ## Pixel Club: Momen(e)t : Flavor the Moments in Learning to Classify Shapes A fundamental question in learning to classify 3D shapes is how to treat the data in a way that would allow us to construct ... Speaker: Mor Joseph-Rivlin (CS, Technion) Date: Wednesday, 26.6.2019, 11:00 Place: Taub 401 Taub Bld. • ## Today! Project Fair in IoT, Software, Android Apps, AI, Cyber, Computer Security, and Networks CS Labs: Systems and Software Development Laboratory (SSDL), Cyber and Computer Security Laboratory (CYBER), The Laboratory for Computer Communication and Networking (LCCN) invite ... Date: Tuesday, 25.6.2019, 12:30 Place: CS Taub Lobby • ## TODAY! CS RESEARCH DAY 2019 The 9th CS Research Day for graduate studies will be held on Monday, June 24, 2019 between 15:00-17:00, at the lobby of the CS ... Date: Monday, 24.6.2019, 15:00 Place: CS Taub Lobby • ## ceClub: Networks that Never Drop Packets Datacenter congestion control remains to be a hard problem. The root of the problem is that the ability of end-hosts to react to congestion ... Speaker: Rachit Agarwal (Cornell University) Date: Monday, 24.6.2019, 14:30 Place: Electrical Eng. Building 861 • ## Coding Theory: Clustering-Correcting Codes In this talk, a new family of codes called clustering-correcting codes is presented. This family of codes is motivated by the special structure of ... Speaker: Tal Shinkar (CS, Technion) Date: Sunday, 23.6.2019, 14:30 Place: Room 601 Taub Bld. • ## CGGC Seminar: Viscous Thin Films in Real Time I'll discuss our novel discrete scheme for simulating viscous thin films in 2D at real-time frame rates. Our scheme is based on a new ... Speaker: Saar Raz (CS, Technion) Date: Sunday, 23.6.2019, 13:30 Place: Room 337 Taub Bld. • ## Pixel Club: Geometric Feature Descriptors based on Partial Differential Equations Abstract: One of the main tasks in three-dimensional shape analysis is to retrieve similarities between two or more non-rigid objects in terms of point-to-point ... Speaker: Robert Dachsel (Brandenburg University of Technology) Date: Thursday, 20.6.2019, 13:30 Place: Room 337 Taub Bld. • ## Theory Seminar: Planar Diameter via Metric Compression We develop a new approach for distributed distance computation in planar graphs that is based on a variant of the metric compression problem recently ... Speaker: Merav Parter (Weizmann Institute of Science) Date: Wednesday, 19.6.2019, 12:30 Place: Taub 201 Taub Bld. • ## Multiscale Models for Image Classification and Physics with Deep Networks Approximating high-dimensional functionals with low-dimensional models is a central issue of machine learning, image processing, physics and mathematics. Deep convolutional networks are able to ... Speaker: Prof. Stéphane Mallat - SPECIAL GUEST LECTURE Date: Tuesday, 18.6.2019, 14:30 Place: Room 337 Taub Bld. • ## AI as an Accelerator to Great Scientific Research The new and highly effective techniques frequently associated with Artificial Intelligence, including machine learning, pattern recognition, natural language processing, robotics, image analysis, and nonlinear ... Speaker: Stuart Feldman- SPECIAL GUEST LECTURE Date: Sunday, 16.6.2019, 14:30 Place: Room 337 Taub Bld. • ## Coding Theory: Zero-error Communication over a Two-Way Channel In this talk, we consider the problem of communicating over a discrete memoryless two-way channel using non-adaptive schemes, under a zero probability of error ... Speaker: Yujie Gu (Tel-Aviv University) Date: Sunday, 16.6.2019, 14:30 Place: Room 601 Taub Bld. • ## Special Distinguished Lecture: Putting Ethical AI to the Vote I will present the 'virtual democracy' framework for the design of ethical AI. In a nutshell, the framework consists of three steps: first, collect ... Speaker: Ariel Procaccia (CMU) Date: Sunday, 16.6.2019, 11:30 Place: Bloomfield 527 • ## Mitigating One-Sided Biases in Natural Language Understanding Datasets Many natural language understanding (NLU) tasks consist of identifying the relationship between two objects, such as a paragraph and a question (reading comprehension), an ... Speaker: Yonatan Belinkov - CS-Lecture Date: Sunday, 16.6.2019, 10:30 Place: Room 601 Taub Bld. • ## Preventing Collusion in Cloud Computing Auctions In recent years, cloud providers have been moving towards offering their clients separate cloud resources for short periods of time instead of offering bundles ... Speaker: Shunit Agmon Date: Thursday, 13.6.2019, 14:30 Place: Taub 601 • ## CGGC Seminar: Generative Design & Engineering Recent advances in manufacturing techniques have greatly expanded the types and complexity of shapes that can be produced. At the same time, advances in ... Speaker: Suraj Musuvathy (Siemens Corporation Corporate Technology) Date: Thursday, 13.6.2019, 11:00 Place: Taub 401 • ## Workshop: SeeByondReality You are invited to a workshop on Image Processing, Computer Vision, Computer Graphics and Virtual Reality which will be held on Thursday, June 13, ... Date: Thursday, 13.6.2019, 09:00 Place: Room 337 Taub Bld. • ## Theory Seminar: On Symmetry and Initialization for Neural Network This work provides an additional step in the theoretical understanding of neural networks. We consider neural networks with one hidden layer and show that ... Speaker: Ido Nahum (Mathematics, Technion) Date: Wednesday, 12.6.2019, 12:30 Place: Taub 201 Taub Bld. • ## ceClub: Full-System Computer Architecture Using Open-Source Hardware and FPGA-Accelerated Simulation In this talk, I will describe several research projects developed in the Berkeley Architecture Research group which utilize FPGA-accelerated simulation and open-source hardware, demonstrating ... Speaker: Alon Amid (University of Berkeley) Date: Wednesday, 12.6.2019, 11:30 Place: Electrical Eng. Building 861 • ## CSpecial Talk: Circumventing Lower Bounds in Machine Learning using An Oracle Model: Applications to Boosting, Online And Private Learning The last decade saw a tremendous empirical success of machine learning algorithms, which often can not be explained theoretically using a worst-case analysis. Therefore, ... Speaker: Alon Gonen (Princeton University ) Date: Tuesday, 11.6.2019, 15:30 Place: Taub 601 • ## SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from a given declarative, temporal specification. Examples of these systems include the ... Speaker: Shahar Maoz - COLLOQUIUM LECTURE Date: Tuesday, 11.6.2019, 14:30 Place: Room 337 Taub Bld. • ## Pixel Club: A Monte Carlo Framework for Rendering Speckle Statistics in Scattering Media We present a Monte Carlo rendering framework for the physically-accurate simulation of speckle patterns arising from volumetric scattering of coherent waves. These noise-like patterns ... Speaker: Chen Bar & Marina Alterman (EE, Technion) Date: Monday, 10.6.2019, 14:30 Place: Electrical Eng. Building 1061 • ## CGGC Seminar: Volumetric Untrimming: Precise Decomposition of Trimmed Trivariates into Tensor Products 3D objects, modeled using Computer Aided Geometric Design (CAGD) tools, are traditionally represented using a boundary representation (B-rep), and typically use spline functions to ... Speaker: Fady Massarwi (CS, Technion) Date: Monday, 10.6.2019, 14:00 Place: Room 337 Taub Bld. • ## TOY: A Total ordering Optimistic sYstem for Permissioned Blockchains Blockchains are distributed secure ledgers to which transactions are issued continuously and each block of transactions is tightly coupled to its predecessors. Permissioned blockchains ... Speaker: Yehonatan Buchnik Date: Thursday, 6.6.2019, 12:30 Place: Taub 601 • ## CSpecial Talk: Exploring New Frontiers in Container Technology Containers (or Operating System based Virtualization) are an old technology; however, the current excitement (and consequent investment) around containers provides interesting avenues for research ... Speaker: James Bottomley (IBM Research) Date: Thursday, 6.6.2019, 11:30 Place: Room 337 Taub Bld. • ## Theory Seminar: Network Coding Gaps for Completion Time of Multiple Unicasts Arguably the most common network communication problem is multiple-unicasts: Distinct packets at different nodes in a network need to be delivered to a destination ... Speaker: David Wajc (CMU) Date: Wednesday, 5.6.2019, 12:30 Place: Taub 201 • ## CSpecial Tutorial: Understanding the Bitcoin Protocol. Seriously. (two-hour tutorial) In the last six years, Bitcoin has obtained a good deal of attention, reaching in May 2019 a market capitalization of more than one ... Speaker: Martín Ugarte (University of Chile) Date: Tuesday, 4.6.2019, 14:30 Place: Taub 401 • ## Bayesian Algorithms for Vision Acuity Tests Visual acuity (VA) tests are widely used in ophthalmology to measure vision quality, but even modern tests still rely on an algorithm created in ... Speaker: David Nissan Cohen Date: Tuesday, 4.6.2019, 11:30 Place: Taub 601 • ## Computational Integrity: from theory to practice Computation integrity (CI) protocols allow a strong prover to convince a skeptic verifier it has knowledge of an input satisfying a program. Although theoretical ... Speaker: Michael Riabzev Date: Monday, 3.6.2019, 12:30 Place: Taub 601 • ## Uncertainty and its Applications in Deep Neural Networks Deep neural networks (DNNs) have recently shown great success in many machine learning domains and problems. However, applying these models for mission critical tasks ... Speaker: Yonatan Geifman Date: Sunday, 2.6.2019, 15:30 Place: Taub 601 • ## Coding Theory: Reconstruction of Sequences in DNA Storage The sequence reconstruction problem corresponds to a model in which a sequence from some code is transmitted over several noisy channels. The channels are ... Speaker: Maria Abu Sini (CS, Technion) Date: Sunday, 2.6.2019, 14:30 Place: Taub 601 • ## CGGC Seminar: Accessibility for Line-Cutting in Freeform Surfaces Manufacturing techniques such as hot-wire cutting, wire-EDM, wire-saw cutting, and flank CNC machining all belong to a class of processes called line-cutting where the ... Speaker: Boris van Sosin (CS, Technion) Date: Sunday, 2.6.2019, 13:30 Place: Room 337 Taub Bld. • ## Theory Seminar: Fast Approximate Shortest Paths in the Congested Clique I will discuss our recent shortest paths algorithms in the distributed congested clique model. Our first contribution is a (2+epsilon)-approximation algorithm for all-pairs shortest ... Speaker: Michal Dory (CS, Technion) Date: Wednesday, 29.5.2019, 12:30 Place: Taub 201 • ## ceClub: Memory Channels Are Needed for High Performance Data Analytics Graph processing is typically considered to be a memory-bound rather than compute-bound problem. One common line of thought is that more available memory bandwidth ... Speaker: Oded Green (Nvidia USA) Date: Wednesday, 29.5.2019, 11:30 Place: Electrical Eng. Building 861 • ## Deep Learning: Optimization, Generalization and Architectures Artificial neural networks have recently revolutionized the field of machine learning, demonstrating striking empirical success on tasks such as image understanding, speech recognition and ... Speaker: Amir Globerson - COLLOQUIUM LECTURE - RESCHEDULED Date: Tuesday, 28.5.2019, 14:30 Place: Room 337 Taub Bld. • ## Pixel Club: Multi-Scale Weighted Nuclear Norm Image Restoration A prominent property of natural images is that groups of similar patches within them tend to lie on low-dimensional subspaces. This property has been ... Speaker: Noam Yair (EE, Technion) Date: Tuesday, 28.5.2019, 11:30 Place: Electrical Eng. Building 1061 • ## Pixel Club: Photometric Stereo by Non-convex Minimisation The aim of photometric stereo is to estimate shape and appearance of a three-dimensional object from multiple input images taken from the same point ... Speaker: Georg Radow (Brandenburg University of Technology) Date: Sunday, 26.5.2019, 14:30 Place: Room 337 Taub Bld. • ## Coding Theory: Nearly Optimal Robust Positioning Sequences A robust positioning pattern is a large array that allows a mobile device to locate its position by reading a possibly corrupted small window ... Speaker: Wei Hengjia (Ben-Gurion University) Date: Sunday, 26.5.2019, 14:30 Place: Taub 601 • ## Theory Seminar: How to Detect Extreme Bias: An Overview of Quantified Derandomization In the classical derandomization problem, we are given a description of a Boolean circuit, and want to deterministically approximate its acceptance probability, up to ... Speaker: Roei Tell (Weizmann Institute of Science) Date: Wednesday, 22.5.2019, 12:30 Place: Taub 201 • ## Estimating Application Runtimes Using TLB Performance Metrics Instead of using full cycle-accurate simulations, recent virtual memory studies frequently utilize linear models to predict application runtimes from TLB misses. The benefit of ... Speaker: Mohammad Agbarya Date: Wednesday, 22.5.2019, 09:00 Place: Taub 601 • ## A Study of Synchronization Optimizations for Parallel Dynamic Languages and Transactional Processing Dynamically-typed programming languages such as Python, Ruby and JavaScript are widely used, and much effort is spent on making them efficient. One substantial research ... Speaker: Arie Tal Date: Tuesday, 21.5.2019, 13:30 Place: Taub 601 • ## Pixel Club: Color and Multi-Spectral Sensing Using a Coded Aperture Camera Hyperspectral imaging allows measuring the spectrum of each pixel in the image of a scene. This modality has diverse applications, ranging from agriculture and ... Speaker: Nirit Nussbaum (EE, Technion) Date: Tuesday, 21.5.2019, 11:30 Place: Electrical Eng. Building 1061 • ## Coding Theory: On Optimal Locally Repairable Codes with Super-Linear Length In this talk, we consider locally repairable codes which are optimal with respect to the Singleton-type bound presented by Prakash \emph{et al.} New upper ... Speaker: Han Cai (Southwest Jiaotong University) Date: Sunday, 19.5.2019, 14:30 Place: Taub 601 • ## CGGC Seminar: Barycentric Rational Interpolation of a Function and Its Derivatives Floater–Hormann interpolants constitute a family of barycentric rational interpolants based on the blend of local polynomial interpolants of degree d that have recently proved ... Speaker: Emiliano Cirillo (CS, Technion) Date: Sunday, 19.5.2019, 13:30 Place: Room 337 Taub Bld. • ## CGGC Seminar: Non Isometric Shape Correspondence Shape correspondence is a fundamental task in shape analysis, with a variety of applications in computer graphics and computer vision. Example applications include statistical ... Speaker: Danielle Ezuz (CS, Technion) Date: Thursday, 16.5.2019, 10:30 Place: Taub 401 • ## Non Isometric Shape Correspondence Shape correspondence is a fundamental task in shape analysis, with a variety of applications in computer graphics and computer vision. Example applications include statistical ... Speaker: Danielle Ezuz Date: Thursday, 16.5.2019, 10:30 Place: Taub 401 • ## Theory Seminar: Improved List Decoding of Algebraic Codes We show that Folded Reed-Solomon codes achieve list decoding capacity with constant list sizes, independent of the block length. Prior work yielded list sizes ... Speaker: Noga Ron-Zewi (Haifa University) Date: Wednesday, 15.5.2019, 12:30 Place: Room 337 Taub Bld. (Note unusual room) • ## ceClub: The Technion Computer Engineering Club With their introduction in 2009, cryptocurrencies brought the promise of a global decentralized payment system. However, protocol limitations prevent them from managing the required ... Speaker: Alex Manuskin (EE, Technion) Date: Wednesday, 15.5.2019, 11:30 Place: Electrical Eng. Building 861 • ## Some systems engineering problems and a little bit of theory We will consider the SITA server farm scheduling policies which were introduced and studied by Harchol-Balter and her collaborators. In particular we will discuss ... Speaker: Eitan Bachmat - COLLOQUIUM LECTURE - RESCHEDULED Date: Tuesday, 14.5.2019, 14:30 Place: Room 337 Taub Bld. • ## Machine Learning on AWS Cloud Workshop Faculty and Graduate students are invited to a workshop on “Machine Learning on the AWS Cloud” on Monday, May 13, 2019, 15:00-18:30, in room ... Date: Monday, 13.5.2019, 15:00 Place: Room 337 Taub Bld. • ## Pixel Club: Leveraging Hidden Structure in Unstructured Illumination Artificial illumination plays a vital role in human civilization. In computer vision, artificial light is extensively used to recover 3D shape, reflectance, and further ... Speaker: Mark Sheinin (EE, Technion) Date: Tuesday, 7.5.2019, 11:00 Place: Electrical Eng. Building 1061 • ## Pixel Club: On Mobile Sensing of Spatial Fields Mobile sensing is an emerging research area with many applications, including environmental monitoring and medical imaging. For example, tomography, which is used extensively in ... Speaker: Ariel Shallom (EE, Technion) Date: Monday, 6.5.2019, 13:00 Place: Electrical Eng. Building 861 • ## Coding Theory: The Hat Guessing Number of Graphs Consider the following hat guessing game: nn players are placed on nn vertices of a graph, each wearing a hat whose color is arbitrarily ... Speaker: Chong Shangguan (Tel-Aviv University) Date: Sunday, 5.5.2019, 14:30 Place: Taub 601 • ## CSpecial Talk: Crush Your Coding Interview We are happy to invite your to the fourth of series of meetings on career and job seeking which will be held at CS, ... Speaker: Dor Gross (Facebook Israel) Date: Wednesday, 1.5.2019, 12:30 Place: Taub 7 • ## Theory Seminar: Complement-Free Couples Must Communicate: A Hardness Result for Two-Player Combinatorial Auctions We study the communication complexity of welfare maximization in combinatorial auctions with m items and two subadditive bidders. A 12-approximation can be guaranteed by ... Speaker: Tomer Ezra (Tel-Aviv University) Date: Wednesday, 1.5.2019, 12:30 Place: Taub 201 • ## ceClub: Teechain: A Secure Asynchronous Blockchain Payment Network In recent years, cryptocurrencies, and blockchain as their underlying technology have emerged. They act as a decentralized ledger, i.e., an append-only log, where payments ... Speaker: Oded Naor (EE, Technion) Date: Wednesday, 1.5.2019, 11:30 Place: Electrical Eng. Building 861 • ## Computer Agents that Interact Proficiently with People Automated agents that interact proficiently with people can be useful in supporting, training or replacing people in complex tasks. The inclusion of people presents ... Speaker: Sarit Kraus - COLLOQUIUM LECTURE Date: Tuesday, 30.4.2019, 14:30 Place: Room 337 Taub Bld. • ## Deep Eikonal Solvers A deep learning approach to numerically approximate the solution to the Eikonal equation is introduced. The proposed method is built on the fast marching ... Speaker: Moshe Lichtenstein Date: Monday, 29.4.2019, 11:00 Place: Taub 601 • ## CGGC Seminar: Generalized Volumetric Foliation from Inverted Viscous Flow We propose a controllable geometric flow that decomposes the interior volume of a triangular mesh into a collection of encapsulating layers, which we denote ... Speaker: David Cohen (CS, Technion) Date: Sunday, 28.4.2019, 14:00 Place: Taub 401 • ## Generalized Volumetric Foliation from Inverted Viscous Flow We propose a controllable geometric flow that decomposes the interior volume of a triangular mesh into a collection of encapsulating layers, which we denote ... Speaker: David Cohen Date: Sunday, 28.4.2019, 14:00 Place: Taub 401 • ## Effective Enumeration of Tree Decompositions for Solver Optimization Many intractable computational problems on graphs admit tractable algorithms when applied to trees or forests. In such cases, a tree decomposition of the input ... Speaker: Dvir Dukhan Date: Sunday, 28.4.2019, 11:00 Place: Taub 601 • ## CS Open Day For Graduate Studies The 2019 open day invites outstanding undergraduates from all universities to come to the Technion and learn about the Computer Science and Department, to meet ... Date: Friday, 19.4.2019, 12:15 Place: Room 337 Taub Bld. • ## ceClub: What Are Machine Learning Models Hiding? Modern machine learning models exhibit super-human accuracy on tasks from image classification to natural-language processing, but accuracy does not tell the entire story of ... Speaker: Vitaly Shmatikov (Cornell Tech) Date: Wednesday, 17.4.2019, 11:30 Place: Electrical Eng. Building 861 • ## Multi-Hop Paragraph Retrieval for Open-Domain Question Answering Question Answering (QA) is one of the core tasks in natural language understanding. This task requires the ability to process and understand natural language ... Speaker: Yair Feldman Date: Sunday, 14.4.2019, 16:30 Place: Taub 301 • ## CGGC Seminar: Geometrical Challenges in Treating Irregular Heart Beat This talk presents some of the geometrical aspects involved in treating irregular heart beat rhythm (Arrythmia) using Carto 3 System. Carto 3 is a ... Speaker: Fady Massarwi (Biosense Webster) Date: Sunday, 14.4.2019, 13:30 Place: Room 337 Taub Bld. • ## Gentle Measurement of Quantum States and Differential Privacy We prove a new connection between gentle measurement (where one wants to measure n quantum states, in a way that damages the states only ... Speaker: Guy Rothblum (Weizmann Institute of Science) Date: Wednesday, 10.4.2019, 12:45 Place: Taub 201 • ## Theory Seminar: Using Cryptography to Utilize an Untrusted Quantum Computer The talk will survey new developments that use cryptographic tools in order to use a quantum computer even if it is operated by an ... Speaker: Zvika Brakerski (Weizmann Institute of Science) Date: Wednesday, 10.4.2019, 12:30 Place: Taub 201 • ## The Complexity of Relational Queries over Extractions from Text Information Extraction (IE) is the task of extracting structured information from textual data. We explore a programming paradigm that is supported by several IE ... Speaker: Liat Peterfreund Date: Monday, 8.4.2019, 13:30 Place: Taub 601 • ## Pixel Club: Deep Neural Networks Motivated by Partial Differential Equations Partial differential equations (PDEs) are indispensable for modeling many physical phenomena and also commonly used for solving image processing tasks. In the latter area, ... Speaker: Eldad Haber (University of British Columbia) Date: Monday, 8.4.2019, 12:30 Place: Room 337 Taub Bld. • ## Knowledge-Based Learning through Feature Generation Machine learning algorithms have difficulties to generalize over a small set of examples. Humans can perform such a task by exploiting vast amount of ... Speaker: Michal Badian Date: Sunday, 7.4.2019, 14:30 Place: Taub 601 • ## e-lections 2019 Event e-lections 2019 event, organized by Prof. Eli Biham, Orr Dunkelman, Yossi Oren and the Technion Hiroshi Fujiwara Cyber Security Research Center, will be ... Date: Sunday, 7.4.2019, 09:00 Place: CS Taub Build. Auditorium 2 • ## Theory Seminar: Upgrading Security of Encryption Schemes There are two well studied security notions for public key encryption schemes: security against passive adversaries and security against active adversaries. In this talk, ... Speaker: Venkata Koppula (Weizmann Institute of Science) Date: Wednesday, 3.4.2019, 12:30 Place: Taub 201 • ## On-the-fly Model Checking with Guided Abstraction Model checking is an automatic verification method that accepts a system model and a specification, and checks whether the model satisfies the specification. CTL ... Speaker: Gal Sade Date: Tuesday, 2.4.2019, 15:30 Place: Taub 601 • ## From Cognitive Biases to the Communication Complexity of Local Search In this talk I will tell you how analyzing economic markets where agents have cognitive biases has led to better understanding of the communication ... Speaker: Shahar Dobzinski - COLLOQUIUM LECTURE Date: Tuesday, 2.4.2019, 14:30 Place: Room 337 Taub Bld. • ## Graph Balancing with Orientation Costs We consider the Graph Balancing problem, where we are given an undirected multigraph with edge weights and orientation costs. The goal is to find ... Speaker: Ran Yeheskel Date: Monday, 1.4.2019, 11:30 Place: Taub 601 • ## CGGC Seminar: Volumetric Frame Fields for Hexahedral Meshing The hexahedral meshing problem is the volumetric analog of the quad meshing problem, with analogous applications in finite element modeling. One might expect that ... Speaker: David Palmer (MIT) Date: Thursday, 28.3.2019, 11:00 Place: Room 337 Taub Bld. • ## Theory Seminar: Improved Bounds for Excluded Grid Theorem We study the Excluded Grid Theorem, a fundamental structural result in graph theory, that was proved by Robertson and Seymour in their seminal work ... Speaker: Zihan Tan (University of Chicago) Date: Wednesday, 27.3.2019, 12:30 Place: Taub 201 • ## Pixel Club: Spectral Analysis of a Non-Equilibrium Stochastic System on a General Network Unravelling underlying complex structures from limited resolution measurements is a known problem arising in many scientific disciplines. We study a stochastic dynamical model with ... Speaker: Inbar Seroussi (Tel-Aviv University) Date: Tuesday, 26.3.2019, 11:30 Place: Room 337 Taub Bld. • ## A Generic Sharding Scheme for Blockchain Protocols Blockchain protocols are notoriously bad at scaling. Most protocols do work reasonably well when used in a small scale. Yet, as the network size ... Speaker: Zuphit Fidelman Date: Monday, 25.3.2019, 13:30 Place: Taub 601 • ## CGGC Seminar: Geometry Treatment in Fictitious domain Methods Fictitious domain methods are an elegant way to circumvent a tedious discretization process, mostly meshing. The core idea is to embedded the geometrically complex ... Speaker: Benjamin Wassermann (Technical University of Munich) Date: Sunday, 24.3.2019, 13:30 Place: Taub 401 • ## Theory Seminar: Optimal Short-Circuit Resilient Formulas We consider fault-tolerant boolean formulas in which the output of a faulty gate is short-circuited to one of the gate’s inputs. A recent result ... Speaker: Ran Gelles (Bar-Ilan University) Date: Wednesday, 20.3.2019, 12:30 Place: Taub 201 • ## TODAY! The Finals - 2019 Best Project Contest by Amdocs You are invited to the final stage of the 2019 Best Project Contest. The finalist teams will present and talk about their projects. ... Date: Wednesday, 20.3.2019, 12:00 Place: Room 337 Taub Bld. • ## CGGC Seminar: Correspondences between Subdivision Surfaces We present a novel method for computing correspondences between subdivision surfaces, represented as functional maps. We leverage two main advantages of the hierarchical structure: ... Speaker: Meged Shoham (Technion) Date: Sunday, 17.3.2019, 13:30 Place: Room 337 Taub Bld. • ## Solving Archaeological Puzzles Puzzle solving is a difficult problem in its own right, even when the pieces are all square and build up a natural image. But ... Speaker: Niv Derech Date: Sunday, 17.3.2019, 10:30 Place: Taub 201 • ## Statistical Approaches to Reverse Engineering Today we are literally surrounded by software. Almost all products and services we use on a daily basis involve some piece of software. The ... Speaker: Omer Katz Date: Thursday, 14.3.2019, 14:30 Place: Taub 601 • ## Find A Cure: Learning to Rank Articles for Molecular Queries Billions of dollars a year are spent to develop a new drug. The first step in the drug development process is drug discovery, where ... Speaker: Aviram Magen Date: Thursday, 14.3.2019, 12:00 Place: Taub 401 • ## Differentiable Neural Architecture Search with Arithmetic Complexity Constraint Neural Architecture Search (NAS) aims to facilitate the design of deep networks for a given task. This is part of a larger trend – ... Speaker: Yochai Zur Date: Thursday, 14.3.2019, 11:30 Place: Taub 601 • ## Theory Seminar: Theory Seminar:A Crash Course in Quantum Computing - Lecture 2 In this lecture we will introduce a few quantum complexity classes (BQP, QMA, QIP, and QPIP), the Deutsch-Jozsa algorithm, and Simon's algorithm; we will ... Speaker: Tal Mor (CS, Technion) Date: Wednesday, 13.3.2019, 12:30 Place: Taub 201 • ## ceClub: Network Vulnerabilities against Disasters We have witnessed worldwide network outages after large-scale natural disasters, such as earthquakes, hurricane, and terrorist attacks. In the talk, I will discuss how ... Speaker: János Tapolcai (Budapest University) Date: Wednesday, 13.3.2019, 11:30 Place: Electrical Eng. Building 861 • ## CYBERDAY 2019 CYBERDAY 2019 event, organized by Prof. Eli Biham, Prof. Sara Bitan, and the Technion Hiroshi Fujiwara Cyber Security Research Center, will be held ... Date: Tuesday, 12.3.2019, 09:30 Place: Technion • ## Pixel Club: Connecting Existing Pieces of Evidence in Time and Space for Understanding Real-World Events In this talk, we will discuss problems associated with synchronizing specific events in space and time (X-coherence), fact-checking, and mining persons, objects and contents ... Speaker: Anderson Rocha (University of Campinas, SP - Brazil) Date: Sunday, 10.3.2019, 14:30 Place: Electrical Eng. Building 1061 • ## Theory Seminar:A Crash Course in Quantum Computing - Lecture 1 In this lecture we will introduce the quantum bit (qubit), the basic rules of quantum information/computing, the no-cloning principle, quantum gates for universal quantum ... Speaker: Tal Mor (CS, Technion) Date: Wednesday, 6.3.2019, 12:30 Place: Taub 201 • ## ceClub: Disaggregated Programmable Switching and Distributed Load Balancing Nowadays, as computer networks continuously increase in size and speed, making efficient use of compute and network resources becomes exceptionally challenging. At the heart ... Speaker: Shay Vargaftik (EE, Technion) Date: Wednesday, 6.3.2019, 11:30 Place: Electrical Eng. Building 861 • ## Advanced Geometric Methods in Machining and Additive Manufacturing In this thesis, we show how geometry, and specifically parametric freeform geometry, can be used to solve manufacturing related problems. This thesis deals with ... Speaker: Ben Ezair Date: Sunday, 3.3.2019, 13:30 Place: Taub 337 • ## Latent Entities Extraction: How to Extract Entities that Do Not Appear in the Text? Named-entity Recognition (NER) is an important task in the NLP field, and is widely used to solve many challenges. However, in many scenarios, not ... Speaker: Eylon Shoshan Date: Sunday, 3.3.2019, 12:00 Place: Taub 601 • ## Pixel Club: Recent Achievements in Bidirectional Heuristic Search In bidirectional heuristic search the search proceeds from both the start and the goal simultaneously.The state of the art in bidirectional search has changed ... Speaker: Ariel Felner (Ben-Gurion University) Date: Thursday, 28.2.2019, 14:00 Place: Electrical Eng. Building 1061 • ## GAIA: An OS Page Cache for Heterogeneous Systems We propose a principled approach to integrating GPU memory with an OS page cache. We design GAIA, a weakly-consistent page cache that spans CPU ... Speaker: Tanya Brokhman Date: Wednesday, 27.2.2019, 11:30 Place: Electrical Eng. Building 861 • ## Lazy Evaluation Methods for Complex Event Processing Rapid advances in data-driven applications over recent years have intensified the need for efficient mechanisms capable of real-time monitoring and detecting arbitrarily complex patterns ... Speaker: Ilya Kolchinsky Date: Tuesday, 26.2.2019, 12:30 Place: Taub 601 • ## Pixel Club: Image Restoration by Iterative Denoising and Backward Projections Inverse problems appear in many applications, such as image deblurring, inpainting and super-resolution. The common approach to address them is to design a specific ... Speaker: Tom Tirer (Tel-Aviv University) Date: Tuesday, 26.2.2019, 11:30 Place: Room 337 Taub Bld. • ## Understanding the Context of micro-actions on the Web The wide usage of smartphones encourages users to ubiquitously and constantly interact with web applications like microblogs and search engines. Examples of atomic interactions, ... Speaker: Elad Kravi Date: Thursday, 21.2.2019, 10:00 Place: Taub 601 • ## Approximation Algorithms for the Maximum Carpool Matching and Submodular Maximization In the Maximum Carpool Matching problem we seek for the best way a group of people can share their ride based on their personal ... Speaker: Gilad Kutiel Date: Wednesday, 20.2.2019, 15:00 Place: Taub 601 • ## Pixel Club: Improving Patch Similarity Measure Using Order Preserving Criterion and Learned Context Features Patch matching and local treatment of images has proven to be a successful strategy for problems such as image denoising, inpainting, super-resolution, image editing ... Speaker: Stav Shapiro (CS & EE, Technion) Date: Tuesday, 19.2.2019, 11:30 Place: Room 337 Taub Bld. • ## Pixel Club: The Contextual Loss Feed-forward CNNs trained for image transformation problems rely on loss functions that measure the similarity between the generated image and a target image. Most ... Speaker: Roey Mechrez (EE, Technion) Date: Tuesday, 12.2.2019, 11:30 Place: Electrical Eng. Building 1061 • ## Distribution-free models of social and information networks The mathematical study of social and information networks has historically centered around generative models for such networks (preferential attachment, the Chung-Lu random graph model, ... Speaker: Prof. Tim Roughgraden - SPECIAL DISTINGUISHED LECTURE - note unusual date Date: Thursday, 7.2.2019, 14:30 Place: Room 337 Taub Bld. • ## Understanding Reader Backtracking Behavior in Online News Articles Rich engagement data can shed light on how people interact with online content and how such interactions may be determined by the content of ... Speaker: Uzi Smadja Date: Tuesday, 29.1.2019, 12:30 Place: Taub 401 • ## ceClub: Practical Reliability of Systems Recent years have seen the emergence of new kinds of software including deep learning, programmable computer networks, and blockchains. Unfortunately, these systems have been ... Speaker: Dana Drachsler-Cohen (ETH, Zurich) Date: Tuesday, 29.1.2019, 11:30 Place: Electrical Eng. Building 861 • ## Pixel Club: Embrace The Noise-Mining Clinical Reports to Gain a Broad Understanding of Chest X-rays The chest X-ray scan is by far the most commonly performed radiological examination for screening and diagnosis of many cardiac and pulmonary diseases. It ... Speaker: Jonathan Laserson (Zebra Medical Vision) Date: Tuesday, 29.1.2019, 11:30 Place: Room 337 Taub Bld. • ## Applying Machine Learning for Identifying Attacks at Run-time With the increase in malicious activity over the Internet, it has become extremely important to build tools for automatic detection of such activity. There ... Speaker: Nurit Devir Date: Monday, 28.1.2019, 10:00 Place: Taub 601 • ## Learning Word Relatedness over Time Search systems are often focused on providing relevant results for the "now", assuming both corpora and user needs that focus on the present. However, ... Speaker: Guy Rosin Date: Sunday, 27.1.2019, 15:00 Place: Taub 601 • ## Theory Seminar: Weak Zero-Knowledge Beyond the Black-Box Barrier The round complexity of zero-knowledge protocols is a long-standing open question, yet to be settled under standard assumptions. So far, the question has appeared ... Speaker: Omer Paneth (MIT) Date: Wednesday, 23.1.2019, 12:30 Place: Taub 201 • ## TONIGHT! Exposure Evening to Communication Networks The CS Computer Communication Lab (LCCN) invites you to an exposure evening to communication networks - to get to know the laboratory activity, ... Date: Tuesday, 22.1.2019, 18:30 Place: Room 337 Taub Bld. • ## Project Fair in IoT, Android, Ransomware and Networks CS Labs: Systems and Software Development Laboratory (SSDL), Cyber and Computer Security Laboratory (CYBER), The Laboratory for Computer Communication and Networking (LCCN) invite ... Date: Tuesday, 22.1.2019, 12:30 Place: Transparent Hall, Beit Hastudent • ## Pixel Club: On The Resistance of Neural Networks to Label Noise Neural Networks have been shown to be remarkably resistant to label noise. This means that you can train a network using a data set ... Speaker: Amnon Drory (Tel-Aviv University) Date: Tuesday, 22.1.2019, 11:30 Place: Room 337 Taub Bld. • ## Pixel Club: Isospectralization, Or How To Hear Shape, Style, and Correspondence The question whether one can recover the shape of a geometric object from its Laplacian spectrum (‘hear the shape of the drum’) is a ... Speaker: Arianna Rampini (Sapienza, University of Rome) Date: Monday, 21.1.2019, 11:30 Place: Room 337 Taub Bld. • ## Decentralized Monetary Policy for Crypocurrencies The rapid increase in the popularity of cryptocurrencies brought with it not only questions regarding the quality of the technology itself, but also the ... Speaker: Alon Shtaierman Date: Monday, 21.1.2019, 11:00 Place: Taub 601 • ## Theory Seminar: On Complexity of Closest Pair Problem Given a set of points in a metric space, the Closest Pair problem asks to find a pair of distinct points in the set ... Speaker: Karthik C.S.(Weizmann Institute of Science) Date: Wednesday, 16.1.2019, 12:30 Place: Taub 201 • ## Stream Frequency Over Interval Queries Stream frequency measurements are fundamental in many data stream applications such as financial data trackers, intrusion-detection systems, and network monitoring. Typically, recent data items ... Speaker: Rana Shahout Date: Wednesday, 16.1.2019, 11:30 Place: Taub 601 • ## COLLOQUIUM LECTURE - Consolidating and Exploring Open Textual Knowledge How can we capture effectively the information expressed in multiple texts? How can we allow people, as well as computer applications, to easily explore ... Speaker: Ido Dagan Date: Tuesday, 15.1.2019, 14:30 Place: Room 337 Taub Bld. • ## Pixel Club: On the Expressive Power of ConvNets and RNNs as a Function of their Architecture The driving force behind convolutional and recurrent networks — two of the most successful deep learning architectures to date — is their expressive power. ... Speaker: Or Sharir (Hebrew University of Jerusalem) Date: Tuesday, 15.1.2019, 11:30 Place: Room 337 Taub Bld. • ## Coding Theory: Iterative Programming of Noisy Memory Cells A model which mimics the programming operation of memory cells was first presented by Bunte and Lapidoth. Under this paradigm we assume that cells ... Speaker: Michal Horovitz (Migal - Research Institute) Date: Sunday, 13.1.2019, 14:30 Place: Taub 601 • ## Theory Seminar: Prophet Inequalities for Independent Random Variables from an Unknown Distribution A central object in optimal stopping theory is the single-choice prophet inequality for independent, identically distributed random variables: Given a sequence of random variables ... Speaker: Paul Duetting (London School of Economics) Date: Wednesday, 9.1.2019, 12:30 Place: Taub 201 • ## ceClub: Bitcoin-like Blockchain Architectures, Validation without per-Transaction Private Key Signatures Widely recognized as the inventor of digital cash, David is also known for other fundamental innovations in cryptography, including privacy and secure election technology. ... Speaker: David Chaum (The inventor of digital cash) Date: Wednesday, 9.1.2019, 11:30 Place: Electrical Eng. Building 861 • ## Acquisition and Prediction of Gestures' Surface EMG Data Using Sequential Deep Learning Methods As technology becomes highly integrated into nearly every aspect of life, and in many cases is indispensable, maintaining relative hand functionality is crucial. A ... Speaker: Idan Hasson Date: Tuesday, 8.1.2019, 11:30 Place: Taub 601 • ## Pixel Club: Variational Plane-Sweeping for Robust Multi-Image Alignment We tackle the problem of multiple image alignment and 3D reconstruction under extreme noise. Photographs acquired in scenes with large intensity variations or in ... Speaker: Yuval Goldfracht (Marine Imaging Lab, University of Haifa) Date: Tuesday, 8.1.2019, 11:30 Place: Electrical Eng. Building 1061 • ## Natural Language Programming: Turning Texts into Executable Code Can we program computers in our native tongue? This idea, termed natural language programming (NLPRO), has attracted attention almost since the inception of computers ... Speaker: Reut Tsarfaty - GUEST LECTURE Date: Tuesday, 8.1.2019, 10:30 Place: Room 201 Taub Bld. • ## Deep Anomaly Detection Using Geometric Transformations We consider the problem of anomaly detection in images, and present a new detection technique. Given a sample of images, all known to belong ... Speaker: Izhak Golan Date: Monday, 7.1.2019, 11:30 Place: Taub 601 • ## ceClub: Neural Code Comprehension: A Learnable Representation of Code Semantics In the era of “Big Code”, research is being conducted into automating the understanding of computer programs. Most of the current works borrow techniques ... Speaker: Tal Ben-Nun (ETH Zurich) Date: Monday, 7.1.2019, 11:30 Place: Electrical Eng. Building 1061 • ## Coding Theory: Private Information Retrieval: From Replicated to Arbitrary Linear Coded Data Private information retrieval (PIR) is a technique of retrieving data from servers in a distributed storage system (DSS), without revealing the identity of the ... Speaker: Siddhartha Kumar (Simula UiB) Date: Sunday, 6.1.2019, 14:30 Place: Taub 601 • ## When Existing Techniques Preserve Differential Privacy It is no secret that online companies, hospitals, credit-card companies and governments hold massive datasets composed of our sensitive personal details. Information from such ... Speaker: Or Sheffet - CS-Lecture Date: Sunday, 6.1.2019, 10:30 Place: Room 601 Taub Bld. • ## On Optimization and Expressiveness in Deep Learning Understanding deep learning calls for addressing three fundamental questions: expressiveness, optimization and generalization. Expressiveness refers to the ability of compactly sized deep neural networks ... Speaker: Nadav Cohen - CS-Lecture Date: Thursday, 3.1.2019, 10:30 Place: Room 337 Taub Bld. • ## Theory Seminar: Function-Inversion Problem: Barriers and Opportunities n the function-inversion problem, an algorithm gets black-box access to a functionf:[N] \to [N]$and takes as input a point$y \in [N]\$, ...

Speaker:
Dima Kogan (Stanford University)
Date:
Wednesday, 2.1.2019, 12:30
Place:
Room 201 Taub Bld.
• ## ceClub: Learning-Assisted Hardware Security

Hardware security of integrated circuits (ICs) is a significant concern in many emerging market segments, such as intelligent transportation, innovative health care, sophisticated security ...

Speaker:
Inna P.-Vaisband (University of Illinois)
Date:
Wednesday, 2.1.2019, 11:30
Place:
EE Meyer Building 861
• ## COLLOQUIUM LECTURE - Toward Human-centered Programming Language Design

Programming languages are a tool for human thought, expression, and work yet they are principally designed using mathematical and engineering techniques. In this talk, ...

Speaker:
Joshua Sunshine
Date:
Tuesday, 1.1.2019, 14:30
Place:
Room 337 Taub Bld.