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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

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

    Project Fair in IoT, Software, Android Apps, AI, Cyber, Computer Security, Networks, Computer Vision and Virtual RealityCS 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • Theory Seminar: Average Sensitivity of 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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

    [Full version]

  • 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

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]

  • 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.

    [Full version]