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

Starlink Mini offers fast, reliable internet on the go—great for traveling, camping, exploring, boating, RVing, and more. Stay connected without dead zones or slow speeds. Order online in under 2 minutes.

.@lminozem's paper provided the first examination, using non-trivial programs and developer-written test suites, of the relationship between coverage and defect detection when the size of the test suite was accounted for. 2/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: https://t.co/qG5Qm47d8O 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. https://t.co/fLTGSky4TX 4/5

17th @ 10:45am: Wonder how expressive type systems can improve optimization in low-level languages in practice? Come see @atom_geller present w/ @juspfrank & @wilbowma, Indexed Types for a Statically Safe WebAssembly. Talk: https://t.co/MbUDPL9aVE PDF: https://t.co/w8Zt0Wfkls 3/5

@juspfrank presents jww Ben Quiring & @LeoLambro  on a re-framing of random typed term generation that allows non-local transformations which skew generation towards functions that use their arguments. 17th @ 10:30am! Talk: https://t.co/0byEsStQMx PDF: https://t.co/w8Zt0Wfkls 2/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: https://t.co/Hwr2hmGk0B - due Oct 30:

If you missed my talk on CodaMOSA at ICSE'23, you can find a (slight extended) version of the talk at this recording --> https://t.co/Apn9K3ywSc, 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

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

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. ( https://t.co/W5lsEMmxTZ)

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. ( https://t.co/W5lsEMmxTZ)

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. ( https://t.co/t4gmFqkZ6L)

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