Programming Languages

ERC logo
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…
Android app optimization
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.…
SIGPLAN Research Highlight 2019
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…
best paper graphic
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.