At the ICSE 2017 (39th International Conference on Software Engineering) in Buenos Aires CWI researchers Davy Landman and Jurgen Vinju in collaboration with Alexander Serebrenik (TUE) have been awarded with the ACM SIGSOFT Distinguished Paper Award for their paper "Challenges for Static Analysisof Java Reflection- Literature Review and Empirical Study".
The paper investigates precisely where real world Java software challenges the limitations of the state-of-the-art in software analysis tools. The outcomes of the paper include strategies for improving robustness of current software as well as concrete evidence to guide future research in dependable software systems.
The ACM Special Interest Group on Software Engineering provides a forum for computing professionals from industry, government and academia to examine principles, practices, and new research results in software engineering. ACM SIGSOFT encourages SIGSOFT-sponsored conferences to designate a number of accepted papers for ACM SIGSOFT Distinguished Paper Awards for the conference.
Davy Landman and Jurgen Vinju work at CWI's SWAT (Software Analysis and Transformation) group. SWAT studies software systems: their design, construction and evolution. Their mission is to learn to understand software systems and to improve their quality.
More information:
Link to paper
ACM SigSoft
SWAT