Pietro Ferrara receives the Distinguished Paper Award at the FormaliSE 2018 conference in Gothenburg, Sweden.
Entitled “CIL to Java-bytecode Translation for Static Analysis Leveraging”, the winning paper was co-authored by professors Agostino Cortesi (University Ca’ Foscari of Venice) and Fausto Spoto (University of Verona).
The paper introduces a formal translation of CIL (i.e., .Net) bytecode into Java bytecode, and proves its soundness with respect to the language semantics. Such code can be then analyzed with a Java static bytecode analyzer, in this case Julia. The experimental results show that the overall process of translation and analysis is fast, scales up to industrial programs, and introduces a negligible number of false alarms.
About the conference:
FormaliSE 2018, 6th International Conference on Formal Methods in Software Engineering, took place on 2 June 2018 in Gothenburg, Sweden, co-located with ICSE 2018, the 40th International Conference on Software Engineering. The main goal of the conference is to foster integration between the formal methods and the software engineering communities with the purpose to examine the link between the two more carefully than is currently the case.