Andreas Pavlogiannis
  • Åbogade 34

    8200 Aarhus N

    Denmark

20112024

Research activity per year

Fingerprint

Dive into the research topics where Andreas Pavlogiannis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis

    Tunç, H. C., Deshmukh, A. P., Çirisci, B., Enea, C. & Pavlogiannis, A., Apr 2024, ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. New York: Association for Computing Machinery, Vol. 3. p. 223-238 16 p.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Fast Symbolic Computation of Bottom SCCs

    Jakobsen, A. B., Jørgensen, R. S. M., van de Pol, J. & Pavlogiannis, A., 2024, Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024. Finkbeiner, B. & Kovács, L. (eds.). Cham: Springer, p. 110-128 19 p. (Lecture Notes in Computer Science, Vol. 14572 LNCS).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access
  • How Hard Is Weak-Memory Testing?

    Chakraborty, S., Krishna, S. N., Mathur, U. & Pavlogiannis, A., Jan 2024, In: Proceedings of the ACM on Programming Languages . 8, 66.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

    Open Access
  • On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability

    Krishna, S., Lal, A., Pavlogiannis, A. & Tuppe, O., Jan 2024, In: Proceedings of the ACM on Programming Languages . 8, POPL, p. 1239-1268 30 p.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

    Open Access
  • A Truly Symbolic Linear-Time Algorithm for SCC Decomposition

    Larsen, C. A., Schmidt, S. M., Steensgaard, J., Jakobsen, A. B., Pol, J. V. D. & Pavlogiannis, A., Apr 2023, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. Sankaranarayanan, S. & Sharygina, N. (eds.). Cham: Springer, p. 353-371 19 p. (Lecture Notes in Computer Science, Vol. 13994).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Open Access