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 "Gostarias de realizar uma mobilidade Erasmus+?" e fotografia de estudante

Candidaturas de 01 a 31 de dezembro - as sessões informativas têm início a 19 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.

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.

Estudante, sobre fundo de paisagem urbana

A Fundação “la Caixa” promove uma sessão de apresentação do seu Programa de Bolsas, destinado a quem pretende realizar uma pós-graduação ou um doutoramento no estrangeiro.

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.

Seminário do Departamento de Física de CIÊNCIAS ULisboa, por Ricardo Ferreira da Silva (FCUL, NUC-RIA, LIP).

Nesta sessão, apresentada por Lídia André (PhD), serão discutidos novos modelos de dependência capazes de representar simultaneamente as regiões centrais e extremas de distribuições multivariadas, com especial ênfase em métodos de inferência modernos baseados em redes neuronais.

Seminário em Biologia Humana e Ambiente, por Miguel Soares (Gulbenkian Institute for Molecular Medicine - GIMM).

Estás indeciso sobre fazer Erasmus? Tens vontade, mas também receios? Este workshop ajuda-te a pensar com clareza.

Natal 2025

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

Vida marinha

O Projeto ULISSES está de volta para a 6.ª edição! As candidaturas decorrem até 15 de dezembro.

Bolsas de Doutoramento Unite! ULisboa

O concurso decorre até 20 de dezembro.

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

Curso com candidaturas até 12 dezembro.

Representação de pessoa a interagir com tecnologia

O curso introduz o conceito de Digital Twins e a sua aplicação estratégica no contexto do serviço público, com foco na modernização digital, otimização de processos e apoio à decisão - candidaturas até 11 de janeiro.

Bola de cristal colocada no solo

O curso tem como objetivo apresentar aos participantes um estado da arte atualizado sobre a diversidade da biota do solo e os papéis funcionais desempenhados pelos organismos do solo nos principais processos ecológicos - candidaturas até 19 de dezembro.

Imagem exemplificativa da área da deteção remota

Este curso avançado tem como objetivo fornecer acesso e ferramentas para a aquisição e processamento de dados de deteção remota para diferentes aplicações, usando imagens multiespectrais de satélite, drone, terrestres e LiDAR, com foco na caracterização da vegetação e da paisagem, bem como das suas mudanças ao longo do tempo - candidaturas até 19 de dezembro.

Duas pessoas a interagirem num contexto de realidade virtual

O curso explora o potencial da Realidade Virtual (VR) e Aumentada (AR) como ferramentas inovadoras nos processos de onboarding e desenvolvimento de competências - candidaturas até 25 de janeiro.

Ginásio "inundado" de tecnologia

Um programa único na Europa, com o objetivo de capacitar para a integração crítica, segura e eficaz de ferramentas digitais na intervenção clínica - candidaturas até 30 de janeiro.

Imagem abstrata

Neste curso, será promovida uma abordagem multidisciplinar, apresentando as descobertas mais recentes sobre o tema e desafiando a forma tradicional de considerar as associações simbióticas como exceções e não como a regra - candidaturas até 09 de janeiro.

A conferência visa reunir os principais especialistas no domínio da Imagiologia Médica por Micro-ondas (MMWI) e incluirá palestras, apresentações e pósteres de resumos revistos por pares e artigos de conferências, bem como workshops em áreas satélite de investigação com interesse para a investigação em MMWI.

Pessoas a analisarem dados

Candidaturas até 13 de fevereiro.

Um curso prático, limitado a um pequeno número de participantes, destinado a quem procura formação básica em teoria e estatística macroecológica e deseja familiarizar-se com algumas das potenciais utilizações de vários métodos avançado - candidaturas até 13 de fevereiro.