Registered user since Mon 26 Mar 2018
Dimitris Mitropoulos is an Assistant Professor at the National and Kapodistrian University of Athens and the Head of Reliability Engineering at the Greek National Infrastructures for Research and Technology (GRNET). Previously, he has been a Postdoctoral Researcher at the Network Security Laboratory (NSL) of Columbia University in the City of New York. Dimitris holds a PhD in Computer Security from the Athens University of Economics and Business and has been involved in several EU and US funded R&D projects. His research interests include software engineering, computer security and software reliability. He is a member of ACM, IEEE, SysSec, and an official writer for the ACM Computing Reviews journal.
|PLDI 2022|| Finding Typing Compiler Bugs|
(OOPSLA 2020) A Model for Detecting Faults in Build Specifications
(OOPSLA 2021) Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers
|Show activities from other conferences|