"Ivannikov Memorial Workshop"
The Ivannikov Memorial Workshop is devoted advances in basic IT technologies that serve as basis for modern IT Industry:
The Workshop is dedicated to the memory of outstanding Soviet and Russian scientist and developer, Academician Victor Ivannikov, Honorary Professor of Russian-Armenian University.
We solicit original and unpublished articles of current research, results or work in progress. We invite both researchers and practitioners to submit early research work or general discussions. All accepted papers will be published in the Proceedings of Ivannikov Memorial Workshop, that is to be indexed in Web of Science and Scopus. To present your research at Ivannikov Memorial Workshop please submit a paper, that was neither published nor submitted for other conferences.
Contributions are accepted in English.
Link to submit your contribution: https://easychair.org/
To participate in the events of Ivannikov ISPRAS Conference please register.
Fees: free of charge.
The track covers methods of optimization in compiler and code generation, static and dynamic program analysis, etc. The list of topics include but is not limited to:
The track is devoted to methods and systems for storing and analyzing large volumes of text, graph, multimedia, scientific and other types of data. The list of topics includes, but is not limited to the following:
The track is intended for practical experience exchange between researchers, who use open applied packages for hight performance computing in numerical simulation of continuum mechanics. The list of topics includes, but is not limited to the following:
The track covers methods, architectures and components of modern operating systems for reliable and efficient computing and control systems. The topics include, but not limited to:
In 2018 we celebrate 70 years of Computer Science in USSR. On December 4, 1948, Isaak Brook together with engineer Bashir Rameev, submitted an application for the invention of a computer to the State Committee of the Council of Ministers of the USSR on the Introduction of Advanced Technology into the National Economy. The Certificate #10475, issued by the State Committee, is the first officially registered document indicating that a computer era has begun in Russia.
The track includes talks recollecting the achievements of System Programming in USSR and former Soviet Union countries, and defining the shape of challenges and new objectives of System Programming in the the near future.
While at Institute of Precise Mechanics and Computer Engineering (IPMaCE) he become a leading member of the team responsible for creating the D-68 operating system for the BESM-6 computer. Working on advaced hardware systems, Ivannikov gained extensive experience of systems programming that enabled him to make notable contributions to the development of operating systems, including the creation of new ways to organize parallel processing and programming complexes.
Ivannikov also conducted numerous research projects and was responsible for important innovations in object-oriented programming, creating new cluster technology that was implemented during the creation of the AS-6 operating system and has been used in various computational complexes and super-computers.
In 1994 he established the Academic Institute of System Programming, and served as its director since.
Don't miss a topic on the Workshop
National Academy of Sciences of the Republic of Armenia, Armenia
Dept. of Mathematics and Computer Science, Techn. Univ. of Denmark, Denmark
Professor Dines Bjørner (born 4 October 1937 in Odense) is a Danish computer scientist.He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM Laboratory Vienna (and elsewhere). Later he was involved with producing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method with tool support.
Bjørner was a professor at the Technical University of Denmark (DTU) from 1965–1969 and 1976–2007, before he retired in March 2007. He was responsible for establishing the United Nations University International Institute for Software Technology (UNU-IIST), Macau, in 1992 and was its first director. His magnum opus on software engineering (three volumes) appeared in 2005/6.
To support VDM, Bjørner co-founded VDM-Europe, which subsequently became Formal Methods Europe, an organization that supports conferences and related activities. In 2003, he instigated the associated ForTIA Formal Techniques Industry Association.
Bjørner became a knight of the Order of the Dannebrog in 1985. He received a Dr.h.c. from the Masaryk University, Brno, Czech Republic in 2004. He is a Fellow of the IEEE (2004) and ACM (2005). He has also been a member of the Academia Europaea since 1989.
In 2007, a Symposium was held in Macau in honour of Dines Bjørner and Zhou Chaochen.
Software resides in domains. To obtain software that "fits" the domain we must analyse & describe the domain. The domain, for us computer scientists, as is informal - as it is for the physicists when they study "mother nature". When entities of the domain are both considered endurants, existing in space, are also considered perdurants, existing in time, then a transcendental deduction is taking place. We analyse and discuss the philosophical issues of epistemology, ontology and transcendental deduction.
Honorary Professor of University of Geneva
Prof. Dionysios (Dennis) Tsichritzis obtained his Diploma in Electrical and Mechanical Engineering from the Technical University of Athens, Greece, in 1965. He then studied at Princeton University, USA, completing his M.A. in 1967 and PhD in 1968. He was a Professor of Computer Science at the University of Toronto, Canada, from 1968 to 1985. During this period he was also elected and served as a Professor of Informatics at the National Technical University of Athens and he was a Professor of Computer Science and founded the Department of Computer Science at the University of Crete, Greece, and founded the Institute of Computer Science at FORTH in Crete. He was then Professor of Business Informatics at the University of Geneva, Switzerland, and Director of the Centre Universitaire d’Informatique (1985-2002). He was also during that period President of the National Center of Mathematics and Data Processing, Gesellschaft fuer Mathematik und Dateverarbeitung, in Bonn/Berlin/Darmstadt in Germany (1991-2001). From 2001 to 2006 he moved after the merger of GMD to Fraunhofer Gesellschaft and was a member of the Governing Board (Vorstand), responsible as CIO, International and new ventures, and President of Fraunhofer USA. After his term at Fraunhofer was completed he joined Ricoh, Japan, as a General Manager, European Strategic Research Organization (2008-2011). He was then President of the University Council at the Technical University of Crete (2013-2017). He is currently President of the Scientific Council of the newly founded Hellenic Foundation for Research and Innovation in Athens, Greece.
Science Department at the Technion, Israel Institute of Technology, Israel
Professor Assaf Schuster has been a faculty member of the Technion Computer Science Department since 1991. He has been interested in various aspects of parallel and distributed computing, publishing more than 170 papers. His algorithms on data-race detection were implemented in Intel’s Thread Checker, and his patents on distributed shared memory were sold by the Technion. His papers triggered a rewrite of the Java Memory Model. He has built scalable production systems to handle petabytes of storage with off-the-shelf hardware. In recent years, his research group has focused on big data and scalable, real-time knowledge discovery in distributed data streams. From 2010, Prof. Schuster has also been working to establish TCE – the Technion Center for Computer Engineering, which he heads. TCE has grown to become a center of activity for about 60 faculty from the Technion and other universities in Israel and abroad, dozens of industry leaders, and hundreds of graduate students.
Following some real-world trends, the computer sciences are also following with a slow process of focus changes. Instead of the one-time offline algorithms operating on stationary data, we now see a surge of interest in online processing of streaming data. Unfortunately, the algorithms and technologies for online stream processing are lagging behind and the gap can be estimated in years of research. In this talk I will focus on Complex Event Processing (CEP), an algorithmic field whose goal is to find interesting patterns in rapid streams of events (or data). CEP is an already an industry of billions of $$s and is growing very fast. I will show that state-of-the-art algorithmic methods for CEP are fairly primitive as compared with other algorithmic fields in computer science. I will then provide an overview of recent methods we developed in an effort to bridge the gap.
Lomonosov Moscow State University, Russia
Vladimir Voevodin (born May 25, 1962, Moscow) is a computer scientist, professor at Lomonosov Moscow State University, the Faculty of Computational Mathematics and Cybernetics (MSU CMC) , Deputy Director of MSU Research Computing Center, corresponding member of the Russian Academy of Sciences, Professor, Doctor of Science.
Parallel computing, mathematical methods for research of program fine structures, methods for description and analysis of computer architecture, parallel programming technology, program optimization methods for supercomputers and parallel computing systems, the Internet-based technology and organization of distributed computing, metacomputing.
Awards and honours
Vladimir Voevodin won MSU Shuvalov Prize for his series of papers "Analytical and practical methods for investigation of fine structure of applications" in 2000. He was awarded the Russian Federation Government Prize in education in 2002 and Lomonosov Prize for teaching activity in 2015. He is also Honoured Worker of Higher Education of the Russian Federation and a winner of Russian Federation President contest of grants for young Doctors of Science.
CICESE Research Center, Ensenada, Baja California, México
KIAM RAS, Russia
Yakobovsky Mikhail Vladimirovich - the deputy director for scientific work of Keldysh Institute of Applied Mathematics RAS, the corresponding member of RAS, the doctor of physical and mathematical sciences, professor.
The report is devoted to discussion of the algorithms aimed at a possibility of use of perspective computing systems of exaFLOPS and higher performance level for mathematical modeling of problems of mechanics of the continuous environment. ExaFLOPS computing systems, in view of it is expected the short period of their no-failure operation, will demand qualitatively new decisions for providing the possibility of carrying out long calculations. The algorithms providing independence of time of carrying out calculation of emergence during calculations of refusals of computing knots are considered.
ISP RAS, Russia
Vitaly A. Semenov - Doctor of Physics and Mathematics, Professor. Leading Researcher of the Institute for System Programming of Russian Academy of Sciences. Head of department "System integration and multi-disciplinary collaborative environments".
ISP RAS, Russia
Alexey Khoroshilov - Associate professor of System programming of faculty of Calculus mathematics and cybernetics of MSU, leading researcher of ISP RAS.
Main scientific interests: design methods and development of responsible systems, the formal methods of program engineering, methods of verification and validation, testing on the basis of models, requirement analysis methods, the Linux operating system.
Main scientific results: an involvement in creation of technology of development of tests on the basis of the formal UniTESK models and tools supporting her, development of the unified architecture of a test set and rules of creation of extensions of programming languages for development of tests on the basis of contract specifications, development of methods of creation of tests for mathematical libraries, development of specialized technology of fast creation of tests of working capacity. Author and coauthor more than 50 scientific operations.
ISP RAS, Russia
Andrey Belevancev is the leading researcher of ISP RAS, the area manager of the analysis and optimization of programs.Graduated from faculty of calculus mathematics and cybernetics of Lomonosov Moscow State University in 2003. He studied in a postgraduate study of faculty of CMS (2003-2006). Candidate of physical and mathematical sciences (2008). Since 2001 works at Institute of system programming of RAS.
He participated and directed projects on optimization of the compilers GCC and LLVM, the static Svace analyzer, other tools of the analysis of programs for improvement of quality and overall performance. Gives lectures on CMS MSU. Area of scientific interests: static analysis of programs for search of mistakes, understanding of programs, dynamic analysis of programs, methods of optimization of programs, planning of teams, heterogeneous computing systems.
Yerevan State University, Armenia
ISP RAS, Russia
Denis Turdakov is a head of the department in ISP RAS. He manages research in the areas of natural language processing, machine learning, data mining, social networking analysis, big data. Denis is a member of the program committee and a reviewer of a number of international CS conferences and author of more than 40 scientific papers. He was awarded the RAS Medal for young scientists.
The presentation describes results of industrial projects and competences of the Information systems department of the ISP RAS. The research group specializes in a broad range of data management and information systems problems. Interests of Information systems department include the development of system software for data analysis, information extraction, database management systems, distributed data processing and cloud computing technologies. In addition, research group is developing algorithms for statistical data analysis and machine learning, as well as software for particular problems in applied fields. Presentation includes description of ISP RAS software projects for intelligent text analysis (Texterra system) and social networks analysis (TALISMAN).
Russian-Armenian University, Armenia
Tsolak is a software engineer who specializes in natural language processing instruments. He started working at the Ivannikov Institute for System Programming of the Russian Academy of Sciences in 2015 as research assistant. His previous research focused on the development of public morphological and syntactic analyzers of Russian texts. Tsolak currently heads the System Programming Laboratory at Russian-Armenian University, Yerevan.
The speech is dedicated to his team’s advances in adding support for the Armenian language to Texterra text processing toolkit.
ISP RAS, Russia
Leading researcher at The Institute for System Programming of the Russian Academy of Sciences, PhD. Head of Binary Code Reverse Engineering Team. Associate professor at Moscow State University. In 1999-2007 V.A. Padaryan participated in the creation of an IDE for parallel Java programs for distributed memory computing systems. Since 2007 he managed projects for the binary (executable) code security analysis methods and tools. He is the author of more than 60 publications. Research Interests: compiler technologies, static and dynamic binary code analysis, emulation and virtualization, computer security, high performance computing.
The talk is dedicated to hot problems of binary code security analysis and state-of-the-art ISP RAS technologies in this area. Key challenges encountered by software security analysts searching for vulnerabilities are enumerated. The authors propose ideas that can respond to these challenges through adaptation of classic compiler technologies to solving computer security problems. Based on these ideas, ISP RAS has developed a line of technologies: deterministic replay of VM, VM introspection engine, binary code analysis environment, automatic preliminary lifting of representation level, and specialized intermediate representations tuned to automatically check real-world software for exploitable bugs and interactively reconstruct algorithm schemes step by step.
Novgorod State University, Russia
Makarov Vladimir Alekseevich - Candidate of Technical Sciences, associate professor, head of department of innovations of NovSU.
Education and work:
1979 – 1984 Novgorod polytechnical institute.
1991 – 1993 Training in a postgraduate study, protection of the master's thesis at the Novgorod state university.
1994 – 2006 The assistant, the senior lecturer, the associate professor of the department Software and the automated systems of NovSU, deputy dean of Faculty of Mathematics and informatics for scientific work.
1999- 2009 The principal of the Novgorod branch of the company of Astrosoft, participated in the organization of execution more than 50 projects of software development, including with the companies Samsung, Nokia, Mirasys, Metso.
2006 - till present The Head of department of innovations of NovSU, associate professor of the department "Information technologies and systems"
2009-till present The Head of laboratory of system programming of RAS, the Direction of researches - development of tools of the analysis of a binary code on the basis of the Qemu simulator.
The head of 2 projects supported by the Russian Federal Property Fund. The author more than 50 scientific publications, participated in creation of 8 registered intellectual property items.
The report «Qemu-based tools» presents the main results of creating tools for binary code analysis.
We developed mechanisms for recording and replaying a log of nondeterministic events in the QEMU simulator and realized tools on this mechanisms based.
The main ones are:
The ceremony will be starts at 11:00.
Transfer will be organized from ibis Yerevan Center hotel at 8:30 am. Hotel's address: Republic of Armenia, Yerevan, Northern Avenue, 5/1.
Vice-President of the National Academy of Sciences of the Republic of Armenia, Member of the Presidium of the NAS RA.
Director of Institute for Informatics and Automation Problems of the National Academy of Sciences of the Republic of Armenia.
Director of National Center for Professional Education Quality Assurance Foundation, Armenia.
ACM Fellow and IEEE Fellow, Professor of the Computer Science Department at the Technion, Israel Institute of Technology.
PhD, Dr.h.c., Prof. Emeritus, DTU Compute, Dept. of Mathematics and Computer Science, Techn.Univ.of Denmark, DK-2800 Kgs.Lyngby, Denmark MAE, MRANS, ACM Fellow, IEEE Fellow.
May 3, 2018, 09:30 am. Unveiling of the Conference. Russian-Armenian University, Republic of Armenia, Yerevan, 123 Hovsep Emin street.
May 4, 2018, 11:00 am. The official opening of Khachkar, dedicated to the memory of Academician of RAS Viktor Petrovich Ivannikov, Khor Virap.