קולוקוויום וסמינרים

כדי להצטרף לרשימת תפוצה של קולוקוויום מדעי המחשב, אנא בקר בדף מנויים של הרשימה.


Computer Science events calendar in HTTP ICS format for of Google calendars, and for Outlook.

Academic Calendar at Technion site.

קולוקוויום וסמינרים בקרוב

  • Coding Theory: Spatially-Coupled LDPC Codes With Random Access

    דובר:
    אשד רם (טכניון)
    תאריך:
    יום ראשון, 18.11.2018, 14:30
    מקום:
    טאוב 601

    One of the most promising error correcting schemes is the family of Spatially-Coupled (SC) LDPC codes. SC-LDPC codes achieve capacity universally on memoryless binary symmetric channels, and their special structure can be exploited to implement low-latency high-throughput decoders. In this talk, a new type of SC-DPC codes motivated by practical storage applications is presented. These new codes can be decoded locally at the level of sub-blocks that are much smaller than the full code block, thus providing random access to the coded information.

  • CSpecial Talk: Neuro-Symbolic Program Synthesis

    דובר:
    אלכס פולוזוב (מיקרוסופט)
    תאריך:
    יום שני, 19.11.2018, 12:00
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    Program synthesis, the task of automatically finding a program that satisfies a given user intent specification, has been successfully applied to aid commercial data wrangling, software engineering, and question answering. While data-driven (deep learning) and symbolic (formal logic) techniques are both commonly used for program synthesis, both of them have their strengths and weaknesses. Symbolic techniques guarantee correctness of the generated program with respect to the specification, but are difficult to design, develop, and tune. Data-driven techniques are easier to train and tune given sufficient customer data, but they cannot guarantee program correctness and have less insight into the program semantics.

    This talk describes three recent projects from Microsoft Research AI that address these issues by combining the strengths of data-driven and symbolic worlds. First, I will describe how deep learning models boost the performance of Microsoft PROSE SDK, a mass-market framework for programming by examples, by guiding its deductive search process. Second, I will present execution-guided decoding, a technique for making neural SQL program generation more semantics-aware, which achieves state-of-the-art accuracy on the Salesforce WikiSQL dataset. Finally, I will present a system for automatic completion of C# expressions given their surrounding context, powered by a novel combination of static analysis, attribute grammars, and gated graph neural networks

    Bio:
    Alex (Oleksandr) Polozov, a researcher in the Deep Procedural Intelligence group at Microsoft Research AI, Redmond. Works on neural program synthesis from input-output examples and natural language, intersections of machine learning and software engineering, and neuro-symbolic architectures. Interested in combining neural and symbolic techniques to tackle the next generation of AI problems, including program synthesis, planning, and reasoning.

    His main passion of the last several years has been PROSE, a program synthesis framework for mass-market development of by-example technologies. He completed his Ph.D. in the Paul G. Allen School of Computer Science & Engineering at the University of Washington. His advisors were Sumit Gulwani and Zoran Popović. Before joining UW, he received his B.S. in System Analysis with honors from the National Technical University of Ukraine “Kyiv Polytechnic Institute”

  • Pixel Club: Understanding Scene Semantics from Vehicles

    דובר:
    עידן גלר וקובי בנטולילה (מובילאיי)
    תאריך:
    יום שלישי, 20.11.2018, 11:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    Going from driving assistance to autonomous driving, requires a deeper understanding of the surroundings of the vehicle. Driving assistance systems provide technological solutions that help with the driving process, while these systems usually provide multiple features that enhance driving safety (such as automate lighting, adaptive cruise control, collision avoidance, etc.), they are still very simplistic with respect to their level of scene understanding. Autonomous driving, raises much more complex problems: Is the detected person a police-man that signals us to stop, is there an ambulance that signals our car to move aside? Is the detected person talking over the phone, while trying to cross the road? Common tasks, such as vehicles detection, enjoy the existence of large datasets making it easier to achieve top recognition performance. Unfortunately, this is not the case for the above-mentioned recognition challenges. In our lecture, we will present Mobileyes’ new algorithmic group, which is the first to be operating in Haifa. We will talk about its vast scope of algorithmic problems and further focus on one aspect of our work, describing innovative ways to prevent overfitting when training from a moderate amount of data (i.e, structuring and using intermediate classifiers, using heat maps as intermediate layers and self-performance evaluation by a neural network).

  • איך תהפכו תואר לקריירה? הזמנה לסדנת חיפוש עבודה

    CSpecial Talk: How to Turn a Degree to a Career

    דובר:
    יונתן יניב (YOTPO)
    תאריך:
    יום שלישי, 20.11.2018, 18:30
    מקום:
    חדר 337, בניין טאוב למדעי המחשב

    אנו שמחים להזמין אתכם למפגש ראשון בסדרת מפגשים בנושא קריירה וחיפוש עבודה, שייערכו בפקולטה.
     
    איך הופכים תואר לקריירה?
     ד"ר יונתן יניב, בוגר הפקולטה, חוקר אלגוריתמים ומערכות לומדות בחברת YOTPO –  בשיחה על:
    -  בחירות והחלטות על קורסים ופרוייקטים במהלך התואר
    -  בחירת מסלול לימודים
    -  סוגי המשרות (סטודנט, ג'וניור)
     
    האירוע יתקיים ביום שלישי, 20 בנובמבר, בשעה 18:30 בחדר 337, בניין טאוב למדעי המחשב.
     
    הסדנא ייעודית לסטודנטים לתואר ראשון במדעי המחשב.
     
    להשתתפות אנא הירשמו מראש.

    כולם מוזמנים!

  • תאריך:
    מקום:
  • CGGC Seminar: Real-time Viscous Thin Films

    דובר:
    אורסטיס ונטזוס וסער רז (מדעי המחשב, טכניון)
    תאריך:
    יום חמישי, 22.11.2018, 09:00
    מקום:
    טאוב 401

    We propose a novel discrete scheme for simulating viscous thin films at real-time frame rates. Our scheme is based on a new formulation of the gradient flow approach, that leads to a discretization based on local stencils that are easily computable on the GPU. Our approach has physical fidelity, as the total mass is guaranteed to be preserved, an appropriate discrete energy is controlled, and the film height is guaranteed to be non-negative at all times. In addition, and unlike all existing methods for thin films simulation, it is fast enough to allow real time interaction with the flow, for designing initial conditions and controlling the forces during the simulation.

    This work is jointly done with Prof. Miri Ben-Chen.

  • MMSE Approximation For Sparse Coding Algorithms Using Stochastic Resonance

    דובר:
    דרור סימון, הרצאה סמינריונית למגיסטר
    תאריך:
    יום שני, 10.12.2018, 15:00
    מקום:
    טאוב 401
    מנחה:
    Prof. M. Elad

    Sparse coding refers to the pursuit of the sparsest representation of a signal in a typically overcomplete dictionary. From a Bayesian perspective, sparse coding provides a Maximum a Posteriori (MAP) estimate of the unknown vector under a sparse prior. Various nonlinear algorithms are available to approximate the solution of such problems. In this work, we suggest enhancing the performance of sparse coding algorithms by a deliberate and controlled contamination of the input with random noise, a phenomenon known as stochastic resonance. This not only allows for increased performance, but also provides a computationally efficient approximation to the Minimum Mean Square Error (MMSE) estimator, which is ordinarily intractable to compute. We demonstrate our findings empirically and provide a theoretical analysis of our method under several different cases.

  • COLLOQUIUM LECTURE - Parallelizing Inherently Sequential Computations by Breaking Dependences Precisely

    דובר:
    Madan Musuvathi
    תאריך:
    יום שלישי, 18.12.2018, 14:30
    מקום:
    חדר 337 טאוב.
    השתייכות:
    Microsoft Research
    מארח:
    Roy Schwartz

    Abstract:
    TBA

    Short Bio: Madas Musuvathi is a Principal Researcher in the Research in Software Engineering group at Microsoft Research. His research focus is on scalable analysis of concurrent systems. More broadly, his interests include systems, program analysis, model checking, verification, and theorem proving. He spend a lot of time at Microsoft building analysis tools to improve the productivity of software developers and testers. His current research projects include: Efficient Parallel Algorithms, End to End Sequential Consistency, Concurrency Fuzzing, Memory Models, CHESS. He obtained my M.S. and Ph.D. at Stanford University, where he worked under the guidance of Prof. David L. Dill and Prof. Dawson Engler. Before that, He got my B.Tech. in Computer Science from the Indian Institute of Technology (IIT), Chennai (which was then called Madras).

  • COLLOQUIUM LECTURE - Toward human-centered programming language design

    דובר:
    Joshua Sunshine
    תאריך:
    יום שלישי, 1.1.2019, 14:30
    מקום:
    חדר 337 טאוב.
    השתייכות:
    Institute for Software Research at Carnegie Mellon University
    מארח:
    Roy Schwartz

    Programming languages are a tool for human thought, expression, and work yet they are principally designed using mathematical and engineering techniques. In this talk, I will describe how our group has applied human-centered design techniques --- interviews, participatory design exercises, and qualitative analysis of developer forums --- in the design of three research programming systems (Plaid, Glacier, and Obsidian). I will speak frankly about the strengths and weaknesses of these approaches and discuss speculative new techniques. Short Bio: ========== Joshua Sunshine is a Systems Scientist in the Institute for Software Research at Carnegie Mellon University. He has broad research interests at the intersection of programming languages and software engineering. He is particularly interested in better understanding of the factors that influence the usability of reusable software components. He completed his Ph.D. in Software Engineering from Carnegie Mellon in December 2013. His dissertation focused on the usability of software libraries with ordering constraints (API protocols). He was advised by Jonathan Aldrich. He graduated from Brandeis University in 2004 and worked for almost four years as a software engineer before starting graduate school. ============================ Refreshments will be served from 14:15 Lecture starts at 14:30

  • COLLOQUIUM LECTURE - Consolidating and Exploring Open Textual Knowledge

    דובר:
    Ido Dagan
    תאריך:
    יום שלישי, 15.1.2019, 14:30
    מקום:
    חדר 337 טאוב.
    השתייכות:
    Department of Computer Science, Bar Ilan University
    מארח:
    Roy Schwartz

    Abstract: T B A

    Short Bio:
    Ido Dagan holds B.Sc. (Summa Cum Laude) and Ph.D. degrees in Computer Science from the Technion, Israel. He conducted his Ph.D. research in collaboration with the IBM Haifa Scientific Center, where he was a research fellow in 1991. During 1992-1994 he was a Member of Technical Staff at AT&T Bell Laboratories. During 1994-1998 he has been at the Department of Computer Science of Bar Ilan University, to which he returned in 2003. During 1998-2003 he was co-founder and CTO of a text categorization startup company, FocusEngine, and VP of Technology at LingoMotors, a Cambridge Massachusetts company which acquired FocusEngine.