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
Composição do logótipo da ULisboa e de representação do rosto humano à base de relógios

Consegue comunicar eficazmente a sua investigação de doutoramento em 3 minutos?

Fotografia de Carlos Paredes

Concerto no âmbito do programa Música na Universidade de Lisboa.

Título do curso, sobre uma fotografia do Large Hadron Collider

The objective of the course is to introduce the physics, analysis methods and results on the physics areas covered by the LHC experiments.

Seminário de Geometria e Física, por Alejandro Calleja (Univ. Complutense, Madrid).

Seminário de Tese (Doutoramento em Biologia e Ecologia das Alterações Globais), por Friederike Peiffer.

Seminário de Lógica Matemática, por Pedro Ângelo (Universidade de Lisboa - LASIGE).

A reunião, aberta a toda a comunidade estudantil, tem como objetivo esclarecer os mecanismos processuais de formalização de todas as realidades associativas existentes, a potencial criação de novas e a implementação e funcionamento futuros do FAC

Fotografia de árvores sem folhas e de bancos de jardim

Estudantes de pós-graduação em Matemática de CIÊNCIAS falam, de forma descontraída e informal, sobre o seu trabalho.

Título/data/local do evento e fotografia do orador

Talk @DI, por Alex Davidson (DI/FCUL).

Banner do Dia do DEGGE 2025.

Um evento dedicado às três áreas de estudo do Dia do Departamento de Engenharia Geográfica, Geofísica e Energia: Engenharia da Energia e Ambiente; Meteorologia, Oceanografia e Geofísica; Engenharia Geoespacial.

Título/data do programa, logótipo da ULisboa e fotografia de jovem a ouvir música de olhos fechados

Uma introdução à prática de meditação onde vais aprender a gerir as tuas emoções, pensamentos e desenvolver um relacionamento saudável contigo e com os outros - inscrições até 21 de fevereiro.

Título/data/local do evento e fotografia de vegetais

Workshop hands-on, dirigido a todos os estudantes da ULisboa.

Seminário de Geometria, por Marcos Petrúcio Cavalcante (Universidade Federal de Alagoas - UFAL).

Pormenor de pessoa sentada a ler um livro

Maiores de 50 anos - Candidaturas até 14 de fevereiro.

Logótipo do evento

An annual event aimed to promote the research done by CIÊNCIAS Researchers in the field of Biotechnology, with a special emphasis on Blue and Green biotechnological solutions for a sustainable tomorrow.

NCPInTheHouse 2025

Registration on the workshop is free but mandatory - deadline: 24 February.

Se queres saber mais informações sobre os cursos de CIÊNCIAS, não deixes de participar!

Título "Bolsas de Doutoramento Unite! ULisboa", logótipos das entidades promotoras e fotografia de jovem investigadora a utilizar um laptop na esplanada de um café

O 4.º concurso decorre até 28 de fevereiro.

Título "Bolsas Alumni Solidárias" e fotografia de grupo de alunos

As candidaturas decorrem até 28 de fevereiro.

Pormenor de membro de orquestra

Concerto no âmbito do programa Música na Universidade de Lisboa.

Composição de imagens relativas à área das ciências forenses

O curso visa disponibilizar aos profissionais com formação universitária inicial ao nível da licenciatura os conhecimentos básicos e a informação necessária ao eventual futuro ingresso e exercício de funções em áreas Médico-Legais e Forenses - candidaturas até 05 de fevereiro.

Microplásticos em suspensão no oceano

O curso tem como objetivo dar formação sobre a problemática da contaminação por detritos de plástico dos nossos ecossistemas, bem como alertar para os potenciais efeitos deletérios nos organismos - candidaturas até 05 de fevereiro

Cientista a trabalhar com tubos de ensaio

O curso forma profissionais para atividade na área das Análises Clínicas ou Patologia Clínica - candidaturas a decorrer.

Logótipo do evento

A iniciativa tem como principal objetivo promover uma discussão construtiva sobre a estratégia da ULisboa no âmbito da sustentabilidade e destacar boas práticas das Escolas apresentadas pelas Associações de Estudantes.

Título do curso

Ao longo de 10 horas serão abordados temas tais como contornar as principais dificuldades na comunicação da Biodiversidade, como usar histórias, ou a importância dos conceitos científicos na hora de os comunicar.

Páginas