Music |
Video |
Movies |
Chart |
Show |
IDEal: Efficient and Precise Alias-Aware Dataflow Analysis (Splash Conference 2017) View | |
Sparse Analyses - Part 2 (Fernando Magno Quintao Pereira) View | |
Lecture (Michael Pradel) View | |
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis (ECOOP 2021) (Secure Software Engineering) View | |
Compositional Programming (ECOOP 2021) (Weixin Zhang) View | |
How Statically-Typed Functional Programmers Write Code (ACM SIGPLAN) View | |
ESEC/FSE 2021 Learning-Based Extraction of First-Order Logic Representations of API Directives (m liu) View | |
OOPSLA21 Presentation 1080 (Kia Rahmani) View | |
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Simon Fowler) View | |
ECOOP 2021 talk: Gradual Program Analysis for Null Pointers (Sam Estep) View |