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
Logótipo do LIP Summer Internship Program e fotografia de jovem investigador

Os estágios podem ter uma duração entre duas semanas e dois meses e realizam-se nos três polos do LIP - candidaturas até 15 de maio.

Os oradores plenários irão falar sobre a importância da interdisciplinaridade de forma acessível para todos, estando previstas palestras e apresentação de pósteres por alunos.

Logótipo do EVM 2024

Candidaturas até 15 de maio.

Um evento dirigido aos alunos do ensino secundário, consistindo numa palestra sobre a microscopia e em visitas aos laboratórios de microscopia/demonstrações experimentais simples.

Árvore florida

A minha Jornada pela Matemática: Descobertas, Escolhas e Desafios, por Ana Catarina Monteiro - estudante do Mestrado em Matemática (Licenciatura: Matemática).

Título do prémio

As candidaturas decorrem até ao dia 31 de maio.

Pormenor de linguagem corporal (braços e mãos) de pessoa a dialogar

Ação de formação para docentes e investigadores de Ciências.

Feixes luminosos

Envio de propostas até 20 de junho.

Vai realizar-se em Lisboa, nos dias 28 e 29 de junho de 2024, o 37.º Encontro do Seminário Nacional de História da Matemática.

Logótipo do Verão na ULisboa, sobre um fundo amarelo

Uma oportunidade única de conheceres e experimentares o ritmo e o espírito da vida académica!

The topics of the conference include (but are not limited to) classical and quantum integrable systems, complex geometry of moduli spaces, automorphic forms and their applications to number theory.

Título/data do evento, logótipos das entidades organizadoras e fotografia de Lisboa (Castelo de S. Jorge e respetiva colina)

Inscrição (taxa reduzida) até 20 de abril.

Título/data/local do evento, logótipos das entidades organizadoras e várias fotografias da orla costeira e de pessoas

Escola de verão com um programa muito diversificado, com especialistas em vários tópicos, que vão falar sobre formas de olhar para o nosso planeta de uma forma integrada, juntando conhecimentos de várias disciplinas.

Are you a BSc or MSc student interested in Soft Matter, Non-linear Dynamics and Waves or Particle Physics?

Vem investigar connosco!

Logótipo do evento, sobre um fundo branco

Um evento de reunião da comunidade nacional nas diversas vertentes da informática, com a ambição de ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos.

Páginas