Eric Zhao https://mustardfox.org/zzhaoe-0034/ zzhaoe-0034 /zzhaoe-0034/ news › chronological Jun. '26 Honored to be invited to the Veritas Graduate Conference! Jun. '25 I will be at OPLSS at the end of the month. May '25 I will be at HotOS XX later this month! Feb. '25 I was invited to participate in the Kakehashi Project between Feb. 4–11! Jan. '25 Our paper on Grove is published at POPL! Dec. '24 Gave a talk at NJPLS on symbolic reasoning for file system effects. Aug. '24 Starting my PhD at Brown in PL and formal methods. Jul. '24 Participated to the 2024 School on Univalent Mathematics! Apr. '24 Honored to receive an NSF GRFP! Mar. '24 Passed the JLPT N1! Feb. '24 Won the Michigan Japanese Speech Contest with a very shoddy speech. Jan. '24 I will be presenting our paper on type error localization at POPL! Aug. '23 I will be assisting with EECS 490 this year. Jun. '23 Abroad in Osaka, Japan for advanced intensive Japanese language study! Mar. '23 Honored to receive a FLAS! References Context Eric Zhao https://mustardfox.org/zzhaoe-0004/ zzhaoe-0004 /zzhaoe-0004/ news Eric Zhao https://mustardfox.org/zzhaoe-0034/ zzhaoe-0034 /zzhaoe-0034/ chronological Jun. '26 Honored to be invited to the Veritas Graduate Conference! Jun. '25 I will be at OPLSS at the end of the month. May '25 I will be at HotOS XX later this month! Feb. '25 I was invited to participate in the Kakehashi Project between Feb. 4–11! Jan. '25 Our paper on Grove is published at POPL! Dec. '24 Gave a talk at NJPLS on symbolic reasoning for file system effects. Aug. '24 Starting my PhD at Brown in PL and formal methods. Jul. '24 Participated to the 2024 School on Univalent Mathematics! Apr. '24 Honored to receive an NSF GRFP! Mar. '24 Passed the JLPT N1! Feb. '24 Won the Michigan Japanese Speech Contest with a very shoddy speech. Jan. '24 I will be presenting our paper on type error localization at POPL! Aug. '23 I will be assisting with EECS 490 this year. Jun. '23 Abroad in Osaka, Japan for advanced intensive Japanese language study! Mar. '23 Honored to receive a FLAS! Backlinks Related Eric Zhao 2026 6 https://mustardfox.org/zzhaoe-003Q/ zzhaoe-003Q /zzhaoe-003Q/ at Veritas Graduate Conference news I will be joining the Veritas Graduate Conference. Thank you for the opportunity! 2025 6 23 2025 7 5 https://mustardfox.org/oplss-2025/ oplss-2025 /oplss-2025/ OPLSS 2025 venue https://www.cs.uoregon.edu/research/summerschool/summer25/index.php Eugene, Oregon 2025 6 29 2024 7 1 https://mustardfox.org/veritas-graduate-2026/ veritas-graduate-2026 /veritas-graduate-2026/ Veritas Graduate Conference 2026 venue https://summit.veritas.org/graduate-conference South Bend, Indiana Eric Zhao 2025 6 https://mustardfox.org/zzhaoe-0038/ zzhaoe-0038 /zzhaoe-0038/ at OPLSS 2025 news I will be at OPLSS at the end of the month. 2025 5 13 2025 5 16 https://mustardfox.org/hotos-2025/ hotos-2025 /hotos-2025/ HotOS XX venue https://sigops.org/s/conferences/hotos/2025/index.html Banff, Alberta, Canada Eric Zhao 2025 5 https://mustardfox.org/zzhaoe-0037/ zzhaoe-0037 /zzhaoe-0037/ at HotOS XX news I will be at HotOS XX this month 13-16. Our very own Lukas Lazarek will be presenting our paper on semantics-driven static analysis for shell programs. Eric Zhao 2025 2 https://mustardfox.org/zzhaoe-0029/ zzhaoe-0029 /zzhaoe-0029/ Kakehashi! news I was invited to participate in the Kakehashi Project between Feb. 4–11. Enormous thanks to Japanese Ministry of Foreign Affairs, the Consulate-General of Japan in Detroit, and my many Japanese language instructors at Michigan for this opportunity, which comes from winning the MJSC last year! Tremendous thanks again to Ayaka Sogabe. It seems there's no end to all the things (and more) for which I have to thank her. Eric Zhao 2025 1 https://mustardfox.org/zzhaoe-003A/ zzhaoe-003A /zzhaoe-003A/ Grove published at POPL 2025 news Our paper on Grove, a collaborative structured editing calculus, is published at POPL! 2024 12 6 https://mustardfox.org/njpls-2024-12/ njpls-2024-12 /njpls-2024-12/ NJPLS December 2024 venue https://njpls.org/dec2024.html Cornell Tech, New York, United States The New Jersey Programming Languages and Systems Seminar (NJPLS) brings researchers in the New Jersey area together for a day of informal talks and discussions. We accept talks on complete research and work in progress, dealing with topics of interest to the programming languages and systems communities. Eric Zhao 2024 12 https://mustardfox.org/zzhaoe-0026/ zzhaoe-0026 /zzhaoe-0026/ presented at NJPLS news I gave a talk at NJPLS in New York on some ongoing work about symbolic reasoning for programs with effects on the file system. Eric Zhao 2024 8 https://mustardfox.org/zzhaoe-0032/ zzhaoe-0032 /zzhaoe-0032/ participated in the UniMath summer school news I was able to participate in the 2024 edition of the School on Univalent Mathematics in Minneapolis. Thanks so much to the organizers and the sponsors for this great opportunity! Eric Zhao 2024 8 https://mustardfox.org/zzhaoe-0033/ zzhaoe-0033 /zzhaoe-0033/ started my PhD news Starting my PhD at the end of this month in programming languages and formal methods with Rob Lewis and Nikos Vasilakis. Eric Zhao 2024 4 https://mustardfox.org/zzhaoe-000S/ zzhaoe-000S /zzhaoe-000S/ received the NSF Graduate Research Fellowship! news Honored to receive an NSF Graduate Research Fellowship. Enormous thanks to my advisor Cyrus Omar, Max S. New, Ayaka Sogabe, and many other supporters! Eric Zhao 2024 3 https://mustardfox.org/zzhaoe-000T/ zzhaoe-000T /zzhaoe-000T/ passed the JLPT N1! news Happy to say that I was able to pass this past December's edition of the JLPT N1 with 142/180—pretty good, all things considered. A very big thanks to all my instructors at Michigan, especially Ayaka Sogabe, Masae Yasuda, Yoshihiro Mochizuki, Junko Kondo, Yamato Kitahashi, and Yoshimi Sakakibara! Eric Zhao 2024 2 https://mustardfox.org/zzhaoe-0031/ zzhaoe-0031 /zzhaoe-0031/ ミシガンの日本語スピーチコンテストで勝利しました news どうやらミシガンの日本語スピーチコンテストで勝利しました。いつも通り、とても曽我部先生のおかげさまでした。ありがとうございました！ 2024 2023 https://mustardfox.org/zzhaoe-0010/ zzhaoe-0010 /zzhaoe-0010/ EECS 490: Programming Languages (F23, W24) course The University of Michigan Programming languages are rich mathematical structures and powerful user interfaces. This course covers the design and use of modern programming languages. We will build up systematically from formal first principles while considering human factors in language design, language prototyping, and techniques for reasoning precisely about program behavior throughout the course. The goal is to change the way you think about programming and programming language design in ways that will remain relevant across the many technology hype cycles that you will encounter over the course of your careers. I was the undergraduate teaching assistant for the 2023–2024 academic year. The course was lectured by Cyrus Omar; Andrew Blinn and David Moon served as graduate teaching assistants in F23 and W24, respectively. Eric Zhao 2023 12 https://mustardfox.org/zzhaoe-000R/ zzhaoe-000R /zzhaoe-000R/ presenting at POPL 2024! news I will be presenting our paper Total Type Error Localization and Recovery with Holes at POPL 2024 in London this upcoming January! This paper was honored with a Distinguished Paper Award! Eric Zhao 2023 8 https://mustardfox.org/zzhaoe-003B/ zzhaoe-003B /zzhaoe-003B/ TA'ing EECS 490 this year news I'm helping to teach EECS 490 this year! Eric Zhao 2023 6 https://mustardfox.org/zzhaoe-0035/ zzhaoe-0035 /zzhaoe-0035/ study abroad news I'm abroad for about ten weeks in Osaka, Japan through CET for an intensive advanced Japanese language course. Again, tremendous thanks is due to Ayaka Sogabe especially and to all those who helped me in Japanese language studies and to receive a FLAS and a CJS scholarship to support this adventure! Eric Zhao 2023 3 https://mustardfox.org/zzhaoe-0036/ zzhaoe-0036 /zzhaoe-0036/ received a FLAS news I'm honored to receive a Department of Education Foreign Language and Area Studies in Japanese language for this summer! Thanks so much to Ayaka Sogabe for her brilliant teaching and heroic recommendation letter-writing. Thanks also to Cyrus Omar for his support! https://mustardfox.org/brownuniversity/ brownuniversity /brownuniversity/ Brown University institution https://www.brown.edu Contributions