Τα βραβεία «Διακεκριμένης Εργασίας» (Distinguished Paper) και «Καλύτερου Τεχνουργήματος» (Best Artifact) κέρδισαν ο απόφοιτος του Τμήματος Διοικητικής Επιστήμης και Τεχνολογίας (ΔΕΤ) του Οικονομικού Πανεπιστημίου Αθηνών (ΟΠΑ) Στέφανος Χαλιάσος και ο υποψήφιος διδάκτορας Θοδωρής Σωτηρόπουλος, στο κορυφαίο συνέδριο του κλάδου των γλωσσών προγραμματισμού “43rd ACM SIGPLAN Conference on Programming Language Design and Implementation” (PLDI 2022), που πραγματοποιήθηκε στο Σαν Ντιέγκο (ΗΠΑ), στις 13-17 Ιουνίου 2022.
Η βράβευση αφορούσε την εργασία “Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, and Dimitris Mitropoulos. Finding typing compiler bugs. In Proceedings of the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI’22. ACM, June 2022” (https://doi.org/10.1145/3519939.3523427), στην οποία συμμετείχαν και ο Καθηγητής Διομήδης Σπινέλλης (Τμήμα ΔΕΤ ΟΠΑ), ο Επίκουρος Καθηγητής Arthur Gervais, (Imperial College), ο Αναπληρωτής Καθηγητής Benjamin Livshits (Imperial College) και ο Επίκουρος Καθηγητής Δημήτρης Μητρόπουλος (Τμήμα Διοίκησης Επιχειρήσεων και Οργανισμών Εθνικού και Καποδιστριακού Πανεπιστημίου Αθηνών).
Η διακριθείσα εργασία αφορά μια καινοτόμο μέθοδο για την αυτόματη ανίχνευση σφαλμάτων που σχετίζονται με την υλοποίηση των συστημάτων τύπων (type systems) σε μεταγλωττιστές. Η εφαρμογή της μεθόδου οδήγησε στην εύρεση πάνω από 150 επιβεβαιωμένων σφαλμάτων στους μεταγλωττιστές δημοφιλών γλωσσών προγραμματισμού όπως είναι η Java, η Groovy και η Kotlin.
Η εύρεση και η δημοσιοποίηση των σφαλμάτων στους κατασκευαστές των μεταγλωττιστών οδήγησε στη διόρθωση των περισσοτέρων από αυτά, συμβάλλοντας έτσι στη βελτίωση της αξιοπιστίας των μεταγλωττιστών, ευρύτατα χρησιμοποιούμενων συστημάτων από προγραμματιστές από όλο το κόσμο. Η υλοποίηση της μεθόδου είναι διαθέσιμη ως λογισμικό ανοιχτού κώδικα στον ιστότοπο https://github.com/hephaestus-compiler-project/hephaestus.
Η έρευνα πραγματοποιήθηκε στο πλαίσιο του Εργαστηρίου Επιχειρηματικής Αναλυτικής BALab, το οποίο τελεί υπό τη Διεύθυνση του Καθηγητή Διομήδη Σπινέλλη. Το εργαστήριο καλύπτει διδακτικές και ερευνητικές ανάγκες στο γνωστικό αντικείμενο «Επιχειρηματική Αναλυτική» και ειδικότερα στους ακόλουθους τομείς:
• Μεθόδους, τεχνολογίες και εφαρμογές συλλογής, επεξεργασίας, παράστασης, μοντελοποίησης και Ανάλυσης δεδομένων.
• Εφαρμογές Λογισμικού και ανάλυσης δεδομένων που σχετίζονται με το αντικείμενο του εργαστηρίου.
• Συστήματα ανάλυσης δεδομένων και εφαρμογές ανάλυσης δεδομένων στην ανάπτυξη και λειτουργία κάθε είδους συστημάτων.
• Μεθόδους, τεχνολογίες και εφαρμογές αναπαράστασης και επίλυσης μεγάλης κλίμακας προβλημάτων βελτιστοποίησης.
Latest News
Το ΑΠΘ τίμησε τους κορυφαίους ερευνητές του στην προσέλκυση χρηματοδότησης ερευνητικών προγραμμάτων
Στο top-10 των ερευνητών και ο καθηγητής του τμήματος Δημοσιογραφίας & MME κ. Νίκος Παναγιώτου
Έρευνα ΟΠΑ: 8 στους 10 αποφοίτους εργάζονται
Σχεδόν έξι στους δέκα εργάζονται σε απόλυτα συναφές και συναφές αντικείμενο με τις προπτυχιακές σπουδές τους
Σε ήπια ανάπτυξη η Δύση – Πώς επηρεάζουν οι εκλογές Γαλλία, Βρετανία και Ευρώπη
Η τελευταία έκθεση της Consensus Economics για τις χώρες G7 και Δυτική Ευρώπη δείχνει ότι η δραστηριότητα παραμένει ήπια
Euro 2024: Οι προβλέψεις για τον τελικό – Τι δείχνουν τα στατιστικά του Οικονομικού Πανεπιστημίου Αθηνών
Οι εκτιμήσεις για το Euro 2024 με βάση τη συνεργασία του AUEB Sports Analytics Group και της ερευνητικής ομάδας του Πανεπιστημίου της Τεργέστης
Ο Βασίλειος Βασδέκης εξελέγη νέος πρύτανης του ΟΠΑ
Ποια είναι τα μέλη του Συμβουλίου Διοίκησης
Ο χρυσός λάμπει ξανά!
Σε ένα αβέβαιο επενδυτικό περιβάλλον, ο χρυσός ως παραδοσιακή επένδυση αντιστέκεται και φαίνεται να προσελκύει ξανά τους επενδυτές
Ενημέρωση ΟΠΑ στους υποψήφιους φοιτητές για τη συμπλήρωση του Μηχανογραφικού Δελτίου
Η συγκεκριμένη υπηρεσία θα αφορά αποκλειστικά τα επιστημονικά πεδία που προσφέρει το Οικονομικό Πανεπιστήμιο Αθηνών στο πλαίσιο των οκτώ προπτυχιακών του Τμημάτων
Γιατί οι μισθοί στην Ευρωζώνη δεν θα αυξηθούν άμεσα
Βραχυπρόθεσμα, η αύξηση των ονομαστικών μισθών αναμένεται να συνεχίσει να επιβραδύνεται καθώς το σοκ του πληθωρισμού θα εξαλείφεται
Euro 2024: Οι προβλέψεις για τη φάση των «8» – Τι δείχνουν τα στατιστικά του Οικονομικού Πανεπιστημίου Αθηνών
Οι εκτιμήσεις για το Euro 2024 με βάση τη συνεργασία του AUEB Sports Analytics Group και της ερευνητικής ομάδας του Πανεπιστημίου της Τεργέστης
ΕΚΠΑ: Στην υψηλότερη θέση που έχει πετύχει ελληνικό Πανεπιστήμιο στην κατάταξη US News – Best Global University Rankings
Σημαντική άνοδος του ΕΚΠΑ στη σημαντικότερη αμερικανική κατάταξη πανεπιστημίων – Είναι το κορυφαίο ελληνικό πανεπιστήμιο