Check out Ranjit Jhala‘s talk at the Verification Mentoring Workshop 2019 for tips on how to prepare good talks.
You can also find a video of Ranjit giving this talk at ICFP in 2018.
A sharing platform for the Computer-Aided Verification community
A sharing platform for the Computer-Aided Verification community
Check out Ranjit Jhala‘s talk at the Verification Mentoring Workshop 2019 for tips on how to prepare good talks.
You can also find a video of Ranjit giving this talk at ICFP in 2018.