🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

"The purest form of program verification, of course, is to never write any code in the first place." -- Anon. SPLabmate

i dare you

PL and SE colleagues. Have you ever decided that you should take the lead on content development for an InfoVis course? Numerical computing? Graphics? Or do you tend to stay in your (our) lane? (Follow-up question coming if people answer this.)

Delighted to inform that I am joining UBC Computer Science as a tenure-track Assistant Professor this month. Many thanks to my family, friends, advisors, mentors, and collaborators Max Planck Institute for Software Systems Systopia Lab UBC Electrical & Computer Engineering!

Then, start your ICFP on Tuesday Sept 5 with 🥢 Jon 🍲's talk at 10:30am "Is Sized Typing for Coq Practical?" and size up your knowledge about the practicality of integrating sized types into existing type systems. (icfp23.sigplan.org/program/progra…)

Learn how to get the most out of ICFP Conference and future conferences by attending paulette d. koronkevich @[email protected]'s talk "Getting the Most out of ICFP" at PLMW, 11:45am on Monday, Sept 4th icfp23.sigplan.org/track/plmw-icf…

If you missed my talk on CodaMOSA at ICSE'23, you can find a (slight extended) version of the talk at this recording --> youtu.be/DOuKHfNtT7M, enjoy 😀

UBC CS is hiring 4 tenure-track educational leadership (teaching focus rather than research focus) faculty this year! 2 in systems 2 for our masters of data science program! - due Oct 20: cs.ubc.ca/our-department… - due Oct 30: cs.ubc.ca/our-department…