דלג לתוכן (מקש קיצור 's')
אירועים

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

כדי להצטרף לרשימת תפוצה של קולוקוויום מדעי המחשב, אנא בקר בדף מנויים של הרשימה.
Computer Science events calendar in HTTP ICS format for of Google calendars, and for Outlook.

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

• On the Recursive Structure of Multigrid Cycles
אור אבנת, הרצאה סמינריונית למגיסטר
יום שני, 2.8.2021, 14:00
Zoom Lecture: 92882193520
A new fixed (non-adaptive) recursive scheme for multigrid algorithms is introduced. Governed by a positive parameter $\kappa$ called the cycle counter, this scheme generates a family of multigrid cycles dubbed $\kappa$-cycles. The well-known $V$-cycle, $F$-cycle, and $W$-cycle are shown to be particular members of this rich $\kappa$-cycle family, which satisfies the property that the total number of recursive calls in a single cycle is a polynomial of degree $\kappa$ in the number of levels of the cycle. This broadening of the scope of fixed multigrid cycles is shown to be potentially significant for the solution of some large problems on platforms, such as GPU processors, where the overhead induced by recursive calls may be relatively significant. In cases of problems for which the convergence of standard $V$-cycles or $F$-cycles (corresponding to $\kappa=1$ and $\kappa=2$, respectively) is particularly slow, and yet the cost of $W$-cycles is very high due to the large number of recursive calls (which is exponential in the number of levels), intermediate values of $\kappa$ may prove to yield significantly faster run-times. This is demonstrated in examples where $\kappa$-cycles are used for the solution of rotated anisotropic diffusion problems, both as a stand-alone solver and as a preconditioner. Moreover, a simple model is presented for predicting the approximate run-time of the $\kappa$-cycle, which is useful in pre-selecting an appropriate cycle counter for a given problem on a given platform. Implementing the $\kappa$-cycle requires making just a small change in the classical multigrid cycle.
• Concurrent Data Structures for Non-Volatile Memory
מיכל פרידמן, הרצאה סמינריונית לדוקטורט
יום שלישי, 3.8.2021, 14:00
חדר 601 טאוב.
מנחה:  Prof. Erez Petrank
With the recent launch of the Intel Optane memory platform, non-volatile main memory in the form of fast, dense, byte-addressable non-volatile memory has now become available. Nevertheless, designing crash-resilient algorithms and data structures is complex and error-prone, especially when caches and machine registers are still volatile and the data residing in memory after a crash might not reflect a consistent view of the program state. This talk will present different approaches and transformations that adds durability to lock-free data structures, with a low performance overhead, which utilize and deal with all the complexities of the non-volatile main memory.
• Learning to Log with Control Flow Graph
אלעד נחמיאס, הרצאה סמינריונית למגיסטר
יום ראשון, 8.8.2021, 11:00
Zoom Lecture: 96043005205
מנחה:  Prof. E. Yahav
Despite significant progress in software testing and verification, some undesired behaviors inevitably make their way to production. It is therefore common practice to interleave logging operations into modern software. Logging operations store information about the program's execution to help debugging and diagnosing problems. Usually, the programmer decides what parts of the program's state to log. This work aims to automatically complete logging operations in a given program based on learning from logging operations in other programs. Technically, we address the problem of predicting which variables to log at a given logging insertion point within the input program. This task arises challenges like following complicated semantic relations, which are long-range scattered over lengthy procedures. Our solution is based on recently studied deep-learning techniques from the scope of similar programming-related tasks. We suggest a novel modeling approach that involves both semantic characteristics, modeled by paths in the control-flow graph (CFG), and syntactic characteristics modeled by paths in the abstract syntax tree (AST). Our work is the first to leverage the effective paths-based modeling approach for both semantic and syntactic relations. We compare our approach to a wide variety of other known representations. Our experiments show that our model is more scalable and effective than the other methods.
• Efficient Distributed Construction of Small k-Dominating Sets
עידו רפאל, הרצאה סמינריונית למגיסטר
יום שלישי, 10.8.2021, 10:30
Zoom Lecture: 3151462578
מנחה:  Prof. Y. Emek & Prof. S. Kutten
We improve the message efficiency of the time-efficient construction of a "small" (i.e. universaly optimal) k-dominating set (k-DS) under the Distributed CONGEST model. This task was suggested by Kutten and Peleg as a useful primitive in constructing other time-efficient algorithms such as a minimum spanning tree. It is also useful for constructing other local (i.e. sub-diameter time) algorithms such as partitioning the network into clusters (each a rooted tree) of diameter k. We first address the problem in the KT1 model (where a node knows the unique identity of each neighbor) that has been receiving increased attention in recent years. The new algorithm achieves time \tilde{O}(k^2) and message \tilde{O}(nk) complexities. It is thus the first small k-DS algorithm with o(m) messages (for k=o(m/n)) in the KT1 model. We also address the KT0 model used by Kutten and Peleg (where a node does not know the identities of its neighbors). For KT0, we present the first asynchronous sub-diameter time algorithm. Its message complexity is \tilde{O}(m+nk), compared to the O(m k log*n) complexity of the trivial asynchronous algorithm (that uses an alpha-synchronizer).
• Langevin Dynamics in Image Restoration
בהגת קעואר, הרצאה סמינריונית למגיסטר
יום שלישי, 24.8.2021, 10:30
Zoom Lecture: 92909089448