Most recent papers that are always available from here may not yet be reflected in this page.

Papers are categorized by topics or journal/conference.


Automatic Bug Detection for C Program

Works on sound and automatic detection of bugs in realistic C programs.

Exception Analysis

Works on estimating uncaught exceptions in programs

Heap Analysis

Works on static estimation of the properties of program's dynamic memory structures.

Program Analysis Tools

Works on automatic generations and management of program analyses

Program Logics

Works on algorithmic aspects of program logics and model checking

Program Transformation

Works on program transformations

Separation Logic

Works on reasoning about pointers

Staged Programming Languages

Syntactic Analysis

Works on syntactic analyses of program texts.

Type Systems

Works on type systems and their algorithms

Other Program Analyses

Register new papers