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

The Taub Faculty of Computer Science Events and Talks

A New Lower Bound on the Growth Constant of Polycubes in Three Dimensions
event speaker icon
Matan Mamistvalov
event date icon
Monday, 27.6.2022, 13:30
event location icon
Zoom Lecture: 93007469330
In this thesis, we deal the approximation problem of the growth rate of polycubes in three dimensions. We consider three-dimensional polycubes, which are finite collections of face-connected 3D-cubes, centered in points of $\mathbb{Z}^3$, where the lexicographically smallest cube is centered in $(0,0,0)$. If we denote the number of 3D polycubes comprised of $n$ cubes by $A(n)$, then we know from prior results that this sequence behaves like an exponential, and so we denote its growth ...
[Full version]
ceClub: Conflict and Technology, AI Chip Wars from the Inside Out
event speaker icon
Oskar Mencer (Maxeler Technologies)
event date icon
Wednesday, 8.6.2022, 11:30
event location icon
Room 861, EE Meyer Building and zoom Lecture: 91011338796
The microprocessor is 50 years old. 50 years ago, a single ALU at kHz speeds had to be shared by multiple tasks, multiple applications, multiple users and multiple organizations. Due to transistor scaling we can now have 1M ALUs on a chip at GHz speeds. In this talk I will swap the cause and effect equation, instead of talking about solutions to problems, I will talk about problems created by solutions. Today data movement dominates ...
[Full version]
CGGC Seminar: Nozzle Modification for Efficient FDM 3D Printing
event speaker icon
Shir Rorberg (CS, Technion)
event date icon
Wednesday, 8.6.2022, 10:00
event location icon
Taub 401
3D printing is based on layered manufacturing, where the layers are printed consecutively in increasing height order. In Fused Depositing Modeling (FDM), the printing head may travel without extruding material between separated “islands” of the sliced layers. These travel movements increase the printing time and reduce the quality of the 3D printed part. We present an extended nozzle modification, which can be applied to off-the-shelf FDM printers, and a corresponding toolpath generation algorithm. Together, these ...
[Full version]
Online Meeting: How to be "On it" Financially
event date icon
Tuesday, 7.6.2022, 18:30
event location icon
Zoom Event: Registration
You are invited to an online meeting led by Yael Marom, Savings Product Manager at riseup, on: How to be "on it" financially, which will explain in depth what our monthly financial situation is and the way to know how much we really need to spend, how to prepare ahead, for short term and long term, in order to gradually build our economic growth, on Tuesday, June 7, at 18:30. A link to the meeting ...
[Full version]
Robustness and Rotation Equivariance in Geometric Deep Learning
event speaker icon
Ben Finkelshtein
event date icon
Tuesday, 7.6.2022, 11:30
Graph neural networks (GNNs) have shown broad applicability in a variety of domains. These domains, e.g., social networks and recommendation systems, are fertile ground for malicious users and behavior. In a series of works, we study the robustness of GNNs under different scenarios and present a simple rotation and permutation equivariant point-cloud GNN. We show that GNNs are vulnerable to the scenario of strategic behavior of multiple users (i.e., Strategic Classification) and to the extremely ...
[Full version]
Pixel Club: Moving Forward with StyleGAN to Real Data and New Domains
event speaker icon
Ron Mokady (Tel-Aviv University)
event date icon
Tuesday, 31.5.2022, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/my/chaimbaskin
StyleGAN is already quite famous for its unremarkable image editing capabilities. Although other generative models (e.g. diffusion models) achieve comparable synthesis quality, they cannot reproduce these semantically richmanipulations. In particular, StyleGAN allows the modification of various attributes, such as hair, age, pose, expression, and make-up, while still maintaining a high level of realism. Yet, it is still challenging to leverage these traits for real data or new domains. In this talk, we discuss three main ...
[Full version]
Microsoft Lecture: Improving Productivity Through NLP
event date icon
Tuesday, 24.5.2022, 17:00
event location icon
Room 337 Taub Bld.
You are invited to a technological lecture by Dikla Dotan Cohen, Director of Research at Microsoft, on Improving Productivity Through NLP, which will present the methodology of Office 365 products and the challenges it poses, on Tuesday, May 24, 17:00, in Room 337, CS Taub Building. Please pre-register.
[Full version]
CS-Hackathon 2022 - Doing Good
event date icon
Thursday, 19.5.2022, 09:30
event location icon
CS Taub Building
You are invited to join the CS Hackathon-Doing Good programming competition to be held on Thursday-Friday, May 19-20, 2022, at CS Taub Building, and which this year will deal with social work and community contribution, and will focus on developing engineering-technological solutions to increase accessibility for people with disabilities, to help them improve their quality of life.- an opportunity to implement creative ideas that promote values ​​of involvement and contribution to the community, and to ...
[Full version]
Moran Samuel: "To Cross the Line"
event date icon
Thursday, 19.5.2022, 09:00
event location icon
CS Taub Build. Auditorium 1
You are invited to a lecture by Moran Samuel, Paralympic Medalist who will light a beacon on the upcoming Independence Day, and a visitor of the CS-Hackathon 2022, which this year deals with developing solutions to increase accessibility for people with disabilities, and who will tell about her life as an athlete and a winner, on Thursday, May 19, 2022, at 09:00, CS Taub Building Auditorium 1. More details and pre-registration (number of places is ...
[Full version]
Recruitment Day by CYE
event date icon
Wednesday, 18.5.2022, 12:30
event location icon
CS Taub Lobby
You are invited to a Recruitment Day by CYE, that provides security solutions for organizations, on Wednesday, May 18, 2022, starting at 12:30 in of the Taub Building lobby, and between 13: 30-14: 30 for a technology lecture on "Cyber, Programming and all in between" - attacks and strategies using code - by Eyal Greenberg, one of the company's founders and leader of the research team. Please pre-register.
[Full version]
Theory Seminar: Temporal Path Finding in the Presence of Delays
event speaker icon
Hendrik Molter (Ben-Gurion University)
event date icon
Wednesday, 18.5.2022, 12:30
event location icon
Taub 201
Consider planning a trip in a train network. In contrast to, say, a road network, the edges are temporal, i.e., they are only available at certain times. Another important difficulty is that trains, unfortunately, sometimes get delayed. This is especially bad if it causes one to miss subsequent trains. The best way to prepare against this is to have a connection that is robust to some number of (small) delays. An important factor in determining ...
[Full version]
ceClub: Non-explicit Information Exchange in Distributed Computing
event speaker icon
Guy Goren (EE, Technion)
event date icon
Wednesday, 18.5.2022, 11:30
event location icon
Room 861, EE Meyer Building and zoom Lecture: 92697362743
Distributed systems become more and more ubiquitous. These systems entail different instances of distributed computing problems, each with unique characteristics. In this talk, I will discuss my Ph.D. research on theoretical and algorithmic aspects of distributed computing. Specifically, I will focus on two works that represent different aspects of my research on non-explicit information exchange in distributed systems. I will start with a fundamental work on concepts of information transfer in a distributed fault-prone environment ...
[Full version]
Sound Source Modeling of Drones In Free Space and Indoors towards Acoustic-Based Indoor Localization
event speaker icon
Tom Hirshberg
event date icon
Sunday, 15.5.2022, 11:30
event location icon
Zoom Lecture: 92351875339
To model the self-sound of drones, acoustics analysis and high-fidelity computational fluid dynamic methods can be used. However, these methods require significant computational resources. Therefore, data-driven and analytical methods are commonly used to model the sound source, enabling the generation of a pressure-time history of the moving rotors along a time varying shaft position. We suggest a simple and low computational data-driven method for modeling the sound source of a drone in free space and ...
[Full version]
Theory Seminar: On the Size of Succinct Non-interactive Arguments in the Random Oracle Model
event speaker icon
Eylon Yogev (Bar-Ilan University)
event date icon
Wednesday, 11.5.2022, 12:30
event location icon
Taub 201
Are all SNARG constructions in the random oracle model inherently large? The answer to this question is still open, but I will survey recent work that makes significant progress towards a solution. In particular, we will see a new construction that achieves a smaller argument size. This is the first progress on the Micali construction since it was introduced over 25 years ago. Our construction relies on a strong soundness notion for PCPs and a ...
[Full version]
Preparation Workshop for Technical Interviews
event date icon
Tuesday, 10.5.2022, 17:30
event location icon
Zoom Event: Registration
You are invited to a preparation workshop for technical Interviews, led by Or Ben-Hayal, CS graduate and software engineer at Google, which will deal with the components of the job interview and review common mistakes made by candidates, and which will include a preparatory lecture for the various aspects of the interview, as well as practice of technical questions from job interviews and their solutions, on Tuesday, May 10, 2022, at 17:30. in Taub 337. ...
[Full version]
Pixel Club: Fundamental Visual Motion Cues for Autonomous Navigation
event speaker icon
Daniel Raviv (Florida Atlantic University (FAU))
event date icon
Tuesday, 10.5.2022, 11:00
event location icon
Room 337 Taub Bld.
This talk is about low-level fundamental visual motion cues that can help autonomous vehicles navigate in unknown structured and unstructured environments. Following bio-inspired and behavior-based observations and motivations, the talk focuses on relevant concepts and recent results as obtained from simulated and real data. Some of the visual cues, e.g., the“visual looming” cue, are environment, scale, and rotation independent, and are measured in time units. Obtaining the visual cues needs only one camera and does ...
[Full version]
Scalable Blockchain Anomaly Detection with Sketches
event speaker icon
Tomer Voronov
event date icon
Tuesday, 10.5.2022, 09:00
event location icon
Zoom Lecture: 93456393216
The growing popularity of Blockchain networks attracts also malicious and hacking users. Effectively detecting inappropriate and malicious activity should thus be a top priority for safeguarding blockchain networks and services. Blockchain behavior analysis can be used to detect unusual account activities or time periods with network-wide irregular properties. Thus, optimized anomaly detection based on historical data is an essential task for securing transactions and services. However, processing the complete blockchain history can be slow and ...
[Full version]
Recruitment Day by Pikoya
event date icon
Monday, 9.5.2022, 10:00
event location icon
CS Taub Lobby
You are invited to Recruitment Day by Pikoya (startup in publication and online games promoting), to meet their engineers and recruitment staff, to be held on Monday, May 9, 2022, starting at 10:00, at the Taub Lobby. You are all invited!
[Full version]
Practical Workshop in Linkedin
event date icon
Monday, 2.5.2022, 18:30
event location icon
Zoom Event: Registration
You are invited for a practical LinkedIn workshop, led by Anat Kegel Taub, director of the Sourcing Team at Meta, who will provide tips to help you brand yourself to future recruiters, executives and co-workers, on Monday, May 2, 2022, at 18:30 in Taub 337. Please pre-register.
[Full version]
Towards Predicting Fine Finger Motions from Ultrasound Images via Kinematic Representation
event speaker icon
Dean Zadok
event date icon
Wednesday, 27.4.2022, 11:30
event location icon
Zoom Lecture: 95614804430
A central challenge in building robotic prostheses is the creation of a sensor-based system able to read physiological signals from the lower limb and instruct a robotic hand to perform various tasks. Existing systems typically perform discrete gestures such as pointing or grasping, by employing electromyography (EMG) or ultrasound (US) technologies to analyze the state of the muscles. In this research, we study the inference problem of identifying the activation of specific fingers from a ...
[Full version]
ceClub: Twilight: A Differentially Private Payment
event speaker icon
Yossi Gilad (The Hebrew University of Jerusalem)
event date icon
Monday, 25.4.2022, 11:30
event location icon
Room 861, EE Meyer Building and zoom Lecture: 93108695810
Payment channel networks (PCNs) provide a faster and cheaper alternative to transactions recorded on the blockchain. Clients can trustlessly establish payment channels with relays by locking coins and then send signed payments that shift coin balances over the network’s channels. Although payments are never published, anyone can track a client’s payment by monitoring changes in coin balances over the network’s channels. We present Twilight, the first PCN that provides a rigorous differential privacy guarantee to ...
[Full version]
Distributional Robustness: From Pricing to Auctions
event speaker icon
Nir Bachrach
event date icon
Thursday, 14.4.2022, 10:30
event location icon
Zoom Lecture: 93646072404
Robust mechanism design is a rising alternative to Bayesian mechanism design, which yields designs that do not rely on assumptions like full distributional knowledge. We apply this approach to mechanisms for selling a single item, assuming that only the mean and range of the distribution of buyer values is known. We seek the mechanism that maximizes revenue over the worst-case distribution compatible with the known parameters. Such a mechanism arises as an equilibrium of a ...
[Full version]
Theory Seminar: Efficient Multiparty Interactive Coding for Insertions, Deletions and Substitutions
event speaker icon
Ran Gelles (Bar-Ilan University)
event date icon
Wednesday, 13.4.2022, 12:30
event location icon
Taub 601 Taub Bld.
Interactive coding allows two or more parties to carry out a distributed computation over a communication network that may be noisy. The ultimate goal is to develop efficient coding schemes that tolerate a high level of noise while increasing the communication by only a constant factor (i.e., constant rate). In this work we provide computationally efficient, constant rate schemes that conduct any computation on arbitrary networks, and succeed with high probability in the presence of ...
[Full version]
Only Real Friends Matter - A clusters Based Deep Learning Paradigm For High Dimension Multivariate Forecasting
event speaker icon
Raphael Gad
event date icon
Wednesday, 13.4.2022, 08:30
event location icon
Zoom Lecture: 96767407060
Multivariate time series forecasting differs from univariate time series forecasting by trying to model the dependencies between the different time series in order to make a more precise forecasting. Despite reaching better results in a multivariate setting, classical and deep learning multivariate models are not scalable, having their total number of parameters growing square of the number of time-series. We present in this paper a novel paradigm in how deep learning models shall be adapted ...
[Full version]
Recruitment Day by Philips
event date icon
Tuesday, 12.4.2022, 11:00
event location icon
CS Taub Lobby
You are invited to recruitment day by Philips and to meet their engineers and recruitment staff, on Tuesday, April 12, 2022, starting at 11:00, at the CS Taub Lobby. You are all invited!
[Full version]
Intel Preparatory Workshop for Job Interview
event date icon
Monday, 11.4.2022, 18:00
event location icon
Zoom Event: Registration
You are invited to Intel preparation workshop for the technical part in job interview, on Monday, April 11, 2022, 18:00, in a zoom session - a link will be sent after pre-registration. You are all invited!
[Full version]
qualitative SLAM
event speaker icon
Roee Mor
event date icon
Monday, 11.4.2022, 10:00
event location icon
Zoom Lecture: 98073608338
Simultaneous localization and mapping (SLAM) is essential in numerous robotics applications such as autonomous navigation. Traditional SLAM approaches infer the metric state of the robot (position and orientation) along with a metric map of the environment. While existing algorithms exhibit good results, they are still sensitive to measurement noise, sensors quality, data association and are still computationally expensive. Computational load is especially problematic in active planning. Alternatively, we note that some navigation and mapping missions ...
[Full version]
Research Meetup with a Focus on NLP
event date icon
Wednesday, 6.4.2022, 18:30
event location icon
Taub Terrace
You are invited to the first Research Meetup with a focus on NLP, on Wednesday, April 6th, 18:30 in the Taub Terrace. The Meeting's goal is to bring together Israel’s ML and NLP communities in a setting far more casual than the traditional well known seminar/conference/poster session. The event format will be as follows: - The night will open with a quick speech from Professor Yonatan Belinkov - A meeting of undergraduate and graduate students, ...
[Full version]
Theory Seminar: Public-Key Quantum Money with a Classical Bank
event speaker icon
Omri Shmueli (Tel-Aviv University)
event date icon
Wednesday, 6.4.2022, 12:30
event location icon
Taub 201
Quantum money is a main primitive in quantum cryptography, that enables a bank to distribute to parties in the network, called wallets, unclonable quantum banknotes that serve as a medium of exchange between wallets. While quantum money suggests a theoretical solution to some of the fundamental problems in currency systems, it still requires a strong model to be implemented; quantum computation and a quantum communication infrastructure. A central open question in this context is whether ...
[Full version]
Geometric Sorting of Simple Agents on Grid Environments with applications to autonomous traffic management
event speaker icon
Dmitry Rabinovich
event date icon
Tuesday, 5.4.2022, 11:30
event location icon
Zoom Lecture: 8206122066
We study a geometrically constrained combinatorial problem inspired by the following scenario: autonomous vehicles move on a $m$-lane freeway, where $m \geq 2$. Each vehicle heads to some destination and is allowed to exit the road only through a designated exit lane when approaching its destination. We assume that vehicles have limited memory and sensing capabilities, and cannot directly communicate with their peers. We present a completely decentralized distributed algorithm that allows vehicles to get ...
[Full version]
Temporal Graphs: Embedding with Fairness
event speaker icon
Uriel Singer
event date icon
Sunday, 3.4.2022, 11:45
event location icon
Zoom Lecture: 96690022933
In this thesis, we study temporal graphs and how to best represent their nodes and edges for multiple classification tasks. We first study the basics of how to represent nodes and edges in (un)weighted and (un)directed temporal graphs. We then present methods to leverage different aspects of temporal graphs, such as a temporal message passing and multiple attributes over edges. Finally, we study how bias manifests itself in temporal graphs and propose methods to balance ...
[Full version]
Learning Multigrid
event speaker icon
Dmitry Kuznichov
event date icon
Thursday, 31.3.2022, 14:00
event location icon
Zoom Lecture: 95779590888
During the last decade, Neural Networks (NNs) have proved to be extremely effective tools in many fields of engineering, including autonomous vehicles, medical diagnosis and search engines, and even in art creation. Indeed, NNs often decisively outperform traditional algorithms. One area that is only recently attracting significant interest is using NNs for designing numerical solvers, particularly for discretized partial differential equations. Several recent papers have considered employing NNs for developing multi-grid methods, which are a ...
[Full version]
Improved Bounds for Online Aggregation and Caching
event speaker icon
Ohad Talmon
event date icon
Wednesday, 30.3.2022, 14:00
event location icon
Taub 601 Taub Bld.
Uncertainty is a key factor in real-time systems, where decisions must be made over time based on incomplete or partial information. Competitive analysis is the prominent paradigm for the design and analysis of algorithms for such environments, which are called online algorithms. The field of competitive analysis has been studied extensively throughout the last few decades, and is highly useful in the analysis of such real-time systems. In an online problem data is revealed over ...
[Full version]
Best Project Contest - The Finals
event date icon
Wednesday, 30.3.2022, 12:30
event location icon
CS Taub Lobby
You are invited to the finals event of the Best Project Contest, that will take place in the format of a project fair, on Wednesday, March 30, 2022, starting at 12:30, and to the announcing and awarding the winners at 14:00, at the CS Taub Lobby. You are all invited to come and meet the best researchers and researches!
[Full version]
Theory Seminar: Locality-Preserving Hashing for Shifts with Connections to Cryptography
event speaker icon
Ohad Klein (Bar-Ilan University)
event date icon
Wednesday, 30.3.2022, 12:30
event location icon
Taub 201 Taub Bld.
Alice receives a non-periodic string (such as ABCDEF), while Bob receives a string (such as CDEFAB), obtained by applying a hidden cyclic shift to Alice’s string. Alice and Bob query their strings in a small number of positions (sublinear in the amount of shifting) and then exchange a single short message. How can they detect the shift with minimal error probability? Based on Joint works with Elette Boyle, Itai Dinur, Niv Gilboa, Yuval Ishai, Nathan ...
[Full version]
ceClub: Three Papers Session
event speaker icon
Alon Rashelbach, Lior Zeno, Haggai Eran
event date icon
Wednesday, 30.3.2022, 11:30
event location icon
Room 861, EE Meyer Building and zoom Lecture: 96624383219
In this CE club session, we will present three papers that will appear next week at NSDI'22: Scaling Open vSwitch with a Computational Cache by Alon Rashelbach Open vSwitch (OVS) is a widely used open-source virtual switch implementation. In this work, we seek to scale up OVS to support hundreds of thousands of OpenFlow rules by accelerating the core component of its data-path – the packet classification mechanism. To do so we use NuevoMatch, a ...
[Full version]
Theory Seminar: On the Complexity of Two-Party Differential Privacy
event speaker icon
Eliad Tsfadia (Tel-Aviv University)
event date icon
Wednesday, 23.3.2022, 12:30
event location icon
Taub 201 Taub Bld.
In distributed differential privacy, the parties perform analysis over their joint data while preserving the privacy for both datasets. Interestingly, for a few fundamental two-party functions such as inner product and Hamming distance, the accuracy of the distributed solution lags way behind what is achievable in the client-server setting. McGregor, Mironov, Pitassi, Reingold, Talwar, and Vadhan [FOCS ’10] proved that this gap is inherent, showing upper bounds on the accuracy of (any) distributed solution for ...
[Full version]
CS Open Day for Graduate Studies
event date icon
Wednesday, 23.3.2022, 12:30
event location icon
Room 337 Taub Bld.
Technion CS open day 2022 invites outstanding undergraduates from all universities to learn about the Computer Science Department and register for Winter Semester 2022-23. The event will be held on Wednesday, March, 2022. between 12:30-14, room 337, Taub Building for Computer Science, Technion. The program will include review on curriculum, research and life at the Technion CS Department: 12:30 - 12:40 CS Dean, Prof. Dan Geiger 12:40 - 13:00 Vice Dean, Prof. Gill Barequet 13:00 ...
[Full version]
How Gender Debiasing of NLP Models Affects Internal Model Representations, and Why It Matters
event speaker icon
Hadas Orgad
event date icon
Wednesday, 23.3.2022, 10:00
event location icon
Zoom Lecture: 98412403331
Common studies of gender bias in natural language processing (NLP) focus either on extrinsic bias which is measured by model performance on a specific task or on intrinsic bias which is measured on a models' internal representations. However, the relationship between extrinsic and intrinsic bias is relatively unknown. In this work, we illuminate this relationship by measuring both quantities together: we debias a model during downstream fine-tuning, which reduces extrinsic bias, and measure the effect ...
[Full version]
Recruitment Day by NVIDIA
event date icon
Monday, 21.3.2022, 12:00
event location icon
CS Taub Lobby
CS students are invited to Recruitment Day by NVIDIA to be held on Monday, March 21, 2022, 12:00, in the CS Taub Lobby. You are all invited.
[Full version]
Constructions and Bounds of Codes Correcting Combinations of Deletion Errors
event speaker icon
Ilia Smagloy
event date icon
Tuesday, 15.3.2022, 15:00
event location icon
Zoom Lecture: 92542730788
Correcting insertions/deletions as well as substitution errors simultaneously plays an important role in DNA-based storage systems as well as in classical communications. However, in DNA data storage as well as in file/symbol synchronization, not only insertions/deletions occur, but also classical substitution errors. Additionally, some cases feature array-like words and as such pose a new type of variance in insertions/deletions errors - column insertions/deletions as opposed to row insertions/deletions. In the work presented, both cases are ...
[Full version]
Semantic Perception under Uncertainty with Viewpoint-Dependent Models
event speaker icon
Yuri Feldman
event date icon
Tuesday, 15.3.2022, 11:30
event location icon
Zoom Lecture: 98353402261
Semantic perception is the process of acquiring and maintaining knowledge of the environment of a robot (or more generally - embodied agent) beyond geometric structure, i.e. capturing meaning - such as classes and other high-level properties of visible scene elements - as opposed to pure geometry. Semantic perception is key to enabling autonomous robots to operate in diverse, low-structured and dynamic environments and alongside humans. In the past decade semantic information has become increasingly available ...
[Full version]
CS Orientation Day 2022
event date icon
Tuesday, 15.3.2022, 11:00
event location icon
CS Taub Build. Auditorium 1
CS 2022 Orientation Day for new students will be held on Tuesday, March 15, 2022, and will begin at 10:00 with a Technion meeting at the Churchill Auditorium where the Senior Vice President, the Dean for Undergraduate Studies and the Students Dean and Chairman of the Technion Student Association will speak to the new students, and between 11:00-14:00 there will be a gathering at the Computer Science Taub Building, and a meeting at the Taub ...
[Full version]
PartTLB: Dynamic TLB Partitioning for SMT Systems
event speaker icon
Maxim Barsky
event date icon
Thursday, 10.3.2022, 15:30
event location icon
Zoom Lecture: 93840198625
Simultaneous multithreading (SMT) increases the cost of memory address translation due to sharing of the translation lookaside buffer (TLB) among multiple threads. Current x86 processors use a ``competitively-shared’’ TLB, in which low-locality threads might needlessly waste TLB resources and thus degrade the performance of neighboring high-locality threads. To address this problem, we introduce PartTLB, a new mechanism that: (1) samples the TLB requests of the competing threads, (2) predicts their miss rate with different TLB ...
[Full version]
Model-Based Simulation for SMT Cores
event speaker icon
Idan Raz
event date icon
Thursday, 10.3.2022, 14:30
event location icon
Zoom Lecture: 91575675908
Studies that evaluate new architectural designs of virtual memory typically employ a ``model-based’’ methodology that relies on simulations of the translation lookaside buffer (TLB) coupled with empirical performance models. We observe that this methodology is limited in that each simulated thread of execution has its own dedicated TLB, whereas modern processors share a single TLB among multiple threads through ``simultaneous multithreading’’ (SMT). Existing model-based research is thus unable to explore virtual memory designs in SMT ...
[Full version]
Analyzing Individual Neurons in Language Models
event speaker icon
Omer Antverg
event date icon
Wednesday, 9.3.2022, 11:00
event location icon
Zoom Lecture: 93322539388
Neural language models have significantly developed in recent years, becoming more and more successful on numerous language tasks. Those models rely on encoding words as hidden vector representations, before utilizing these representations for the task at hand. Their success spiked interest in their interpretability: understanding how they work, and what is encoded within these representations. While many studies have shown that linguistic information is encoded in hidden word representations, few have studied individual neurons of ...
[Full version]
ceClub: Embedded Systems and Security
event speaker icon
Farhad Merchant (Aachen University)
event date icon
Wednesday, 2.3.2022, 11:30
event location icon
Room 861, EE Meyer Building and zoom Lecture: 96393404383
Protecting intellectual properties from untrusted design houses and foundries has become highly challenging. In this talk, I will focus on the security aspects of embedded systems. First, I will discuss the logic locking tools and attack methods developed at the Institute for Communication Technologies and Embedded Systems, RWTH Aachen University. In the second part of the talk, I will focus on developing low-power, high-performance embedded systems based on emerging non-volatile memory technologies. These methods incorporate ...
[Full version]
Improving Graph Neural Networks Expressivity Via Spectral and Combinatorial Pre-Colorings
event speaker icon
Or Feldman
event date icon
Tuesday, 1.3.2022, 11:00
event location icon
Zoom Lecture: 96864188946
Graph isomorphism testing is usually approached via the comparison of graph invariants. Two popular alternatives that offer a good trade-off between expressive power and computational efficiency are combinatorial (i.e., obtained via the Weisfeiler-Leman (WL) test) and spectral invariants. While the exact power of the latter is still an open question, the former is regularly criticized for its limited power, when a standard configuration of uniform pre-coloring is used. This drawback hinders the applicability of Message ...
[Full version]
Semantic Symmetry in Transducers
event speaker icon
Antonio Abu Nassar
event date icon
Monday, 28.2.2022, 11:30
event location icon
Zoom Lecture: 98340908086
In model checking, we work toward deciding whether a system satisfies a given specification. Often, a system exhibits some type of symmetry in its structure or in its behaviour. Such symmetries can be exploited by a designer to alleviate some of the complexity of model checking, as well as to gain insight into the behaviour of the system. Thus, we want to decide whether a given system exhibits symmetry. Symmetry is not a well-defined concept ...
[Full version]
A Meeting with Potential Students for Technion CS Studies
event date icon
Thursday, 24.2.2022, 10:00
event location icon
Zoom Event: Registration
A meeting with potential students who are interested in studies at the Technion and the Faculty of Computer Science will be held online on CS Facebook, onThursday, February 24, 2022, at 10:100 and at 14:00. Details and registration.
[Full version]
TCE-MLIS 2021 Conference
event date icon
Thursday, 24.2.2022, 08:30
event location icon
ELMA Arts Complex, Zichron Ya'acov
MLIS, the Technion AI center, in collaboration with TCE, would like to invite you to participate in the annual MILS-TCE conference. AI is now a major buzz word everywhere and expectations are sky-rocketing, but what is true state-of-the-art and what can be actually implemented in the AI and Machine Learning fields? In a series of lectures, Technion researchers will present cutting-edge AI research conducted in the institution. Simultaneously, in thematic workshops we will explore the ...
[Full version]
REDEEMER: Reinforcement Learning Based CEP Pattern Miner for Knowledge Extraction
event speaker icon
Guy Shapira
event date icon
Wednesday, 23.2.2022, 09:00
event location icon
Zoom Lecture: 94383091556
Complex Event Processing (CEP) are a set of methods that allow efficient knowledge extraction from massive data streams using complex and highly descriptive patterns. As of today, in many fields, patterns are manually defined by human experts. However, desired patterns often contain convoluted relations that are difficult for humans to detect, and human expertise is scarce in many domains. We present REDEEMER, a novel reinforcement and active learning approach aimed at mining CEP patterns that ...
[Full version]
DELETE: Using deep learning to minimize latency in CEP systems
event speaker icon
Gal Sidi
event date icon
Monday, 21.2.2022, 09:30
event location icon
Zoom Lecture: 98932630687
The ability to detect complex patterns in massive data streams is critical for many real-time applications. These applications must uphold low latency requirements, delivering alerts and notifications with minimal response delays. Complex event processing (CEP), a leading technology for performing this task, is suitable for the efficient and robust detection of complex patterns. However, the CEP complexity grows exponentially with respect to the length of the pattern and the intensity of the data stream. As ...
[Full version]
CloudWalker: 3D Point Cloud Learning by Random Walks for Shape Analysis
event speaker icon
Adi Mesika
event date icon
Tuesday, 8.2.2022, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/my/chaimbaskin
Point clouds are gaining prominence as a method for representing 3D shapes, but their irregular structure poses a challenge for deep learning methods. In this paper we propose CloudWalker, a novel method for learning 3D shapes using random walks. Previous works attempt to adapt Convolutional Neural Networks (CNNS) or impose a grid or mesh structure to 3D point clouds. This work presents a different approach for representing and learning the shape from a given point ...
[Full version]
Pixel Club: Convex Optimization: Adaptive Learned Solvers and CoordinateGradient Descent
event speaker icon
Aviad Aberdam (CS/EE, Technion
event date icon
Tuesday, 8.2.2022, 10:30
event location icon
Zoom Lecture: https://technion.zoom.us/my/chaimbaskin
Neural networks that are based on unfolding of an iterativesolver, such as LISTA (learned iterative soft threshold algorithm), are widelyused due to their accelerated performance. Nevertheless, as opposed tonon-learned solvers, these networks are trained on a certain dictionary, andtherefore they are inapplicable for varying model scenarios. This talkintroduces an adaptive learned solver, termed Ada-LISTA, which receives pairsof signals and their corresponding dictionaries as inputs, and learns auniversal architecture to serve them all. We prove that ...
[Full version]
ILP Based Load Balancing in Deduplicated Storage Systems
event speaker icon
Ariel Kolikant
event date icon
Sunday, 6.2.2022, 12:00
event location icon
Zoom Lecture: 97413372304
Deduplication reduces the size of the data stored in large-scale storage systems by replacing duplicate data blocks with references to their unique copies. This creates dependencies between files that contain similar content and complicates the management of data in the system. In the work presented in this seminar, we have addressed the problem of data migration, where files are remapped between different volumes because of system expansion or maintenance. The challenge of determining which files ...
[Full version]
Clustering Based Data Migration in Deduplicated Storage
event speaker icon
Roei Kisous
event date icon
Tuesday, 1.2.2022, 13:30
event location icon
Zoom Lecture: 8183278482
Deduplication is a leading method for reducing physical storage capacity when duplicate data is present. This method can be applied on chunks, files, containers, and more. Instead of storing the same physical data multiple times, a pointer is created from each logical copy to the same physical copy, saving the space of the duplicate data. Due to this, data is shared between objects, such as files or entire directories, which result in garbage collection overhead ...
[Full version]
CGGC Seminar: Trading Memory for Computations: Scaling Range Matching on the Critical Path
event speaker icon
Alon Rashelbach (EE, Technion)
event date icon
Sunday, 30.1.2022, 13:30
event location icon
Zoom Lecture: 96379418284
Range matching (RM) is a crucial component in computer systems, widely used in address translation, hard drives, network switches, and many more applications. RM is performed whenever one wishes to locate a range that contains an input number, given a large set of ranges. Any page-based mechanism uses RM, as pages are basically ranges. Longest prefix matching (LPM) uses ternary rules, which are also ranges. Firewalls are one example of multidimensional RM since ACL rules ...
[Full version]
ceClub: SmartNIC Inline Processing
event speaker icon
Haggai Eran (EE, Technion)
event date icon
Wednesday, 26.1.2022, 11:30
event location icon
Zoom Lecture: 97164378341
The inline processing technique enables data transformation as a system transfers data to or from a processing node. It is used to offload computations and accelerate data-intensive communication tasks, reducing latency and power due to data movement and improving throughput by using the best processing core for the job. However, inline processing poses several challenges: it breaks existing operating system and network stack layers and makes it difficult to reuse previous software and hardware. This ...
[Full version]
pISTA: preconditioned Iterative Soft Thresholding Algorithm for Graphical Lasso
event speaker icon
Gal Shalom
event date icon
Wednesday, 26.1.2022, 10:30
event location icon
Zoom Lecture: 91228689582
We propose a novel quasi-Newton method for solving the sparse inverse covariance estimation problem also known as the graphical least absolute shrinkage and selection operator (GLASSO). This problem is often solved using a second order quadratic approximation. However, in such algorithms the Hessian term is complex and computationally expensive to handle. To this end,our algorithm uses the inverse of the Hessian as a preconditioner to simplify and approximate the quadratic element at the cost of ...
[Full version]
Pixel Club: TextAdaIN: Paying Attention to Shortcut Learning in TextRecognizers
event speaker icon
Oren Nuriel (AWS)
event date icon
Tuesday, 25.1.2022, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/my/chaimbaskin
Leveragingthe characteristics of convolutional layers, neural networks are extremelyeffective for pattern recognition tasks. However in some cases,their decisions are based on unintended information leading to high performanceon standard benchmarks but also to a lack of generalization to challengingtesting conditions and unintuitive failures. Recentworkhas termed this “shortcut learning” and addressed its presence in multipledomains. In text recognition, we reveal another such shortcut, whereby recognizersoverly depend on local image statistics. Motivated by this, we suggest anapproach to ...
[Full version]
Solving Constrained Horn Clauses Lazily and Incrementally
event speaker icon
Omer Rappoport
event date icon
Tuesday, 25.1.2022, 10:30
event location icon
Zoom Lecture: 93910185113
Constrained Horn Clauses (CHCs) is a fragment of First Order Logic (FOL), that has gained a lot of attention in recent years. One of the main reasons for the rising interest in CHCs is the ability to reduce many verification problems to satisfiability of CHCs. For example, program verification can naturally be described as the satisfiability of CHCs modulo a background theory such as linear arithmetic and arrays. To this end, CHC-solvers can be used ...
[Full version]
Efficient Self-Supervised Data Collection for Offline Robot Learning
event speaker icon
Shadi Endrawis
event date icon
Monday, 24.1.2022, 15:00
event location icon
Zoom Lecture: 7446114621
a large batch of real or simulated robot interaction data, using some data collection policy, and then learn from this data to perform various tasks, using offline learning algorithms. Previous work focused on manually designing the data collection policy, and on tasks where suitable policies can easily be designed, such as random picking policies for collecting data about object grasping. For more complex tasks, however, it may be difficult to find a data collection policy ...
[Full version]
CS LECTURE: Mathematical Foundations of Robust Geometry and Fabrication
event speaker icon
Oded Stein (MIT)
event date icon
Monday, 24.1.2022, 15:00
event location icon
Zoom Lecture: 91550335554
Current geometry methods for creating and manipulating shapes on computers can sometimes be unreliable and fail unpredictably. Such failures make geometry tools hard to use, prevent non-experts from creating geometry on their computers, and limit the use of geometry methods in domains where reliability is critical. We will discuss my recent efforts in proving when existing methods work as intended, my work in making methods more robust to imperfect input, my work in the creation ...
[Full version]
SMEGA2: Distributed Deep Learning Using a Single Momentum Buffer
event speaker icon
Refael Cohen
event date icon
Monday, 24.1.2022, 10:00
event location icon
Zoom Lecture: 92984244781
As the field of deep learning progresses, and models become larger and larger, training deep neural networks has become a demanding task. The task requires a huge amount of compute power, and can still be very time consuming - especially when using just a single GPU. To tackle this problem, distributed deep learning has come into play, with various asynchronous training algorithms. However, most of these algorithms suffer from decreased accuracy as the number of ...
[Full version]
Mathematical Techniques for Cryptanalysis
event speaker icon
Stav Perle
event date icon
Thursday, 20.1.2022, 15:00
event location icon
Zoom Lecture: 92017151302
Symmetric ciphers are cryptographic algorithms that use the same cryptographic keys for both encryption and decryption. The key represents a shared secret between users, that is used to maintain a private information link. In our research we focus on cryptanalysis of block ciphers, which are the most widely used realization of symmetric ciphers. Block ciphers are cryptosystems that consist of two algorithms, an encryption algorithm that accepts a symmetric key and a plaintext and outputs ...
[Full version]
How to Avoid Depth Reconstruction in 3D Vision Tasks: Do We Need Depth in State-Of-The-Art Face Authentication?
event speaker icon
Amir Livne
event date icon
Tuesday, 18.1.2022, 13:30
event location icon
Zoom Lecture: 94951674375
Face recognition systems are frequently used in a variety of security applications in our daily lives. Some methods are designed to utilize geometric information extracted from depth sensors to overcome single-image-based recognition technologies’ weaknesses, such as vulnerability to illumination variations, large head poses, and spoofing attacks. However, the accurate acquisition of the depth profile or surface is an expensive and challenging process. We introduce a novel method to recognize faces from stereo camera systems without ...
[Full version]
Pixel Club: Endless Loops: Detecting and Animating Periodic Patterns in Still Images
event speaker icon
Tavi Halperin (The Hebrew University of Jerusalem)
event date icon
Tuesday, 18.1.2022, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/my/chaimbaskin
We present an algorithm for producing a seamless animated loop from a single image. The algorithm detects periodic structures, such as the windows of a building or the steps of a staircase, and generates a non-trivial displacement vector field that maps each segment of the structure onto a neighboring segment along a user- or auto-selected main direction of motion. This displacement field is used, together with suitable temporal and spatial smoothing, to warp the image ...
[Full version]
Bribery attack on Nakamoto Consensus Proof of Stake Protocols
event speaker icon
Tom Brand
event date icon
Sunday, 16.1.2022, 15:00
event location icon
Zoom Lecture: 7228552597
Bitcoin was introduced to the world in 2009 with Proof of Work (PoW) Leader Election as one of its novel building blocks. Since then, much criticism has been made of its high energy consumption. Proof of Stake protocols aims at replacing PoW protocols as a much more efficient version while still maintaining its security properties under the Honest Majority model. In our work, we show a bribery attack under the Rational Majority model, which breaks ...
[Full version]
Securing ICS Protocols
event speaker icon
Alon Dankner
event date icon
Sunday, 16.1.2022, 10:30
event location icon
Zoom Lecture: 8899993884
Industrial Control Systems (ICSs), also known as Operation Technology (OT) systems, are distributed computerized systems designed to manage, monitor and control industrial processes. They are widely used in critical infrastructures, such as power plants and water supply, whose continuous operation is of major importance to modern life. Following the well-known Stuxnet attack on OT systems, a large investment in OT security was started. Though their cyber protection is crucial, they did not yet reach the ...
[Full version]
CS LECTURE: Computing Using Time
event speaker icon
George Tzimpragos (UC Santa Barbara and Lawrence Berkeley National Laboratory)
event date icon
Wednesday, 12.1.2022, 17:30
event location icon
Zoom Lecture: 96743325005
The development of computing systems able to address our ever-increasing needs, especially as we reach the end of CMOS transistor scaling, requires truly novel methods of computing. My research draws inspiration from biology, rethinks the digital/analog boundary, and challenges conventional wisdom, which typically guides how we perform computation, by reimagining the role of time. In this talk, I first introduce a computational temporal logic that sets the foundation for temporal computing. Second, I demonstrate how ...
[Full version]
An Automata Theory Method for the Analysis of Unicycle Pursuit Problems
event speaker icon
David Dovrat
event date icon
Wednesday, 12.1.2022, 13:30
event location icon
Zoom Lecture: 8206122066
The Pursuit Problem depicts a scenario where a moving target is pursued by an agent, whose movement is prescribed by some defined policy. Examples of what can be regarded as solutions to the pursuit problem include the shape of the agent's trajectory, whether the agent ultimately captures the target, and the circumstances of the capture, including the time required for capture to be achieved, The Unicycle Model is a popular simplification used to describe the ...
[Full version]
Distributed Deep Neural Networks
event speaker icon
Ido Hakimi
event date icon
Tuesday, 11.1.2022, 13:00
event location icon
Zoom Lecture: 99195189391
Training deep neural networks in the distributed asynchronous setting is complicated. In the distributed asynchronous setting, the computational devices run in parallel, causing a delay in the propagation of information between the different computational devices. The delay is often referred to as staleness, which harms the training process and the quality of the deep neural network. This staleness is one of the main difficulties in scaling asynchronous settings to a large number of computational devices ...
[Full version]
Pixel Club: Layered Neural Atlases for Consistent Video Editing
event speaker icon
Dolev Ofri (Weizmann Institute of Science)
event date icon
Tuesday, 11.1.2022, 11:30
event location icon
Zoom Lecture: https://technion.zoom.us/my/chaimbaskin
While image editing and manipulation tools have seen steady progress, allowing complex editing effects to be achieved by novice users, video editing remains a difficult task: applying edits in a temporally consistent manner to all frames remains a key challenge. In this talk, I’ll present a novel method that tackles this challenge by decomposing an input video into a set of layered 2D atlases, each providing a unified representation of an object/background over the entire ...
[Full version]
Incorporating Time into Word Representations
event speaker icon
Guy Rosin
event date icon
Sunday, 9.1.2022, 14:30
event location icon
Zoom Lecture: 99189612386
Our world is constantly evolving, and so is the content on the web. Consequently, our languages, often said to mirror the world, are dynamic in nature. However, most current language representations are static and cannot adapt to changes over time. New words and semantic evolution have been shown to pose a crucial challenge in many Natural Language Processing and Information Retrieval tasks, leading to a significant performance drop for modern language models. In this thesis, ...
[Full version]
Incentive-Aligned Strategic Classification
event speaker icon
Sagi Levanon
event date icon
Sunday, 9.1.2022, 11:30
event location icon
Zoom Lecture: 74825775795
Predictive machine learning tools are increasingly being used to inform decisions regarding humans. When human users stand to gain from certain predictive outcomes, they may be prone to act strategically to improve those outcomes. We argue that in many realistic scenarios the system and its users are in fact aligned in their goals. In this work, we give concrete real-world examples for such environments and demonstrate using a series of experiments that they are incentive-aligned. ...
[Full version]
CS LECTURE: Sublinear-time Graph Algorithms: Motif Counting and Uniform Sampling
event speaker icon
Talya Eden (MIT and Boston University)
event date icon
Sunday, 9.1.2022, 10:30
event location icon
Room 012 Taub Bld (Learning Center Auditorium)
In this talk I will survey recent developments in approximate subgraph-counting and subgraph-sampling in sublinear-time. Counting and sampling small subgraphs (aka motifs) are two of the most basic primitives in graph analysis, and have been studied extensively, both in theory and in practice. In my talk, I will present the sublinear-time computational model, where access to the input graph is given only through queries, and will explain some of the concepts that underlie my results. ...
[Full version]
Practical WEB Development Workshop: To Code of Not to Code
event date icon
Wednesday, 5.1.2022, 18:30
event location icon
Zoom Event: Registration
You are invited to a practical web development workshop that will include an overview of the latest technologies of web application development and practical practice with a demonstration, with the help of Uri Shaked, Voiding warranties at Wokwi.com. The workshop will take place on Wednesday, January 5, 18:30, in a zoom session, and it is optional but not required to be familiar with at least one programming language such as JavaScript, React, Next.js, as well ...
[Full version]
Estimating NLP Domain Adaptation Performance Using Model Causal Analysis
event speaker icon
Boaz Ben-Dov
event date icon
Tuesday, 4.1.2022, 14:30
event location icon
Zoom Lecture: 97209155707
Domain adaptation setups were not all born equal, and some domains are easier to adapt to and from than others. This talk will show and attempt to estimate the difficulty (or ease) of adapting between different domains, based on the causal effect of certain features in the data on the adapting model’s predictions. This question is relevant in many real-life scenarios where computational resources exist in relative abundance, while labeling and data-gathering is time-consuming, expensive ...
[Full version]
Pixel Club: Computational Imagingfor Sensing High-speed Phenomena
event speaker icon
Mark Sheinin (Carnegie Mellon University)
event date icon
Tuesday, 4.1.2022, 13:30
event location icon
Zoom Lecture: 9245008892
Despite recent advances in sensor technology, capturing high-speed video at high-spatial resolutionsremains a challenge. This is because, in a conventional camera, the available bandwidth limits either the maximum sampling frequency or thecaptured spatial resolution. In this talk, I am going to cover our recent works that use computational imaging to allow high-speed high-resolution imagingunder certain conditions. First I will describe Diffraction Line Imaging, a novel imaging principle that combines diffractive optics with 1D (line) sensorsto ...
[Full version]
CS LECTURE: Informed Data Science
event speaker icon
Amir Gilad (Duke University)
event date icon
Tuesday, 4.1.2022, 10:30
event location icon
Room 012 Taub Bld (Learning Center Auditorium)
Data science has become prevalent in various fields that affect day-to-day lives, such as healthcare, banking, and the job market. The process of developing data science applications usually consists of several automatic systems that manipulate and prepare the data in different manners. Examples of automatic data manipulations and preparations include generating synthetic data, interactive data exploration, repairing the data, and labeling it for machine learning. These systems can be highly complex and even data scientists ...
[Full version]
CS LECTURE: On the Role of Data in Algorithm Design
event speaker icon
Tal Wagner (Microsoft Research Redmond)
event date icon
Sunday, 2.1.2022, 12:30
event location icon
Room 012 Taub Bld (Learning Center Auditorium)
Recently, there has been a growing interest in harnessing the power of big datasets and modern machine learning for designing new scalable algorithms. This invites us to rethink the role of data in algorithm design: not just as the input to pre-designed algorithms, but also a factor that enters the algorithm design process itself, driving it in a strong and possibly automated manner. This talk will show how to leverage data and learning for better ...
[Full version]