PL Mentoring Workshop at POPL, PLDI, ICFP, and SPLASH. The next PLMW will take place in online, right before (virtual) POPL.

Joined January 2020
And now, the last bit of programming of day 1: the "Doing Research in PL" panel.
1
2
3
Such a great panel! 🤩🤩🤩🤩
0
1
4
Right after this break, Amin Timany will talk Separation Logic and verification in "Reasoning About Programs in Higher-Order Concurrent Separation Logic"!
0
1
0
Not at #PLMW today? The talks are being recorded and will eventually make their way up to youtube. And it's as good a time as any to remind you that PLMW@PLDI's applications will open soon, so keep an eye out!
0
1
1
Next up: @afd_icl on being a "Lean Researcher" - what do startups and research careers have in common? Only at #PLMW!
1
1
6
Some things researchers and entrepreneurs have in common...
2
1
1
"We're doing science, but maybe we don't approach our research in a scientific manner." --@afd_icl 🤔
0
1
2
Evesdropping on @rupakmajumdar before his #PLMW talk explaining that unlike homework, in a research problem no one knows what the right answer is...
1
1
3
And off we go: "Numbers, Logic, and Decidability Results for Cyber-Physical Systems", @rupakmajumdar is talking about how programs and their evolution are modeled.
1
0
2
HISTORY LESSON TIME
0
0
1