Charalambos Mitropoulos

Charalambos Mitropoulos is a researcher. He completed his PhD at the Technical University of Crete, under the supervision of Professor Sotiris Ioannidis. 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.

His main research interests involve Software Testing, Blockchain Security and Program Analysis.

For my detailed CV, please follow this link.

Publications

DLT’26

Tetris for Gas: State Variable Mutation for Reducing Smart Contract Deployment Costs

Charalambos Mitropoulos, Dimitrios Vlachos, Vaggelis Saroukos, Sotiris Ioannidis, and Dimitris Mitropoulos

ACM Distributed Ledger Technologies: Research and Practice, July 2026. To appear.

PDF
ESEM’24

Broken Agreement: The Evolution of Solidity Error Handling

Charalambos Mitropoulos, Maria Kechagia, Chrysostomos Maschas, Sotiris Ioannidis, Federica Sarro, and Dimitris Mitropoulos

In Proceedings of the 18th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM ’24). Pages 257–268. October 2024.

DOI
ESORICS’23

Syntax-Aware Mutation for Testing the Solidity Compiler

Charalambos Mitropoulos, Thodoris Sotiropoulos, Sotiris Ioannidis, and Dimitris Mitropoulos

In Proceedings of the 28th European Symposium on Research in Computer Security (ESORICS ’23). Pages 327–347. Springer. September 2023.

DOI
OOPSLA’21

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

In Proceedings of the ACM on Programming Languages, Volume 5, Issue OOPSLA (part of SPLASH 2021). Article No. 123. Pages 1–30. October 2021.

PDF
ESEC/FSE’19

Employing Different Program Analysis Methods to Study Bug Evolution

Charalambos Mitropoulos

In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’19). Pages 2584–2607. ACM, August 2019.

DOI

Projects

SecOPERA: Secure Open-source softwarE and hardwaRe Adaptable framework
Funded by the European Commission (HORIZON-CL3-2021-CS-01-02). 2023–Today.
CyberSecPro: Collaborative, Multi-modal and Agile Professional Cybersecurity Training Program for a Skilled Workforce in the European Digital Single Market and Industries
Funded by the Accreditation Council for Entrepreneurial and Engaged Universities (ACEEU). 2023–2024.
SENTINEL: Bridging the security, privacy and data protection gap for smaller enterprises in Europe
Funded by the European Commission (HORIZON 2020, ref. number: 82886). 2023–2024.
IntellIoT: Intelligent, distributed, human-centered and trustworthy IoT environments
Funded by the European Commission (HORIZON 2020, ref. number: 60030). 2022–2023.

Service

2026: Reviewer, IEEE Transactions on Software Engineering (TSE)
2025: ISSTA (Artifact Evaluation Committee)

Talks

Seminar Presentation @AUEB’s BALAB (2024): Broken Agreement: The Evolution of Solidity Error Handling
PL-Seminar @National Technical University of Athens, Software Engineering Laboratory (2023): Syntax-Aware Mutation for Testing the Solidity Compiler
Seminar Presentation @AUEB’s BALAB (2023): Syntax-Aware Mutation for Testing the Solidity Compiler

Teaching

Computer Security. Technical University of Crete. BSc Course, 5th semester. Teaching Assistant. 2022–Today.