Cuối cùng nhưng không kém phần quan trọng, Giải thưởng Nhà nghiên cứu trẻ SIGPLAN Robin Milner cũng đã được công bố tại PLDI. Năm nay, giải thưởng thuộc về Işıl Dillig (@IsilDillig), người có nghiên cứu đã có những đóng góp sâu sắc và sâu rộng vào việc phân tích, xác minh và tổng hợp ⭐️ chương trình
1,71K