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

магистр, научный сотрудник    /    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
The process of grammar convergence (involving grammar extraction and transformation for structural equivalence) contains a range of technical challenges. These need to be addressed in order for the method to deliver useful results. The paper describes a DSL and the infrastructure behind it that...
V. Zaytsev. Language Convergence Infrastructure. Draft submitted to Post-proceedings of the 3rd...
→ grammar convergence   → grammar re-engineering   → language documentation   → programmable grammar transformation  

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

Professional Experience

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

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

Member Of