15 citations · 23 across the 6 of their papers we have counts for
9 papers
Reducing Cold-Start Latency in Serverless Applications via Dynamic Slicing
Georgios Alexopoulos, Konstantinos Karakatsanis, Nikolaos Alexopoulos +2
We present PyXtrim, a system that reduces the cold-start latency of serverless applications through debloating. We focus on Python, a dominant language for serverless applications…
Cross-Ecosystem Vulnerability Analysis for Python Applications
Georgios Alexopoulos, Nikolaos Alexopoulos, Thodoris Sotiropoulos +3
Python packages often bundle third-party native libraries (e.g., OpenSSL), a practice known as vendoring. Identifying vulnerabilities in these libraries is challenging because curr…
Evaluating Compiler Optimization Impacts on zkVM Performance
Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos +1
Zero-knowledge proofs (ZKPs) are the cornerstone of programmable cryptography. They enable (1) privacy-preserving and verifiable computation across blockchains, and (2) an expandin…
Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations
Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su
We introduce a novel approach for testing static typing implementations based on the concept of API-driven program synthesis. The idea is to synthesize type-intensive but small and…
PyCG: Practical Call Graph Generation in Python
Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas +2
Call graphs play an important role in different contexts, such as profiling and vulnerability propagation analysis. Generating call graphs in an efficient manner can be a challengi…
Search Engine Similarity Analysis: A Combined Content and Rankings Approach
Konstantina Dritsa, Thodoris Sotiropoulos, Haris Skarpetis +1
How different are search engines? The search engine wars are a favorite topic of on-line analysts, as two of the biggest companies in the world, Google and Microsoft, battle for pr…