RSS Meetup

Neural Code Completion

Transmissão através de Videoconferência
Logótipo do LASIGE

Por Miltos Allamanis (Microsoft Research).

Code completion is a widely used feature in developer environments and in the last decade, machine learning models have been tested with great results. These models learn to predict the next token that the developer will type but often have prohibitive performance characteristics for practical deployment. In the first part of the talk, I will present a simple and efficient, yet accurate, method for code completion that combines a neural network with static analysis. By carefully designing a neural network, we create a deep learning model that generates completions within 20ms and uses just 50 MB of memory. Beyond standard code completion, recent research has shown promising results for whole-line completion. However, the partial code context (what the developer has typed so far) is often too ambiguous which renders the prediction of entire lines impossible. In the last part of the talk, I will present some recent efforts on completing code sketches, i.e. partial lines of code with holes.

Short bio: I am a principal researcher in Microsoft Research, Cambridge UK working at the intersection of machine learning, programming languages, and software engineering. My research aims to combine the rich structural aspects of programming languages with machine learning to create better tools for developers, while using problems in this area to motivate machine learning research. I obtained my PhD from the University of Edinburgh, UK. More information about me and my publications can be found at https://miltos.allamanis.com.

Transmissão em direto via Zoom.

Cartaz do evento

14h00
LASIGE
Título "Luís de Camões: 500 anos do nascimento"

A exposição, patente ao público de 30 de outubro a 15 de janeiro, reúne algumas das obras mais notáveis da camoniana de D. Manuel II, bem como outras peças emblemáticas do património histórico e cultural da Fundação Casa de Bragança.

Globo terrestre, sobre um fundo amarelo

Decorrem até 31 de outubro as candidaturas para as Bolsas de Mérito da Fundação Gulbenkian, para estudantes que se candidatam ao primeiro ano.

A iniciativa visa promover uma reflexão sobre ações possíveis e desejáveis com vista à redução do risco sísmico em Portugal e do seu impacto na vida dos Portugueses.

Grupo de pessoas

As inscrições para a primeira Ação de Formação "Construindo Comunidades de Investigação" decorrem até 21 de setembro.

Astronauta, banhado pela luz solar, no meio de uma floresta

Um evento único, que reunirá estudantes de mestrado e doutoramento com investigadores e líderes da indústria de toda a Europa para uma experiência inesquecível.

Seminário de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).

Ao longo do evento, será explorada de que forma a ciência, a inovação e a colaboração podem contribuir para enfrentar os desafios atuais e futuros dos sistemas de pastagens.

Orquestra Wiener Concert-Verein

Neste concerto, que integra o programa Música na Universidade de Lisboa, a conceituada orquestra austríaca Wiener Concert-Verein atua pela primeira vez em Portugal.

Lupa e caneta sobre página com texto e gráfico

O curso visa dar formação inicial a estudantes de pós-graduação sobre o processo de escrita, submissão e publicação de trabalhos científicos, focando principalmente a publicação de artigos científicos em revistas internacionais com revisão por pares - candidaturas até 10 de outubro.

Os workshops destinam-se a todos os docentes e demais pessoas interessadas no desenvolvimento pedagógico na aliança Unite!

Logótipo C-Academy

O curso introduz os fundamentos da segurança em redes de computadores, abordando as principais vulnerabilidades, princípios e metodologias de proteção - candidaturas até 28 de outubro.

Representação de parte do esqueleto humano

Submissão de trabalhos de Mestrado e de Doutoramento realizados na ULisboa, ligados à temática da saúde, até 12 de novembro.

Composição de três imagens relativas à área da deteção remota

Este curso visa dar formação na área de Deteção Remota, abrangendo desde a Observação da Terra pelos satélites até à utilização de Drones - candidaturas até 02 de novembro.

Iconografia relacionada com a temática do curso

O curso fornece uma exploração aprofundada de isótopos estáveis como uma ferramenta valiosa em Ecologia, usando assinaturas isotópicas para rastrear processos ecológicos e revelando insights sobre o ciclo de nutrientes e água, interações de espécies e condições ambientais em diversos ecossistemas e comunidades - candidaturas até 17 de outubro.

Fábrica

O evento pretende reunir investigadores que trabalhem sobre temas ligados à indústria e sobre património técnico e industrial, para uma reflexão prospetiva sobre o património industrial e atuais vias de colaboração no seu estudo, salvaguarda e preservação.

Fotografia do mar e parque eólico

O curso propõe uma imersão nos princípios, desafios e oportunidades da Economia Azul, explorando o papel crucial dos oceanos nas transições ecológica e climática - candidaturas até 13 de novembro.

Título "Turin Staff Week 2025", sobre fotografia da cidade de Turim

Uma oportunidade única para desenvolver competências, criar redes internacionais e conhecer de perto uma das instituições parceiras da aliança Unite! - inscrições até 21 de setembro.

Quatro investigadores num laboratório

O curso visa capacitar investigadores, docentes e técnicos para integrar os princípios da economia circular em ambientes laboratoriais académicos - candidaturas até 22 de novembro.

Workshop no âmbito do Programa de Saúde e Bem-Estar da ULisboa.

Três investigadores num laboratório

O curso visa capacitar profissionais para aplicar os princípios da economia circular em ambientes laboratoriais industriais, promovendo práticas sustentáveis e eficientes - candidaturas até 22 de novembro.

Logótipo C-Academy

O curso fornece uma compreensão abrangente dos princípios e práticas fundamentais da cibersegurança e da privacidade, com aplicação tanto em contextos genéricos como em sistemas críticos - candidaturas até 07 de novembro.

Logótipo C-Academy

O curso proporciona uma visão aprofundada das tecnologias que suportam o desenvolvimento e integração de aplicações web - candidaturas até 10 de novembro.

Cesto com legumes

O curso tem como principal objetivo capacitar para a implementação e gestão sustentável de espaços de cultivo nas cidades, promovendo a segurança alimentar e a autonomia na produção de alimentos - candidaturas até 02 de novembro.

Natal 2025

Uma oportunidade única de estudantes e professores do ensino secundário dialogarem diretamente com especialistas de várias áreas científicas.

Computador portátil a projetar imagem de sequência biológica

O curso visa a aquisição de conhecimentos sobre as ferramentas bioinformáticas disponíveis para efetuar análises de sequências de DNA e proteínas, bem como a autonomia e espírito crítico na utilização dessas ferramentas. Procura igualmente desenvolver competências na utilização de software de bioinformática disponível gratuitamente na Internet e na interpretação do significado biológico dos resultados - candidaturas até 12 dezembro.

Páginas