European Research Council (ERC) Proof of Concept Grant PARSe: Program Analysis and Reorganization, as a Service was just completed
PARSe, which had a duration of of two years (2018-2020), was awarded a budget of 150 000 Euros to the Coordinator, Prof. Y. Smaragdakis, to explore the potential for…
Programming Languages
Static analysis of the entire application that leads to a "deep" understanding of the code
Based on top scientific publications of the laboratory members
Tool for developers, semi-automatic optimization
Smaller size and faster execution
Researchers: Prof. G. Smaragdakis, A. Antoniadis, G.…
The paper "MadMax: surviving out-of-gas conditions in Ethereum smart contracts" by researchers Neville Grech and Yannis Smaragdakis of the University of Athens (together with colleagues from U.Sydney), which earlier earned a "Distinguished Paper award" at the OOPSLA 2018 conference, was selected as…
The paper by Prof. Y. Smaragdakis and G. Kastrinis titled "Defensive Points-To Analysis: Effective Soundness via Laziness" received the Best Paper Award at ECOOP 2018, which took place in July 2018 in Amsterdam, Netherlands.