Pesquisa
Laboratório de Linguagens e Ferramentas
de Programação
Desde a sua fundação em 2012, por Dmitri Boulytchev, o laboratório vem fazendo pesquisas na área da teoria de linguagens de programação, concentrando-se principalmente nos seguintes tópicos:
- Programação relacional e lógica
- Modelos fracos de memória e simultaneidade
- Metaprogramação, metacálculos e avaliação parcial
- Semântica e tipos de linguagens de programação
- Programação certificada e provas mecanizadas
- Programação funcional
- Teoria de linguagens formais
O outro foco importante do laboratório é na educação. O laboratório é aberto a alunos tanto de graduação quanto de pós-graduação, envolve-os em projetos de pesquisa e dá a eles a oportunidade de entrarem em programas relacionados de doutorado. Os membros do laboratório também vêm criando cursos e dando palestras e assistência de ensino sobre os seguintes temas:
- Engenharia de compiladores
- Metacomputações
- Linguagens formais
- Semântica de linguagens de programação
- Introdução à engenharia de prova mecanizada em Coq
Além disso, o laboratório realiza as seguintes atividades:
- Um seminário semanal sobre a teoria e a prática de linguagens de programação.
- Cursos abertos e gratuitos sobre tópicos relevantes aos interesses de pesquisa do laboratório.
- Estágios de verão na JetBrains, que oferecem uma oportunidade para os alunos trabalharem na empresa por um período de 1 a 3 meses.
- Uma miniconferência anual. Neste evento, os alunos do laboratório apresentam os resultados dos seus trabalhos de fim de período letivo, teses de graduação e mestrado, e estágios de verão.
- Um seminário sobre a leitura e redação de artigos, no qual os participantes desenvolvem habilidades específicas necessárias para ler, analisar e escrever artigos de pesquisa.
Novos membros são sempre bem-vindos no laboratório. A melhor maneira de se juntar ao grupo é participar do nosso seminário semanal ou dos nossos cursos abertos e depois escolher um dos tópicos de pesquisa disponíveis para se dedicar.
Projetos
Ativo
Patching OCaml and ML-like languages
Este projeto visa trazer novos recursos a linguagens semelhantes a ML e produzir correções a recursos "ad hoc" ou mal projetados da linguagem, tais como variantes polimórficas, padrões ativos e módulos.
Metacomputations
O objetivo deste projeto é pesquisar e aplicar de forma prática técnicas de metacomputação, tais como avaliação parcial, supercompilação e destilação.
Inativo
Semi-local Algorithms
O objetivo deste projeto é desenvolver e aplicar de forma prática algoritmos semilocais de maior subsequência comum e de anelamento simulado.
Seminários
Os seminários do laboratório ocorrem todas as semanas e estão abertos a qualquer pessoa. Nos seminários, discutimos os resultados de pesquisas tanto clássicas quanto recentes sobre linguagens de programação e ferramentas de linguagem.
Participe do grupo de meetups para manter-se informado sobre as próximas sessões.
Recomendamos os nossos seminários a curadores, estudantes de pós-graduação e todos os estudantes de laboratórios.
Publicações
Cursos sazonais
A ideia por trás dos programas de ensino de verão e de inverno é reunir estudantes motivados, pós-graduados e desenvolvedores de software com pesquisadores proeminentes de renome mundial. Cada curso estuda um tópico específico, o que permite uma imersão dos participantes em estudos intensivos e também que eles concluam um curso extensivo, que poderia facilmente durar um semestre, em apenas cinco dias. Os tópicos são selecionados para serem totalmente de ponta nas áreas de linguagens de programação, compiladores e desenvolvimento de ferramentas de linguagens.