

Interview for People of Programming Languages
source link: https://www.ralfj.de/blog/2017/12/15/people-of-pl-interview.html
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.

Interview for People of Programming Languages
POPL 2018, the conference where I will present our RustBelt paper, is doing a series of interviews with senior and junior people from the community: People of Programming Languages. They also asked me if I wanted to be part of this, and of course I accepted. This was the first time I was asked to give an interview, so needless to say, I was super excited! I got the opportunity to talk about how I came to do research in PL, what my research is about, and ramble a bit about why I think Coq is great. If you want to read more, check out my interview. Be sure to also have a look at the other interviews.
Thanks a lot to Jean Yang, the Publicity Chair for POPL 2018, for making this a very pleasant experience. (Though, as you can see, I had to send them a picture, which was certainly the least pleasant part of this. ;)
PS: It seems I have consistent bad luck with my POPL talk slots, because my talk is again in the very last session of the conference. This time, in fact, it’s the very last talk of the main track. Maybe some people read this interview and consider staying anyway :D
Posted on Ralf's Ramblings on Dec 15, 2017.
Comments? Drop me a mail!
Recommend
-
145
-
133
Welcome to Vim-Plugins This repository hosts the latest development versions of various Vim plug-ins. Currently maintained by Wolfgang Mehner: GitHub
-
79
stddoc.c stddoc.c is a tiny documentation generator for 60 programming languages. Check auto-generated sample page here
-
91
A Brief Totally Accurate History Of Programming LanguagesOne Hundred Percent Inspired by Facts
-
112
Ranking Programming Languages by GitHub Users I've recently become obsessed with the sheer a...
-
75
README.md ARL (Another Repository List) Well, one of the best ways to learn something new is to watch how it is done by others. Got a new programming language to learn? B...
-
99
README.md ffi-overhead comparing the c ffi overhead on various programming languages Requirements: gcc tup zig nim java7 java8
-
56
Understand Web Development Programming Languages in 2018 An overview of the top coding languages to learn as a web developer This article is part 2 of an 9 part series
-
1
People of Programming Languages An interview project in conjunction with POPL 2018
-
10
0:00 / 1:06:43 ...
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK