The following pages link to Hakjoo Oh (Q1664388):
Displaying 6 items.
- Learning a variable-clustering strategy for Octagon from labeled data generated by a static analysis (Q1664389) (← links)
- Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses (Q1791273) (← links)
- A sparse evaluation technique for detailed semantic analyses (Q2339156) (← links)
- Access Analysis-Based Tight Localization of Abstract Memories (Q3075495) (← links)
- Learning a Strategy for Choosing Widening Thresholds from a Large Codebase (Q3179275) (← links)
- Synthesizing Imperative Programs from Examples Guided by Static Analysis (Q5233251) (← links)
