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

The Taub Faculty of Computer Science Events and Talks

Clustering in the Network Data Plane
event speaker icon
Or Goaz
event date icon
Tuesday, 9.3.2021, 14:00
event location icon
Zoom Lecture: 99911513639
For password to lecture, please contact: orgoaz@cs.technion.ac.il
Clustering is a basic machine learning task. In this task, a stream of input items needs to be grouped into clusters, such that all items classified into the same cluster are closer to each other than to items classified to other clusters. Each cluster is ...
[Full version]
Adversarial Examples for Models of Code and Defending Against Them
event speaker icon
Noam Yefet
event date icon
Thursday, 4.3.2021, 12:30
event location icon
Zoom Lecture: 96898381897
For password to lecture, please contact: snyefet@cs.technion.ac.il
Neural models of code have shown impressive results when performing tasks such as predicting method names and identifying certain kinds of bugs. We show that these models are vulnerable to adversarial examples, and introduce a novel approach for attacking trained models of code using adversarial ...
[Full version]
Automata over Infinite Data Domains: Learnability and Applications in Program Verification and Repair
event speaker icon
Hadar Frenkel
event date icon
Tuesday, 2.3.2021, 17:00
event location icon
Zoom Lecture: 97090529670
For password to lecture, please contact: hfrenkel@cs.technion.ac.il
We present automata over infinite data domains and their use in program verification and repair. In particular, we discuss assume-guarantee based verification, a compositional verification method that uses automata learning in order to modularly verify the correctness of a system. Then we present Assume-Guarantee-Repair (AGR) ...
[Full version]
Designing Deep Neural Networks for Efficient and Robust Inference
event speaker icon
Chaim Baskin
event date icon
Tuesday, 2.3.2021, 11:30
event location icon
Zoom Lecture: 99572398109
For password to lecture, please contact: chaimbaskin@cs.technion.ac.il
Deep neural networks (DNN) became a common tool for solving complex tasks in various fields such as computer vision, natural language processing, and recommendation systems. Despite recent progress made in enhancing the DNN performance, there are still two major obstacles hindering the practicality of DNNs ...
[Full version]
Google Hash Code 2021
event date icon
Thursday, 25.2.2021, 19:30
event location icon
Zoom Event: Registration
Google Hash Code 2021will take place on Thursday, February 25, 2021 between 19:30-23:45 and you are invited to register to the Technion Hub by Wednesday, February 24, 13:00 IST. More details and registration. Technion Hub Facebook Group
[Full version]
Fault Tolerant Max-Cut
event speaker icon
Noa Marelly
event date icon
Thursday, 25.2.2021, 14:30
event location icon
Zoom Lecture: 98844121807
For password to lecture, please contact: noa.marelly@cs.technion.ac.il
In this work, we initiate the study of fault tolerant Max-Cut, where given an edge-weighted undirected graph G=(V,E), the goal is to find a cut S, that maximizes the total weight of edges that cross S even after an adversary removes k vertices from G. ...
[Full version]
Scalable deep learning with pipeline model parallelism
event speaker icon
Saar Eliad
event date icon
Thursday, 25.2.2021, 11:00
event location icon
Zoom Lecture: 94960294313
For password to lecture, please contact: saareliad@cs.technion.ac.il
We worked on a particular case of Deep Learning where the model is too large to fit into the memory of a single commodity GPU during training. Such is the case for fine-tuning, an increasingly common technique that leverages transfer learning to dramatically expedite the ...
[Full version]
Pixel Club: Learning like Humans Do, with Limited Training Data
event speaker icon
Amit Alfassy (EE, Technion)
event date icon
Tuesday, 23.2.2021, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/95741652165
While Deep learning has brought a huge advancement to computer vision, for most tasks we still need hundreds of labeled samples per class. The few-shot learning tasks attempts to alleviate the data problem by learning from 1/ 5 samples per class. We will discuss the ...
[Full version]
Batched Vertex Cover Reconfiguration
event speaker icon
Shahar Romem Peled
event date icon
Thursday, 18.2.2021, 14:30
event location icon
Zoom Lecture: 99681314877
For password to lecture, please contact: shaharr@cs.technion.ac.il
Our research focuses on the task of Batched Vertex Cover Reconfiguration, both in centralized and distributed systems. In this talk, I will present a centralized black-box compression scheme for reconfiguration schedules. Afterwards, I will introduce the concept of Small Separator Decomposition which can be used ...
[Full version]
Amazon Research, Alexa Shopping Internship Program Introduction
event date icon
Thursday, 18.2.2021, 14:00
event location icon
Zoom Event: Registration
Amazon Research, Alexa Shopping Internship Program Introduction on research challenges, and 2021 research internship program for graduate students in CS will be held on Thursday, February 18th between 14:00-15:00. Agenda: 14:00 - 14:20 “Alexa can you help me shop?“ Yoelle Maarek, VP of Research, Alexa ...
[Full version]
ceClub: Designing a Programming Language Shared-Memory Concurrency Semantics
event speaker icon
Ori Lahav (Tel-Aviv University)
event date icon
Wednesday, 17.2.2021, 11:30
event location icon
Zoom Lecture: 93991018429
A concurrency semantics (aka a memory model) for a programming language defines the allowed behaviors of multithreaded programs. For programmers, sequential consistency (i.e., standard interleaving-based semantics) is considered as the most intuitive model. However, it is too costly to implement. Designing a satisfactory substitute is ...
[Full version]
Pixel Club: Imaging with Local Speckle Intensity Correlations: Theory And Practice
event speaker icon
Marina Alterman (EE, Technion)
event date icon
Tuesday, 16.2.2021, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/91594351204
Recent advances in computational imaging have significantly expanded our ability to image through scattering layers such as biological tissues, by exploiting the auto-correlation properties of captured speckle patterns. However, most experimental demonstrations of this capability focus on the far-field imaging setting, where obscured light sources ...
[Full version]
Heterogeneous Parametric Trivariate Fillets
event speaker icon
Ramy Masalha
event date icon
Monday, 15.2.2021, 13:30
event location icon
Zoom Lecture: 6222766056
For password to lecture, please contact: sramy@cs.technion.ac.il
Blending and filleting are well established operations in solid modeling and computer-aided geometric design. The creation of a transition surface which smoothly connects the boundary surfaces of two (or more) objects has been extensively investigated. In this talk, we will introduce several algorithms for the ...
[Full version]
Characterizing, Exploiting, Detecting and Preventing DMA Attacks in the Presence of an IOMMU
event speaker icon
Alex Markuze
event date icon
Sunday, 14.2.2021, 15:00
event location icon
Zoom Lecture: 99638464465
For password to lecture, please contact: markuze@cs.technion.ac.il
Malicious I/O devices might compromise the OS using DMAs. The OS therefore utilizes the IOMMU to map and unmap every target buffer right before and after its DMA is processed, thereby restricting DMAs to their designated locations. This usage model, however, is neither truly secure ...
[Full version]
Indoor Exploration with a Robotic Vehicle Using a Single Camera and a Floorplan
event speaker icon
John Noonan
event date icon
Sunday, 14.2.2021, 12:00
event location icon
Zoom Lecture: 2728213233
For password to lecture, please contact: John Noonan@cs.technion.ac.il
Intelligent systems which can be deployed to explore indoor buildings on a frequent and regular basis are beneficial to personnel operating remotely for security, manufacturing, or warehouse pack-and-ship. In this talk, I will present a new minimalistic approach to indoor exploration: minimal sensing, minimal prior ...
[Full version]
Data Science & Deep Learning: One-tape Turing Machine and Branching Program Lower Bounds for MCSP
event speaker icon
Dimitrios Myrisiotis (Computing of Imperial College London)
event date icon
Wednesday, 10.2.2021, 12:30
event location icon
Zoom Lecture: 96255595054
For password to lecture, please contact: mayasidis@cs.technion.ac.il
For a size parameter s: N -> N, the Minimum Circuit Size Problem (denoted by MCSP[s(n)]) is the problem of deciding whether the minimum circuit size of a given function f: {0,1}^n -> {0,1} (represented by a string of length N := 2^n) is at ...
[Full version]
Limited Associativity Caching in the Data Plane
event speaker icon
Dor Hovav
event date icon
Monday, 8.2.2021, 10:00
event location icon
Zoom Lecture: 96832108498
For Password to lecture, please contact: dorhovav@cs.technion.ac.il
In-network caching promises to improve the performance of distributed and networked applications. This is by storing so-called hot items in the network switches on-route between clients who need access to the data and the storage servers who maintain it. Since the data flows through those ...
[Full version]
Approximating Requirement Cut via a Configuration LP
event speaker icon
Yotam Sharoni
event date icon
Sunday, 7.2.2021, 17:00
event location icon
Zoom Lecture: 98726136846
For password to lecture, please contact: yotamsh@cs.technion.ac.il
We consider the REQUIREMENT CUT problem, where given an undirected graph G = (V, E) equipped with non-negative edge weights c , and g groups of vertices X1, . , Xg in V each equipped with a requirement ri, the goal is to find a ...
[Full version]
CS Lecture: Deep into 3DV: Pushing the Boundaries of 3D Vision
event speaker icon
Hadar Averbuch-Elor (Cornell-Tech)
event date icon
Thursday, 4.2.2021, 16:30
event location icon
Zoom Lecture: 98635528430
For password to lecture, please contact: sigal@cs.technion.ac.il
3D computer vision has significantly advanced over the past several decades, with modern algorithms successfully reconstructing entire urban cities. However, many questions remain unexplored, as geometric reasoning alone cannot fully infer the connections among images capturing different parts of the scene or semantic relationships between ...
[Full version]
CS Lecture: Towards Reliable Data-Driven Computations
event speaker icon
Yuval Moskovitch (University of Michigan)
event date icon
Monday, 1.2.2021, 16:00
event location icon
Zoom Lecture: 97043323000
For password to lecture, please contact: sigal@cs.technion.ac.il
Data-driven methods are increasingly being used in domains such as fraud and risk detection, where data-driven algorithmic decision making may affect human life. The growing impact of data and data-driven systems on society makes it important that people be able to trust analytical results obtained ...
[Full version]
ceClub: Comprehensive Protection for Speculatively-Accessed Data
event speaker icon
Adam Morrison (Tel-Aviv University)
event date icon
Wednesday, 27.1.2021, 11:30
event location icon
Zoom Lecture: for link to zoom please contact sgoren@campus.technion.ac.il
Speculative execution attacks present an enormous security threat, capable of reading arbitrary program data under malicious speculation and later exfiltrating that data over microarchitectural covert channels. This talk will describe a comprehensive hardware protection from speculative execution attacks. We will first describe Speculative Taint Tracking ...
[Full version]
CGGC Seminar: Errors in Judgement in Engineering: What Can They Teach Us about the Design Process?
event speaker icon
Stefanie Elgeti (Institute of Lightweight Design and Structural Biomechnics,TU Wien)
event date icon
Monday, 25.1.2021, 11:00
event location icon
Zoom Lecture: 91344952941 For password to lecture please contact inbalb@cs.technion.ac.il
Engineering design is a task that comes with high responsibility: A failed design may easily cause not only monetary damage but, even more importantly, injuries of users. Based on a collection of design flaws [Petroski1994], this presentation will give an overview over modern design approaches ...
[Full version]
Compositional Model Checking for Multi-Properties
event speaker icon
Ohad Goudsmid
event date icon
Sunday, 24.1.2021, 15:30
event location icon
Zoom Lecture: for link to zoom please contact goudsmidohad@cs.technion.ac.il
Hyperproperties lift conventional trace properties in a way that describes how a system behaves in its entirety, and not just based on its individual traces. We generalize this notion to multi-properties, which describe the behavior of a set of systems, called a multi-model. We show ...
[Full version]
ceClub: Demand-Aware Optimization in Offchain Networks
event speaker icon
Julia Khamis (EE, Technion)
event date icon
Wednesday, 20.1.2021, 11:30
event location icon
Zoom Lecture: for link to zoom please contact sgoren@campus.technion.ac.il
Offchain networks are dominant as a solution to the scalability problem of blockchain systems, allowing users to perform payments without their recording on the chain by relying on predefined payment channels. Users together with the offchain channels form a graph, known as the offchain network ...
[Full version]
CS Lecture: Better Environments for Better AI
event speaker icon
Sarah Keren (Harvard University and The Hebrew University of Jerusalem)
event date icon
Tuesday, 19.1.2021, 10:30
event location icon
Zoom Lecture: 96384147559
Meeting ID: 963 8414 7559
Passcode: CSLECTURE
Most AI research focuses exclusively on the AI agent itself, i.e., given some input, what are the improvements to the agent’s reasoning that will yield the best possible output? In my research, I take a novel approach to increasing the capabilities of AI agents via ...
[Full version]
CGGC Seminar: Accelerating Geometric Algorithms for Freeform Surfaces using Toroidal Patch Approximation
event speaker icon
Myung Soo Kim (Seoul National University)
event date icon
Monday, 18.1.2021, 11:00
event location icon
Zoom Lecture: 91344952941
We present a new approach to the acceleration of geometric algorithms for freeform surfaces using a hierarchy of bounding volumes, including those based on the osculating toroidal patches to the surfaces. Using this approach, we revisit some non-trivial conventional geometric algorithms, including those for computing ...
[Full version]
CS Lecture: Learning on Pointclouds for 3D Scene Understanding
event speaker icon
Or Litany (NVIDIA, Toronto AI lab)
event date icon
Thursday, 14.1.2021, 17:00
event location icon
Zoom Lecture: 91344952941
Meeting ID: 958 1720 7725 Passcode: CSLECTURE
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, best paper nomination): a method for object detection from 3D pointclouds input, inspired by the classical generalized Hough ...
[Full version]
Concurrent Sketches and their Applications
event speaker icon
Dolev Adas
event date icon
Thursday, 14.1.2021, 12:30
Sketches maintain compact approximate statistics about streams of data, thereby enabling quickly answering queries regarding the data stream without having to reprocess it. In this talk we will present four different papers that studies concurrent sketches and their applications. In particular we looked at these ...
[Full version]
CS Lecture: Computational Theory of Graphs, Sets and Rigid Sets
event speaker icon
Nadav Dym (Duke University)
event date icon
Tuesday, 12.1.2021, 16:00
event location icon
Zoom Lecture: 91344952941
Meeting ID: 378 331 9350 Passcode: CSLECTURE
Quotient spaces are a natural mathematical tool to describe a variety of algorithmic problems where different objects are to be compared while their natural symmetries are to be ignored. In particular, we will focus on graphs and sets whose symmetries are permutation of the vertices, ...
[Full version]
CGGC Seminar: Quad-mesh Based Mappings between Surfaces
event speaker icon
Helmut Pottmann (TU WIEN, Applied Geometry)
event date icon
Monday, 11.1.2021, 11:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/91344952941
We discretize mappings between surfaces as correspondences between checkerboard patterns derived from quad meshes. This method captures the degrees of freedom inherent in smooth maps and provides a very simple and efficient computational approach to important types of maps such as conformal or isometric maps. ...
[Full version]
CS Lecture: Adversarially Robust Streaming Algorithms
event speaker icon
Eylon Yogev (Tel-Aviv University & Boston University)
event date icon
Thursday, 7.1.2021, 10:30
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: Learned Sampling of 3D Point Clouds
event speaker icon
Itai Lang (Tel-Aviv University)
event date icon
Tuesday, 5.1.2021, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/j/95495412165
There is a growing number of tasks that work directly on point clouds. As the size of the point cloud grows, so do the computational demands of these tasks. A possible solution is to sample the point cloud first. Classic sampling approaches, such as farthest ...
[Full version]
CS Lecture: Next Generation Programming with Program Synthesis
event speaker icon
Hila Peleg (CSE, University of California, San Diego)
event date icon
Tuesday, 5.1.2021, 10:30
Program synthesis is the problem of generating a program to satisfy a specification of user intent. Since these specifications are usually partial, this means searching a space of candidate programs for one that exhibits the desired behavior. The lion's share of the work on program ...
[Full version]
CGGC Seminar: Hyper-Realistic Rendering: Leveraging Artistic & Mathematical Approaches for Effective Control of Visual Results
event speaker icon
Ergun Akleman (Texas A&M University)
event date icon
Monday, 4.1.2021, 16:00
event location icon
Zoom Lecture: https://technion.zoom.us/j/91344952941
My primary goal in this fringe direction of research is to develop a simple, intuitive formal framework for the automatic representation of simplified shapes and materials that can support Hyper-Realism in a wide variety of rendering applications. I observe that with the emphasis on the ...
[Full version]