Skip to main navigation
Skip to search
Skip to main content
Korea University Home
Home
Profiles
Research units
Research output
Press/Media
Search by expertise, name or affiliation
Large spurious cycle in global static analyses and its algorithmic mitigation
Hakjoo Oh
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
9
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Large spurious cycle in global static analyses and its algorithmic mitigation'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Cycle
100%
Context
88%
Static Analysis
79%
Semantics
73%
Strings
47%
Degradation
35%
Inaccurate
34%
Fixpoint
34%
Correctness
28%
Covering
23%
Experiment
21%
Output
21%
Iteration
18%
Performance
16%
Engineering & Materials Science
Static analysis
98%
Semantics
97%
Degradation
33%
Experiments
16%