title: Data-based code synthesis in IntelliJ IDEA
metadata.name: dc.contributor.advisor
metadata.value: Шпильман Алексей Александрович
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Танков Владислав Дмитриевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Tankov Vladislav
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Брыксин Тимофей Александрович
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Bryksin Timofei Аleksаndrovich
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2018-07-26T15:26:26Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2018-07-26T15:26:26Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2018
metadata.name: dc.identifier.other
metadata.value: 040124
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/13610
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: В последнее время возвращается интерес к области автоматического синтеза программ. В данной выпускной квалификационной работе проводится обзор Bayesian Sketch Learning (BSL) подхода к синтезу программ, описывается концепция BSL-синтезатора и сам процесс синтеза. В рамках работы предлагается архитектура конфигурируемого BSL-синтезатора, способного поддерживать синтез кода для различных библиотек. Данная архитектура реализуется как BSL-синтезатор для JVM-платформы, а полученный синтезатор интегрируется с IntelliJ IDEA как плагин. Представляются два подхода к реализации пользовательского интерфейса плагина: аннотация методов и предметно-ориентированный язык. Работа завершается апробацией и обсуждением границ применимости в промышленности выбранного подхода.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: Automatic code synthesis has been attracting more attention lately. This graduation thesis provides an overview of Bayesian Sketch Learning (BSL) approach to synthesis of code, describes basic concepts and workflow of a BSL synthesizer. We discuss an architecture of a configurable BSL synthesizer that could work as a part of an integrated development environment. We describe the implementation of such synthesizer for JVM platform and its integration with IntelliJ IDEA as a plugin. Two approaches to implement user interaction in a plugin like this are presented: method annotations and a domain-specific language. The graduation thesis concludes with an evaluation and a discussion on limitations of selected approach for industrial programmers.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: Bayesian Sketch Learning
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: BSL
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: синтез кода
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: машинное обучение
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: IntelliJ IDEA
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: плагин
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Bayesian Sketch Learning
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: BSL
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: code synthesis
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: machine learling
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: IntelliJ IDEA
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: plugin
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Data-based code synthesis in IntelliJ IDEA
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Основанный на данных синтез кода в IntelliJ IDEA
metadata.lang: ru_RU
resources.filename: Diplom_(Osnovannyj_na_dannyx_sintez_koda_v_IntelliJ_IDEA)_-_diploma.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/13610/1/Diplom_%28Osnovannyj_na_dannyx_sintez_koda_v_IntelliJ_IDEA%29_-_diploma.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 239 kB
resources.filename: reviewSV_Recenziya_Tankov_Vladislav_Dmitrievich.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/13610/2/reviewSV_Recenziya_Tankov_Vladislav_Dmitrievich.pdf
resources.format: Adobe PDF
resources.description: ReviewRev
resources.size: 644,84 kB
resources.filename: reviewSV_st006935_Bryksin_Timofej_Aleksandrovich_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/13610/3/reviewSV_st006935_Bryksin_Timofej_Aleksandrovich_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 4,71 kB