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

к.ф.-м.н., постдок.    /    Голландия, Amsterdam

Видеорезюме

показать всех Коллеги:

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

Контактная информация  

Dr. Vadim V. Zaytsev // SWAT, CWI // Science Park 123 // 1098 XG, Amsterdam // The Netherlands
+31 20 592-4007
spiderness
zaytsev.vadim@yahoo.com
spiderness
http://grammarware.net
Профессиональные навыки: программирование на Питоне, Хаскеле, Прологе, Яве, C#, C++, Си, Перле, Коболе, Яваскрипте, Ассемблере, да и вообще всех существующих языках; автоматические и полуавтоматические преобразования в ASF, TXL, XSLT, регулярных выражениях и много ещё чём; моделирование на UML, Ecore, SDL, Promela; сносные разговорные русский, английский, немецкий и голландский; набор и вёрстка в разных версиях ЛаТеХа; рисование в Инкскейпе, Иллюстраторе и Пейнтшопе; проектирование новых предметно-ориентированных языков программирования, моделирования, разметки, конфигурации, доступа, хранения и преобразования данных; извлечение, преобразование, сходимость, восстановление формальных грамматик; создание синтаксических анализаторов на базе существующих платформ вроде ANTLR, MetaEnvironment, TXL или без неё; конфигурирование, администрация, продвижение и курирование вики-сайтов; преподавательские, руководящие, консультационные и презентационные навыки.

Сфера научных интересов

Публикации

Recovering Grammar Relationships for the Java Language Specification

Ralf Lämmel, Vadim Zaytsev
Grammar convergence is a method that helps discovering relationships between different grammars of the same language or different language versions. The key element of the method is the operational, transformation-based representation of those relationships. Given input grammars for convergence,...
R. Lämmel, V. Zaytsev. Recovering Grammar Relationships for the Java Language Specification,...
→ grammar recovery   → language documentation   → grammar convergence  

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. In João Miguel Fernandes, Ralf Lämmel, Joost...
→ 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...
R. Lämmel, V. Zaytsev. Recovering Grammar Relationships for the Java Language Specification. In...
→ grammar extraction   → programmable grammar transformation   → grammar convergence   → language documentation  
другие публикации »

Образование

Профессиональный опыт

Научные и исследовательские проекты

Foundations for a Grammar Laboratory

Grammars for programming languages are complex: two grammar rules can generate an exponential number of source code structures. Programming languages have hundreds of grammar rules. In the context of compiler construction—one language, one grammar, one compiler—this complexity is barely manageable. In the context of IDE construction,refactoring, and reverse engineering it is multiplied by...
http://www.cwi.nl/grammarlab-foundations-grammar-laboratory

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/

Мои курсы

Премии и награды

Wikimania: Partially Sponsored Participant (2011)
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)

Участвует в группах