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

ECOOP 2023 Committee Member in Artifact Evaluation Committee within the Artifacts-track
Committee Member in Extended Review Committee within the Research Papers-track
PLDI 2023 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2023 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2022 In-person student volunteer in Organizers within the Student Volunteers-track
Author of A Study of Inline Assembly in Solidity Smart Contracts within the OOPSLA-track
PLDI 2022 Author of (OOPSLA 2020) A Model for Detecting Faults in Build Specifications within the SIGPLAN Track-track
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Author of Finding Typing Compiler Bugs within the PLDI-track
Author of (OOPSLA 2021) Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers within the SIGPLAN Track-track
SPLASH 2021 Author of Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ESEC/FSE 2021 Committee Member in Student Volunteers
ICSE 2021 Author of Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems within the AE - Artifact Evaluation-track
Author of Data-Oriented Differential Testing of Object-Relational Mapping Systems within the Technical Track-track
SPLASH 2020 Author of A Model for Detecting Faults in Build Specifications within the OOPSLA-track
Author of A Model for Detecting Faults in Build Specifications within the OOPSLA Artifacts-track