Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Georgios Alexopoulos

dblp:185/0347 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
3since 2021 · last 2026
0009-0005-8947-2075ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 2 since 2021Security and privacy · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
3 papers
Software maintenance and evolution · 57% Empirical software engineering · 36% Program analysis · 7%
Network and information security
1 paper
Systems and software security · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Cloud and datacenter computing · 100%

Topics — the 7 heaviest of 8, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Systems and software security
vulnerability discovery
1.012026
Best of Both Worlds: Effective Foreign Bridge Identification in V8 Embedders for Security Analysis · SP 2026
Software maintenance and evolution › software ecosystems
dependency management
0.912025
PyTrim: A Practical Tool for Reducing Python Dependency Bloat · ASE 2025
Empirical software engineering › mining software repositories › bug report analysis
bug characterization
0.812024
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems · Proc. ACM Program. Lang. 2024
Software maintenance and evolution › devops
infrastructure as code
0.812024
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems · Proc. ACM Program. Lang. 2024
Empirical software engineering
mining software repositories
0.812024
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems · Proc. ACM Program. Lang. 2024
Software maintenance and evolution
software ecosystems
0.812024
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems · Proc. ACM Program. Lang. 2024
Program analysis
static analysis
0.312026
Best of Both Worlds: Effective Foreign Bridge Identification in V8 Embedders for Security Analysis · SP 2026

Methods — techniques the papers use, named apart from their topics

security analysis · 2.0root cause analysis · 1.5bug analysis · 1.5static analysis · 0.9dynamic analysis · 0.9
YearPublicationVenuePosition
2026 Best of Both Worlds: Effective Foreign Bridge Identification in V8 Embedders for Security Analysis
Georgios Alexopoulos, Thodoris Sotiropoulos, Zhendong Su 0001, Dimitris Mitropoulos
SP1
2025 PyTrim: A Practical Tool for Reducing Python Dependency Bloat
abstract
Dependency bloat is a persistent challenge in Python projects, which increases maintenance costs and security risks. While numerous tools exist for detecting unused dependencies in Python, removing these dependencies across the source code and configuration files of a project requires manual effort and expertise. To tackle this challenge we introduce PYTRIM, an end-to-end system to automate this process. PYTRIM eliminates unused imports and package declarations across a variety of file types, including Python source and configuration files such as requirements.txt and setup.py. PYTRIM’s modular design makes it agnostic to the source of dependency bloat information, enabling integration with any detection tool. Beyond its contribution when it comes to automation, PYTRIM also incorporates a novel dynamic analysis component that improves dependency detection recall. Our evaluation of PYTRIM’s end-to-end effectiveness on a ground-truth dataset of 37 merged pull requests from prior work, shows that PYTRIM achieves 98.3% accuracy in replicating human-made changes. To show its practical impact, we run PYTRIM on 971 open-source packages, identifying and trimming bloated dependencies in 39 of them. For each case, we submit a corresponding pull request, 14 of which have already been accepted and merged. PYTRIM is available as an open-source project, encouraging community contributions and further development.Video demonstration: https://youtu.be/LqTEdOUbJRICode repository: https://github.com/TrimTeam/PyTrim
Konstantinos Karakatsanis, Georgios Alexopoulos, Ioannis Karyotakis, Foivos Timotheos Proestakis, Evangelos Talos, Panagiotis Louridas, Dimitris Mitropoulos
ASE2
2024 When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
abstract
Modern applications have become increasingly complex and their manual installation and configuration is no longer practical. Instead, IT organizations heavily rely on Infrastructure as Code (IaC) technologies, to automate the provisioning, configuration, and maintenance of computing infrastructures and systems. IaC systems typically offer declarative, domain-specific languages (DSLs) that allow system administrators and developers to write high-level programs that specify the desired state of their infrastructure in a reliable, predictable, and documented fashion. Just like traditional programs, IaC software is not immune to faults, with issues ranging from deployment failures to critical misconfigurations that often impact production systems used by millions of end users. Surprisingly, despite its crucial role in global infrastructure management, the tooling and techniques for ensuring IaC reliability still have room for improvement. In this work, we conduct a comprehensive analysis of 360 bugs identified in IaC software within prominent IaC ecosystems including Ansible, Puppet, and Chef. Our work is the first in-depth exploration of bug characteristics in these widely-used IaC environments. Through our analysis we aim to understand: (1) how these bugs manifest, (2) their underlying root causes, (3) their reproduction requirements in terms of system state (e.g., operating system versions) or input characteristics, and (4) how these bugs are fixed. Based on our findings, we evaluate the state-of-the-art techniques for IaC reliability, identify their limitations, and provide a set of recommendations for future research. We believe that our study helps researchers to (1) better understand the complexity and peculiarities of IaC software, and (2) develop advanced tooling for more reliable and robust system configurations.
Georgios-Petros Drosos, Thodoris Sotiropoulos, Georgios Alexopoulos, Dimitris Mitropoulos, Zhendong Su 0001
Proc. ACM Program. Lang.3