55:59Compositional Proof Automation for Multi-level AbstractionsMicrosoft Research40 viewsView & Download
14:20[ECOOP 2021] Enabling Additional Parallelism in Asynchronous JavaScript ApplicationsEllen Arteca27 viewsView & Download
14:48Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis (ECOOP 2021)Secure Software Engineering177 viewsView & Download
23:32[POPL 2021] Provably Space Efficient Parallel Functional Programming (full)ACM SIGPLAN327 viewsView & Download
1:00:45Function Composition in Programming Languages - Conor Hoekstra - CppNorth 2023CppNorth10.2K viewsView & Download
47:02Dahl-Nygaard Senior Prize Keynote at ECOOP 2021 by Kim B. Bruce.Kim Bruce74 viewsView & Download