Pietro Ferrara receives the Distinguished Paper Award at the FormaliSE 2018 conference in Gothenburg, Sweden.

Pietro Ferrara, the Head of JuliaSoft R&D Lab, received the Distinguished Paper Award on Saturday 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.

Contact Us

We're not around right now. But you can send us an email and we'll get back to you, asap.

Start typing and press Enter to search