Por último, mas não menos importante, o Prêmio SIGPLAN Robin Milner de Jovem Pesquisador também foi anunciado no PLDI. Este ano, o prêmio foi para Işıl Dillig (@IsilDillig), cuja pesquisa teve contribuições profundas e de longo alcance para a análise, verificação e síntese ⭐️ do programa
1,72K