CS Department Events and Talks

  • Regression Testing of Security Updates Using Deterministic Record/Replay Infrastructure

    After a software product is shipped, it typically goes into a maintenance phase whereby related software updates are made available form time to time. ...

    Speaker:
    Ilia Kravets
    Date:
    Wednesday, 31.12.2014, 15:30
    Place:
    Taub 601

    [Full version]

  • Fast matrix multiplication: Limitations of the Coppersmith-Winograd approach

    Speaker:
    Yuval Filmus - CS-Lecture -
    Date:
    Wednesday, 31.12.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: High Dimensional Expander

    Expander graphs have been intensively studied in the last four decades. In recent years a high dimensional theory of expanders has emerged. In this ...

    Speaker:
    Tali Kaufman-Halman (Bar-Ilan University)
    Date:
    Wednesday, 31.12.2014, 12:30
    Place:
    Taub 401

    [Full version]

  • ceClub: NAND Flash Architectures Reducing Write Amplification through Multi-Write Codes

    Multi-write codes hold great promise to reduce write-amplification in flash-based storage devices. In this talk we propose two novel mapping architectures that show clear ...

    Speaker:
    Saher Odeh (Technion)
    Date:
    Wednesday, 31.12.2014, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Compositional Verification of Events and Responses

    In reactive systems, responses react to interesting occurrences (events). Event detectors allow detecting complex events by gathering information and hierarchically composing lower-level event detectors. ...

    Speaker:
    Cynthia Disenfeld
    Date:
    Wednesday, 31.12.2014, 11:30
    Place:
    Taub 601

    [Full version]

  • How to reach unreachable computers

    Speaker:
    Prof. Adi Shamir - Colloquium Lecture -
    Date:
    Tuesday, 30.12.2014, 14:30
    Place:
    Room Auditorium 1 Taub Bld.

    [Full version]

  • Pixel Club: Describing Geometry and Symmetry of CRYO-EM datasets using Algebra

    Cryo-electron microscopy (cryo-EM) is a microscopy technique used to discover the 3D structure of molecules from very noisy images. We discuss how algebra can ...

    Speaker:
    David Dynerman (University of Wisconsin-Madison)
    Date:
    Tuesday, 30.12.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Machine-Learning the Hidden Universal Semantics of Natural Languages

    Speaker:
    Omri Abend - CS-Lecture -
    Date:
    Monday, 29.12.2014, 14:30
    Place:
    Taub 6

    [Full version]

  • An Algorithmic Approach for Analyzing Social Phenomena

    Speaker:
    Sigal Oren - CS-Lecture
    Date:
    Sunday, 28.12.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Lessons Learned from and for Requirements Engineering and Building Construction: A Case Study of Requirements Engineering for a Synagogue Kitchen with Use Cases and Scenarios

    Speaker:
    Daniel M. Berry - Colloquium Lecture -
    Date:
    Wednesday, 24.12.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: Inapproximability of Nash Equilibrium

    We prove that finding an epsilon-approximate Nash equilibrium is PPAD-complete for constant epsilon and a particularly simple class of games: polymatrix, degree 3 graphical ...

    Speaker:
    Aviad Rubinstein (UC Berkeley)
    Date:
    Wednesday, 24.12.2014, 12:30
    Place:
    Taub 401

    [Full version]

  • ceClub: Majority is not Enough: Bitcoin Mining is Vulnerable

    The Bitcoin cryptocurrency records its transactions in a public log called the blockchain. Its security rests critically on the distributed protocol that maintains the ...

    Speaker:
    Ittay Eyal (Cornell University)
    Date:
    Wednesday, 24.12.2014, 11:30
    Place:
    EE Meyer Building 1007

    [Full version]

  • CSpecial Talk: Rise and Fall of Binaries

    We will discuss how binary files are born and created,loaded and executed, about the creation of object files,files linkage and the differences between Linux ...

    Speaker:
    Adir Avraham
    Date:
    Tuesday, 23.12.2014, 18:30
    Place:
    Taub 7

    [Full version]

  • ceClub: Crowdsourcing a Meeting of Minds

    Crowdsourcing is an increasingly powerful method for combining amateurs' efforts to recreate an expert's abilities. However, across domains from design to engineering to art, ...

    Speaker:
    Michael Bernstein (CS, Stanford University)
    Date:
    Monday, 22.12.2014, 13:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Advances in Traffic Engineering and Discrepancy

    Speaker:
    Roy Schwartz - CS-Lecture - REVISED -
    Date:
    Monday, 22.12.2014, 11:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Scalable algorithms for translating natural language to logical form

    Speaker:
    Jonathan Berant - CS-Lecture
    Date:
    Sunday, 21.12.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CGGC Seminar: Precise Contact Motion Planning for Freeform Geometry

    Generation of precise contact motions for freeform geometry is essential for many applications such as mechanical and manufacturing engineering and motion planning in robotics. ...

    Speaker:
    Yong Joon Kim (CS, Technion)
    Date:
    Sunday, 14.12.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: Strong Locally Testable Codes with Relaxed Local

    Locally testable codes (LTCs) are error-correcting codes that admit very efficient codeword tests. An LTC is said to be strong if it has a ...

    Speaker:
    Tom Gur (Weizmann Institute of Science)
    Date:
    Wednesday, 10.12.2014, 12:30
    Place:
    Taub 401

    [Full version]

  • ceClub: Energy Harvesting Active Networked Tags (EnHANTs) - Measurements, Algorithms, and Prototyping

    We discuss a new type of wireless devices in the domain between RFIDs and sensor networks - Energy Harvesting Active Networked Tags (EnHANTs - ...

    Speaker:
    Gil Zussman (Columbia University)
    Date:
    Wednesday, 10.12.2014, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • The Cryptographic Lens

    Speaker:
    Shafi Goldwasser - Colloquium Lecture
    Date:
    Tuesday, 9.12.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Shape and Content: A database-theoretic perspective on the analysis of data structures

    Speaker:
    Tomer Kotek - CS-Lecture -
    Date:
    Monday, 8.12.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CSpecial Talk: Spectral CT Imaging and Image Analysis

    Spectral CT is a novel, rapidly emerging imaging technique which offers important new functional and specific information. The possibility to acquire CT scans with ...

    Speaker:
    Liran Goshen (Philip Healthcare)
    Date:
    Monday, 8.12.2014, 10:30
    Place:
    Taub 4

    [Full version]

  • Theory Seminar: Shrinkage of De Morgan Formulae by Spectral Techniques

    We give a new and improved proof that the shrinkage exponent of De Morgan formulae is 2. Namely, we show that for any Boolean ...

    Speaker:
    Avishay Tal (Weizmann Institute of Science)
    Date:
    Wednesday, 3.12.2014, 12:30
    Place:
    Taub 401

    [Full version]

  • ceClub: Making Machine Learning Accessible with GraphLab

    GraphLab started as research project at Carnegie Mellon University were our main goal was implementing machine learning methods in large scale, (and writing papers ...

    Speaker:
    Danny Bickson (GraphLab)
    Date:
    Wednesday, 3.12.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Principles of Shape Analysis

    Speaker:
    Mooly Sagiv - Colloquium Lecture
    Date:
    Tuesday, 2.12.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Geometric Normalization for Improved Facial Action Unit Detection

    We employ a geometric framework to extend the concept of data normalization to the domain of functions that lie on manifolds. We pose normalization ...

    Speaker:
    Eric Yudin (CS, Technion)
    Date:
    Tuesday, 2.12.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux Club: Topics in advanced Python:

    Haifux Club: Topics in advanced Python: * (Advanced) decorators * Descriptors * Multiple inheritance * The magic of "type" * Metaclasses * Slots vs ...

    Speaker:
    Hai Zaar (Team Leader at Kaminario)
    Date:
    Monday, 1.12.2014, 18:30
    Place:
    Taub 6

    [Full version]

  • CGGC Seminar: Continuous Medial Representation of Raster Images in Image Shape Analysis and Classification

    Medial representation of object shape (skeleton and radial function) is a powerful and widely used tool for image shape analysis. Originally, the concept of ...

    Speaker:
    Leonid Mestetskiy (Moscow State University, Russia)
    Date:
    Monday, 1.12.2014, 11:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CGGC Seminar: Functional Fluids on Surfaces

    Fluid simulation plays a key role in various domains of science including computer graphics. While most existing work addresses fluids on bounded Euclidean domains, ...

    Speaker:
    Omri Azencot (CS, Technion)
    Date:
    Sunday, 30.11.2014, 14:30
    Place:
    Taub 401

    [Full version]

  • Job Scheduling Mechanisms for Cloud Computing

    We present new job scheduling algorithms and pricing schemes for computing systems. The scheduling mechanisms we design provide guaranteed Service Level Agreements (SLAs) to ...

    Speaker:
    Jonathan Yaniv
    Date:
    Wednesday, 26.11.2014, 13:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Representative Sets For Multisets

    The notion of a q-representative set for a family of subsets, originally arising in the Two-Families Theorem of Bollobás, has recently proven to be ...

    Speaker:
    Ariel Gabizon (CS, Technion)
    Date:
    Wednesday, 26.11.2014, 12:30
    Place:
    Taub 401

    [Full version]

  • ceClub: On the Scalability of Hop-by-hop Packet Routing

    Many of our computer networks, not the least of which the Internet, are built upon hop-by-hop destination-based routing. Here, network devices are equipped with ...

    Speaker:
    Gabor Retvari (Budapest University (BME-TMIT))
    Date:
    Wednesday, 26.11.2014, 11:30
    Place:
    EE Meyer Building 1007

    [Full version]

  • Topics in Sparse Representation Modeling and Applications

    In cardiac ultrasound, clutter is an artifact that obscures parts of the heart and may cause inaccurate diagnosis. In particular, a cluttered ultrasound signal ...

    Speaker:
    Javier Turek
    Date:
    Wednesday, 26.11.2014, 10:30
    Place:
    Taub 601

    [Full version]

  • RAID-P: Redundancy and Intra-disk Parity

    Contemporary storage systems use redundancy - typically either three- way replication or erasure coding - to reduce the risk of permanent data loss due ...

    Speaker:
    Eitan Rosenfeld
    Date:
    Wednesday, 19.11.2014, 15:00
    Place:
    Taub 601

    [Full version]

  • Reducing The IOMMU Overhead

    The IOMMU allows the OS to encapsulate I/O devices in their own virtual memory spaces, thus restricting their DMAs to specific memory pages. The ...

    Speaker:
    Moshe Malka
    Date:
    Wednesday, 19.11.2014, 12:30
    Place:
    in Taub 601

    [Full version]

  • Theory Seminar: Zero-One Laws for Sliding Windows and Universal Sketches

    As the amount of data being generated continues to grow at a staggering rate, streaming algorithms are increasingly becoming more important as a practical ...

    Speaker:
    Alan Roytman (Tel-Aviv University)
    Date:
    Wednesday, 19.11.2014, 12:30
    Place:
    Taub 401

    [Full version]

  • TCE Guest Lecture: NFV: Virtualization Meets Telecommunications

    Network Functions Virtualization (NFV) uses IT-based virtualization technologies to create classes of virtualized network functions, or VNFs, to serve as building blocks for complex ...

    Speaker:
    Gabriel Silberman (Executive Director of Technology Strategy, Dell Research Division)
    Date:
    Wednesday, 19.11.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • ceClub: NFV: Virtualization Meets Telecommunications

    This talk will introduce the Network Functions Virtualization (NFV) concept. NFV uses IT-based virtualization technologies to create classes of virtualized network functions, or VNFs, ...

    Speaker:
    Gabriel Silberman (Dell Research)
    Date:
    Wednesday, 19.11.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • The Axiomatic Approach and the Internet

    Speaker:
    Moshe Tennenholtz - Colloquium Lecture
    Date:
    Tuesday, 18.11.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Shape-from-Polarimetry – A new Method for Viewing through the Ocean Surface

    The talk describes the Shape-from-Polarimetry (SFP) method, a new passive optical technique that measures the instantaneous slope field of a water surface under natural ...

    Speaker:
    Howard Schultz (Aerial Vision Inc., Amherst, Massachusetts and School of Computer Science, University of Massachusetts, Amherst)
    Date:
    Tuesday, 18.11.2014, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Theory Seminar: Near-Optimum Ad Allocation for Targeted Advertising

    Motivated by Internet targeted advertising, we address several ad allocation problems. While prior work has established that these problems admit no randomized online algorithm ...

    Speaker:
    David Wajc (Carnegie Mellon University)
    Date:
    Wednesday, 12.11.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: NFV - Uniform Handling and Abstraction of Hardware Accelerators

    Cloud technology is a dynamic and innovative field, which brings with it many changes in the way we perform large-scale computing, supply and consume ...

    Speaker:
    Zvika Bronstein (Toga Networks)
    Date:
    Wednesday, 12.11.2014, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • When Machines Dominate Humans: The Challenges of Mining and Consuming Machine-generated Web Mail

    Speaker:
    Yoelle Maarek - Colloquium Lecture
    Date:
    Tuesday, 11.11.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • TCE Guest Lecture: Estimation of Spatially Correlated Random Fields in Heterogeneous Wireless Sensor Networks

    digital sensors) wireless sensor networks (WSNs). The spatial physical phenomena are observed by a heterogeneous WSN, meaning that it partially consists of analog sensors ...

    Speaker:
    Ido Nevat (Institute for Infocomm Research (I2R), Singapore)
    Date:
    Tuesday, 11.11.2014, 13:00
    Place:
    EE Meyer Building 1061

    [Full version]

  • Pixel Club: Meld: Programming Everything from Matter to Multi-Core Processors

    Concurrent systems of all types are notoriously hard to program. First one had to understand how to express the algorithm in a concurrent manner. ...

    Speaker:
    Seth Copen Goldstein (School of Computer Science, Carnegie Mellon University)
    Date:
    Tuesday, 11.11.2014, 12:30
    Place:
    Taub 401

    [Full version]

  • Pixel Club: Vision Through Random Refractive Distortion

    Random dynamic distortions naturally affect images taken through atmospheric turbulence or wavy water. We show how computer vision can function under such effects, and ...

    Speaker:
    Marina Alterman (EE, Technion)
    Date:
    Tuesday, 11.11.2014, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • ceClub: Network Functions Virtualization (and other major shifts in networking) - a Survey

    Cloud technology is a dynamic and innovative field, which brings with it many changes in the way we perform large-scale computing, supply and consume ...

    Speaker:
    Elisha Rosensweig (Alcatel-Lucent)
    Date:
    Monday, 10.11.2014, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • ceClub: [2 topics] Censorship in the Wild, Analyzing Internet Filtering in Syria & Paying for Likes? Understanding Facebook Like Fraud Using Honeypots

    (1) Censorship in the Wild, Analyzing Internet Filtering in Syria. Several government authorities worldwide enforce Internet censorship, however, due to the lack of publicly ...

    Speaker:
    Arik Friedman (NICTA, Australia)
    Date:
    Wednesday, 5.11.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Robust Probabilistic Inference

    Speaker:
    Yishay Mansour - Colloquium Lecture
    Date:
    Tuesday, 4.11.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Advances in Autonomous Operation in Uncertain or Unknown Environments: Distributed Robust Inference and Data Association, and Planning in Generalized Belief Space

    In this talk I will describe two recent research efforts addressing challenges in autonomous operation in unknown environments. First, I will present an approach ...

    Speaker:
    Vadim Indelman (Aerospace Engineering, TASP, Technion)
    Date:
    Tuesday, 4.11.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Graph-Based Mathematical Morphology

    In this talk, I will survey some recent developments of mathematical morphology on graphs. A specific focus will be made on some trees that ...

    Speaker:
    Laurent Najman (Laboratoire Informatique Gaspard-Monge, Université Paris-Est)
    Date:
    Monday, 3.11.2014, 15:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CSpecial Talk: Bitcoin “What and Why”

    Bitcoin is the first currency in human history that is decentralized and does not need Trust of a third party (like Banks, Credit Cards, ...

    Speaker:
    Daniel Brunstein (Intel Israel)
    Date:
    Sunday, 2.11.2014, 16:30
    Place:
    Taub 2

    [Full version]

  • CGGC Seminar: Topologically Guaranteed Bivariate Solutions Of Under-Constrained Multivariate Piecewise Polynomial Systems

    We present a subdivision based algorithm to compute the solution of an under-constrained piecewise polynomial system of n−2 equations with n unknowns, exploiting properties ...

    Speaker:
    Yoni Mizrachi (CS, Technion)
    Date:
    Sunday, 2.11.2014, 14:30
    Place:
    Taub 401

    [Full version]

  • Theory Seminar: Packet Scheduling

    I will present some results of my PhD thesis on online packet scheduling. I'll focus on: - "Buffer Management with Bounded Delay'', which is ...

    Speaker:
    Lukasz Jez (Tel-Aviv University)
    Date:
    Wednesday, 29.10.2014, 12:30
    Place:
    Taub 301

    [Full version]

  • Engineering Tech Talk: Proxy Requests Identification in Onavo

    Amir will describe challenges he faces working on large scale app identification, and why is that even important. This talk links to many other ...

    Speaker:
    Amir Gershman (Facebook)
    Date:
    Wednesday, 29.10.2014, 12:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • ceClub: Enabling Peer-to-Peer Swarming for Multi-commodity Dissemination

    Peer-to-peer swarming, as used by BitTorrent, is one of the \emph{de facto} solutions for content dissemination in today's Internet. By leveraging resources provided by ...

    Speaker:
    Daniel Sadoc Menasche (Federal University of Rio de Janeiro)
    Date:
    Wednesday, 29.10.2014, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • TCE Guest Lecture: Model-based System Design for Cyber-Physical Systems

    Cyber-Physical Systems (CPS) are embedded systems in which computational and physical systems are heavily interconnected for performing critical applications including avionics, automotive electronics, manufacturing ...

    Speaker:
    T. John Koo (Emerging Technologies Institute The University of Hong Kong)
    Date:
    Tuesday, 28.10.2014, 13:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux Club: Bitcoin - What and Why

    Haifux Club: Bitcoin - What and WhyA lecture with a life demo! General Agenda What is Bitcoin Wallets (mobile, cloud, cold storage) Price and Market Capacitance Worldwide adoption by big ...

    Speaker:
    Daniel Brunstein
    Date:
    Monday, 27.10.2014, 18:30
    Place:
    Taub 2

    [Full version]

  • ceClub: System Approach to Distributed Balanced Graph

    Balanced Graph Partitioning is a hard problem. Doing it at large scale on graphs of millions of nodes and edges is even harder. Doing ...

    Speaker:
    Gabi Kliot (Microsoft Research​)
    Date:
    Thursday, 23.10.2014, 11:30
    Place:
    Taub 9

    [Full version]

  • Computational Approaches in Metabolic Flux Analysis (MFA)

    Cellular metabolism represents fundamental biochemical activities that enable cells to break down food nutrients, generate energy, and produce molecular building blocks required for cell ...

    Speaker:
    Naama Tepper
    Date:
    Wednesday, 22.10.2014, 12:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: From Average Case Complexity to Improper Learning Complexity

    It is presently still unknown how to show hardness of learning problems. There are huge gaps between our upper and lower bounds in the ...

    Speaker:
    Amit Daniely (Hebrew Universiy of Jerusalem)
    Date:
    Wednesday, 22.10.2014, 12:30
    Place:
    Taub 301

    [Full version]

  • The Cryptographic Lens

    Speaker:
    Shafi Goldwasser - Colloquium Lecture - POSTPONED!
    Date:
    Tuesday, 21.10.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • ceClub: A Centralized "Zero-Queue" Network Architecture

    Current datacenter networks inherit the principles that went into the design of the Internet, where packet transmission and path selection decisions are distributed among ...

    Speaker:
    Jonathan Perry
    Date:
    Monday, 6.10.2014, 11:00
    Place:
    EE Meyer Building 861

    [Full version]

  • Parameterized Automata Constructions and Their Applications

    Parameterization is a useful tool for handling NP-hard problems in the real world. It aims to reduce the running times of algorithms for such ...

    Speaker:
    Ran Ben-Basat
    Date:
    Monday, 22.9.2014, 15:30
    Place:
    Taub 701

    [Full version]

  • Observing the Observers: Social Context Analysis Using Computer Vision

    It is quite common that multiple human observers attend to a single point of interest. Mutual awareness activity (MAWA) refers to the dynamic of ...

    Speaker:
    Meir Cohen
    Date:
    Wednesday, 10.9.2014, 12:00
    Place:
    Taub 601

    [Full version]

  • Massively parallel query processing of large tree and graph structured databases

    In light of the rapidly increasing amount of data and demand for fast query processing, increasing the efficiency of database operations continues to be ...

    Speaker:
    Lila Shnaiderman
    Date:
    Wednesday, 10.9.2014, 10:00
    Place:
    Taub 601

    [Full version]

  • Strict Action Uncertainty

    Speaker:
    Reshef Meir - CSpecial Lecture - Note unusual day and place
    Date:
    Wednesday, 27.8.2014, 14:30
    Place:
    Room 601 Taub Bld.

    [Full version]

  • Pixel Club: Wavelets on Graphs and their Deployment to Image Processing

    In our work we introduce novel methods for processing signals defined on graphs and high dimensional data clouds. Finding efficient methods to represent and ...

    Speaker:
    Edan Ram( EE, Technion)
    Date:
    Tuesday, 19.8.2014, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Defending Against Eclipse Attacks in Unstructured Overlays

    Overlays play a central role in the scalability of many peer-to-peer (P2P) networks and large scale data-center systems. The eclipse attack has been identified ...

    Speaker:
    Ido Gonen
    Date:
    Wednesday, 6.8.2014, 11:00
    Place:
    Taub 601

    [Full version]

  • Enhancing energy-performance for power constrained SoC systems

    Programmers developing GPGPU applications to run on hybrid systems are mainly facing two types of challenges, achieving better performance and saving energy. One type ...

    Speaker:
    Rami Jioussy
    Date:
    Tuesday, 29.7.2014, 12:30
    Place:
    Taub 701

    [Full version]

  • Scalable Zero Knowledge via Cycles of Elliptic Curves

    Speaker:
    Alessandro Chiesa - CSpecial Lecture - Note unusual day and time
    Date:
    Monday, 21.7.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture

    Speaker:
    Madars Virza - CSpecial Lecture - Note unusual time
    Date:
    Sunday, 20.7.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: On Saliency Detection & its Evaluation

    I will begin by discussing what makes a patch salient. Most previous work assert that distinctness is the dominating factor. The difference between the ...

    Speaker:
    Ran Margolin (EE, Technion)
    Date:
    Tuesday, 15.7.2014, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Towards a Unified Framework for Computing on Encrypted Data

    Speaker:
    Shweta Agrawal - CSpecial-Lecture
    Date:
    Thursday, 10.7.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • vRIO: Efficient Paravirtual Remote I/O

    Paravirtual I/O allows the host to interpose on the I/O activity of its guest VMs. Recent studies show significant performance benefits when dividing host ...

    Speaker:
    Yossi Kuperman
    Date:
    Wednesday, 9.7.2014, 15:30
    Place:
    Taub 401

    [Full version]

  • Bug Attacks

    In this talk I will present a cryptanalytic attack, which we call Bug Attacks. This attack utilizes bugs in the hardware implementation of computer ...

    Speaker:
    Yaniv Carmeli
    Date:
    Wednesday, 9.7.2014, 14:30
    Place:
    Taub 601

    [Full version]

  • Theory and Practice of Concurrent Data Structures

    Today, most computing platforms are parallel, and the amount of parallelism available for the computation is ever increasing. This growing popularity of parallel platforms ...

    Speaker:
    Shahar Timnat
    Date:
    Wednesday, 9.7.2014, 13:00
    Place:
    Taub 701

    [Full version]

  • Multiplicative Approximation Algorithms for Generalized Covering and Packing Problems

    We present a simple scheme for width-independent multiplicative approximation algorithms for generalized covering and packing problems. We then present our main contribution- a novel ...

    Speaker:
    Jonathan Wagner
    Date:
    Wednesday, 9.7.2014, 13:00
    Place:
    Taub 601

    [Full version]

  • Pixel Club: Distance Based Hashing for Approximated Nearest Neighbor Fields

    The Approximate Nearest Neighbor Field (ANNF) assigns to each patch in one image, a similar patch from another image. It has recently become a ...

    Speaker:
    Itamar Friedman (EE, Technion)
    Date:
    Tuesday, 8.7.2014, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux Club: Profiling and Tracing

    In this talk we would cover the basics of performance profiling using the Linux perf tool, and tracing using ftrace. The talk will consist ...

    Speaker:
    Nadav Amit (CS Technion)
    Date:
    Monday, 7.7.2014, 18:30
    Place:
    Taub 6

    [Full version]

  • CGGC Seminar: Facility location problems in The Read-only Memory with Constant Work-space

    The problem of finding the placement of certain number of facilities so that they can serve all the demands efficiently is a very important ...

    Speaker:
    Minati De (CS Technion)
    Date:
    Sunday, 6.7.2014, 13:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Methods of Visual Navigation for UAV and Ground Robots

    The topic of the lecture is methods of vision-based navigation for UAV and visual navigation of ground robots from above. The visual navigation of ...

    Speaker:
    Oleg Yurjevich Kupervasser (Transist Video LLC)
    Date:
    Sunday, 6.7.2014, 11:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Adaptively Secure UC Constant Round Multi-Party Computation Protocols

    Secure multiparty computation is an extremely strong and important tool for making distributed computing more secure. General solutions to the problem allow us to ...

    Speaker:
    Antigoni Polychroniadou (Arhus University)
    Date:
    Wednesday, 2.7.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • Dynamical Systems Biology

    Speaker:
    Oded Maler - Colloquium Lecture
    Date:
    Tuesday, 1.7.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Better Feature Tracking Through Subspace Constraints

    Feature tracking in video is a crucial task in computer vision. Usually, the tracking problem is handled one feature at a time, using a ...

    Speaker:
    Gilad Lerman - CANCELLED!
    Date:
    Tuesday, 1.7.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Linear-Time Subspace Clustering Via Sparse Representations

    Subspace clustering is the unsupervised learning problem of clustering a collection of data samples drawn from a union of subspaces, according to their spanning ...

    Speaker:
    Amir Adler
    Date:
    Thursday, 26.6.2014, 11:30
    Place:
    Taub 401

    [Full version]

  • Theory Seminar: Bi-Lipschitz Bijection between the Boolean Cube and the Hamming Ball

    We construct a bi-Lipschitz bijection from the Boolean cube to the Hamming ball of equal volume. More precisely, we show that for all even ...

    Speaker:
    Gil Cohen (Weizmann Institute of Science)
    Date:
    Wednesday, 25.6.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Outsourced Pattern Matching

    The problem of securely outsourcing computation to an untrusted server gained momentum with the recent penetration of cloud computing services. The ultimate goal in ...

    Speaker:
    Carmit Hazay (Bar-Ilan University)
    Date:
    Wednesday, 25.6.2014, 11:30
    Place:
    Taub 7

    [Full version]

  • Buying Private Data without Verification

    Speaker:
    Katrina Ligett - CSpecial Lecture
    Date:
    Tuesday, 24.6.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Resolution limits due to Pointwise Degradations in Color Imaging

    There is resolution loss that is caused strictly by noise, without the presence of imaging blur. Past studies analyze resolution limits in single channel, ...

    Speaker:
    Alex Golts (EE, Technion)
    Date:
    Tuesday, 24.6.2014, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Haifux Club: Efficient Virtual Memory: Hash, Don't Walk (the Page Table)

    Radix page tables as implemented in the x86-64 micro-architecture incur a penalty of four memory references on each TLB miss. The problem aggravates in ...

    Speaker:
    Idan Yaniv (CS Technion)
    Date:
    Monday, 23.6.2014, 18:30
    Place:
    Taub 6

    [Full version]

  • Cross-Collection Map Inference by Intrinsic Alignment of Shape Spaces

    Inferring maps between shapes is a long standing problem in geometry processing. The less similar the shapes are, the harder it is to compute ...

    Speaker:
    Nitzan Shapira
    Date:
    Sunday, 22.6.2014, 13:00
    Place:
    Taub 337

    [Full version]

  • Direct Sum Related Problems in Communication Complexity

    We study the direct-sum problem for $k$-party ``Number On the Forehead'' (NOF) deterministic communication complexity. We prove several positive results, showing that the complexity ...

    Speaker:
    Eldar Aharoni
    Date:
    Thursday, 19.6.2014, 14:30
    Place:
    Taub 601

    [Full version]

  • Testing of Polynomials and related questions

    Degree d Testing is a probabilistic algorithm that given a function f answer whether f is a degree d polynomial or far from such ...

    Speaker:
    Elad Haramaty
    Date:
    Wednesday, 18.6.2014, 14:00
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: How to use Bitcoin to Design Fair Protocols

    Abstract: We study a model of fairness in secure computation in which an adversarial party that aborts on receiving output is forced to pay ...

    Speaker:
    Ranjit Kumaresan (CS Technion)
    Date:
    Wednesday, 18.6.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • Excellence or Professionalism?

    Speaker:
    Prof. David Harel - Colloquium Lecture
    Date:
    Tuesday, 17.6.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Extending Sparsity-Based Models for Signal and Image Processing

    Among the many ways we have to model signals, one approach that has found great popularity in the past decade is based on sparse ...

    Speaker:
    Tomer Peleg (EE, Technion)
    Date:
    Tuesday, 17.6.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CSpecial Guest Lecture: Wearable Computing - the Next Frontier

    CSpecial Guest Lecture: Wearable Computing - the Next FrontierLior Ron, Technion CS M.Sc. graduate and for the last eight years a developer at Google, conducted the Google Maps and Google Now projects, ...

    Speaker:
    Lior Ron (Motorola-Google)
    Date:
    Sunday, 15.6.2014, 15:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: Constant Rate PCPs for Circuit-sat with Sublinear Query Complexity

    The PCP theorem (Arora et. al., J. ACM 45(1,3)) says that every NP-proof can be encoded to another proof, namely, a probabilistically checkable proof ...

    Speaker:
    Yohay Kaplan (CS Technion)
    Date:
    Wednesday, 11.6.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • Aggregation-based Adaptive Algebraic Multigrid for Sparse Linear Systems

    Algebraic Multigrid (AMG) methods have long been recognized for their efficiency as solvers of sparse linear systems of equations, mainly such that arise from ...

    Speaker:
    Eran Treister
    Date:
    Wednesday, 11.6.2014, 11:00
    Place:
    Taub 601

    [Full version]

  • Pixel Club: Inverse Volume Rendering with Material Dictionaries

    Translucent materials are ubiquitous, and simulating their appearance requires accurate physical parameters. However, physically-accurate parameters for scattering materials are difficult to acquire. We introduce ...

    Speaker:
    Anat Levin (CS and Math, Weizmann Institute of Science)
    Date:
    Tuesday, 10.6.2014, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • The Aha! Moment: From Data to Insight

    Speaker:
    Dafna Shahaf - CS-Lecture
    Date:
    Sunday, 8.6.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • A principled approach to the performance-vs.-programmability trade-off in large-scale distributed data stores

    Speaker:
    Marc Shapiro - Colloquium Lecture -
    Date:
    Monday, 2.6.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Deinterleaving Finite Memory Processes via Penalized Maximum Likelihood

    Speaker:
    Gadiel Seroussi - CSpecial lecture -
    Date:
    Wednesday, 28.5.2014, 15:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Theory Seminar: Introduction to Quasi-Cyclic Codes

    In this seminar talk, we introduce linear quasi-cyclic codes over finite fields. We recall the spectral analysis of Semenov-Trifonov (ST) and explain their BCH-like ...

    Speaker:
    Alexander Zeh (CS Technion)
    Date:
    Wednesday, 28.5.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • A Unified Scheme for Generalizing Cardinality Estimators to Sum Aggregation

    Cardinality estimation algorithms receive a stream of elements that may appear in arbitrary order, with possible repetitions, and return the number of distinct elements. ...

    Speaker:
    Aviv Yehezkel
    Date:
    Wednesday, 28.5.2014, 12:30
    Place:
    Taub 601

    [Full version]

  • ceClub: Games, Numeration Systems and Data Structures

    A primary aim of combinatorial game theory (CGT) is to formulate tractable winning strategies for games. I wish to sell you the idea that ...

    Speaker:
    Aviezri S. Fraenkel (Weizmann Institute of Science)
    Date:
    Wednesday, 28.5.2014, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Haifux Club: The Right Way: Managed Resource Allocation in Linux Device Drivers

    Linux device drivers typically call kmalloc(), request_mem_region(), ioremap() and other kernel API functions to obtain resources. Failing to release them correctly when the device ...

    Speaker:
    Eli Billauer:
    Date:
    Monday, 26.5.2014, 18:30
    Place:
    Taub 6

    [Full version]

  • Pixel Club: Region Ranking Methods for Image Segmentation

    I will describe some of our recent work on learning systems for image segmentation using a two stage approach: given an image, we first ...

    Speaker:
    Payman Yadollahpour (Toyota Technological Institute at Chicago)
    Date:
    Sunday, 25.5.2014, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Pixel Club: Digital Pathologist - Segmentation and Classification of Biopsy Images

    Cancer is diagnosed by a biopsy – a pathologist’s examination of a tissue sample via a microscope. Biopsy image is very rich with data ...

    Speaker:
    Assaf Cohen (Haifa University)
    Date:
    Tuesday, 20.5.2014, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • ceClub: A Look at Multiprocessor Real-Time Scheduling in Linux: Generality, Feasibility, and Scalability

    Given the popularity of Linux and the increasing adoption of embedded multicore platforms, Linux (and Linux-like RTOSs such as LynxOS and QNX) are increasingly ...

    Speaker:
    Bjorn Brandenburg (Max Planck Institute for Software Systems in Kaiserslautern, Germany)
    Date:
    Monday, 19.5.2014, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • Codes for Permutations

    The rank modulation scheme has been proposed for efficient writing and storing data in non-volatile memory storage. In this setup data is represented by ...

    Speaker:
    Sarit Buzaglo
    Date:
    Thursday, 15.5.2014, 15:30
    Place:
    Taub 601

    [Full version]

  • Algorithms for Property Testing and Related Problems

    Property testing algorithms are required to discern between inputs with some property and inputs far from having the property, by only making very few ...

    Speaker:
    Yonatan Goldhirsh
    Date:
    Wednesday, 14.5.2014, 14:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Property Testing Bounds for Linear and Quadratic Functions via Parity Decision Trees

    We study linear and quadratic Boolean functions in the context of property testing. We do this by observing that the query complexity of testing ...

    Speaker:
    Abhishek Bhrushundi (Chennai Mathematical Institute)
    Date:
    Wednesday, 14.5.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Robust Replication (or How I Learned to Stop Worrying and Love Failures)

    The choice between Byzantine and crash fault tolerance is viewed as a fundamental design decision when building fault tolerant systems. We show that this ...

    Speaker:
    Allen Clement (Max Planck Institute for Software Systems)
    Date:
    Wednesday, 14.5.2014, 11:30
    Place:
    Room 337 Taub Bld.

    [Full version]

  • The rise of dynamic languages

    Speaker:
    Jan Vitek
    Date:
    Tuesday, 13.5.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Transitive Re-identification

    The person re-identification (ReID) problem has lately received increasing attention especially due to its important role in surveillance systems, which should be able to ...

    Speaker:
    Yulia Brand, (EE, Technion)
    Date:
    Tuesday, 13.5.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • The polynomial Freiman-Ruzsa conjecture in additive combinatorics and its applications in computational complexity

    Additive combinatorics is the branch of mathematics whose objects of study are subsets of integers (or other mathematical groups), and which studies the properties ...

    Speaker:
    Noga Zewi
    Date:
    Wednesday, 7.5.2014, 14:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Combinatorial Completeness Criteria for All Cryptogates

    Suppose two parties, Alice and Bob, have access to a trusted third party that can do some \emph{simple} computation for them. How can we ...

    Speaker:
    Daniel Kraschewski (CS Technion)
    Date:
    Wednesday, 7.5.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: The Complexity of Correlated Instances

    e study the complexity of computational problems when multiple instances are given, and the instances are *correlated*. Such instances arise for example when they ...

    Speaker:
    Irit Dinur (Weizmann Institute of Science)
    Date:
    Wednesday, 7.5.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CGGC Seminar: In Search of a Clifford Algebra as a Natural Framework for 3-Dimensional Computer Graphics

    In contemporary 3-dimensional computer graphics, the graphics pipeline consists of a sequence of affine transformations composed at the end with a single perspective projection. ...

    Speaker:
    Ron Goldman (CS, Rice University)
    Date:
    Sunday, 4.5.2014, 13:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: On Constructing Expanding Generator Sets for Solvable Permutation Groups

    The Alon-Roichman theorem states for any finite group $G$ and $\lambda>0$, a multiset $S$ of size $O(\log |G|/\lambda^2)$ picked uniformly at random is a ...

    Speaker:
    Yadu Vasudev (Chennai Mathematical Institute)
    Date:
    Wednesday, 30.4.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Sampling and Inference Problems for Big Data in the Internet and Beyond

    Massive graph datasets are used operationally by providers of internet, social network and search services. Sampling can reduce storage requirements as well as query ...

    Speaker:
    Nick Duffield (Rutgers University)
    Date:
    Wednesday, 30.4.2014, 11:30
    Place:
    EE Meyer Building TBA

    [Full version]

  • Joint analysis of two biological networks using module maps

    Speaker:
    Ron Shamir
    Date:
    Tuesday, 29.4.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CSpecial Guest Lecture: Graduate Studies - Why Bother?

    CSpecial Guest Lecture: Graduate Studies - Why Bother?Oded Cohn, a Technion CS graduate who is now a Vice President at IBM and the Director of IBM Research - Haifa Lab, will ...

    Speaker:
    Oded Cohn (IBM Research, Haifa)
    Date:
    Tuesday, 29.4.2014, 12:30
    Place:
    Taub Auditorium 2

    [Full version]

  • Haifux Club: VSwapper, a Guest-agnostic Memory Swapper for Virtual Environments

    The number of guest virtual machines that can be consolidated on one physical host is typically limited by the memory size, motivating memory overcommitment. ...

    Speaker:
    Nada Amit (CS, Technion)
    Date:
    Monday, 28.4.2014, 18:30
    Place:
    Taub 6

    [Full version]

  • CSpecial Guest Lecture:An Algebraic Approach to Non-Malleability

    In their seminal work on non-malleable cryptography, Dolev, Dwork and Naor, showed how to construct a non-malleable commitment with logarithmically-many "rounds"/"slots", the idea being ...

    Speaker:
    Silas Richelson (UCLA)
    Date:
    Monday, 28.4.2014, 13:30
    Place:
    Taub 6

    [Full version]

  • CSpecial Guest Lecture: Adaptive Protocols for Interactive Communication

    How much adversarial error can protocols for interactive communication tolerate? This question was examined previously by Braverman and Rao [STOC 2011] for the case ...

    Speaker:
    Ran Gelles (UCLA)
    Date:
    Sunday, 27.4.2014, 15:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: List and Unique Coding of Interactive Communication

    In this talk we extend the notion of list decoding to the setting of interactive communication and study its limits. In particular, we show ...

    Speaker:
    Klim Efremenko (Tel Aviv University)
    Date:
    Wednesday, 23.4.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Look-Ahead Clock Gating

    Clock gating is very useful for reducing the power consumed by digital systems. Three gating methods are known: synthesis-based, data-driven and auto-gated FFs (AGFF). ...

    Speaker:
    Shmuel Wimer (Bar Ilan University)
    Date:
    Wednesday, 23.4.2014, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • If machines are capable of doing almost any work humans can do, what will humans do?

    Speaker:
    Moshe Y. Vardi - Colloquium Lecture
    Date:
    Tuesday, 22.4.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Model-Based Adaptive Non-Local Means Image Denoising

    Image denoising is used to find the best estimate of the original image given its noisy version. The Non-Local Means (NLM) denoising algorithm compares ...

    Speaker:
    Hila Berkovich (EE, Technion)
    Date:
    Tuesday, 22.4.2014, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Everyday Life in a Data-Rich World

    Speaker:
    Jon Kleinberg - Colloquium Lecture
    Date:
    Thursday, 10.4.2014, 14:30
    Place:
    Taub Auditorium 2

    [Full version]

  • ceClub: NetFPGA: The Flexible Open-Source Networking Platform

    The NetFPGA is an open platform enabling researchers and instructors to build high-speed, hardware-accelerated networking systems. The NetFPGA is the de-facto experimental platform for ...

    Speaker:
    Noa Zilberman (University of Cambridge)
    Date:
    Tuesday, 8.4.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Approximate Nearest Neighbor Search for Video

    Is it possible to perform BM3D in real-time? Probably not, but it can be approximated. In this talk we will present an algorithm for ...

    Speaker:
    Nir Ben Zrihem (EE, Technion)
    Date:
    Tuesday, 8.4.2014, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Verifying the correctness of remote executions: from theoretical possibility to near practicality

    Speaker:
    Michael Walfish - Colloquium Lecture
    Date:
    Thursday, 3.4.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: An $n\log n$ Lower Bound for Fourier Transform Computation in the Well Conditioned Model

    Obtaining a non-trivial (super-linear) lower bound for computation of the Fourier transform in the linear circuit model has been a long standing open problem ...

    Speaker:
    Nir Ailon (CS, Technion)
    Date:
    Wednesday, 2.4.2014, 13:00
    Place:
    Taub 201

    [Full version]

  • The Password That Never Was

    Speaker:
    Ari Juels - Colloquium Lecture - Note unusual day and time
    Date:
    Wednesday, 2.4.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • ceClub: Low-Congestion Distributed Algorithms

    The traditional model for computing over a communication network (called LOCAL) allows sending a message of arbitrary size in a single time step. This ...

    Speaker:
    Boaz Patt-Shamir (Tel Aviv University)
    Date:
    Wednesday, 2.4.2014, 11:30
    Place:
    EE Meyer Building TBA

    [Full version]

  • CSpecial Guest Lecture: Disk-on-Key Invention and More

    CSpecial Guest Lecture: Disk-on-Key Invention and MoreThe inventor and former Vice Manager of M-system will lecture on Flash Technology, on the birht of the Disk-on-Key and on the development of ...

    Speaker:
    Amir Ban (Center for the Study of Rationality, Hebrew University)
    Date:
    Tuesday, 1.4.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux Club: Linux Containers and the future cloud (part II)

    Lightweight process virtualization is a virtualization technology which exists for many years, in Linux and in other OSs, and which matured significantly in the ...

    Speaker:
    Rami Rosen
    Date:
    Monday, 31.3.2014, 18:30
    Place:
    Taub 6

    [Full version]

  • Design and Management of Complex Distributed Systems: Optimization and Game-Theoretic Perspectives

    The design and management of current distributed systems is a very complex task. This is mainly due to the fact that typical systems are ...

    Speaker:
    Amir Nahir
    Date:
    Monday, 31.3.2014, 11:00
    Place:
    Taub 601

    [Full version]

  • Alleviating Virtualization Bottlenecks

    Hardware virtualization has long been studied after being introduced to commodity servers. Despite the ongoing research and the developing hardware support, virtual machines incur ...

    Speaker:
    Nadav Amit
    Date:
    Wednesday, 26.3.2014, 13:00
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Coin Flipping of Any Constant Bias Implies One-Way Functions

    We show that the existence of a coin-flipping protocol safe against any non-trivial constant bias (e.g., .499), implies the existence of one way functions. ...

    Speaker:
    Itay Berman (Tel-Aviv university)
    Date:
    Wednesday, 26.3.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • Theory Seminar: Towards Characterizing Complete Fairness in Secure Two-Party Computation

    The well known impossibility result of Cleve (STOC 1986) implies that in general it is impossible to securely compute a function with complete fairness ...

    Speaker:
    Gilad Asharov (Bar-Ilan university)
    Date:
    Wednesday, 19.3.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: The Immune System, and How it Can Teach Us Cyber Security

    The immune system has several roles: protection against parasitism by viruses, bacteria and foreign or aberrant cells; repair of organ and tissue damage; and ...

    Speaker:
    Jacob Rimer (Weizmann Institute of Science)
    Date:
    Wednesday, 19.3.2014, 11:30
    Place:
    Taub 7

    [Full version]

  • Complexities in Auctions and Markets

    Speaker:
    Noam Nisan - Colloquium Lecture
    Date:
    Tuesday, 18.3.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux Club: Linux Containers and the Future Cloud

    Linux Containers is a technology based on namespaces and cgroups. We will start with an half an hour rehearsal about namespaces and cgroups, which ...

    Speaker:
    Rami Rosen
    Date:
    Monday, 17.3.2014, 18:30
    Place:
    Taub 6

    [Full version]

  • CGGC Seminar: Eyes-Free Input on Mobile Devices

    I will discuss new methods and studies that aim to improve eyes-free data entry for blind mobile device users. Currently, mobile devices are generally ...

    Speaker:
    Shiri Azenkot (CS, University of Washington)
    Date:
    Thursday, 13.3.2014, 13:00
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: Direct Sum Testing

    Abstract: For a string $a \in \{0,1\}^n$ its $k$-fold direct sum encoding is a function $f_a$ that takes as input sets $S \subseteq [n]$ ...

    Speaker:
    Elazar Goldenberg (Weizmann Institute of Science)
    Date:
    Wednesday, 12.3.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Fence-Free Work Stealing on Bounded TSO Processors

    Work stealing is the method of choice for load balancing in task parallel programming languages and frameworks. Yet despite considerable effort invested in optimizing ...

    Speaker:
    Adam Morrison (CS, Technion)
    Date:
    Wednesday, 12.3.2014, 11:30
    Place:
    Taub 601

    [Full version]

  • Bioinformatics Forum: Algorithmic Techniques for RNA Secondary Structure Prediction

    The main role of RNA as a mediator in the process of protein construction out of DNA information, as expressed in Crick's "central dogma ...

    Speaker:
    Shay Zakov (Computer Science and Engineering, UCSD)
    Date:
    Tuesday, 11.3.2014, 13:30
    Place:
    Taub 701

    [Full version]

  • Pixel Club: Image Dehazing

    Photographs of hazy scenes typically have low-contrast and offer a limited scene visibility. I will describe a new method for single-image dehazing that relies ...

    Speaker:
    Raanan Fattal (CS & EE, The Hebrew University of Jerusalem)
    Date:
    Tuesday, 11.3.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Nanosecond Coded Time of Flight Cameras: Signal Processing Strategies and Computational Photography Applications

    Time of Flight cameras are an increasingly popular consumer imaging modality that obtain range maps at high framerates. For commercial cameras, such as the ...

    Speaker:
    Achuta Kadambi and Ayush Bhandari (MIT Media Laboratory)
    Date:
    Sunday, 9.3.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Wikipedia at Technion CS

    Wikipedia at Technion CSWant to volunteer in a significant network project and receive credit? Come and meet the Wikipedia community representatives and receive tools for academic writing ...

    Date:
    Wednesday, 5.3.2014, 12:30
    Place:
    Taub 231 (2nd Floor, next to SSDL Lab)

    [Full version]

  • Theory Seminar: ZeroCash

    ZeroCash is a new decentralized anonymous payment (DAP) system. It is an extension of decentralized ledger-based system like Bitcoin and solves the anonymity problem ...

    Speaker:
    Eli Ben-Sasson (CS, Technio)
    Date:
    Wednesday, 5.3.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Accumulating Automata and Cascaded Equations

    Information theoretically secure multi-party computation implies severe communication overhead among the computing participants, as there is a need to reduce the polynomial degree after ...

    Speaker:
    Shlomi Dolev (Dean, Natural Sciences, Ben-Gurion University of the Negev)
    Date:
    Wednesday, 5.3.2014, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Haifux Club: Open Ethernet Initiative - using Linux as the foundation of a networking OS

    The current landscape of proprietary Ethernet switches and e-switches limits the foundation of compute and storage clouds and Web 2.0 infrastructures. The “Generation of ...

    Speaker:
    Matty Kados
    Date:
    Monday, 3.3.2014, 18:30
    Place:
    Taub 6

    [Full version]

  • Pixel Club: Beyond Scanning Electron Microscopes: Bayes Optimal Strategies for Target Localization

    With their ability to image with isotropic resolution of up to 4nm per pixel, Scanning Electron Microscopes (SEM) have become invaluable tools for studying ...

    Speaker:
    Raphael Sznitman (École Polytechnique Fédérale de Lausanne - EPFL,Switzerland)
    Date:
    Monday, 3.3.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • The Dynamics of Reputation and its Origins, in Economic and Social Contexts

    Speaker:
    Amir Ban - Colloquium Lecture
    Date:
    Tuesday, 18.2.2014, 14:30
    Place:
    Taub 5 (Nonte change of room)

    [Full version]

  • Optimal Shrinkage of Singular Values for Matrix Denoising

    Speaker:
    Matan Gavish - CS-Lecture
    Date:
    Sunday, 16.2.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • E-Wolf: A Distributed Online Social Network

    In recent years, social networks have become an important part of our lives. Recent surveys (Facebook Reports Third Quarter 2013 Results) has shown that ...

    Speaker:
    Eyal Kibar
    Date:
    Wednesday, 12.2.2014, 15:00
    Place:
    Taub 601

    [Full version]

  • TCE Guest Lecture: Internet: a Critical Infrastructure for Society

    The presentation provides an overview on some short and long term solutions in metro and backbone networks that can facilitate reaching the next level ...

    Speaker:
    János Tapolcai (Budapest University of Technology and Economics)
    Date:
    Wednesday, 12.2.2014, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • Migration Plans With Minimum Overall Migration Time

    In this talk we concentrate on finding the best migration plan, that is, a partial ordering of live migrations that realizes a move from ...

    Speaker:
    Alexander Nus
    Date:
    Wednesday, 5.2.2014, 14:00
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: On Continuous and Combinatorial Relaxations of Graph Isomorphism

    Abstract: The graph isomorphism problem is one of the most celebrated computational problems whose complexity status lies somewhere intermediate between P and NP-complete. We ...

    Speaker:
    Albert Atserias (Universitat Politecnica de Catalunya, Barcelona)
    Date:
    Wednesday, 5.2.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • Principles of multi-agent coordination

    Speaker:
    Yoram Moses - Colloquium Lecture
    Date:
    Tuesday, 4.2.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • TCE Guest Lecture: A New Approach to Computing Geodesic Distance Based on Heat Flow

    In this talk, I discuss the heat method for computing the geodesic distance to a specified subset (e.g., point or curve) of a given ...

    Speaker:
    Max Wardetzky (University of Gottingen)
    Date:
    Tuesday, 4.2.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux Club: MediaWiki: The software behind Wikipedia

    MediaWiki is a Free software package for setting up a wiki site. It was originally developed to support Wikipedia, and now it is used ...

    Speaker:
    Amir E. Aharoni
    Date:
    Monday, 3.2.2014, 18:30
    Place:
    Taub 6

    [Full version]

  • Iterative Referencing for Improving the Interpretation of DNA Sequence Data

    Next-Generation Sequencing (NGS) facilitates genetic studies to discover SNPs and indels associated with Mendelian and complex diseases. The measurement process, which generates millions of ...

    Speaker:
    Alaa Ghanayim
    Date:
    Sunday, 2.2.2014, 13:00
    Place:
    Taub 601

    [Full version]

  • Pixel Club: Constructing Mappings of Surface Meshes

    In this talk we will describe a method for building surface mesh mappings, given a coarse set of correspondences. The focus will be on ...

    Speaker:
    Yaron Lipman (Weizmann Institute of Science)
    Date:
    Tuesday, 28.1.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Theory Seminar: On the Cryptographic Complexity of the Worst Functions

    We study the complexity of realizing the "worst" functions in several standard models of information-theoretic cryptography. In particular, for the case of security against ...

    Speaker:
    Ranjit Kumaresan (CS, Technion)
    Date:
    Wednesday, 22.1.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Almost Optimal Virtual Machine Placement for Traffic Intense Data Centers

    The recent growing popularity of cloud-based solutions and the variety of new applications present new challenges for cloud management and resource utilization. In this ...

    Speaker:
    Liane Lewin-Eytan (Yahoo! Labs)
    Date:
    Wednesday, 22.1.2014, 11:30
    Place:
    EE Meyer Building 861

    [Full version]

  • A General Technique for Non-blocking Trees

    Speaker:
    Faith Ellen - Colloquium Lecture
    Date:
    Tuesday, 21.1.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • CSpecial Talk: A Family of Locally Recoverable Codes

    In today's information era, data centers are facing challenging tasks of managing, analyzing, and storing enormous amounts of data. One such task is recovery, ...

    Speaker:
    Itzhak (Zachi) Tamo (Electrical Computer Engineering and Institute for Systems Research, versity of Maryland)
    Date:
    Thursday, 16.1.2014, 14:30
    Place:
    Taub 401

    [Full version]

  • COARA: Code Offloading on Android with RMI and AspectJ

    Smartphones suffer from limited computational capabilities. A method to mitigate these problems is code offloading: executing application code on a remote server. We introduce ...

    Speaker:
    Nir Hauser
    Date:
    Wednesday, 15.1.2014, 13:00
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: On the Lattice Isomorphism Problem

    We study the Lattice Isomorphism Problem (LIP), in which given two lattices $L_1$ and $L_2$ the goal is to decide whether there exists an ...

    Speaker:
    Ishay Haviv (MTA)
    Date:
    Wednesday, 15.1.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: OS Services for Computational Accelerators

    Future applications will need to use computational accelerators like GPUs to achieve their performance and power goals. However building efficient systems that use accelerators ...

    Speaker:
    Mark Silberstein (EE, Technion)
    Date:
    Wednesday, 15.1.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: On the Internal vs. External Statistics of Image Patches, and its Implications on Image Denoising

    Surprisingly, ”Internal-Denosing” (using internal noisy patches) usually out- performs ”External-Denoising” (using external clean patches), especially in high noise- levels. We analyze and explain this ...

    Speaker:
    Maria Zontak (Computer Science and Applied Mathematics, Weizmann Institute of Sciece)
    Date:
    Tuesday, 14.1.2014, 11:30
    Place:
    EE Meyer Building 1061

    [Full version]

  • Games, Proofs, Norms, and Algorithms

    Speaker:
    Boaz Barak - Colloquium Lecture
    Date:
    Thursday, 9.1.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Multimodal Spectral Geometry of Graphs and Manifolds

    Spectral methods proved to be an important and versatile tool in a wide range of problems in the fields of computer graphics, machine learning, ...

    Speaker:
    Michael Bronstein (Institute of Computational Science, University of Lugano (USI), Switzerland / PerceptualComputing Gro up, Intel)
    Date:
    Thursday, 9.1.2014, 12:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • O-sturctures: Ordered and Versioned Memory Element

    In this talk, we introduce O-structures, a conceptual architectural memory element that can be used to facilitate parallelism in task-based execution models. Much like ...

    Speaker:
    Eran Gilad
    Date:
    Wednesday, 8.1.2014, 13:30
    Place:
    Taub 601

    [Full version]

  • Theory Seminar: Explicit Constructions of WOM Codes

    A write-once-memory is a type of memory in which cells can only be written once. I.e. we can write “1” to a cell that ...

    Speaker:
    Amir Shpilka (CS Technion)
    Date:
    Wednesday, 8.1.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub and TCE: New Interfaces to Storage-Class Memory

    Storage-class memory (SCM) technologies such as phase-change memory, spin-transfer torque MRAM, and memristers promise the performance and flexibility of DRAM with the persistence of ...

    Speaker:
    Michael Swift (University of Wisconsin, Madison)
    Date:
    Wednesday, 8.1.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Understanding and Improving Device Access

    Speaker:
    Michael Swift - Colloquium Lecture
    Date:
    Tuesday, 7.1.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Pixel Club: Feature Matching with Bounded Distortion

    Finding corresponding points between images is challenging, particularly when objects change their pose non-rigidly, in wide-baseline conditions, or when instances of a perceptual category ...

    Speaker:
    Ronen Basri (Weizmann Institute of Science)
    Date:
    Tuesday, 7.1.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Haifux Club: Quick and Dirty Bash

    This lecture is a quick and unformal guide to scripts and sophisticated commands in Bash. The aim is to supply the listener with tools ...

    Speaker:
    Eli Billauer
    Date:
    Monday, 6.1.2014, 18:30
    Place:
    Taub 6

    [Full version]

  • Pixel Club: Linguistically motivated models for sign language recognition

    Automatic sign language recognition has close connections with both computer vision and speech recognition. The linguistics of sign languages is less well understood than ...

    Speaker:
    Karen Livescu (TTI-Chicago) - CANCELLED!
    Date:
    Monday, 6.1.2014, 11:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • TODAY: At the interface of Biology and Computation

    TODAY: At the interface of Biology and ComputationYou are invited to celebrate Prof. Ron Pinter's 60th birthday and take part in a symposium: "At the interface of Biology and Computation". ...

    Date:
    Monday, 6.1.2014, 09:00
    Place:
    Technion Coler-California Visitors Center

    [Full version]

  • On kinetic Delaunay triangulations

    Speaker:
    Natan Rubin - CS-Lecture
    Date:
    Sunday, 5.1.2014, 14:30
    Place:
    Room 337-8 Taub Bld.

    [Full version]

  • Bioinformatics Forum: A Geometric Approach for Protein Surface and Interface Representation: Application to DNA Binding Proteins

    The availability of three dimensional (3D) protein structures has increased dramatically over the past years. While at the start of the millennium, the Protein ...

    Speaker:
    Noam Kremen (Biology, Technion)
    Date:
    Thursday, 2.1.2014, 09:00
    Place:
    Taub 701

    [Full version]

  • Theory Seminar: Information Complexity and Applications

    Over the past three decades, communication complexity has found applications in nearly every area of computer science, and constitutes one of the few known ...

    Speaker:
    Omri Weinstein (Princeton)
    Date:
    Wednesday, 1.1.2014, 12:30
    Place:
    Taub 201

    [Full version]

  • ceClub: Elections 2013: Sublinear and Universal Leader Elections

    In this talk, I will discuss results from our recent work of last year (i.e. 2013!) on the classic problem of Leader Election. It ...

    Speaker:
    Amitabh Trehan (Queen's University of Belfast)
    Date:
    Wednesday, 1.1.2014, 11:30
    Place:
    EE Meyer Building 861

    [Full version]