# CS Department Events and Talks

## Second-order Optimization for Machine Learning, Made Practical

Optimization in machine learning, both theoretical and applied, is presently dominated by first-order gradient methods such as stochastic gradient descent. Second-order optimization methods---that involve ...

- Speaker:
- Tomer Koren - COLLOQUIUM LECTURE
- Date:
- Tuesday, 5.5.2020, 14:30
- Place:
- Room 337 Taub Bld.

## Hypernetworks and a New Feedback Model

Hypernetworks, also known as dynamic networks, are neural networks in which the weights of at least some of the layers vary dynamically based on ...

- Speaker:
- Lior Wolf - COLLOQUIUM LECTURE
- Date:
- Tuesday, 31.3.2020, 14:30
- Place:
- Room 337 Taub Bld.

## Pixel Club :Learning-Based Strong Solutions to Forward and Inverse Problems in Partial Differential Equations

We introduce a novel neural network-based partial differential equations solver for forward and inverse problems. The solver is grid free, mesh free and shape ...

- Speaker:
- Lea Bar (Tel Aviv University)
- Date:
- Tuesday, 18.2.2020, 11:30
- Place:
- Electrical Eng. Building 1061

## Theory Seminar: Strong Average-Case Circuit Lower Bounds from Non-trivial Derandomization

We prove that for all constants a, NQP = NTIME[n^polylog(n)] cannot be (1/2 + 2^(-log^a n) )-approximated by 2^(log^a n)-size ACC^0 circuits. Previously, it ...

- Speaker:
- Lijie Chen (MIT)
- Date:
- Wednesday, 29.1.2020, 12:30
- Place:
- Taub 201 Taub Bld.

## Search for Smart Evaders with UAV Swarms

Suppose that in a given planar circular region, there are some smart mobile evaders and we would like to find them using swarms of ...

- Speaker:
- Roee Francos
- Date:
- Sunday, 26.1.2020, 11:00
- Place:
- Taub 401 Taub Bld.

## Theory Seminar: Foundations of Distributed Computing in the 2020s

In this talk I will review some major advances in the theory of distributed computing in the past decade and discuss key research challenges ...

- Speaker:
- Jukka Suomela (Aalto University)
- Date:
- Wednesday, 22.1.2020, 12:30
- Place:
- Taub 201 Taub Bld.

## Project Fair in IoT, Software, Android Apps, AI, Cyber, Computer Security, Networks, Computer Vision and Virtual Reality

CS Labs: Systems and Software Development Laboratory (ICST), Cyber and Computer Security Laboratory (CYBER), The Laboratory for Computer Communication and Networking (LCCN), Geometric ...

- Date:
- Tuesday, 21.1.2020, 12:30
- Place:
- Transparent Hall, Beit Hastudent

## Pixel Club: Fast and Accurate Least-Mean-Squares Solvers

Least-mean squares (LMS) solvers such as Linear / Ridge / Lasso-Regression, SVD and Elastic-Net not only solve fundamental machine learning problems, but are also ...

- Speaker:
- Alaa Maalouf and Ibrahim Jubran (Haifa University)
- Date:
- Tuesday, 21.1.2020, 10:30
- Place:
- Room 337 Taub Bld.

## CGGC Seminar: Robust Shape Collection Matching and Correspondence from Shape Differences

We propose a method to automatically match two shape collections with a similar shape space structure, e.g. two characters in similar poses, and compute ...

- Speaker:
- Aharon Cohen (CS, Technion)
- Date:
- Monday, 20.1.2020, 16:00
- Place:
- Taub 401 Taub Bld.

## Data Science & Deep Learning: Synthetic Data Generation

The task of synthetic data generation can be, roughly, stated as follows: A learner gets to observe examples, sampled from some unknown distributions, and ...

- Speaker:
- Roi Livni (Tel Aviv University)
- Date:
- Monday, 20.1.2020, 12:30
- Place:
- Taub 301 Taub Bld.

## Similarity in Binary Executable

We address the problem of binary code search in stripped executables (with no debug information). The main challenge is establishing binary code similarity even ...

- Speaker:
- Yaniv David
- Date:
- Sunday, 19.1.2020, 16:00
- Place:
- Room 601 Taub Bld.

## Coding Theory: The Capacity of Multidimensional Permutations With Restricted Movement

The study of permutations is motivated by their application in coding for flash memories, and their relevance in different applications of networking technologies and ...

- Speaker:
- Dor Elimelech (Ben-Gurion University)
- Date:
- Sunday, 19.1.2020, 14:30
- Place:
- Room 601 Taub Bld.

## Reliability, Equity, and Reproducibility in Modern Machine Learning

Modern machine learning algorithms have achieved remarkable performance in a myriad of applications, and are increasingly used to make impactful decisions in the hiring ...

- Speaker:
- Yaniv Romano - CS-Lecture
- Date:
- Thursday, 16.1.2020, 10:30
- Place:
- Room 337 Taub Bld.

## Theory Seminar: Average Sensitivityof Graph Algorithms

Inmodern applications of graph algorithms, where the graphs of interest arelarge and dynamic, it is unrealistic to assume that an input representationcontains the full ...

