From f6a4e2be10d8960fb88ee3328fbaeeab8632d904 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 15 Dec 2017 17:12:03 +0100 Subject: [PATCH 1/1] New blog post: Interview for people of PL --- .../2017-12-15-people-of-pl-interview.md | 21 +++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 personal/_posts/2017-12-15-people-of-pl-interview.md diff --git a/personal/_posts/2017-12-15-people-of-pl-interview.md b/personal/_posts/2017-12-15-people-of-pl-interview.md new file mode 100644 index 0000000..46f33b9 --- /dev/null +++ b/personal/_posts/2017-12-15-people-of-pl-interview.md @@ -0,0 +1,21 @@ +--- +title: Interview for People of Programming Languages +categories: research +--- + +[POPL 2018](https://popl18.sigplan.org/home), the conference where I will present our [RustBelt paper]({{ site.baseurl }}{% post_url 2017-07-08-rustbelt %}), is doing a series of interviews with senior and junior people from the community: [People of Programming Languages](https://www.cs.cmu.edu/~popl-interviews/). +They also asked me if I wanted to be part of this, and of course I accepted. +This was the first time I gave an interview like that, 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](https://www.cs.cmu.edu/~popl-interviews/jung.html). +Be sure to also [have a look at the other interviews](https://www.cs.cmu.edu/~popl-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](http://popl.mpi-sws.org/2015/program.html) in the very last session +of the conference. This time, in fact, it's the +[very last talk](https://popl18.sigplan.org/program/program-POPL-2018?date=Fri%2012%20Jan%202018) +of the main track. Maybe some people read this interview and consider staying +anyway :D -- 2.30.2