Andreas Pavlogiannis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
31
Venues
19
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
31 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | An MSO Framework for Weak-Memory Verification and Robustness. | Giovanna Kobus Conrado, Andreas Pavlogiannis |
| 2025 | CAV | sfGPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency. | Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe |
| 2025 | RC | On Exact Sizes of Minimal CNOT Circuits. | Jens Emil Christensen, Sren Fuglede Jrgensen, Andreas Pavlogiannis, Jaco van de Pol |
| 2024 | APWEB | Reachability-Aware Fair Influence Maximization. | Wenyue Ma, Maximilian K. Egger, Andreas Pavlogiannis, Yuchen Li, Panagiotis Karras |
| 2024 | ASPLOS | CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. | Hnkar Can Tun, Ameya Prashant Deshmukh, Berk irisci, Constantin Enea, Andreas Pavlogiannis |
| 2024 | IJCAI | Seed Selection in the Heterogeneous Moran Process. | Petros Petsinis, Andreas Pavlogiannis, Josef Tkadlec, Panagiotis Karras |
| 2024 | IJCAI | Robust Reward Placement under Uncertainty. | Petros Petsinis, Kaichen Zhang, Andreas Pavlogiannis, Jingbo Zhou, Panagiotis Karras |
| 2024 | ICSE | Optimistic Prediction of Synchronization-Reversal Data Races. | Zheng Shi, Umang Mathur, Andreas Pavlogiannis |
| 2024 | TACAS | Fast Symbolic Computation of Bottom SCCs. | Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jrgensen, Jaco van de Pol, Andreas Pavlogiannis |
| 2023 | AAAI | Maximizing the Probability of Fixation in the Positional Voter Model. | Petros Petsinis, Andreas Pavlogiannis, Panagiotis Karras |
| 2023 | TACAS | A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. | Casper Abild Larsen, Simon Meldahl Schmidt, Jesper Steensgaard, Anna Blume Jakobsen, Jaco van de Pol, Andreas Pavlogiannis |
| 2022 | AAAI | Fixation Maximization in the Positional Moran Process. | Joachim Brendborg, Panagiotis Karras, Andreas Pavlogiannis, Asger Ullersted Rasmussen, Josef Tkadlec |
| 2022 | ASPLOS | A tree clock data structure for causal orderings in concurrent executions. | Umang Mathur, Andreas Pavlogiannis, Hnkar Can Tun, Mahesh Viswanathan |
| 2022 | ICALP | Reachability in Bidirected Pushdown VASS. | Moses Ganardi, Rupak Majumdar, Andreas Pavlogiannis, Lia Schtze, Georg Zetzsche |
| 2022 | IJCAI | Invasion Dynamics in the Biased Voter Process. | Loke Durocher, Panagiotis Karras, Andreas Pavlogiannis, Josef Tkadlec |
| 2022 | PLDI | Efficient approximations for cache-conscious data placement. | Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, Andreas Pavlogiannis |
| 2021 | CAV | Stateless Model Checking Under a Reads-Value-From Equivalence. | Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman |
| 2021 | CONCUR | Dynamic Data-Race Detection Through the Fine-Grained Lens. | Rucha Kulkarni, Umang Mathur, Andreas Pavlogiannis |
| 2020 | ATVA | Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. | Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis |
| 2020 | ESOP | Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis |
| 2020 | LICS | The Complexity of Dynamic Data Race Prediction. | Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan |
| 2017 | ATVA | JTDec: A Tool for Tree Decompositions in Soot. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis |
| 2017 | ESOP | Faster Algorithms for Weighted Recursive State Machines. | Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis |
| 2016 | ESA | Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs. | Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis |
| 2016 | POPL | Algorithms for algebraic path properties in concurrent systems of constant treewidth components. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis |
| 2015 | CAV | Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. | Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis |
| 2015 | POPL | Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth. | Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal |
| 2015 | POPL | Quantitative Interprocedural Analysis. | Krishnendu Chatterjee, Andreas Pavlogiannis, Yaron Velner |
| 2014 | RTSS | A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. | Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kler, Ulrich Schmid |
| 2013 | FMCAD | Distributed synthesis for LTL fragments. | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Andreas Pavlogiannis |
| 2010 | MFCS | All Symmetric Predicates in | Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis |