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

    • Construction of Arbitrarily Strong Amplifiers of Natural Selection Using Evolutionary Graph Theory (pdf) (suppl) (in press 1) (in press 2)
      A. Pavlogiannis, J. Tkadlec, K. Chatterjee, Martin A. Nowak
      Comms Bio

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

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

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

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

  • 2017

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

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

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

  • 2016

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

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

  • 2015

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

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

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

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

  • 2014

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

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

  • 2013

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

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

  • 2011

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

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

  • 2010

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

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