Music |
Video |
Movies |
Chart |
Show |
Abstracting Definitional Interpreters (ICFP Video) View |
Refunctionalization of Abstract Abstract Machines (ICFP Video) View |
A Library Modeling Language for the Static Analysis of C Programs (ACM SIGPLAN) View |
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level (IEEE Symposium on Security and Privacy) View |
A Relational Logic for Higher-Order Programs (ICFP Video) View |
SEC-T 0x0B: Calle Svensson - Fun with symbolic execution (SEC-T) View |
[WITS'22] First-class pattern synonyms (ACM SIGPLAN) View |
Chlipala12 (operational semantics, evaluation contexts continues) (formal methods) View |
() View |
() View |