All Stories

  1. Unfulfilled Promises: LLM-Based Detection of OS Compatibility Issues in Infrastructure as Code

    Article • Proceedings of the ACM on Software Engineering, June 2026, ACM (Association for Computing Machinery)

    Georgios-Petros Drosos, Thodoris Sotiropoulos

  2. Enumerating Ill-Typed Programs for Testing Type Analyzers

    Article • Proceedings of the ACM on Programming Languages, June 2026, ACM (Association for Computing Machinery)

    Thodoris Sotiropoulos

  3. Evaluating Compiler Optimization Impacts on zkVM Performance

    Article • March 2026, ACM (Association for Computing Machinery)

    Thodoris Sotiropoulos, Thomas Gassmann

  4. Validating Soundness and Completeness in Pattern-Match Coverage Analyzers

    Article • Proceedings of the ACM on Programming Languages, October 2025, ACM (Association for Computing Machinery)

    Thodoris Sotiropoulos

  5. Semantic Reification: A New Paradigm for Random Program Generation

    Article • Proceedings of the ACM on Programming Languages, June 2025, ACM (Association for Computing Machinery)

    Thodoris Sotiropoulos

  6. When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems

    Article • Proceedings of the ACM on Programming Languages, October 2024, ACM (Association for Computing Machinery)

    Georgios-Petros Drosos, Thodoris Sotiropoulos

  7. API-driven Program Synthesis for Finding Bugs in Type Checkers

    Article • Proceedings of the ACM on Programming Languages, January 2024, ACM (Association for Computing Machinery)

    Thodoris Sotiropoulos