Εργαστήριο Γλωσσών Προγραμματισμού και Τεχνολογιών Λογισμικού

Η ομάδα PLaST πραγματοποιεί έρευνα στο χώρο των εφαρμοσμένων γλωσσών προγραμματισμού. Συγκεκριμένοι τομείς περιλαμβάνουν την ανάλυση προγραμμάτων, επεκτάσιμες γλώσσες και γεννήτριες λογισμικού, καθώς και  γλώσσες για προγραμματισμό συστήματος. Βασικό πρόσφατο προϊόν της έρευνας είναι συστήματα στατικής ανάλυσης και κατανόησης προγραμμάτων, όπως το σύστημα Doop για ανάλυση Java bytecode. Η ομάδα διευθύνεται από τον καθηγητή Γιάννη Σμαραγδάκη και έχει μεγάλη διεθνή παρουσία με 2 βραβεία ERC και δημοσιεύσεις σε κορυφαία συνέδρια (με πρόσφατες βραβεύσεις στα OOPSLA'18, ECOOP'18, OOPSLA'15, ISSTA'12).

ERC logo
Ολοκληρώθηκε επιτυχώς το έργο PARSe: Program Analysis and Reorganization, as a Service που χρηματοδοτήθηκε με European Research Council (ERC) Proof of Concept Grant στον καθηγητή Γ. Σμαραγδάκη. Το PARSe, διάρκειας δύο ετών (2018-2020) και προϋπολογισμού 150.000 ευρώ, είχε στόχο να διερευνήσει τις…
Android app optimization
Στατική ανάλυση ολόκληρης της εφαρμογής που οδηγεί σε «βαθιά» κατανόηση του κώδικα Βασισμένη σε κορυφαίες επιστημονικές δημοσιεύσεις των μελών του εργαστηρίου Εργαλείο για τους προγραμματιστές, ημι-αυτόματη βελτιστοποίηση Μικρότερο μέγεθος και ταχύτερη εκτέλεση Ερευνητές: Καθ. Γ. Σμαραγδάκης, Υ/Δ…
SIGPLAN Research Highlight 2019
Η εργασία "MadMax: surviving out-of-gas conditions in Ethereum smart contracts" από τους Neville Grech και Γιάννη Σμαραγδάκη του ΕΚΠΑ (με συνεργάτες από το U.Sydney), που προηγουμένως βραβεύθηκε σαν "Distinguished Paper" στο συνέδριο OOPSLA 2018, επιλέχθηκε σαν ένα από τα SIGPLAN Research…
best paper graphic
Η εργασία των καθ. Γ. Σμαραγδάκη και υπ. διδ. Γ. Καστρίνη με τίτλο "Defensive Points-To Analysis: Effective Soundness via Laziness" έλαβε βραβείο Καλύτερης Εργασίας στο ECOOP 2018 που πραγματοποιήθηκε τον Ιούλιο του 2018 στο Άμστερνταμ της Ολλανδίας.
HiPEAC logo
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…