Відео

TheForkJoin Ep 6- Gradual Verification with Jenna DiVincenzo

TheForkJoin is back for another 4-episode season! This time with a focus on junior faculty. Links mentioned at the end of the episode: willcrichton.net/#cgk:ownership-conceptual-model pubmed.ncbi.nlm.nih.gov/8556844/ faculty.washington.edu/ajko/papers/Ko2004Whyline.pdf cel.cs.brown.edu/

In this episode, we chat with Remy about why databases are so useful, how they evolved over history, and the key algorithms behind why they can execute queries efficiently.

In this episode of TheForkJoin, we invite Sam Coward to chat with us about how hardware is designed and the unique challenges hardware designers face in making it correct.

In this episode of TheForkJoin, we invite Harry Goldstein to chat with us about testing and all sorts of clever tricks we can do to make our code better.

TheForkJoin is a new stream that brings together experts in different areas of computer science. We jump down rabbit holes and let the YOU, the audience, ask questions.