Tôi đã được bổ nhiệm tại UCSB! 🎉 12 năm trước, tôi gần như không biết gì về PL. Cảm ơn người hướng dẫn tuyệt vời của tôi, Isil, đã dạy tôi cách thực hiện nghiên cứu thực sự (và đã ngồi qua những cuộc họp tiền PLDI kéo dài 10 giờ từ bình minh đến hoàng hôn). Chúng tôi là những đối tác tốt nhất trong hầu hết mọi thứ. Tôi cũng rất may mắn khi được hướng dẫn bởi những người giỏi nhất về PL trên hành tinh này, Alex Aiken, Ras Bodik và Emina Torlak, những người đã định hình khẩu vị nghiên cứu của tôi. Đến những sinh viên tuyệt vời của tôi—Yanju, Junrui, Hongbo, @trackoor, Bryan, Nicholas và nhiều người khác—các bạn là phần tốt nhất của công việc này. Đến những cộng tác viên của tôi—Osbert Bastani, Ruben Martins, Yuan Tian, Chenglong Wang, Yuepeng Wang, Xinyu Wang, @lukejdpearson (cũng là nhà đầu tư của tôi, lol)—cảm ơn các bạn đã làm cho nghiên cứu trở thành một niềm vui thực sự. Đến các đồng nghiệp tại UCSB và những người viết thư ẩn danh—cảm ơn các bạn vì những lời tuyệt vời và đã tin tưởng vào tôi. Và đến vợ tôi—cảm ơn bạn đã đứng bên tôi trong những năm khó khăn và mọi quyết định điên rồ dọc đường. Tôi không thể làm được điều này nếu không có tất cả các bạn. Hãy cùng chào đón chương tiếp theo. 🚀