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…
PLaST: Programming Languages and Software Technologies
Head
The PLaST team does research in applied programming languages. Specific areas of focus include program analysis, extensible languages and program generators, as well as languages for systems programming. A key recent research product is systems for static program analysis and understanding, such as the Doop system for Java bytecode. The group leader is Yannis Smaragdakis and the team has a significant international presence with 2 ERC grants and publications in top conferences (including recent awards at OOPSLA'18, ECOOP'18, OOPSLA'15, ISSTA'12).
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.
Professor D. Gizopoulos received two HiPEAC Paper Awards for (1) the ISCA 2017 paper “MeRLiN: Exploiting Dynamic Instruction Behavior for Fast and Accurate Microarchitecture Level Reliability Assessment” and (2) the MICRO 2017 paper “Harnessing voltage margins for energy efficiency in multicore…