Share this page!

Enter URL or ID to Unroll

You can paste full URL like: https://x.com/threadreaderapp/status/1644127596119195649
or just the ID like: 1644127596119195649

How to get URL link on X (Twitter) App

  1. On the Twitter thread, click on or icon on the bottom
  2. Click again on or Share Via icon
  3. Click on Copy Link to Tweet
  4. Paste it above and click "Unroll Thread"!
  5. More info at Twitter Help
PLDI Profile picture
PLDI
@PLDI
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2022. Tweets by @wilbowma.
May 18, 2020 • 17 tweets • 12 min read
The #AskMeAnything track at #PLDI2020 will give attendees the opportunity to engage with leading lights of the programming languages community. We're excited to have 15 special guests lined up to answer all the questions you've been longing to ask them. In order of appearance... 1/15 Byron Cook (@byroncook) is a Professor of Computer Science at @ucl_pplv, and also a Senior Principal Scientist at @awscloud where he has helped to kick-start the adoption of automated reasoning. He is also known for starting the TERMINATOR project at @MSFTResearch.