PhD Candidate, Technical University of Crete, Greece
Charalambos Mitropoulos is a PhD candidate at the Technical University of Crete. Charalambos holds an MSc in Information Systems from the Department of Informatics of the Athens University of Economics and Business, and a BSc from the Department of Informatics and Telecommunications of the National and Kapodistrian University of Athens.
Syntax-Aware Mutation for Testing the Solidity Compiler.
Charalambos Mitropoulos, Thodoris Sotiropoulos, Sotiris Ioannidis, Dimitris Mitropoulos
ESORICS’23.
https://link.springer.com/chapter/10.1007/978-3-031-51479-1_17.
Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers.
Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos, Charalambos Mitropoulos, Dimitris Mitropoulos, and Diomidis Spinellis.
OOPSLA’21.
https://dl.acm.org/doi/pdf/10.1145/3485500.
Employing different program analysis methods to study bug evolution.
Charalambos Mitropoulos
FSE’19.
https://dl.acm.org/doi/abs/10.1145/3338906.3342489.