Зайцев Вадим Валерьевич

магистр, научный сотрудник    /    Germany, Кобленц

Video CV

show all Colleagues:

Старостин Артем

Contacts  

Dipl.ing. Vadim V. Zaytsev // Universität Koblenz-Landau // FB 4 Institut für Informatik Postfach 284 // Universitätsstraße 1 // 56070 Koblenz-Metternich // Germany
+49 261 287-27-14
Fax: +49 261 287-27-21
spiderness
http://tr.im/vadim
Профессиональные навыки: программирование на Питоне, Хаскеле, Прологе, Яве, C#, C++, Си, Перле, Коболе, Яваскрипте, Ассемблере, да и вообще всех существующих языках; автоматические и полуавтоматические преобразования в ASF, TXL, XSLT, регулярных выражениях и много ещё чём; моделирование на UML, Ecore, SDL, Promela; сносные разговорные русский, английский, немецкий и голландский; набор и вёрстка в разных версиях ЛаТеХа; рисование в Инкскейпе, Иллюстраторе и Пейнтшопе; проектирование новых предметно-ориентированных языков программирования, моделирования, разметки, конфигурации, доступа, хранения и преобразования данных; извлечение, преобразование, сходимость, восстановление формальных грамматик; создание синтаксических анализаторов на базе существующих платформ вроде ANTLR, MetaEnvironment, TXL или без неё; конфигурирование, администрация, продвижение и курирование вики-сайтов; преподавательские, руководящие, консультационные и презентационные навыки.

My scientific interests

Publications

Language Convergence Infrastructure

Vadim Zaytsev
In the process of grammar convergence (involving grammar extraction and transformation for structural equivalence) there is a range of technical problems that can slow the language engineer considerably if not make the work completely infeasible altogether. The paper describes the DSL and the...
V. Zaytsev. Language Convergence Infrastructure. In Pre-proceedings of the 3rd International...
→ grammar convergence  → programmable grammar transformation  → language documentation  → grammar re-engineering 

Recovering Grammar Relationships for the Java Language Specification

Ralf Lämmel, Vadim Zaytsev
We describe a completed effort to recover the relationships between all the grammars that occur in the different versions of the Java Language Specification (JLS). The relationships are represented as grammar transformations that capture all accidental or intended differences between the JLS...
→ grammar extraction  → language documentation  → grammar convergence  → programmable grammar transformation 

An Introduction to Grammar Convergence

Ralf Lämmel, Vadim Zaytsev
Grammar convergence is a lightweight verification method for establishing and maintaining the correspondence between grammar knowledge ingrained in all kinds of software artifacts, e.g., object models, XML schemas, parser descriptions, or language documents. The central idea is to extract...
R. Lämmel, V. Zaytsev. An Introduction to Grammar Convergence. In Proceedings of 7th...
→ grammar convergence  → domain specific language  → programmable grammar transformation  → grammar extraction  → grammar re-engineering 
more publications »

Education

Research projects

Language-Parametric Program Restructuring

The project aims at a general approach to program restructuring that abstracts from language and application specifics in a well-defined manner. This means that operator suites for program restructuring can be reused for different languages (be it for Java and Cobol and Haskell), and for different restructuring tasks. It also means that the derivation of restructuring tools can be further...
http://www.cs.vu.nl/lppr/

Software Language Processing Suite

The project facilitates exposition and comparison of approaches and techniques on language processing in a way that is relevant for computer science students, teachers, scientists, and practitioners.
http://slps.sourceforge.net/

My courses

Honors & Awards

9th IEEE International Working Conference on Source Code Analysis and Manipulation: Best Paper Award (2009)
3rd Summer School on Generative and Transformational Techniques in Software Engineering: Most Active Participant (2009)
Distributed e-Business Techniques mini-conference: Best Paper Award (2003)
Distributed e-Business Techniques mini-conference: Best Presentation Award (2003)

Member Of