We study programming languages, verification, and software engineering in the Department of Computer Science at the University of British Columbia @ubc
Joined August 2020
- Tweets 484
- Following 218
- Followers 630
- Likes 85
51 Photos and videos
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:🧵
1
6
17
2,052
.@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
1
1
237
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
1
161
As you gear up for POPL, let me tell you a little about the SPL alumnis' 3 POPL papers! 1/5
1
1
9
1,393
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/P… 4/5
1
1
5
744
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.1145/3… 5/5
1
3
531
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/emp…
- due Oct 30: cs.ubc.ca/our-department/emp…
2
9
1,215
Software Practices Lab (spl@mastodon.acm.org) retweeted
5 Sep 2023
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 😀
2
20
2,280
Software Practices Lab (spl@mastodon.acm.org) retweeted
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/plm…
3
4
1,205
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. (icfp23.sigplan.org/home/hope…)
1
5
12
2,241
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/p…)
1
3
7
2,053
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/plm…
3
4
1,205
Software Practices Lab (spl@mastodon.acm.org) retweeted
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/p…)
1
3
7
2,053
Software Practices Lab (spl@mastodon.acm.org) retweeted
1 Jul 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!
15
5
135
9,685
Software Practices Lab (spl@mastodon.acm.org) retweeted
27 Jun 2023
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.)
1
2
863
i dare you
5 Jun 2023
Sign up to be a volunteer and help us make ICFP 2023 a unique experience for all attendants!
Application closes June 30th: icfp23.sigplan.org/track/icf…
3
326
"The purest form of program verification, of course, is to never write any code in the first place." -- Anon. SPLabmate
1
11
737