Explore a 16-minute IEEE conference talk on practical program modularization techniques using type-based dependence analysis. Gain insights from Kangjie Lu of the University of Minnesota as he discusses innovative approaches to improve software modularity and maintainability through advanced static analysis methods.
Practical Program Modularization with Type-Based Dependence Analysis
Overview
Syllabus
Practical Program Modularization with Type-Based Dependence Analysis
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
-
DynPTA: Combining Static and Dynamic Analysis for Practical Selective Data Protection
-
Mitigating Information Leakage Vulnerabilities with Type-based Data Isolation
-
BadUSB-C - Revisiting BadUSB with Type-C
-
GraphSPD - Graph-Based Security Patch Detection with Enriched Code Semantics
-
Space Odyssey - An Experimental Software Security Analysis of Satellites
-
K-Scheduler - Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis
