All Stories

  1. 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

  2. Evaluating Compiler Optimization Impacts on zkVM Performance

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

    Thodoris Sotiropoulos, Thomas Gassmann

  3. 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

  4. 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

  5. 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

  6. 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