A Type- And Control- Flow Analysis for System FC (Extended Abstract)
summary
Presents a higher-order control- and type-flow analysis that handles System FC coercions and witnesses by extending standard CFA bookkeeping to track type-variable bindings alongside value flows in a shared hashmap, so polymorphic calls no longer collapse distinct call-site results. Implements coercion-annotated flows that let the analysis cancel or remove inverse coercions and recover per-call precision lost to merging; prototype exists, formalization and an empirical evaluation are ongoing.
AI-written summary · about
chapters (12)
- 0:00Introduction
- 0:23Research overview
- 1:06Control flow in functional languages
- 4:18Control flow example
- 6:26Improving analysis with types
- 8:33Tracking type variables
- 10:17Type and control flow analysis
- 10:40System FC features
- 13:33Extending analysis
- 15:39Optimizing program representation
- 18:08Current work and future
- 18:50Q&A
related talks
21mFlow-Analysis-Based Closure Optimization
49mCross-Procedural Control Flow Analysis
01h 05mControl Flow Obfuscation for Featherweight Java + Efficient Fair Conjunction
15mHandling Bidirectional Control Flow
24mLocal Contextual Type Inference
17mSoK: Multi-Layer Indirect Call Analysis in the Real World
29mFlambda 2 Types: An abstract domain for static analysis of functional programs (mo...
29mA Flow-Insensitive-Complete Program Representation