All Stories

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

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

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