Andreas Pavlogiannis

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