Загрузка страницы

Exploring Human and Neural Attention on Source Code: Insights and Applications

In the rapidly evolving landscape of AI-driven software engineering, understanding how neural models perceive code has become paramount. This talk delves into the fascinating commonalities and differences between human and neural attention in code-related tasks. In particular, we compare the reasoning of skilled developers with the attention mechanisms of neural models, including even recent Large Language Models (LLM), on tasks like code summarization, bug fixing and sense-making.

The results uncover correlations and divergences, shedding light on the potential and challenges of leveraging neural attention. We conclude by introducing the novel concept of follow-up attention that leverages the attention signal of LLMs to harness their knowledge for supporting developers in code exploration tasks.

Speaker – Matteo Paltenghi
Matteo Paltenghi is a doctoral researcher from University of Stuttgart with expertise at the intersection of artificial intelligence and software engineering. With a recent collaboration at GitHub Next, he harnessed Large Language Models for code exploration. His Ph.D. work, advised by Prof. Dr. sc. Michael Pradel, encompasses software engineering, AI, and quantum computing, with presentations at top conferences like ASE 21, OOPSLA 22 and ICSE 23. Prior to this, he spend 9 months at CERN for his Master Thesis on anomaly detection on data center.

Matteo holds a double degree M.Sc. Computer Science and Engineering from Politecnico di Milano and TU Berlin, proceeded by a B.Sc. from Politecnico di Milano. He recently started serving as reviewer (TOSEM, JSSoftware) and as session chair at MSR 23. Recently, he was also one of the few young researchers selected for participation in the Heidelberg Laureate Forum (HLF 23).

Meetup group – https://www.meetup.com/machine-learning-methods-in-software-engineering/

Видео Exploring Human and Neural Attention on Source Code: Insights and Applications канала JetBrains Research
Показать
Комментарии отсутствуют
Введите заголовок:

Введите адрес ссылки:

Введите адрес видео с YouTube:

Зарегистрируйтесь или войдите с
Информация о видео
24 сентября 2023 г. 0:07:34
01:44:28
Другие видео канала
Персистентная семантика файловой системы ext4 и верификация в нейПерсистентная семантика файловой системы ext4 и верификация в нейУнификация посредством поиска путей с контекстно-свободными ограничениями в графеУнификация посредством поиска путей с контекстно-свободными ограничениями в графеАвтоматно-функциональная парадигма программирования реактивных системАвтоматно-функциональная парадигма программирования реактивных системГарантии прогресса в слабых моделях памятиГарантии прогресса в слабых моделях памятиRoman Venediktov "Type inference for GADTs in Kotlin"Roman Venediktov "Type inference for GADTs in Kotlin"Effective Programming in OCamlEffective Programming in OCamlLecture 5. Large-scale electrophysiology  (Computational Neuroscience Course)Lecture 5. Large-scale electrophysiology (Computational Neuroscience Course)Weak Memory Models 101Weak Memory Models 101Designing Efficient Systems with Multi-Stage Programmig...Designing Efficient Systems with Multi-Stage Programmig...Введение в научное программирование на Kotlin (2021). Лекция 1Введение в научное программирование на Kotlin (2021). Лекция 1JetBrains Research: Looking Back at 2021 (Vladimir Ulyantsev)JetBrains Research: Looking Back at 2021 (Vladimir Ulyantsev)JetBrains Research: Looking Back at 2021 (Nikita Koval)JetBrains Research: Looking Back at 2021 (Nikita Koval)Lecture 9. Plasticity and learningLecture 9. Plasticity and learningLecture 2. Biological Perspective (Computational Neuroscience Course)Lecture 2. Biological Perspective (Computational Neuroscience Course)Оптимизация эксперимента с помощью информации ФишераОптимизация эксперимента с помощью информации ФишераFramework for closed-loop formal verification of distributed automation softwareFramework for closed-loop formal verification of distributed automation softwareИзучение мюонной компоненты широких атмосферных ливней в данных эксперимента SUGARИзучение мюонной компоненты широких атмосферных ливней в данных эксперимента SUGARFlow2Vec: Value-Flow-Based Precise Code EmbeddingFlow2Vec: Value-Flow-Based Precise Code EmbeddingSemantics of First-order Horn Clause LogicSemantics of First-order Horn Clause LogicПрезентация VisionForge FrameworkПрезентация VisionForge Framework
Яндекс.Метрика