Andreas Pavlogiannis

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 78

Top Topics

Partial Order Reduction

Bounded Treewidth

Top Venues

Proc. ACM Program. Lang.

Publications

Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis
How Hard Is Weak-Memory Testing? Proc. ACM Program. Lang. 8 (POPL) (2024)
Petros Petsinis, Kaichen Zhang, Andreas Pavlogiannis, Jingbo Zhou, Panagiotis Karras
Robust Reward Placement under Uncertainty. CoRR (2024)
Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. ASPLOS (3) (2024)
Zheng Shi, Umang Mathur, Andreas Pavlogiannis
Optimistic Prediction of Synchronization-Reversal Data Races. CoRR (2024)
Zheng Shi, Umang Mathur, Andreas Pavlogiannis
Optimistic Prediction of Synchronization-Reversal Data Races. ICSE (2024)
Giovanna Kobus Conrado, Andreas Pavlogiannis
A Better Approximation for Interleaved Dyck Reachability. SOAP@PLDI (2024)
Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe
On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. Proc. ACM Program. Lang. 8 (POPL) (2024)
Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis
CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. CoRR (2024)
Petros Petsinis, Andreas Pavlogiannis, Josef Tkadlec, Panagiotis Karras
Seed Selection in the Heterogeneous Moran Process. CoRR (2024)
Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol, Andreas Pavlogiannis
Fast Symbolic Computation of Bottom SCCs. TACAS (3) (2024)
Casper Abild Larsen, Simon Meldahl Schmidt, Jesper Steensgaard, Anna Blume Jakobsen, Jaco van de Pol, Andreas Pavlogiannis
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. TACAS (2) (2023)
Petros Petsinis, Andreas Pavlogiannis, Panagiotis Karras
Maximizing the Probability of Fixation in the Positional Voter Model. AAAI (2023)
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
Sound Dynamic Deadlock Prediction in Linear Time. CoRR (2023)
Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
How Hard is Weak-Memory Testing? CoRR (2023)
Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
Sound Dynamic Deadlock Prediction in Linear Time. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Parosh Aziz Abdulla, Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç
Optimal Reads-From Consistency Checking for C11-Style Memory Models. CoRR (2023)
Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe
On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. CoRR (2023)
Adam Husted Kjelstrøm, Andreas Pavlogiannis
The decidability and complexity of interleaved bidirected Dyck reachability. Proc. ACM Program. Lang. 6 (POPL) (2022)
Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, Andreas Pavlogiannis
Efficient approximations for cache-conscious data placement. PLDI (2022)
Loke Durocher, Panagiotis Karras, Andreas Pavlogiannis, Josef Tkadlec
Invasion Dynamics in the Biased Voter Process. CoRR (2022)
Krishnendu Chatterjee, Jakub Svoboda, Dorde Zikelic, Andreas Pavlogiannis, Josef Tkadlec
Social Balance on Networks: Local Minima and Best Edge Dynamics. CoRR (2022)
Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche
Reachability in Bidirected Pushdown VASS. ICALP (2022)
Joachim Brendborg, Panagiotis Karras, Andreas Pavlogiannis, Asger Ullersted Rasmussen, Josef Tkadlec
Fixation Maximization in the Positional Moran Process. CoRR (2022)
Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schütze, Georg Zetzsche
Reachability in Bidirected Pushdown VASS. CoRR (2022)
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
A tree clock data structure for causal orderings in concurrent executions. ASPLOS (2022)
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. CoRR (2022)
Joachim Brendborg, Panagiotis Karras, Andreas Pavlogiannis, Asger Ullersted Rasmussen, Josef Tkadlec
Fixation Maximization in the Positional Moran Process. AAAI (2022)
Andreas Pavlogiannis
CFL/Dyck Reachability: An Algorithmic Perspective. ACM SIGLOG News 9 (4) (2022)
Umang Mathur, Andreas Pavlogiannis
Dynamic data race prediction: fundamentals, theory, and practice (tutorial). ESEC/SIGSOFT FSE (2022)
Petros Petsinis, Andreas Pavlogiannis, Panagiotis Karras
Maximizing the Probability of Fixation in the Positional Voter Model. CoRR (2022)
Loke Durocher, Panagiotis Karras, Andreas Pavlogiannis, Josef Tkadlec
Invasion Dynamics in the Biased Voter Process. IJCAI (2022)
Anders Alnor Mathiasen, Andreas Pavlogiannis
The fine-grained and parallel complexity of andersen's pointer analysis. Proc. ACM Program. Lang. 5 (POPL) (2021)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods Syst. Des. 57 (3) (2021)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Quantitative Verification on Product Graphs of Small Treewidth. FSTTCS (2021)
Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis
Dynamic Data-Race Detection Through the Fine-Grained Lens. CONCUR (2021)
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
Optimal prediction of synchronization-preserving races. Proc. ACM Program. Lang. 5 (POPL) (2021)
Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman
Stateless Model Checking under a Reads-Value-From Equivalence. CoRR (2021)
Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman
Stateless Model Checking Under a Reads-Value-From Equivalence. CAV (1) (2021)
Jakob Cetti Hansen, Adam Husted Kjelstrøm, Andreas Pavlogiannis
Tight bounds for reachability problems on one-counter and pushdown systems. Inf. Process. Lett. 171 (2021)
Adam Husted Kjelstrøm, Andreas Pavlogiannis
The Decidability and Complexity of Interleaved Bidirected Dyck Reachability. CoRR (2021)
Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis
Dynamic Data-Race Detection through the Fine-Grained Lens. CoRR (2021)
Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman
The reads-from equivalence for the TSO and PSO memory models. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
The Complexity of Dynamic Data Race Prediction. LICS (2020)
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
The Complexity of Dynamic Data Race Prediction. CoRR (2020)
Andreas Pavlogiannis, Nico Schaumberger, Ulrich Schmid, Krishnendu Chatterjee
Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. ESOP (2020)
Josef Tkadlec, Andreas Pavlogiannis, Krishnendu Chatterjee, Martin A. Nowak
Limits on amplifiers of natural selection under death-Birth updating. PLoS Comput. Biol. 16 (1) (2020)
Andreas Pavlogiannis
Fast, sound, and effectively complete dynamic race prediction. Proc. ACM Program. Lang. 4 (POPL) (2020)
Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth. CoRR (2020)
Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
Optimal Prediction of Synchronization-Preserving Races. CoRR (2020)
Andreas Pavlogiannis
The Fine-Grained Complexity of Andersen's Pointer Analysis. CoRR (2020)
Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. ATVA (2020)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis. CoRR (2020)
Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman
The Reads-From Equivalence for the TSO and PSO Memory Models. CoRR (2020)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Nastaran Okati, Andreas Pavlogiannis
Efficient parameterized algorithms for data packing. Proc. ACM Program. Lang. 3 (POPL) (2019)
Andreas Pavlogiannis
Fast, Sound and Effectively Complete Dynamic Race Detection. CoRR (2019)
Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman
Value-centric dynamic partial order reduction. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Krishnendu Chatterjee, Bhavya Choudhary, Andreas Pavlogiannis
Optimal Dyck Reachability for Data-Dependence and Alias Analysis. CoRR (2019)
Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman
Value-centric Dynamic Partial Order Reduction. CoRR (2019)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth. ACM Trans. Program. Lang. Syst. 41 (4) (2019)
Josef Tkadlec, Andreas Pavlogiannis, Krishnendu Chatterjee, Martin A. Nowak
Fixation probability and fixation time in structured populations. CoRR (2018)
Andreas Pavlogiannis, Josef Tkadlec, Krishnendu Chatterjee, Martin A. Nowak
Strong Amplifiers of Natural Selection: Proofs. CoRR (2018)
Marek Chalupa, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, Kapil Vaidya
Data-centric dynamic partial order reduction. Proc. ACM Program. Lang. 2 (POPL) (2018)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, Andreas Pavlogiannis
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. ACM Trans. Program. Lang. Syst. 40 (3) (2018)
Krishnendu Chatterjee, Bhavya Choudhary, Andreas Pavlogiannis
Optimal Dyck reachability for data-dependence and alias analysis. Proc. ACM Program. Lang. 2 (POPL) (2018)
Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid
Automated competitive analysis of real-time scheduling with graph games. Real Time Syst. 54 (1) (2018)
Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis
Faster Algorithms for Weighted Recursive State Machines. CoRR (2017)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis
JTDec: A Tool for Tree Decompositions in Soot. ATVA (2017)
Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis
Faster Algorithms for Weighted Recursive State Machines. ESOP (2017)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Algorithms for algebraic path properties in concurrent systems of constant treewidth components. POPL (2016)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs. ESA (2016)
Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, Kapil Vaidya
Data-centric Dynamic Partial Order Reduction. CoRR (2016)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal
Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth. POPL (2015)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. CAV (1) (2015)
Krishnendu Chatterjee, Andreas Pavlogiannis, Yaron Velner
Quantitative Interprocedural Analysis. POPL (2015)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. CoRR (2015)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. CoRR (2015)
Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid
A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. RTSS (2014)
Krishnendu Chatterjee, Andreas Pavlogiannis, Ben Adlam, Martin A. Nowak
The Time Scale of Evolutionary Innovation. PLoS Comput. Biol. 10 (9) (2014)
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal
Faster Algorithms for Algebraic Path Properties in RSMs with Constant Treewidth. CoRR (2014)
Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid
A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. CoRR (2014)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Andreas Pavlogiannis
Distributed synthesis for LTL fragments. FMCAD (2013)
Andreas Pavlogiannis, Vadim Mozhayskiy, Ilias Tagkopoulos
A flood-based information flow analysis and network minimization method for gene regulatory networks. BMC Bioinform. 14 (2013)
Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis
Passively mobile communicating machines that use restricted space. Theor. Comput. Sci. 412 (46) (2011)
Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis
Passively mobile communicating machines that use restricted space. FOMC (2011)
Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis
) Are Stably Computable by the Mediated Population Protocol Model. MFCS (2010)
Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis
Passively Mobile Communicating Logarithmic Space Machines CoRR (2010)
Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis
Passively Mobile Communicating Machines that Use Restricted Space CoRR (2010)