Сортировать по:
| Выпуск | Название | |
| Том 37, № 5: сентябрь-октябрь | Настройка языковой модели для безопасной генерации кода | Аннотация похожие документы |
| Данил Салаватович ШАЙХЕЛИСЛАМОВ, Мария Сергеевна ВАРЕЦА, Арсений Сергеевич СЁМКИН, Олег Юрьевич РОГОВ | ||
| "... мы объединяем механизм итеративных запросов с DPO для повышения безопасности и точности генерации кода LLM. ..." | ||
| Том 37, № 5: сентябрь-октябрь | Интерактивная генерация кода на основе LLM: эмпирическая оценка | Аннотация PDF (Rus) похожие документы |
| Данил Салаватович ШАЙХЕЛИСЛАМОВ, Михаил Дмитриевич ДРОБЫШЕВСКИЙ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... ИИ-помощники разработчика, основанные на больших языковых моделях (LLM), продемонстрировали ..." | ||
| Том 33, № 6 (2021) | Автоматическое исправление дефектов кода в системе Svace | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович СЫРОМЯТНИКОВ | ||
| "... В данной статье рассматривается задача автоматического исправления дефектов кода на языках ..." | ||
| Том 38, № 3: часть 2. май-июнь | Рефакторинг исходного кода на основе LLM и расширения UML | Аннотация PDF (Rus) похожие документы |
| Екатерина Андреевна КАРАВАЕВА, Людмила Александровна РЕЗУНИК, Леон Андреевич КУЛИГИН, Дмитрий Владимирович АЛЕКСАНДРОВ | ||
| "... модели (LLM) и расширенной UML-модели программного кода. Предложенный подход позволяет выявлять ..." | ||
| Том 38, № 2: март-апрель | Оценка корректности сгенерированного нейросетями кода: вероятностный подход | Аннотация PDF (Rus) похожие документы |
| Давид Арменович АВАГЯН | ||
| "... . Однако исследование корректности генерируемого ими кода осложняется недостаточной формализацией понятия ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Предварительный анализ промпт-инжиниринга в LLM для генерации кода | Аннотация похожие документы |
| Ярослав Олегович ЮДИНСКИХ, Владимир Владимирович ИВАНОВ | ||
| "... Большие языковые модели (LLM) существенно продвинули задачи генерации кода, сделав возможным ..." | ||
| Том 38, № 3: часть 1. май-июнь | Автодополнение кода на основе LLM для языка программирования Python | Аннотация PDF (Rus) похожие документы |
| Михаил Валериевич ВОЛКОВ, Александр Сергеевич БОЖНЮК, Дарья Владимировна ВАСИНА, Владимир Анатольевич ВАСИЛЬЕВ, Николай Владимирович ТРОПИН, Максим Борисович НИКИТИН, Дмитрий Владимирович КОЗНОВ | ||
| "... продуктивность разработчиков за счёт подсказок релевантных фрагментов кода. Большие языковые модели (LLM ..." | ||
| Том 28, № 5 (2016) | Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Р. Р. Мулюков, А. Е. Бородин | ||
| "... В статье описывается поиск недостижимого кода в исходном коде программ, написанных на языках ..." | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Аннотирование исходного кода для статического анализа | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Евгений Александрович ВЕЛЕСЕВИЧ, Борис Викторович ОРЛОВ | ||
| "... В статье описывается аннотирование исходного кода для статического анализа. Рассмотрены атрибуты ..." | ||
| Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
| "... Svace. Инструмент позволяет находить ошибки и потенциальные уязвимости в исходном коде программ ..." | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация похожие документы |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| "... на раннем этапе его разработки. Особое внимание уделяется статическому анализу кода, который является ..." | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Повышение точности статического анализа кода при помощи больших языковых моделей | Аннотация PDF (Rus) похожие документы |
| Данила Дмитриевич ПАНОВ, Никита Владимирович ШИМЧИК, Дмитрий Александрович ЧИБИСОВ, Андрей Андреевич БЕЛЕВАНЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... В данной работе описывается подход к проверке результатов статического анализа кода при помощи ..." | ||
| Том 37, № 5: сентябрь-октябрь | Генерация и отладка Java-кода с использованием больших языковых моделей на основе ассоциативной рекуррентной памяти | Аннотация похожие документы |
| Владимир Игоревич ВАСИЛЕВСКИЙ, Дмитрий Владимирович АЛЕКСАНДРОВ | ||
| "... Автоматическая генерация кода большими языковыми моделями (LLM) достигла значительных успехов ..." | ||
| Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин, А. А. Белеванцев | ||
| "... В статье описывается практический подход поиска ошибок в исходном коде программ с помощью методов ..." | ||
| Том 38, № 2: март-апрель | Уроки эволюции С-кода и шаблоны архитектуры реального времени на основе проекта ioquake3 | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... В современных компиляторах все сильнее действуют запреты на код, который может выполнять ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Подход к анализу помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Иван Cергеевич ЧЕРЕМИСЕНОВ, Алексей Евгеньевич БОРОДИН, Александр Ефимович ВОЛКОВ, Михаил Вадимович ВЕЛИКАНОВ | ||
| "... свойства анализа для практического обнаружения в исходном коде реальных программных проектов ошибок ..." | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| "... анализаторе Svace, разрабатываемом в ИСП РАН. Приводятся методы построения внутреннего представления для ..." | ||
| Том 37, № 3: май-июнь | Поиск утечек памяти и ресурсов в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Никита Евгеньевич МАЛЫШЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ, Виталий Адольфович СЕМЕНОВ | ||
| "... Svace. Формулируются требования к статическому анализатору, представляющие стоящую за Svace философию ..." | ||
| Том 37, № 4: часть 1. июль-август | Поиск мёртвых вызовов функций как дефектов исходного кода методами статического анализа | Аннотация похожие документы |
| Вера Игоревна ВАСИЛЬЕВА, Алексей Евгеньевич БОРОДИН, Александр Ефимович ВОЛКОВ | ||
| "... Обнаружение мёртвого кода традиционно используется в компиляторах как один из видов оптимизации ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... В статье рассматривается поиск ошибок помеченных данных в исходном коде программ, т.е. ошибок ..." | ||
| Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| "... для поиска недостижимого кода, связанного с исключениями; приведена общая схема для статического ..." | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Предсказание истинности предупреждений промышленного статического анализатора с использованием методов машинного обучения | Аннотация PDF (Rus) похожие документы |
| Ульяна Владимировна ТЯЖКОРОБ, Михаил Владимирович БЕЛЯЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... уязвимостей и ошибок в исходном коде. Однако зачастую статические анализаторы генерируют большое количество ..." | ||
| Том 21 (2011) | Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Алексей Бородин | ||
| "... В ИСП РАН разрабатывается инструмент статического анализа Svace для поиска ошибок в исходном коде ..." | ||
| Том 37, № 4: часть 2. июль-август | Автоматическая генерация рецензий к коду: эволюция инструкций и интеллектуальная фильтрация | Аннотация PDF (Rus) похожие документы |
| Владимир Владимирович КАЧАНОВ | ||
| "... В работе рассматривается задача автоматической генерации рецензий к исходному коду. Предложен ..." | ||
| Том 37, № 6: часть 3. ноябрь-декабрь | Сопоставление номенклатур товаров ресторанов и поставщиков с помощью LLM – Case Study для ресторанного холдинга | Аннотация PDF (Rus) похожие документы |
| Сеунгмин ДЖИН, Петр Борисович ПАНФИЛОВ, Александр Сергеевич СУЛЕЙКИН | ||
| "... модели (LLM) для автоматизации и повышения точности сопоставления продуктов. В рамках пилотного проекта ..." | ||
| Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
| "... 8 проектов с открытым исходном кодом на языках C/C++/Java общим размером более 14 млн. строк кода ..." | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| "... В статье рассматривается алгоритм статического анализа для поиска в исходном коде программы ошибок ..." | ||
| Том 37, № 4: часть 2. июль-август | Интеграция подхода к визуализации данных на основе онтологии и визуализации на основе ИИ с использованием Plotly | Аннотация похожие документы |
| Анна Даниеловна ДЖЕЙРАНЯН, Людмила Николаевна ЛЯДОВА | ||
| "... решаются с помощью генерации кода на основе подсказок в визуальной среде. Нестандартные задачи ..." | ||
| Том 36, № 6 (2024) | Десятилетие достижений в синтезе программ по спецификациям на естественном языке: систематический обзор литературы | Аннотация похожие документы |
| Роландо РАМИРЕС-РУЭДА, Эдгард БЕНИТЕС-ГУЭРРЕРО, Кармен МЕЗУРА-ГОДОЙ, Эверардо БАРСЕНАС | ||
| "... в сложности автоматического создания точного и надежного кода из высокоуровневых, неоднозначных описаний ..." | ||
| Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация похожие документы |
| И. А. Дудина | ||
| "... фрагментов кода реальных приложений, содержащих эксплуатируемую ошибку переполнения буфера. Для понимания ..." | ||
| 1 - 30 из 30 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
