[logic-ml] Prof. Kwangkeun Yi Lecture at NII Logic Seminar

[Makoto Tatsuta]

	 Prof. Kwangkeun Yi Lecture at NII Logic Seminar

Date: January 10, 2012, 15:00--17:00

Place: National Institute of Informatics, Lecture Room 1208 (12th floor)
場所: 国立情報学研究所 12階 1208室
    (半蔵門線,都営地下鉄三田線・新宿線 神保町駅または東西線 竹橋駅より徒歩5分)
    (地図 http://www.nii.ac.jp/introduce/access1-j.shtml)

Speaker: Prof. Kwangkeun Yi (Seoul National University)

Title: Static Analysis of Multi-Staged Programs via Unstaging Translation

Abstract: 
Static analysis of multi-staged programs is challenging because the
basic assumption of conventional static analysis no longer holds: the
program text itself is no longer a fixed static entity, but rather a
dynamically constructed value. This article presents a
semantic-preserving translation of multi-staged call-by-value programs
into unstaged programs and a static analysis framework based on this
translation. The translation is semantic-preserving in that every
small-step reduction of a multi-staged program is simulated by the
evaluation of its unstaged version. Thanks to this translation we can
analyze multi-staged programs with existing static analysis techniques
that have been developed for conventional unstaged programs: we first
apply the unstaging translation, then we apply conventional static
analysis to the unstaged version, and finally we cast the analysis
results back in terms of the original staged program. Our translation
handles staging constructs that have been evolved to be useful in
practice (typified in Lisp's quasi-quotation): open code as values,
unrestricted operations on references and intentional
variable-capturing substitutions. This article omits references for
which we refer the reader to our companion technical report.  This is
a joint work with Wontae Choi, Baris Aktemur, and Makoto Tatsuta.

問合せ先:
龍田 真 (国立情報学研究所)
e-mail: tatsuta at nii.ac.jp
http://research.nii.ac.jp/~tatsuta