- Speaker:
- Nithin Varma (Haifa University)
- Date:
- Wednesday, 15.1.2020, 12:30
- Place:
- Taub 201 Taub Bld.

## Coding for Emerging Technologies

We are living in the era of massive data. Some estimate that more than 90% of the worlds data was generated in recent years. ...

- Speaker:
- Ohad Elishco - CS-Lecture
- Date:
- Wednesday, 15.1.2020, 10:30
- Place:
- Room 601 Taub Bld.

## Data Science & Deep Learning: Linear Quadratic Control and Online Learning

We study the online problems related to controlling a linear time-invariant systems with noisy dynamics where either: (1) onlinevadversarially chosen quadratic losses and known ...

- Speaker:
- Yishay Mansour (Tel Aviv University)
- Date:
- Monday, 13.1.2020, 12:30
- Place:
- Taub 301 Taub Bld.

## Verification of distributed protocols using decidable logics

Formal verification of infinite-state systems, and distributed systems in particular, is a long standing research goal. I will describe a series of works that ...

- Speaker:
- Oded Padon - CS-Lecture
- Date:
- Monday, 13.1.2020, 10:30
- Place:
- Room 601 Taub Bld.

## Fundamental limits of modern machine learning and how to get around them

This talk presents new computational and statistical barriers in machine learning, along with the algorithmic developments that they inspire. The computational barriers arise in ...

- Speaker:
- Yair Carmon - CS-Lecture
- Date:
- Sunday, 12.1.2020, 10:30
- Place:
- Room 337 Taub Bld.

## CGGC Seminar: Functional Tracing of Discrete Vector Fields

We propose a method for tracing the flowlines of a discrete tangent vector field on a triangle mesh. Our method makes use of functional ...

- Speaker:
- Yair Reani (CS, Technion)
- Date:
- Wednesday, 8.1.2020, 16:00
- Place:
- Room 337 Taub Bld.

## Functional Tracing of Discrete Vector Fields

We propose a method for tracing the flowlines of a discrete tangent vector field on a triangle mesh. Our method makes use of functional ...

- Speaker:
- Yair Reani
- Date:
- Wednesday, 8.1.2020, 16:00
- Place:
- Room 337 Taub Bld.

## ceClub: Deep Reinforcement Learning in Compiler

Compilers are designed today to use fixedAbstract -cost models that are based on heuristics to make different code optimizations. However, these models are unable ...

- Speaker:
- Ameer Haj Ali (UC Berkeley)
- Date:
- Wednesday, 8.1.2020, 15:30
- Place:
- Electrical Eng. Building 815

## Theory Seminar: Nearly Instance-Optimal Mechanisms in Differential Privacy

We develop differentially private mechanisms that achieve nearly instance-optimal losses, achieving lower loss than all appropriately unbiased mechanisms for any possible instance. We show ...

- Speaker:
- Hilal Asi (Stanford University)
- Date:
- Wednesday, 8.1.2020, 12:30
- Place:
- Taub 201 Taub Bld.

## ceClub: Quantum Money and Some of its Extensions

One of the unique aspects of quantum mechanics is the no-cloning theorem. This theorem has direct applications in quantum crpytography: quantum money is very ...

- Speaker:
- Or Sattath (Ben-Gurion University)
- Date:
- Wednesday, 8.1.2020, 11:30
- Place:
- Electrical Eng. Building 861

## Pixel Club: Recovering Dynamics in Geometry Processing, Fluid Mechanics, Image Processing and Social Sciences via Koopman Theory

Dynamical systems are everywhere, from the flow of particles in the air to the evolution of people's personalities. Recently, the big data revolution has ...

- Speaker:
- Omri Azencot (University of California, LA)
- Date:
- Tuesday, 7.1.2020, 11:30
- Place:
- Electrical Eng. Building 1061

## SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair

This talk presents a novel end-to-end approach to program repair based on sequence-to-sequence learning. We devise, implement, and evaluate a system, called SequenceR, for ...

- Speaker:
- Prof. Martin Monperrus - COLLOQUIUM LECTURE -
- Date:
- Monday, 6.1.2020, 14:30
- Place:
- Room 337 Taub Bld.

## Data Science & Deep Learning: An Online Learning Approach to Generative Adversarial Networks

We consider the problem of training and evaluating generative models with a Generative Adversarial Network (GAN). Although GANs can accurately model complex distributions, they ...

- Speaker:
- Kfir Levy (EE, Technion)
- Date:
- Monday, 6.1.2020, 12:30
- Place:
- Taub 301 Taub Bld.

## Meaning Representation in Natural Language Tasks

Recent developments in Natural Language Processing (NLP) allow models to leverage large, unprecedented amounts of raw text, culminating in impressive performance gains in many ...

- Speaker:
- Gabriel Stanovsky - CS-Lecture
- Date:
- Sunday, 5.1.2020, 10:30
- Place:
- Room 337 Taub Bld.

## 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 that we have less time to ...

- Speaker:
- Ran Ben Basat - CS-Lecture
- Date:
- Thursday, 2.1.2020, 10:30
- Place:
- Room 337 Taub Bld.