[PRL] Fwd: [MIT-PL] TALK:Monday 4-23-12 PL Seminar: Globally Analyzing Million Lines of C, a General Sparse Global Analysis Framework

[Sam Tobin-Hochstadt]

---------- Forwarded message ----------
From: Csail Event Calendar <eventcalendar at csail.mit.edu>
Date: Sun, Apr 15, 2012 at 5:01 PM
Subject: [MIT-PL] TALK:Monday 4-23-12 PL Seminar: Globally Analyzing
Million Lines of C, a General Sparse Global Analysis Framework
To: pl at csail.mit.edu



PL Seminar: Globally Analyzing Million Lines of C, a General Sparse
Global Analysis Framework
Speaker: Kwangkeun Yi
Speaker Affiliation: Seoul National University
Host: Adam Chlipala
Host Affiliation: CSAIL

Date: 4-23-2012
Time: 4:00 PM - 5:30 PM
Location: 32-D463 (Star)

Global static analysis of programs has been considered impractical, but not
anymore. I will present a general method for achieving global static analyzers
that are precise, sound, yet also scalable. Our method uses spatial and
temporal localization techniques to globally analyze million lines of C
programs for non-trivial value analysis of memory addresses.

 The method generalizes existing sparse analysis techniques on top of the
abstract interpretation framework to support arbitrary semantic
analysis for C-like languages. Our method asks to design a global
static analyzer (an abstract interpreter) whose scalability is unattended.
Upon this sound static analyzer, the method prescribes
steps to improve its scalability while preserving the precision of the
underlying analysis. Existing sparse analyses are all restricted
instances of our framework.

 I will present performance numbers of our implementation on top of our
industrialized analysis engine that scale to analyze up-to one million lines
of C programs. I will also discuss some implementation techniques that turned
out to be critical to economically support our sparse analysis process.

Bio: Kwangkeun Yi is a professor at the School of Computer Science and
Engineering at Seoul National University. He (PhD in Computer Science
from UIUC, an Member of Technical Staff alumni of Bell Laboratories at
Murray Hill) has been working on semantic-based static analysis and
type systems, having presented papers in conferences including POPL,
PLDI, CAV, and ICSE, having served in program committees of
leading conferences, and having successfully commercialized his
group's static bug-finding tools. His homepage has more details:
http://ropas.snu.ac.kr/~kwang.

Relevant URL(S): http://ropas.snu.ac.kr/~kwang/
For more information please contact: Adam Chlipala, adamc at csail.mit.edu

_______________________________________________
Pl mailing list
Pl at lists.csail.mit.edu
https://lists.csail.mit.edu/mailman/listinfo/pl
http://projects.csail.mit.edu/pl


-- 
sam th
samth at ccs.neu.edu