Stefanos Chaliasos

Registered user since Fri 11 Feb 2022

Name:Stefanos Chaliasos
Bio:

Stefanos Chaliasos is a PhD candidate advised by Dr Ben Livshits and Dr Arthur Gervais at Imperial College London. He holds an MSc in Computer Science from the National and Kapodistrian University of Athens and a BSc in Management Science and Technology from the Athens University of Economics and Business. He has previously worked in the industry as a software engineer at Greek Research and Technology Network (GRNET) and as a researcher in the FASTEN project. His main research interests involve Computer Security, Software Testing, Program Analysis, and Programming Languages.

Country:United Kingdom
Affiliation:Imperial College London
Research interests:Computer Security, Software Testing, Program Analysis

Contributions

PLDI 2022 (OOPSLA 2020) A Model for Detecting Faults in Build Specifications
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Finding Typing Compiler Bugs
(OOPSLA 2021) Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers
Show activities from other conferences

PLDI 2022-profile
View general profile