Andreas Pavlogiannis
 |
Andreas Pavlogiannis PhD, IST Austria Assistant Professor Programming Languages group Department of Computer Science Aarhus University DIGIT Automated Verification and Synthesis CV, DBLP, Google Scholar |
Contact:
lastname@cs.au.dk Turing-223 IT-parken, Aabogade 34 DK-8200 Aarhus N, Denmark |
Research Interests
formal methods, algorithmic verification, automata theory, foundations of model checking, concurrency, static & dynamic program analysis
population dynamics, evolutionary graph theory, evolutionary game theory
I have positions for motivated PhD students in algorithmic verification.
Interested applicants are encouraged to contact me with a CV and a short description of interests.
Refer to our PhD program for applications.
I have openings for internships (flexible). Drop me an email if interested.
Teaching
Talent Track Course (Spring 2020, Fall 2020, Spring 2021)
Algorithmic Model Checking (from Spring 2022, with Jaco van de Pol)
Advanced Topics in Programming Language Theory (from Fall 2022, with Bas Spitters and Amin Timany)
Service
Program Committees: POPL’21, ESOP’22Regular Reviewer for: TOPLAS, IPL, PLoS Comput Biol
Publications
| CONCUR 2021 | Dynamic Data Race Detection through the Fine-Grained Lens (pdf) | ||
| R. Kulkarni, U. Mathur, A. Pavlogiannis | |||
| OOPSLA 2021 | The Reads-From Equivalence for the TSO and PSO Memory Models (pdf) | ||
| T. L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman | |||
| Nature Communications | Fast and Strong Amplifiers of Natural Selection (pdf) (suppl) | ||
| J. Tkadlec*, A. Pavlogiannis*, K. Chatterjee, M. A. Nowak | |||
| IPL | Tight Bounds for Reachability Problems on One-Counter and Pushdown Systems (pdf) | ||
| J. C. Hansen, A. H. Kjelstrom and A. Pavlogiannis | |||
| CAV 2021 | Stateless Model Checking under a Reads-Value-From Equivalence (pdf) | ||
| P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis and V. Toman | |||
| FMSD 2021 | Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs (pdf) | ||
| K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis | |||
| POPL 2021 | Optimal Prediction of Synchronization-Preserving Races (pdf) (slides) | ||
| U. Mathur, A. Pavlogiannis and M. Viswanathan | |||
| POPL 2021 | The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis (pdf) (slides) | ||
| A. A. Mathiasen, A. Pavlogiannis | |||
| EMSOFT 2020 | Precedence-aware Automated Competitive Analysis of Real-time Scheduling (pdf) (slides) | ||
| A. Pavlogiannis*, N. Schaumberger, U. Schmid and K. Chatterjee | |||
| ATVA 2020 | Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth (pdf, video) | ||
| A. Asadi, K. Chatterjee, A. K. Goharshady, K. Mohammadi and A. Pavlogiannis | |||
| LICS 2020 | The Complexity of Dynamic Data Race Prediction (pdf) (slides) | ||
| U. Mathur, A. Pavlogiannis and M. Viswanathan | |||
| ESOP 2020 | Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis (pdf) | ||
| K. Chatterjee, A. Kafshdar Goharshady, R. Ibsen-Jensen and A. Pavlogiannis | |||
| POPL 2020 | Fast, Sound, and Effectively Complete Dynamic Race Prediction (pdf)(slides) | ||
| A. Pavlogiannis | |||
| PLoS Comput Biol | Limits on Amplifiers of Natural Selection under death-Birth Updating (pdf) (suppl) | ||
| J. Tkadlec*, A. Pavlogiannis*, K. Chatterjee, M. A. Nowak | |||
| TOPLAS | Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth (pdf) | ||
| K. Chatterjee, A. K. Goharshady, P. Goyal, R. Ibsen-Jensen, A. Pavlogiannis | |||
| OOPSLA 2019 | Value-Centric Dynamic Partial Order Reduction (pdf)(slides) | ||
| K. Chatterjee, A. Pavlogiannis, V. Toman | |||
| POPL 2019 | Efficient Parameterized Algorithms for Data Packing (pdf) | ||
| K. Chatterjee, A. K. Goharshady, N. Okati, A. Pavlogiannis | |||
| Communications Biology | Population structure determines the tradeoff between fixation probability and fixation time (pdf) (suppl) | ||
| J. Tkadlec*, A. Pavlogiannis*, K. Chatterjee, Martin A. Nowak | |||
| Communications Biology | Construction of Arbitrarily Strong Amplifiers of Natural Selection Using Evolutionary Graph Theory (pdf) (suppl) (suppl-long) (Quanta) (Wired)(Com Bio Highlights) | ||
| A. Pavlogiannis*, J. Tkadlec*, K. Chatterjee, Martin A. Nowak | |||
| TOPLAS | Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components (pdf) | ||
| K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis | |||
| POPL 2018 | 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 | |||
| RTS | Automated Competitive Analysis of Real-time Scheduling with Graphs and Games (pdf) | ||
| K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid | |||
| ATVA 2017 | JTDec: A Tool for Tree Decompositions in Soot (pdf) | ||
| K. Chatterjee, A. K. Goharshady, A. Pavlogiannis | |||
| Scientific Reports | Amplification on Undirected Population Structures: Comets Beat Stars (pdf) (suppl) | ||
| A. Pavlogiannis*, J. Tkadlec*, K. Chatterjee, Martin A. Nowak | |||
| ESOP 2017 | Faster Algorithms for Weighted Recursive State Machines (pdf) | ||
| K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis | |||
| ESA 2016 | Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs (pdf) (slides) | ||
| K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis | |||
| POPL 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 | |||
| Scientific Reports | Cellular Cooperation with Shift Updating and Repulsion (pdf) (suppl) | ||
| A. Pavlogiannis*, K. Chatterjee, B. Adlam, M. A. Nowak | |||
| CAV 2015 | Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs (pdf) (slides) | ||
| K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis | |||
| POPL 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 | |||
| RTSS 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 | |||
| PLoS Comput Biol | The Time Scale of Evolutionary Innovation (pdf) (suppl) (slides) | ||
| K. Chatterjee*, A. Pavlogiannis, B. Adlam, M. A. Nowak | |||
| FMCAD 2013 | Distributed synthesis for LTL fragments (pdf) (slides) | ||
| K. Chatterjee, T. A. Henzinger, J. Otop, A. Pavlogiannis | |||
| BMC Bioinformatics | A flood-based information flow analysis and network minimization method for gene regulatory networks (pdf) | ||
| A. Pavlogiannis*, V. Mozhayskiy, I. Tagkopoulos | |||
| Theor. Comput. Sci. 2011 | Passively Mobile Communicating Machines that Use Restricted Space (pdf) | ||
| I. Chatzigiannakis, O. Michail, S. Nikolaou, A. Pavlogiannis, P. G. Spirakis | |||
| FOMC 2011 | Passively mobile communicating machines that use restricted space (pdf) (slides) | ||
| I.Chatzigiannakis, O.Michail, S. Nikolaou, A. Pavlogiannis, P. G. Spirakis | |||
| MFCS 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 | |||
| Eureka! 2010 | Computational Models for Wireless Sensor Networks: A Survey (pdf) | ||
| A. Filipas, I.Chatzigiannakis, O. Michail, S. Nikolaou, A. Pavlogiannis, P. G. Spirakis |