Saya mendapat masa jabatan di UCSB! 🎉 12 tahun yang lalu, saya hampir tidak tahu apa-apa tentang PL. Terima kasih kepada penasihat superstar saya, Isil, karena telah mengajari saya cara melakukan penelitian nyata (dan duduk melalui pertemuan pra-PLDI selama 10 jam dari matahari terbit hingga terbenam). Kami adalah mitra terbaik di hampir semua hal. Saya juga sangat beruntung dibimbing oleh orang-orang PL terbaik di planet ini, Alex Aiken, Ras Bodik, dan Emina Torlak, yang membentuk selera penelitian saya. Bagi murid-murid saya yang luar biasa—Yanju, Junrui, Hongbo, @trackoor, Bryan, Nicholas, dan banyak lainnya—Anda adalah bagian terbaik dari pekerjaan ini. Kepada kolaborator saya—Osbert Bastani, Ruben Martins, Yuan Tian, Chenglong Wang, Yuepeng Wang, Xinyu Wang, @lukejdpearson (juga investor saya, lol)—terima kasih telah membuat penelitian menjadi kegembiraan sejati. Kepada rekan-rekan UCSB saya dan penulis surat anonim—terima kasih atas kata-kata yang luar biasa dan percaya pada saya. Dan kepada istri saya—terima kasih telah berdiri di samping saya selama tahun-tahun sulit dan setiap keputusan gila di sepanjang jalan. Saya tidak bisa melakukan ini tanpa Anda semua. Berikut ke bab berikutnya. 🚀