We study programming languages, verification, and software engineering in the Department of Computer Science at the University of British Columbia @ubc
Vancouver 🇨🇦
Joined August 2020
- Tweets484
- Following217
- Followers621
- Likes85
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:🧵
.@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
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
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
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
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…
Software Practices Lab ([email protected]) retweeted
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 😀
Software Practices Lab ([email protected]) 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…
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…)
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…)
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…
Software Practices Lab ([email protected]) 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…)
Software Practices Lab ([email protected]) retweeted
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!
Software Practices Lab ([email protected]) retweeted
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
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…