Software Practices Lab ([email protected])

In particular, @lminozem discussed how to receive (and give) feedback and tips she wishes she had known at the start of her PhD, recommending two books in particular for new graduate students. 4/4

.@lminozem gave the MIP talk at #icse24 in Lisbon. The last half of the talk described a series of personal learnings that arose from this project, including from the several rejections before acceptance and ACM Distinguished Paper Award in 2014. 3/4

We're super excited that @lminozem and @reid_holmes have been awarded the ICSE 2024 Impact Paper Award, recognizing the most impactful paper from ICSE 2014, 10 years later. #icse24 Let me tell you a bit about this paper:🧵

sorry I really tried to fit this into the last tweet but I think struggling to fit complex technical material into artificial content limits really fits with the theme of POPL, so here's Yiyun Liu, @ionathanch, @jwshi21, and @fancytypes 's PDF: dl.acm.org/doi/pdf/10.114… 5/5

19th @ 11:10am, Yiyun Liu presents jww @ionathanch, @jwshi21, @fancytypes in Internalizing Indistinguishability with Dependent Types, a dependency-tracking calculus w/ indistinguishability (equality wrt an observer) internalized propositionally. popl24.sigplan.org/details/POPL-2… 4/5

As you gear up for POPL, let me tell you a little about the SPL + alumnis' 3 POPL papers! 1/5

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…

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 😀

Learn how to get the most out of @icfp_conference and future conferences by attending @koronkebitch's talk "Getting the Most out of ICFP" at PLMW, 11:45am on Monday, Sept 4th #program" target="_blank" rel="nofollow noopener">icfp23.sigplan.org/track/plmw-icf…

Then, start your ICFP on Tuesday Sept 5 with @ionathanch'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…)

Are you ready for SPL @icfp_conference? Start your week at HOPE with @koronkebitch's talk "One Weird Trick to Untie Landin's Knot" Monday Sept 4 at 9:00am to *untie* your assumptions about higher-order references and non-termination. (#program" target="_blank" rel="nofollow noopener">icfp23.sigplan.org/home/hope-2023…)

Delighted to inform that I am joining @UBC_CS as a tenure-track Assistant Professor this month. Many thanks to my family, friends, advisors, mentors, and collaborators @mpi_sws_ @UBC_Systopia @ECEUBC!

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.)

i dare you

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