Skip to content (access key 's')
Logo of Technion
Logo of CS Department
Events

The Taub Faculty of Computer Science Events and Talks

On-the-fly Model Checking with Guided Abstraction
event speaker icon
Gal Sade
event date icon
Sunday, 20.12.2020, 16:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/94459929157
Model checking is an automatic verification method that accepts a system model and a specification, and checks whether the model satisfies the specification. CTL is a branching temporal logic suitable for specifying behaviors of both software and hardware systems. In this work, we present a ...
[Full version]
Accelerating Big-Data Sorting Through Programmable Switches
event speaker icon
Yamit Barshatz
event date icon
Wednesday, 16.12.2020, 13:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/95176272923
Programmable switches are advanced network switches that can be programmed to perform certain actions besides routing packets. Programmable switches enable combining the logic and flexibility of software with the speed and efficiency of hardware and thus enjoy the benefits of both. Interstingly, programmable switches are ...
[Full version]
Theory Seminar: A-Approximation for the Monotone Submodular Multiple Knapsack Problem
event speaker icon
Yaron Fairstein (CS, Technion)
event date icon
Wednesday, 9.12.2020, 12:30
event location icon
Zoom, Meeting ID: 954 7347 4134, Password: 5-digit Technion Zip Code
We study the problem of maximizing a monotone submodular function subject to a Multiple Knapsack constraint (SMKP). The input is a set I of items, each associated with a non-negative weight, and a set of bins, each having a capacity. Also, we are given a ...
[Full version]
CGGC Seminar: Turning Planar Materials Into Curved Structures
event speaker icon
Mina Konakovic Lukovic (MIT Computer Science and Artificial Intelligence Lab)
event date icon
Monday, 7.12.2020, 16:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/91344952941
Recent advances in material science and digital fabrication provide promising opportunities for product design, mechanical and biomedical engineering, robotics, architecture, art, and science. Engineered materials and personalized fabrication are revolutionizing manufacturing culture and having a significant impact on various scientific and industrial works. As new ...
[Full version]
Parallel Complex Event Processing: Hybrid Parallelism Approach
event speaker icon
Maor Yankovitch
event date icon
Thursday, 3.12.2020, 13:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/95015969339
The ability to promptly and efficiently detect arbitrarily complex patterns in massive real-time data streams is a crucial requirement for a wide range of modern applications. The ever-growing scale of these applications and the sophistication of the patterns involved makes it imperative to employ advanced ...
[Full version]
Bayesian Persuasion under Ex Ante and Ex Post Constraints
event speaker icon
Konstantin Zabarnyi
event date icon
Wednesday, 2.12.2020, 12:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/95473474134, password 32000
Bayesian persuasion, as introduced by Kamenica and Gentzkow in 2011, is the study of information sharing policies among strategic agents. A prime example is signaling in online ad auctions: what information should a platform signal to an advertiser regarding a user when selling the opportunity ...
[Full version]
ceClub: Adversarially Robust Streaming Algorithms
event speaker icon
Eylon Yogev (Tel-Aviv University and Boston University)
event date icon
Wednesday, 2.12.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/97588457501
A streaming algorithm is given a long sequence of items and seeks to compute or approximate some function of this sequence using a small amount of memory. A body of work has been developed over the last two decades, resulting in optimal streaming algorithms for ...
[Full version]
Pixel Club: Learning on Pointclouds for 3D Scene Understanding
event speaker icon
Or Litany (Nvidia)
event date icon
Tuesday, 1.12.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/95668947180
In this talk i'll be covering several works in the topic of 3D deep learning on pointclouds for scene understanding tasks. First, I'll describe VoteNet (ICCV 2019): a method for object detection from 3D pointclouds input, inspired by the classical generalized Hough voting technique. I'll ...
[Full version]
Better Prediction of Mutation Score
event speaker icon
Dor Ma'ayan
event date icon
Tuesday, 1.12.2020, 10:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/91983657482
Mutation score is widely accepted to be a reliable measurement for the effectiveness of software tests. Recent studies, however, show that mutation analysis is extremely costly and hard to use in practice. We present a novel direct prediction model of mutation score using neural networks. ...
[Full version]
CGGC Seminar: Perception for Creativity Assistance
event speaker icon
Duygu Ceylan (Adobe)
event date icon
Monday, 30.11.2020, 17:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/91344952941
We are living in an era where the digital world is becoming an inevitable part of our professional and daily lives. Digital creation tools are essential for many professions including design, entertainment, gaming etc. In our daily lives, we all take many pictures or capture ...
[Full version]
A Tight Approximation for Submodular Maximization with Mixed Packing and Covering Constraints
event speaker icon
Eyal Mizrachi
event date icon
Sunday, 29.11.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/92565691576
Motivated by applications in machine learning, such as subset selection and data summarization, we consider the problem of maximizing a monotone submodular function subject to mixed packing and covering constraints. We present a tight approximation algorithm that for any constant $\eps >0$ achieves a guarantee ...
[Full version]
High quality sets of questions in the "20 Questions" game
event speaker icon
Idan Mehalel
event date icon
Wednesday, 25.11.2020, 12:30
event location icon
Zoom, Meeting ID: 954 7347 4134, Password: 32000
In the "20 questions" game Alice picks a probability distribution over the set {1,...,n}, and draws a secret element x from it. Bob's goal is to construct a strategy to reveal x using only "Yes or No" questions, while minimizing the expected number of questions ...
[Full version]
ceClub: Accelerating Biology and Medicine with Hardware Specialization
event speaker icon
Yatish Turakhia (UC Santa Cruz)
event date icon
Tuesday, 24.11.2020, 16:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/96066651915
Genome sequencing data is rising exponentially at a rate (125%/year) that is far higher than our current transistor performance scaling (currently 3%/year). New medical and comparative genomics applications have emerged that ensure that the demand for more sequencing will continue to rise, which threatens to ...
[Full version]
Pixel Club: Towards General-Purpose Single-Photon Cameras
event speaker icon
Atul Ingle (University of Wisconsin-Madison)
event date icon
Tuesday, 24.11.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/91775955366
Image sensors capable of detecting individual photons are typically used in specialized low-light imaging applications. In this talk I will make a case for using time-resolved single-photon sensors as general-purpose image sensors, not limited to photon-starved scenarios. This may seem counterintuitive. Why would one want ...
[Full version]
CGGC Seminar: Freeform Quad-based Kirigami
event speaker icon
Johannes Wallner (TU Graz University of Technology)
event date icon
Monday, 23.11.2020, 11:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/91344952941
Kirigami, the traditional Japanese art of paper cutting and folding generalizes origami and has initiated new research in material science as well as graphics. Jere we use its capabilities to perform geometric modeling with corrugated surface representations possessing an isometric unfolding into a planar domain ...
[Full version]
CS CTF - Capture The Flag competition
event date icon
Friday, 20.11.2020, 16:00
event location icon
Zoom Event: Registration
You are invited to the first CS CTF - Capture The Flag competition, in various subjects in programming, information security, algorithmics, artificial intelligence and more. The competition will be held in groups that will face challenges posed by large companies in the industry, faculty members, ...
[Full version]
Theory Seminar: Efficient List-Decoding with Constant Alphabet and List Sizes
event speaker icon
Zeyu Guo (University of Haifa)
event date icon
Wednesday, 18.11.2020, 12:30
event location icon
Zoom, Meeting ID: 954 7347 4134, Password: 5-digit Technion Zip Code
The notion of list-decoding, introduced by Elias in the 1950s, is a natural generalization of unique decoding, where the decoder is allowed to output a list of codewords that contains the transmitted codeword instead of a single codeword. Besides being a fundamental concept in coding ...
[Full version]
Blockchain State Sharding with Space-aware Representations
event speaker icon
Avi Mizrahi
event date icon
Monday, 16.11.2020, 12:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/98536821813
State sharding is a common solution to the scalability problem in blockchain systems, allowing nodes to hold a partial view of the system state. With sharding, the processing of a transaction might not be completed locally within a node and potentially requires involvement of multiple ...
[Full version]
CGGC Seminar: Shape Analysis: From Local to Non-local Information and Learning
event speaker icon
Julie Digne (LIRIS Laboratoire d’InfoRmatique en Image et Systemes d’information)
event date icon
Monday, 16.11.2020, 11:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/91344952941
In this talk we explore two contributions for shape analysis. In a first case, we consider surfaces and how local analysis of the angular oscillations and polynomial radial behavior around surface points leads to accurate normal estimation and new integral invariants. A direct application of ...
[Full version]
Charting and Navigating the Space of Solutions for Recurrent Neural Networks
event speaker icon
Elia Turner
event date icon
Wednesday, 11.11.2020, 14:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/93616254487
RNNs are a class of Machine learning models used to solve tasks with sequential structure. Since most neural circuits are recurrent, RNNs are often deployed to explain neural activity during computational tasks with a temporal dimension. Unlike their natural counterparts, an RNN’s entire computation is ...
[Full version]
Theory Seminar: Analysis of Two-variable Recurrence Relations with Application to Parameterized Approximations
event speaker icon
Ariel Kulik (CS, Technion)
event date icon
Wednesday, 11.11.2020, 12:30
event location icon
Zoom, Meeting ID: 954 7347 4134, Password: 5-digit Technion Zip Code
In this paper we introduce randomized branching as a tool for parameterized approximation and develop the mathematical machinery for its analysis. Our algorithms improve the best known running times of parameterized approximation algorithms for Vertex Cover and 3-Hitting Set for a wide range of approximation ...
[Full version]
Efficient Resource-Constrained Monitoring
event speaker icon
Jalil Moraney
event date icon
Wednesday, 11.11.2020, 12:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/93616254487
Monitoring network traffic is an important building block for various management and security systems. In typical settings, the number of active flows in a network node is much larger than the number of available monitoring resources and there is no practical way to maintain "per-flow" ...
[Full version]
BebopNet: Deep Neural Models for Personalized Jazz Improvisations
event speaker icon
Shunit Haviv
event date icon
Wednesday, 11.11.2020, 12:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/99327852951
A major bottleneck in the evaluation of music generation is that music appreciation is a highly subjective matter. When considering an average appreciation as an evaluation metric, user studies can be helpful. The challenge of generating personalized content, however, has been examined only rarely in ...
[Full version]
ceClub: Lightning Network Economics: Cost-minimal Channels and their Implications for Network Structure
event speaker icon
Clara Shikhelman (Tel-Aviv University)
event date icon
Wednesday, 11.11.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/94151824902
A channel in the Lightning Network allows two parties to secure bitcoin payments and escrow holdings between them. Designed to increase transaction immediacy and reduce blockchain congestion, this has the potential to solve many issues associated with Bitcoin. In this talk, we study the economics ...
[Full version]
Pixel Club: Estimation of Manifolds from Point Clouds: Building Models from Data
event speaker icon
Barak Sober (Mathematics, Duke University)
event date icon
Tuesday, 10.11.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/92081476610
A common observation in data-driven applications is that high dimensional data has a low intrinsic dimension, at least locally. Thus, when one wishes to work with data that is not governed by a clear set of equations, but still wishes to perform statistical or other ...
[Full version]
CGGC Seminar: Curvature! The Starting Point of Manufacturing
event speaker icon
Takashi Maekawa (Waseda Research Institute for Science and Engineering)
event date icon
Monday, 9.11.2020, 11:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/91344952941
The potential benefits of taking surface curvature into account in engineering design have not yet been fully utilized. One of the problems is that differential geometry is often not offered in the undergraduate engineering program. In this presentation, I focus on a couple of research ...
[Full version]
Pixel Club: On the Injectivity and (in) Stability of Invariant Encoding
event speaker icon
Nadav Dym (Mathematics, Duke University)
event date icon
Sunday, 8.11.2020, 15:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/97741777795
Quotient spaces are a natural mathematical tool to describe a variety of algorithmic problems in computer vision and related fields, where different objects are to be compared while their natural symmetries are to be ignored. One popular approach for working in quotient spaces is cancelling ...
[Full version]
Exposure to Industry Jobs Workshop - Putting in order Buzz Words
event date icon
Thursday, 5.11.2020, 17:30
event location icon
Zoom Lecture: Registration
You are invited to "Exposure to Industry Jobs Workshop - Putting in order Buzz Words" which aims to classify the jobs in the industry, interpret its concepts and products and illustrate a typical work day in the various roles it offers. The workshop will be ...
[Full version]
Theory Seminar: Polynomial Protocols for Range Proofs
event speaker icon
Ariel Gabizon (Aztec)
event date icon
Wednesday, 4.11.2020, 12:30
event location icon
Zoom, Meeting ID: 954 7347 4134, Password: 5-digit Technion Zip Code
In a polynomial protocol a prover sends messages that are polynomials, and the verifier is allowed to check polynomial identities between these polynomials. The prover complexity is measured as the sum of degrees of the polynomials sent. The motivation for the definition is to capture ...
[Full version]
From the Diary of a Serial Interviewer: Preparing (Correctly) for Technical Interviews
event date icon
Tuesday, 3.11.2020, 19:00
event location icon
Zoom Lecture: Registration
You are invited to a lecture and conversation with Itai Rosenblatt, scaleIO technical Team Leader and co-founder and VP of R&D at a new start-up, which will deal with the technical interview and the components of success and the initial impression it gives: • What ...
[Full version]
Theory Seminar: On Computing Multilinear Polynomials Using Depth Four Circuits of Bounded Individual Degree
event speaker icon
Suryajith Chillara (University of Haifa)
event date icon
Wednesday, 28.10.2020, 12:30
event location icon
Zoom, Meeting ID: 954 7347 4134, Password: 5-digit Technion Zip Code
The complexity of Iterated Matrix Multiplication is a central theme in Computational Complexity theory, as the problem is closely related to the problem of separating various complexity classes within P. In this talk, we will talk about the complexity of computing an entry in the ...
[Full version]
CS Orientation Day 2020-21
event date icon
Tuesday, 20.10.2020, 10:30
event location icon
LIVE by Z00M
CS 2020-21 orientation day for new students will be held online by zoom broadcast on Tuesday, October 20, 2020 at 10:30, and will include lectures by CS Dean, Vice Dean for Undergraduate Studies, CS Student Committee representatives and more, to be followed by A&Q sessions ...
[Full version]
TODAY! CS 2019-20 Graduation Ceremony
event date icon
Thursday, 15.10.2020, 18:30
event location icon
LIVE by YouTube: https://youtu.be/zg1WRzEz6TY
You are all invited to the 2019 CS graduation ceremony of , which will be broadcast live on YouTube today, Thursday, October 15, 2020, at 18:30. Looking forward to seeing you!
[Full version]
Learning by Sampling: A Deep Learning Approach To The Planted Clique Problem With Unlimited Sampling
event speaker icon
Najeeb Nabwani
event date icon
Thursday, 15.10.2020, 16:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/93620048284
The planted clique problem plays an important role in the field of average-case complexity. The problem consists of detecting graphs that contain a hidden clique of size $k$ that was planted in graphs from the Erdos-Renyi model $G_{n,0.5}$. The planted clique conjecture suggests that there ...
[Full version]
ceClub: Reliable and Time-efficient Virtualized Function Placement
event speaker icon
Roi Ben-Haim (EE, Technion)
event date icon
Wednesday, 14.10.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/91078173462
Reliability and time-efficiency are two key elements to consider in network design. Commonly, each is measured per service - availability probability of a specific service, the latency of a specific service, and overall - system average reliability and system average latency, considering the demand for ...
[Full version]
Batch Verification for Statistical Zero-Knowledge Proofs
event speaker icon
Inbar Kaslasi
event date icon
Tuesday, 13.10.2020, 17:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/96366651773
A statistical zero-knowledge proof for a problem Pi enables a computationally unbounded prover to convince a polynomial-time verifier that x belongs to Pi without revealing any additional information about x to the verifier, in a strong information-theoretic sense. Suppose, however, that the prover wishes to ...
[Full version]
Age-aware Fairness in Blockchain Transaction Ordering
event speaker icon
Yaakov Sokolik
event date icon
Tuesday, 13.10.2020, 15:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/99311227766
In blockchain applications, transaction latency is a key factor in the quality of service (QoS). Each application that uses the blockchain network has the motivation to reduce the latency for its own transactions. The block proposer selects which pending transaction to include in the proposed ...
[Full version]
Learned Greedy Method (LGM): A Novel Neural Architecture for Sparse Coding
event speaker icon
Rajaei Khatib
event date icon
Tuesday, 13.10.2020, 14:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/94623716017
The fields of signal and image processing have been deeply influenced by the introduction of deep neural networks. These are successfully deployed in a wide range of real-world applications, obtaining state of the art results and surpassing well-known and well-established classical methods. Despite their impressive ...
[Full version]
Array Codes for Functional PIR and Batch Codes
event speaker icon
Mohammad Nassar
event date icon
Monday, 12.10.2020, 16:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/95909579454
A functional PIR array code is a coding scheme which encodes some s information bits into a tXm array such that every linear combination of the s information bits has k mutually disjoint recovering sets. Every recovering set consists of some of the array's columns ...
[Full version]
A Two-Stage Masked LM Method for Term Set Expansion
event speaker icon
Guy Kushilevitz
event date icon
Thursday, 1.10.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/98063183973
We tackle the task of Term Set Expansion (TSE): given a small seed set of example terms from a semantic class, finding more members of that class. The task is of great practical utility, and also of theoretical utility as it requires generalization from few ...
[Full version]
Theory Seminar: On the Expressiveness of Comparisons
event speaker icon
Shay Moran (Mathematics, Technion)
event date icon
Wednesday, 23.9.2020, 18:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/96040114661
Shay Moran, Technion CS graduate, will give a lecture on his work in the theory of learning.
[Full version]
Clustering-Correcting Codes
event speaker icon
Tal Shinkar
event date icon
Tuesday, 22.9.2020, 18:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/96882521222
A new family of codes, called clustering-correcting codes, is presented in this paper. This family of codes is motivated by the special structure of the data that is stored in DNA-based storage systems. The data stored in these systems has the form of unordered sequences, ...
[Full version]
Distributed Computing Seminar: Distributed and Concurrent Optimization for Machine Learning
event speaker icon
Dan Alistarh (IST Austria)
event date icon
Thursday, 17.9.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/96000595000
Machine learning has made considerable progress over the past decade, matching and even surpassing human performance on a varied set of narrow computational tasks. This progress has been enabled by the widespread availability of large datasets, as well as by improved algorithms and models. Distribution, ...
[Full version]
TODAY! - CS Ph.D. Graduation Ceremony, 2020
event date icon
Wednesday, 16.9.2020, 18:30
event location icon
FACEBOOK EVENT: https://www.facebook.com/events/1646805155478444/
The Technion Ph.D. Students Graduation Ceremony 2020, will be held online TODAY, Wednesday evening, September 16, 2020, and will be broadcast on Facebook. This year, a substantial number of students - 231 Technion graduates in 2019-2020 - will receive their Ph.D. diplomas, among them 14 ...
[Full version]
The 8th Summer School on Cyber and Computer Security
event date icon
Monday, 7.9.2020, 10:00
event location icon
LIVE by Z00M (Details upon Registration)
The Hiroshi Fujiwara Cyber Security Research Center will hold the 8th Summer School on Cyber and Computer Security: "Privacy in Challenging Times". The event will take place on Monday-Thursday, September 7th-10th, 2020, broadcasted by Technion Zoom. Keynote Speakers: Ross Anderson, University of Cambridge, UK Ann ...
[Full version]
Efficient MDP Analysis for Selfish-Mining in Blockchains
event speaker icon
Roi Bar Zur
event date icon
Wednesday, 2.9.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/95908254875
A proof of work (PoW) blockchain protocol distributes rewards to its participants, called miners, according to their share of the total computational power. Sufficiently large miners can perform selfish mining - deviate from the protocol to gain more than their fair share. Such systems are ...
[Full version]
How Do You Turn a Degree into a Career?
event date icon
Tuesday, 1.9.2020, 17:00
event location icon
Zoom Lecture: Registration
You are invited to a lecture and conversation with Dr. Yonatan Yaniv, CS graduate and head of the research group at YOTPO, which will deal with the questions: Is it worth working during the degree? How to integrate into the industry, especially now in the ...
[Full version]
Computing the Shapley Value of Tuples in Conjunctive Queries with Negation
event speaker icon
Alon Reshef
event date icon
Sunday, 30.8.2020, 11:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/96838343281
The Shapley value is a conventional and well-studied function for determining the contribution of a player to the coalition in a cooperative game. Among its applications in a plethora of domains, it has recently been proposed to use the Shapley value for quantifying the contribution ...
[Full version]
Virtual Workshop on Machine Learning & Hardware Security
event date icon
Wednesday, 26.8.2020, 09:00
event location icon
LIVE by Z00M (Details upon Registration)
You are invited to participate in the Virtual Workshop on Machine Learning & Hardware Security that will be held August on Wednesday-Thursday, 26-27, 2020 @ Zoom. Organizers: Prof. Avi Mendelson, Technion, Israel Dr. Shivam Bhasin, NTU, Singapore For more Information, program and registration please visit ...
[Full version]
Pixel Club: SCATTER: Selective Context Attentional Scene Text Recognizer
event speaker icon
Ron Litman (Amazon)
event date icon
Tuesday, 25.8.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/92004594093
Scene Text Recognition (STR), the task of recognizing text against complex image backgrounds, is an active area of research. Current state-of-the-art (SOTA) methods still struggle to recognize text written in arbitrary shapes. In this paper, we introduce a novel architecture for STR, named Selective Context ...
[Full version]
Managing Capacity in Deduplicated Storage Systems
event speaker icon
Aviv Nachman
event date icon
Monday, 24.8.2020, 10:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/9494079607
Deduplication decreases the physical occupancy of files in a storage volume by removing duplicate copies of data chunks,but creates data-sharing dependencies that complicate standard storage management tasks. Specifically, data migration plans must consider the dependencies between files that are remapped to new volumes and files ...
[Full version]
The Power of Implicit Acyclicity in the Enumeration Complexity of Database Queries
event speaker icon
Nofar Carmeli
event date icon
Sunday, 16.8.2020, 11:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/99974085218
We inspect the fine-grained complexity of answering queries over relational databases. With the ideal guarantees, linear time is required before the first answer to read the input and determine its existence, and then we need to print the answers one by one. Consequently, we wish ...
[Full version]
Pixel Club: Semi-Supervised Varying Length Handwritten Text Generation
event speaker icon
Sharon Fogel (Amazon)
event date icon
Tuesday, 11.8.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/99647504267
Optical character recognition (OCR) systems performance have improved significantly in the deep learning era. This is especially true for handwritten text recognition (HTR ), where each author has a unique style, unlike printed text, where the variation is smaller by design. That said, deep learning ...
[Full version]
Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP
event speaker icon
Shir Cohen
event date icon
Monday, 10.8.2020, 11:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/9479665459
King and Saia were the first to break the quadratic word complexity bound for Byzantine Agreement in synchronous systems against an adaptive adversary, and Algorand broke this bound with near-optimal resilience (first in the synchronous model and then with eventual-synchrony). Yet the question of asynchronous ...
[Full version]
Pixel Club: Sparsity-based Methods for Solving Inverse Problems in Medical Imaging
event speaker icon
Efrat Shimron (UC Berkeley)
event date icon
Tuesday, 4.8.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/95491544306
Although Magnetic Resonance Imaging (MRI) is a superb medical imaging modality, its clinical use is limited by its long acquisition time. The acquisition time can be shortened by sampling data with a sub-Nyquist rate; however, this requires suitable methods for solving the ill-posed inverse problem ...
[Full version]
Pixel Club: Let's Agree to Agree: Neural Networks Share Classification Order on Real Datasets
event speaker icon
Guy Hacohen (The Hebrew University of Jerusalem)
event date icon
Tuesday, 28.7.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/93489482905
We report a series of robust empirical observations, whereby deep Neural Networks learn the examples in both the training and test sets in a similar order. This phenomenon is observed in all the commonly used benchmarks we evaluated, including many image classification benchmarks, and one ...
[Full version]
Distance Computation in Distributed Networks
event speaker icon
Michal Dory
event date icon
Wednesday, 24.6.2020, 14:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/99489358773
In this talk, I will describe a couple of results from my PhD thesis, that studies distributed algorithms for connectivity and distance related graph problems. I will focus on a recent line of work studying distance computation in the Congested Clique model of distributed computing. ...
[Full version]
Pixel Club: Faithful Autoencoder Interpolation by Shaping the Latent Space
event speaker icon
Alon Oring (IDC Herzliya)
event date icon
Tuesday, 23.6.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/97576927101
One of the fascinating properties of deep learning is the ability of the network to reveal the underlying factors characterizing elements in datasets of different types. Autoencoders represent an effective approach for computing these factors and also have been studied in the context of their ...
[Full version]
New Advances in Distributed Optimization and Distance Computation
event speaker icon
Yuval Efron
event date icon
Wednesday, 17.6.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/96006478037
Finding exact solutions to many fundamental optimization and distance computation problems is known to be a hard task in the distributed CONGEST model of computation. A natural relaxation then is to look for approximate solutions. In this talk, I will discuss some of the research ...
[Full version]
ceClub: The Security of Machine Learning in the Real World and Machine Learning for Personalized Security
event speaker icon
Mahmood Sharif (Carnegie Mellon University)
event date icon
Wednesday, 17.6.2020, 10:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/93035147116
In the first part of this two-part talk, I will describe my work in adversarial machine learning (ML). Prior work has demonstrated that ML algorithms are vulnerable to evasion attacks at inference time by so-called adversarial examples. However, the implications of attacks in practice, under ...
[Full version]
Distributed Computing Seminar: A Distributed Algorithm for Directed Minimum-Weight Spanning Tree
event speaker icon
Orr Fischer (Tel Aviv University )
event date icon
Sunday, 14.6.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/95598274575 (link will be active from 11:15)
In the directed minimum spanning tree problem (DMST, also called minimum weight arborescence), the network is given a root node r, and needs to construct a minimum-weight directed spanning tree, rooted at r and oriented outwards. In this paper we present the first sub-quadratic DMST ...
[Full version]
Flutter - Google Application Development
event date icon
Wednesday, 10.6.2020, 19:00
event location icon
Zoom Lecture: Registration
CS invites you to meet Flutter - a new Google application technology - via ZOOM, Wednesday, June 10, 19:00, with: Barak Menachem, Director of the Flutter Israel Developers Community Tamir Haim Rabia, React Native Expert, Flutter In the program: Cross-platform technologies What is Flutter and ...
[Full version]
CYBERDAY 2020
event date icon
Wednesday, 10.6.2020, 09:00
event location icon
Zoom Lecture
CYBERDAY 2020 event, organized by Eli Biham, Sara Bitan, and the Technion Hiroshi Fujiwara Cyber Security Research Center, will be held in the cyber space (using Zoom - link will be sent towards the event upon registration), on Wednesday, June 10, 2020. In the program: ...
[Full version]
Symbolic algorithms for synthesis of freeform spline-based geometry
event speaker icon
Boris van Sosin
event date icon
Sunday, 7.6.2020, 13:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/98410090397
Automated tools and algorithms for synthesizing geometry have been ubiquitous in computer-aided design systems, since their very inception. Beyond the simple example of sketching tools for designers, algorithms for synthesizing geometry take many forms, such as design-by-constraints, optimization, and toolpath generation. In this thesis, we ...
[Full version]
Research Career in the Hi-tech Industry - Graduates Studies Designated Meeting
event date icon
Wednesday, 3.6.2020, 18:30
event location icon
Zoom Lecture: Registration
CS invites graduate students to a meeting on the research career in the hi-tech industry: Is there research in the Israeli industry and what are the types of jobs and career paths available, to be discussed by a panel with: Lian Levin Eitan, Senior Manager ...
[Full version]
ceClub: Accelerator-level Parallelism
event speaker icon
Mark D. Hill (University of Wisconsin-Madison)
event date icon
Wednesday, 3.6.2020, 16:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/92224131182
Computer system performance has improved due to creatively using more transistors (Moore’s Law) in parallel via bit-, instruction-, thread-, and data-level parallelism. With the slowing of technology scaling, a way to further improve computer system performance under energy constraints is to employ hardware accelerators. Each ...
[Full version]
Pixel Club: Computational Studio: A Computational Machinery to Enhance Social Communication
event speaker icon
Aayush Bansal (Carnegie Mellon University)
event date icon
Tuesday, 19.5.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/92570206785
Licklider and Taylor (1968) envisioned computational machinery that could enable better communication between humans than face-to-face. In the last fifty years, we have used computing to develop various means of communication, such as mails, messaging, video conversation, or virtual reality. These are, however, a proxy ...
[Full version]
Second-order Optimization for Machine Learning, Made Practical
event speaker icon
Tomer Koren - COLLOQUIUM LECTURE - CANCELLED
event date icon
Tuesday, 5.5.2020, 14:30
event location icon
Room 337 Taub Bld.
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 second-order derivatives and/or second-order statistics of the data---have become far less prevalent despite strong theoretical properties, due to their impractical computation, ...
[Full version]
Pixel Club: Light Field Analysis for Non-Lambertian Scenes
event speaker icon
Antonin Sulc (Czech Technical University in Prague, Prague, Czech Republic)
event date icon
Tuesday, 5.5.2020, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/98806794904
The idea of light field technology is relatively old, however, apart from various attempts of construction of imaging devices which can densely capture scene radiance, only recent availability of devices from companies like Lytro and Raytrix started a significant increase of interest in the light ...
[Full version]
Node Embedding over Temporal Graphs
event speaker icon
Uriel Singer - CANCELLED
event date icon
Sunday, 19.4.2020, 15:30
event location icon
Room 601 Taub Bld.
In this work, we present a method for node embedding in temporal graphs. We propose an algorithm that learns the evolution of a temporal graph's nodes and edges over time and incorporates this dynamics in a temporal node embedding framework for different graph prediction tasks. ...
[Full version]
Algorithms for Two-Player Turn-Based Stochastic Games
event speaker icon
Uri Zwick - COLLOQUIUM LECTURE- CANCELLED
event date icon
Tuesday, 7.4.2020, 14:30
event location icon
Room 337 Taub Bld.
Two-player turn-based zero-sum stochastic games is an interesting family of infinite duration games played on a finite set of states. These games may be seen as an extension of Markov Decisions Processes (MDPs) to a two-player setting. Such games have applications in various areas ranging ...
[Full version]
Hypernetworks and a New Feedback Model
event speaker icon
Lior Wolf - COLLOQUIUM LECTURE - CANCELLED
event date icon
Tuesday, 31.3.2020, 14:30
event location icon
Room 337 Taub Bld.
Hypernetworks, also known as dynamic networks, are neural networks in which the weights of at least some of the layers vary dynamically based on the input. Such networks have composite architectures in which one network predicts the weights of another network. I will briefly describe ...
[Full version]
TODAY - LIVE! - CS Open Day For Graduate Studies
event date icon
Wednesday, 25.3.2020, 12:30
event location icon
LIVE by Z00M: Meeting ID: 518 018 934
The event will be held in live broadcast by ZOOM -  ID MEETING NO. 518018934 The 2020 open day invites outstanding undergraduates from all universities to come to the Technion and learn about the Computer Science and Department and register for Winter Semester 2020.     The ...
[Full version]
When You Have to Lock, Lock. Don't Talk: Breaking Lock Screens with Voice Assistants
event speaker icon
Yuval Ron
event date icon
Tuesday, 24.3.2020, 13:00
event location icon
Room 601 Taub Bld.
Voice assistants are designed to make our lives easier. By responding to spoken commands and questions, they provide a natural way of interaction with computers and smartphones. The problem starts when these voice assistants run by default even when the device is locked, which requires ...
[Full version]
CANCELLED! - Pixel Club: Deep Internal Learning
event speaker icon
Assaf Shocher (Weizmann Institute of Science)
event date icon
Tuesday, 17.3.2020, 11:30
event location icon
Electrical Eng. Building 1061
Deep Learning has always been divided into two phases: Training and Inference. Deep networks are mostly used with large data-sets, both under supervised (Classification, Regression etc.) or unsupervised (Autoencoders, GANs) regimes. Such networks are only applicable to the type of data they were trained for, ...
[Full version]
Arithmetization for Probabilistically Checkable and Interactive Oracle Proofs Supervisor
event speaker icon
Yinon Horesh - CANCELLED!
event date icon
Sunday, 15.3.2020, 15:00
event location icon
Room 601 Taub Bld.
Recently, there is an increase in delegating computations to powerful remote servers. This appearance raises questions of computational integrity and efficient verification. For instance, the server can be unreliable, therefore it may output erroneous results. In other contexts, where preserving information privacy is crucial, as ...
[Full version]
CGGC Seminar: Multidimensional Multimodal Content-Oriented Presentations
event speaker icon
Daniil Rodin (CS, Technion)
event date icon
Sunday, 8.3.2020, 13:30
event location icon
Taub 301 Taub Bld.
Contemporary presentation software provides sufficient tools for simple presentation scenarios. However, such tools have not changed for about two decades and are unsuitable for many complex modern needs. Content is typically limited to text and images only and cannot be expressed well in terms of ...
[Full version]
Multidimensional Multimodal Content-Oriented Presentations
event speaker icon
Daniil Rodin
event date icon
Sunday, 8.3.2020, 13:30
event location icon
Taub 301 Taub Bld.
Contemporary presentation software provides sufficient tools for simple presentation scenarios. However, such tools have not changed for about two decades and are unsuitable for many complex modern needs. Content is typically limited to text and images only and cannot be expressed well in terms of ...
[Full version]
Leveraging Machine Learning Algorithms in Online Portfolio Selection
event speaker icon
Guy Uziel
event date icon
Wednesday, 4.3.2020, 13:30
event location icon
Room 601 Taub Bld.
Online Portfolio Selection, aiming to optimize the allocation of wealth across a set of assets, is a fundamental research problem in computational finance and machine learning. Despite the theoretical challenges, the implementation of a real-world trading system is extremely challenging. This issue has been extensively ...
[Full version]
ceClub: Service Rates in Distributed Systems with Redundancy
event speaker icon
Prof. Emina Soljanin (Rutgers University)
event date icon
Wednesday, 4.3.2020, 11:30
event location icon
Taub 201 Taub Bld.
Applications such as distributed learning and edge computing strive to maximize the number of service requests (e.g., for data access) that can be concurrently executed by the system. Redundancy, in the form of simple replication and erasure coding, has emerged as an efficient and robust ...
[Full version]
Breaking the Bluetooth Pairing the Fixed Coordinate Invalid Curve Attack
event speaker icon
Lior Neumann
event date icon
Wednesday, 4.3.2020, 11:00
event location icon
Room 601 Taub Bld.
Bluetooth is a widely deployed standard for wireless communications between mobile devices. It uses authenticated Elliptic Curve Diffie-Hellman for its key exchange. In this paper we show that the authentication provided by the Bluetooth pairing protocols is insufficient and does not provide the promised MitM ...
[Full version]
Pixel Club: Multitask Regression and Flood Forecasting
event speaker icon
Ami Wiesel (Hebrew University of Jerusalem
event date icon
Tuesday, 3.3.2020, 11:30
event location icon
Electrical Eng. Building 1061
In this talk, we will discuss recent advances in multitask regression and their application to flood forecasting. We will begin with a brief overview of Google’s flood forecasting initiative in India. The project involves time series prediction in different geographical locations based on a limited ...
[Full version]
Learning feasible and efficient MR imaging
event speaker icon
Tomer Weiss
event date icon
Wednesday, 26.2.2020, 11:45
event location icon
Room 012 Taub Bld (Learning Center)
Magnetic Resonance Imaging (MRI) has long been considered to be among "the gold standards" of diagnostic medical imaging. The long acquisition times, however, render MRI prone to motion artifacts, let alone their adverse contribution to the relative high costs of MRI examination. Over the last ...
[Full version]
Formal Program Repair
event speaker icon
Bat-Chen Rothenberg
event date icon
Wednesday, 26.2.2020, 11:30
event location icon
Room 601 Taub Bld.
The manual detection, examination and repair of computer bugs are all notoriously difficult tasks that programmers face daily. Automated program repair receives a program with a bug, and outputs a set of changes to the program that would make it bug-free. We focus on formal ...
[Full version]
Learning-based design of ultrasound imaging systems
event speaker icon
Sanketh Vedula
event date icon
Wednesday, 26.2.2020, 11:00
event location icon
Room 012 Taub Bld (Learning Center)
Medical ultrasound is a widespread imaging modality owing its popularity to cost efficiency, portability, speed, and lack of harmful ionizing radiation. In this work, we demonstrate that replacing the traditional ultrasound processing pipeline with a data-driven, learnable counterpart leads to significant improvement in image quality. ...
[Full version]
Pixel Club: Joint Design of Optics and Post-Processing Algorithms Based on Deep Learning for Generating Advanced Imaging Features
event speaker icon
Shay Elmalem (Tel-Aviv University)
event date icon
Tuesday, 25.2.2020, 11:30
event location icon
Electrical Eng. Building 1061
The recent and on-going Deep-Learning (DL) revolution, introduces a paradigm shift in almost all disciplines of signal processing. Traditionally, Computer Vision (CV) and Image Processing (IP) methods were based on hand-crafted feature extraction from the initial optical image, and then some hand-crafted classifier/filter was defined ...
[Full version]
Pixel Club: Learning-Based Strong Solutions to Forward and Inverse Problems in Partial Differential Equations
event speaker icon
Lea Bar (Tel Aviv University)
event date icon
Tuesday, 18.2.2020, 11:30
event location icon
Electrical Eng. Building 1061
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 free, and the solution is approximated by a neural network. We employ an unsupervised approach such that the input to the ...
[Full version]
Answering (Unions of) Join Queries using Random Access and Random-Order Enumeration
event speaker icon
Shai Zeevi
event date icon
Sunday, 16.2.2020, 11:00
event location icon
Room 601 Taub Bld.
As data analytics becomes more crucial to digital systems, so grows the importance of characterizing the database queries that admit a more efficient evaluation. We consider the tractability yardstick of answer enumeration with a polylogarithmic delay after a linear-time preprocessing phase. Such an evaluation is ...
[Full version]
Personal Assistant Programming in Esperanto
event speaker icon
Lior Samuel
event date icon
Tuesday, 4.2.2020, 13:30
event location icon
Room 601 Taub Bld.
We are interested in the following question: How could one create a digital personal assistant, capable of acquiring and applying new skills through spoken interaction? The most rudimentary requirement of such skill acquisition would be Turing complete programming. Other such acquisitions might be the deduction ...
[Full version]
Pixel Club: Towards high spatial and/or temporal resolution fMRI at ultra-high field 7T human MRI
event speaker icon
Rita Schmidt (Weizmann Institute of Science)
event date icon
Tuesday, 4.2.2020, 11:30
event location icon
Electrical Eng. Building 1061
The recent push towards ultra-high (magnetic) fields in Magnetic Resonance Imaging (MRI) is expected to change the face of biomedical imaging. Recent studies employing state of the art 7 T MRI scanners achieved submillimeter resolution in 3D anatomical imaging of the human brain. However, the ...
[Full version]
Theory Seminar: Strong Average-Case Circuit Lower Bounds from Non-trivial Derandomization
event speaker icon
Lijie Chen (MIT)
event date icon
Wednesday, 29.1.2020, 12:30
event location icon
Room 337 Taub Bld.
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 was even open whether E^NP can be (1/2+1/sqrt(n))-approximated by AC^0[2] circuits. As a straightforward application, we obtain an infinitely often non-deterministic ...
[Full version]
Pixel Club: From Voxels to Pixels and Back: Self-Supervision in Natural-Image Reconstruction from fMRI
event speaker icon
Guy Gaziv (Weizmann Institute of Science)
event date icon
Tuesday, 28.1.2020, 11:30
event location icon
Electrical Eng. Building 1061
Reconstructing observed images from fMRI brain recordings is challenging. Unfortunately, acquiring sufficient "labeled" pairs of {Image, fMRI} (i.e., images with their corresponding fMRI responses) to span the huge space of natural images is prohibitive for many reasons. We present a novel approach which, in addition ...
[Full version]
Search for Smart Evaders with UAV Swarms
event speaker icon
Roee Francos
event date icon
Sunday, 26.1.2020, 11:00
event location icon
Taub 401 Taub Bld.
Suppose that in a given planar circular region, there are some smart mobile evaders and we would like to find them using swarms of sweeping agents. A smart evader is a target that detects and responds to the motions of searchers by performing evasive maneuvers, ...
[Full version]
Theory Seminar: Foundations of Distributed Computing in the 2020s
event speaker icon
Jukka Suomela (Aalto University)
event date icon
Wednesday, 22.1.2020, 12:30
event location icon
Taub 201 Taub Bld.
In this talk I will review some major advances in the theory of distributed computing in the past decade and discuss key research challenges for the 2020s, with the main focus on distributed graph algorithms. I will present promising new approaches for doing research in ...
[Full version]
Project Fair in IoT, Software, Android Apps, AI, Cyber, Computer Security, Networks, Computer Vision and Virtual Reality
event date icon
Tuesday, 21.1.2020, 12:30
event location icon
Transparent Hall, Beit Hastudent
CS Labs: Systems and Software Development Laboratory (ICST), Cyber and Computer Security Laboratory (CYBER), The Laboratory for Computer Communication and Networking (LCCN), Geometric Image Processing Laboratory (GIP), invite you to visit the Spring Project Fair inProject Fair in IoT, Software, Android Apps, AI, Cyber, Computer ...
[Full version]
Pixel Club: Fast and Accurate Least-Mean-Squares Solvers
event speaker icon
Alaa Maalouf and Ibrahim Jubran (Haifa University)
event date icon
Tuesday, 21.1.2020, 10:30
event location icon
Room 337 Taub Bld.
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 the building blo cks in a variety of other methods, such as decision trees and matrix factorizations. We suggest an algorithm ...
[Full version]
CGGC Seminar: Robust Shape Collection Matching and Correspondence from Shape Differences
event speaker icon
Aharon Cohen (CS, Technion)
event date icon
Monday, 20.1.2020, 16:00
event location icon
Taub 401 Taub Bld.
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 the inter-maps between the collections. Given the intra-maps in each collection, we extract the corresponding shape difference operators, and use them ...
[Full version]
Data Science & Deep Learning: Synthetic Data Generation
event speaker icon
Roi Livni (Tel Aviv University)
event date icon
Monday, 20.1.2020, 12:30
event location icon
Taub 301 Taub Bld.
The task of synthetic data generation can be, roughly, stated as follows: A learner gets to observe examples, sampled from some unknown distributions, and needs to output "synthetic" examples that "look similar". For example, think of an algorithm that receives examples of music tunes from ...
[Full version]
Similarity in Binary Executable
event speaker icon
Yaniv David
event date icon
Sunday, 19.1.2020, 16:00
event location icon
Room 601 Taub Bld.
We address the problem of binary code search in stripped executables (with no debug information). The main challenge is establishing binary code similarity even when the binary code has been compiled using different compilers, optimization levels and targeting diverse architectures. Moreover, the source code being ...
[Full version]
Coding Theory: The Capacity of Multidimensional Permutations With Restricted Movement
event speaker icon
Dor Elimelech (Ben-Gurion University)
event date icon
Sunday, 19.1.2020, 14:30
event location icon
Room 601 Taub Bld.
The study of permutations is motivated by their application in coding for flash memories, and their relevance in different applications of networking technologies and various channels. We study the multidimensional constrained systems of $\mathbb{Z}^d$-permutations with restricted movement. During the talk, we will show a correspondence ...
[Full version]
Reliability, Equity, and Reproducibility in Modern Machine Learning
event speaker icon
Yaniv Romano - CS-Lecture
event date icon
Thursday, 16.1.2020, 10:30
event location icon
Room 337 Taub Bld.
Modern machine learning algorithms have achieved remarkable performance in a myriad of applications, and are increasingly used to make impactful decisions in the hiring process, criminal sentencing, healthcare diagnostics and even to make new scientific discoveries. The use of data-driven algorithms in high-stakes applications is ...
[Full version]
Theory Seminar: Average Sensitivity of Graph Algorithms
event speaker icon
Nithin Varma (Haifa University)
event date icon
Wednesday, 15.1.2020, 12:30
event location icon
Taub 201 Taub Bld.
Inmodern applications of graph algorithms, where the graphs of interest arelarge and dynamic, it is unrealistic to assume that an input representationcontains the full information of a graph being studied. For example, consider asocial network, where a vertex corresponds to a user and an edge ...
[Full version]
Coding for Emerging Technologies
event speaker icon
Ohad Elishco - CS-Lecture
event date icon
Wednesday, 15.1.2020, 10:30
event location icon
Room 601 Taub Bld.
We are living in the era of massive data. Some estimate that more than 90% of the worlds data was generated in recent years. This large amount of data comes with technological challenges such as: distributed storage systems, synchronization issues, density constraints, power constraints and ...
[Full version]
Data Science & Deep Learning: Linear Quadratic Control and Online Learning
event speaker icon
Yishay Mansour (Tel Aviv University)
event date icon
Monday, 13.1.2020, 12:30
event location icon
Taub 301 Taub Bld.
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 dynamics, or (2) unknown dynamics but known quadratic losses. We present an efficient online learning algorithms for both setting with vanishing ...
[Full version]
Verification of distributed protocols using decidable logics
event speaker icon
Oded Padon - CS-Lecture
event date icon
Monday, 13.1.2020, 10:30
event location icon
Room 601 Taub Bld.
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 develop a methodology for verifying distributed algorithms and systems using decidable logics, employing decomposition, abstraction, and user interaction. This methodology is ...
[Full version]
Fundamental limits of modern machine learning and how to get around them
event speaker icon
Yair Carmon - CS-Lecture
event date icon
Sunday, 12.1.2020, 10:30
event location icon
Room 337 Taub Bld.
This talk presents new computational and statistical barriers in machine learning, along with the algorithmic developments that they inspire. The computational barriers arise in nonconvex optimization: we prove lower bounds on the (oracle) complexity of finding stationary points using (stochastic) gradient methods, showing that gradient ...
[Full version]
CGGC Seminar: Functional Tracing of Discrete Vector Fields
event speaker icon
Yair Reani (CS, Technion)
event date icon
Wednesday, 8.1.2020, 16:00
event location icon
Room 337 Taub Bld.
We propose a method for tracing the flowlines of a discrete tangent vector field on a triangle mesh. Our method makes use of functional vector fields, namely modeling of vector fields as operators acting on functions. In particular, we use the recently proposed adjoint representations ...
[Full version]
Functional Tracing of Discrete Vector Fields
event speaker icon
Yair Reani
event date icon
Wednesday, 8.1.2020, 16:00
event location icon
Room 337 Taub Bld.
We propose a method for tracing the flowlines of a discrete tangent vector field on a triangle mesh. Our method makes use of functional vector fields, namely modeling of vector fields as operators acting on functions. In particular, we use the recently proposed adjoint representations ...
[Full version]
ceClub: Deep Reinforcement Learning in Compiler
event speaker icon
Ameer Haj Ali (UC Berkeley)
event date icon
Wednesday, 8.1.2020, 15:30
event location icon
Electrical Eng. Building 815
Compilers are designed today to use fixedAbstract -cost models that are based on heuristics to make different code optimizations. However, these models are unable to capture the data dependency, the computation graph, or the organization of instructions. Therefore, with these models compilers achieve suboptimal performance. ...
[Full version]
Theory Seminar: Nearly Instance-Optimal Mechanisms in Differential Privacy
event speaker icon
Hilal Asi (Stanford University)
event date icon
Wednesday, 8.1.2020, 12:30
event location icon
Taub 201 Taub Bld.
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 that our mechanisms, with a modest increase in sample size (logarithmic or constant), are instance-optimal for a large family of functions. ...
[Full version]
ceClub: Quantum Money and Some of its Extensions
event speaker icon
Or Sattath (Ben-Gurion University)
event date icon
Wednesday, 8.1.2020, 11:30
event location icon
Electrical Eng. Building 861
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 similar to the cash we use, but in addition, it is physically impossible to forge. In this talk, I will discuss ...
[Full version]
Pixel Club: Recovering Dynamics in Geometry Processing, Fluid Mechanics, Image Processing and Social Sciences via Koopman Theory
event speaker icon
Omri Azencot (University of California, LA)
event date icon
Tuesday, 7.1.2020, 11:30
event location icon
Electrical Eng. Building 1061
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 made increasing amounts of observations of such systems readily available. Unfortunately, in many practical scenarios, the governing equations of the dynamics ...
[Full version]
SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
event speaker icon
Prof. Martin Monperrus - COLLOQUIUM LECTURE -
event date icon
Monday, 6.1.2020, 14:30
event location icon
Room 337 Taub Bld.
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 fixing bugs based on sequence-to-sequence learning on source code. This approach uses the copy mechanism to overcome the unlimited vocabulary problem ...
[Full version]
Data Science & Deep Learning: An Online Learning Approach to Generative Adversarial Networks
event speaker icon
Kfir Levy (EE, Technion)
event date icon
Monday, 6.1.2020, 12:30
event location icon
Taub 301 Taub Bld.
We consider the problem of training and evaluating generative models with a Generative Adversarial Network (GAN). Although GANs can accurately model complex distributions, they are known to be difficult to train due to instabilities caused by a difficult minimax optimization problem. In this work, we ...
[Full version]
Meaning Representation in Natural Language Tasks
event speaker icon
Gabriel Stanovsky - CS-Lecture
event date icon
Sunday, 5.1.2020, 10:30
event location icon
Room 337 Taub Bld.
Recent developments in Natural Language Processing (NLP) allow models to leverage large, unprecedented amounts of raw text, culminating in impressive performance gains in many of the field's long-standing challenges, such as machine translation, question answering, or information retrieval. In this talk, I will show that ...
[Full version]
Leveraging Programmable Switches for In-network Computing
event speaker icon
Ran Ben Basat - CS-Lecture
event date icon
Thursday, 2.1.2020, 10:30
event location icon
Room 337 Taub Bld.
The network line rate is constantly on the rise to support the exploding amounts of data. This means that we have less time to process individual packets, despite a growing demand for better network telemetry. Moreover, CPU speeds are not rising at the same rate ...
[Full version]