"A Rehabilitation of Message-passing Concurrency" by Frank Pfenning [PWLConf 2018] (2018)

https://www.youtube.com/watch?v=LRn_nPfti-Y

#pwlconf #concurrency #sessiontypes

"A Rehabilitation of Message-passing Concurrency" by Frank Pfenning [PWLConf 2018]

YouTube

Anonymity in the Bitcoin Peer-to-Peer Network by Giulia Fanti [PWLConf 2019] (2019)

https://www.youtube.com/watch?v=BwFUUWkp8YQ

#pwlconf

Anonymity in the Bitcoin Peer-to-Peer Network by Giulia Fanti [PWLConf 2019]

YouTube
"Automatic Patch Generation" by Claire Le Goues

YouTube

Distributed Consensus Revised by Heidi Howard [PWLConf 2019] (2019)

https://www.youtube.com/watch?v=Pqc6X3sj6q8

#pwlconf

Distributed Consensus Revised by Heidi Howard [PWLConf 2019]

YouTube

"Randomized Gossip Methods" by Dahlia Malkhi (2016)

https://www.youtube.com/watch?v=Gxf5glthqrk

#pwlconf #vmwareresearch #dahliamalkhi

"Randomized Gossip Methods" by Dahlia Malkhi

YouTube

Is Program Analysis the Silver Bullet Against Software Bugs? by Karim Ali [PWLConf 2019] (2019)

https://www.youtube.com/watch?v=gMC8lZJQSWw

#pwlconf

Is Program Analysis the Silver Bullet Against Software Bugs? by Karim Ali [PWLConf 2019]

YouTube
Delimited Continuations for Everyone by Kenichi Asai

YouTube

"Standards We Love" by Heidy Khlaaf [PWLConf 2018] (2018)

https://www.youtube.com/watch?v=uqan23518Yc

#paperwelove #pwlconf #verification

"Standards We Love" by Heidy Khlaaf [PWLConf 2018]

YouTube

The video for "Programming Distributed Systems" by @mpmilano is now on YouTube!

https://youtu.be/Mc3tTRkjCvE?si=MLsFVUgipXNlMUsc

#strangeloop #pwlconf

"Programming Distributed Systems" by Mae Milano

Our interconnected world is increasingly reliant on distributed systems of unprecedented scale, serving applications which must share state across the globe....

YouTube

Papers We Love: JOB, OCB, RAW, zig-zag, elements...

#pwlconf