Pietro Ferrara ha ricevuto il premio Distinguished Paper Award

Pietro Ferrara, Responsabile dell’attività di Ricerca e Sviluppo di JuliaSoft, ha ricevuto il premio Distinguished Paper Award sabato alla conferenza FormaliSE 2018 a Göteborg, Svezia.

L’articolo intitolato CIL to Java-bytecode Translation for Static Analysis Leveraging, vede come coautori i professori Agostino Cortesi (Università Ca’ Foscari di Venezia) e Fausto Spoto (Università di Verona).

L’articolo introduce una traduzione formale di bytecode CIL (i.e., .Net) bytecode in bytecode Java, e ne dimostra il soundness rispetto alla semantica linguistica. Tale codice può successivamente essere analizzato con un analizzatore statico di bytecode Java, in questo caso Julia. I risultati sperimentali dimostrano che il processo di traduzione e analisi è veloce, può essere scalato in dimensioni di programmi industriali e introduce un numero trascurabile di falsi allarmi.

La conferenza:

FormaliSE 2018, 6th International Conference on Formal Methods in Software Engineering, si è tenuta il 2 giugno 2018 a Göteborg, Svezia, insieme a ICSE 2018 (the 40th International Conference on Software Engineering). L’obiettivo principale della conferenza è quello di favorire l’integrazione tra le comunità di metodi formali e di ingegneria del software, allo scopo di esaminare il collegamento tra le due in modo approfondito.

Contact Us

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

Inizia a digitare e premi Enter per effettuare una ricerca