Software Practices Lab ([email protected]) @ubc_spl

We study programming languages, verification, and software engineering in the Department of Computer Science at the University of British Columbia @ubc spl.cs.ubc.ca Vancouver 🇨🇦 Joined August 2020

Tweets

486
Followers

647
Following

220
Likes

92

Software Practices Lab ([email protected]) @ubc_spl

2 years ago

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…

0 2 8 1K 0

Caroline Lemieux @cestlemieux

2 years ago

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 😀

0 2 20 2K 3

Software Practices Lab ([email protected]) @ubc_spl

2 years ago

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 icfp23.sigplan.org/track/plmw-icf…

0 3 4 1K 0

Software Practices Lab ([email protected]) @ubc_spl

2 years ago

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

1 3 7 2K 0

Arpan Gujarati @arpanbg

2 years ago

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!

15 5 135 10K 2

Download Image

Gregor Kiczales @gregork

2 years ago

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