Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a doctoral research presentation that investigates leveraging compiler internals to enhance static analysis capabilities. Learn about an innovative approach to address current bottlenecks in SMT solving, equivalence checking, and compiler verification by harnessing the internal state and transformations performed by existing compilers. Discover how recording compiler analyses and optimizations on input programs can potentially expand the set of tractable problems in static analysis. Examine preliminary findings demonstrating that compilers can accelerate SMT solving and understand the proposed framework for recording and filtering compiler actions. Gain insights into applications for translation validation and other use cases, while exploring the intersection of compiler instrumentation and static analysis methodologies presented at the ICFP/SPLASH 2025 Doctoral Symposium.
