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