И последнее, но не менее важное: на PLDI также была объявлена премия SIGPLAN Robin Milner Young Researcher Award. В этом году награда была присуждена Ишилу Диллигу (@IsilDillig), чьи исследования внесли глубокий и далеко идущий вклад в анализ, верификацию и синтез ⭐️ программ
1,73K