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