4:57Closures Explained in 100 Seconds // Tricky JavaScript Interview PrepFireship415.7K viewsView & Download
1:0619 June 1320 Gillian, Part I A Multi language Platform for Symbolic ExecutionACM SIGPLAN69 viewsView & Download
1:12:06"Gillian Verification of JavaScript and C", Tech Talk by Philippa Gardner and Petar MaksimovićGalois389 viewsView & Download
2:00Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execu... (Teaser, ESEC/FSE 2020)ACM SIGSOFT132 viewsView & Download
28:38Sebastian Pöplau: Symbolic Execution - What's that and how to make it efficient @FuzzCon Europe 2020Code Intelligence490 viewsView & Download