Software Practices Lab ([email protected])

We study programming languages, verification, and software engineering in the Department of Computer Science at the University of British Columbia @ubc

[Software Practices Lab ([email protected]) @ubc_spl]

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

[Software Practices Lab ([email protected]) @ubc_spl]

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:🧵

[Software Practices Lab ([email protected]) @ubc_spl]

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

[Software Practices Lab ([email protected]) @ubc_spl]

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

[Software Practices Lab ([email protected]) @ubc_spl]

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

[Software Practices Lab ([email protected]) @ubc_spl]

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

[Software Practices Lab ([email protected]) @ubc_spl]

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: https://t.co/CNl2tHyoRw

[Caroline Lemieux @cestlemieux]

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 😀

[Software Practices Lab ([email protected]) @ubc_spl]

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 https://t.co/ugkKmUA89P

[Software Practices Lab ([email protected]) @ubc_spl]

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 https://t.co/ugkKmUA89P

[Software Practices Lab ([email protected]) @ubc_spl]

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)

[Software Practices Lab ([email protected]) @ubc_spl]

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)

[Software Practices Lab ([email protected]) @ubc_spl]

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)

[Arpan Gujarati @arpanbg]

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!

[Gregor Kiczales @gregork]

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

[Software Practices Lab ([email protected]) @ubc_spl]

i dare you

[ICFP Conference @icfp_conference]

Sign up to be a volunteer and help us make ICFP 2023 a unique experience for all attendants!

Application closes June 30th: https://t.co/jmRNYiqdsV

[Software Practices Lab ([email protected]) @ubc_spl]

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