Andreas Pavlogiannis

Andreas Pavlogiannis 

Andreas Pavlogiannis
PhD
IST Austria

andreas.pavlogiannis<at>epfl<dot>ch

DBLP, Google Scholar

CV


My research interests revolve around the algorithmic and mathematical analysis of systems. My primary line of work is on programming languages and formal verification of software, with an emphasis on quantitative and concurrency aspects. I develop algorithms which reason about system correctness and performance, and typically offer complexity guarantees. I also study evolutionary systems, mainly ones that arise in a biological or social context. To this end, I contribute to the fields of evolutionary graph theory and evolutionary game theory.

Education & Employment

Publications

(provided papers are personal copies, sometimes revised after publication)

  • 2018

    • M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya:
      Data-centric Dynamic Partial Order Reduction.
      POPL 2018

    • K. Chatterjee, B. Choudhary, A. Pavlogiannis:
      Optimal Dyck Reachability for Data-dependence and Alias Analysis.
      POPL 2018

  • 2017

    • K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid:
      Automated Competitive Analysis of Real-time Scheduling with Graphs and Games. (pdf)
      RTS

    • K. Chatterjee, A. K. Goharshady, A. Pavlogiannis:
      JTDec: A Tool for Tree Decompositions in Soot. (pdf)
      ATVA 2017

    • A. Pavlogiannis, J. Tkadlec, K. Chatterjee, Martin A. Nowak:
      Amplification on Undirected Population Structures: Comets Beat Stars. (pdf) (suppl)
      Sci Rep

    • K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis:
      Faster Algorithms for Weighted Recursive State Machines. (pdf)
      ESOP 2017

  • 2016

    • K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis:
      Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs. (pdf) (slides)
      ESA 2016

    • K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis:
      Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. (pdf) (slides)
      POPL 2016

  • 2015

    • A. Pavlogiannis, K. Chatterjee, B. Adlam, M. A. Nowak:
      Cellular Cooperation with Shift Updating and Repulsion. (pdf) (suppl)
      Sci Rep

    • K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis:
      Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. (pdf) (slides)
      CAV 2015

    • K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal:
      Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth. (pdf) (slides)
      POPL 2015

    • K. Chatterjee, A. Pavlogiannis, Y. Velner:
      Quantitative Interprocedural Analysis. (pdf)
      POPL 2015

  • 2014

    • K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid:
      A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. (pdf) (slides)
      RTSS 2014

    • K. Chatterjee, A. Pavlogiannis, B. Adlam, M. A. Nowak:
      The Time Scale of Evolutionary Innovation. (pdf) (suppl) (slides)
      PLoS Comput Biol

  • 2013

    • K. Chatterjee, T. A. Henzinger, J. Otop, A. Pavlogiannis:
      Distributed synthesis for LTL fragments. (pdf) (slides)
      FMCAD 2013

    • A. Pavlogiannis, V. Mozhayskiy, I. Tagkopoulos:
      A flood-based information flow analysis and network minimization method for gene regulatory networks. (pdf)
      BMC Bioinformatics

  • 2011

    • I. Chatzigiannakis, O. Michail, S. Nikolaou, A. Pavlogiannis, P. G. Spirakis:
      Passively Mobile Communicating Machines that Use Restricted Space. (pdf)
      Theor. Comput. Sci. 2011

    • I.Chatzigiannakis, O.Michail, S. Nikolaou, A. Pavlogiannis, P. G. Spirakis:
      Passively mobile communicating machines that use restricted space. (pdf) (slides)
      FOMC 2011

  • 2010

    • I.Chatzigiannakis, O. Michail, S. Nikolaou, A. Pavlogiannis, P. G. Spirakis:
      All Symmetric Predicates in NSPACE(n^2) Are Stably Computable by the Mediated Population Protocol Model. (pdf)
      MFCS 2010

    • A. Filipas, I.Chatzigiannakis, O. Michail, S. Nikolaou, A. Pavlogiannis, P. G. Spirakis:
      Computational Models for Wireless Sensor Networks: A Survey. (pdf)
      Eureka! 2010