17th Estonian Winter School in Computer Science (EWSCS)
XVII Eesti Arvutiteaduse Talvekool

Palmse, Estonia, February 26 -March 2, 2012

Kwangkeun Yi


School of Computer Science and Engineering
Seoul National University
Republic of Korea

Collage of static analyses in practice and theory

Abstract

This course will consist of three parts about static analysis. First, I will summarize the abstract interpretation framework, the most powerful design theory of static analysis. Then I will explain how we can engineer a realistic, industrial-strength global static analyzer to make it scalable up to million lines of C code. Building a sound, global, yet scalable semantic analysis for C is an elusive goal. The key technique is how to make the analysis sparse in terms of space, time, and context. Finally, I will introduce a theoretical static analysis framework for multi-staged (a.k.a. meta-programming) calculus that treats program code as value. Multi-staged calculus is a model for run-time code generation that frequently occurs in script or web programming.

Course materials

Valid CSS! Valid XHTML 1.0 Strict Last changed March 4, 2012 15:01 EET by local organizers, ewscs12(at)cs.ioc.ee
EWSCS'12 page: http://cs.ioc.ee/ewscs/2012/