Write a Blog >>
Sun 20 - Fri 25 October 2019 Athens, Greece
Mon 21 Oct 2019 14:00 - 14:30 at Room 2A - Session 3

The study of large corpora of programs traditionally focuses on some form of static analysis of programs in order to analyse some of their characteristics. Making programs compilable or even executable is challenging, but facilitates the study of runtime characteristics outside the reach of static analysis.

We will present an experiment that is based on a set of executable Java programs (the xcorpus). A high coverage driver was used to exercise the programs and record runtime behaviour, in particular method invocations. This was then used to detect false negatives (gaps) of various static analyses. This study provides new insights into the recall rates (“soundness”) of static analysis, which particular language features cause false negatives and to which extent, how the precision of analysis influences recall, and how effective state-of-the-art “reflection support” features in static analysis are.

I am an Associate Professor in the School of Engineering and Advanced Technology (SEAT) at the Turitea (Palmerston North) Campus of Massey University. I have a Master in Mathematics and a PhD in Computer Science from the University of Leipzig. I have worked for a couple of years in industry as consultant in Germany, Namibia, Switzerland and the UK, and returned in 2003 to academia. My research interests are in the areas of software componentry and evolution and static analysis.

Mon 21 Oct
Times are displayed in time zone: Beirut change

14:00 - 15:30: Session 3NJR at Room 2A
14:00 - 14:30
Understanding the Gaps in Static Program Analysis
Jens DietrichVictoria University of Wellington
14:30 - 15:00
50K-C: A Dataset of Compilable, and Compiled, Java Projects
Rohan AcharUC Irvine
15:00 - 15:30
NJR: Executable, Scriptable, and Searchable Java Programs
Jens PalsbergUniversity of California, Los Angeles