Andreas Pavlogiannis

Publikation

Publikationer pr. år 2011 2015 2020 2021 2022 2024 2025

• 30 Tidsskriftartikel
• 27 Konferencebidrag i proceedings
• 4 Konferenceartikel
• 1 Working paper

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2025

  CFL-based methods for approximating interleaved Dyck reachability

  Conrado, G. K. & Pavlogiannis, A., 2025, (E-pub / Early view) I: International Journal on Software Tools for Technology Transfer. 106135.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Approximation (Algorithm) 100%
  • Static Program Analysis 100%
  • Graph Information 100%
  • Unreachable Path 33%

• Program Analysis via Multiple Context Free Language Reachability

  Conrado, G. K., Kjelstrøm, A. H., Van De Pol, J. & Pavlogiannis, A., jan. 2025, I: Proceedings of the ACM on Programming Languages . 9, 18.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Program Analysis 100%
  • context-free language 100%
  • Context Free Languages 100%
  • Multiple Context Free Language 100%
  • Static Program Analysis 57%
• 2024

  A Better Approximation for Interleaved Dyck Reachability

  Conrado, G. K. & Pavlogiannis, A., jun. 2024, SOAP 2024 - Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery, s. 18-25 8 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

  Åben adgang

  • Refinement Algorithm 100%
  • Approximation (Algorithm) 100%
  • Static Program Analysis 50%
  • Undecidable 33%
  • Standard Graphs 33%
  2 Citationer (Scopus)

• CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis

  Tunç, H. C., Deshmukh, A. P., Çirisci, B., Enea, C. & Pavlogiannis, A., apr. 2024, ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. New York: Association for Computing Machinery, Bind 3. s. 223-238 16 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Data Structure 100%
  • Partial Order 100%
  • Concurrent Execution 100%
  • Dynamic Analysis 100%
  • Concurrent Program 25%

• Fast Symbolic Computation of Bottom SCCs

  Jakobsen, A. B., Jørgensen, R. S. M., van de Pol, J. & Pavlogiannis, A., 2024, Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024. Finkbeiner, B. & Kovács, L. (red.). Cham: Springer, s. 110-128 19 s. (Lecture Notes in Computer Science, Bind 14572 LNCS).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Symbolic Computation 100%
  • Bottom Strongly Connected Component 100%
  • Deadlock 33%
  • Model Checking 16%
  • Singletons 16%

• How Hard Is Weak-Memory Testing?

  Chakraborty, S., Krishna, S. N., Mathur, U. & Pavlogiannis, A., jan. 2024, I: Proceedings of the ACM on Programming Languages . 8, 66.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Sequential Consistency 100%
  • Memory Model 66%
  • Memory Location 66%
  • Particle Swarm Optimization 33%
  • Concurrency 33%
  1 Citationer (Scopus)

• On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability

  Krishna, S., Lal, A., Pavlogiannis, A. & Tuppe, O., jan. 2024, I: Proceedings of the ACM on Programming Languages . 8, POPL, s. 1239-1268 30 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Static Program Analysis 100%
  • Everyday Practice 33%
  • Source Codes 33%
  • Datalog 33%
  • Program Analysis 33%

• Optimistic Prediction of Synchronization-Reversal Data Races

  Shi, Z., Mathur, U. & Pavlogiannis, A., 1 apr. 2024, Proceedings - 2024 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2024: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. Association for Computing Machinery, s. 1-13 13 s. 134

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • concurrent software 100%
  • Data Race 100%
  • Quadratic Time 50%
  • Execution Trace 50%
  • Concurrent Program 50%
  4 Citationer (Scopus)

• Reachability-Aware Fair Influence Maximization

  Ma, W., Egger, M. K., Pavlogiannis, A., Li, Y. & Karras, P., 28 aug. 2024, Web and Big Data - 8th International Joint Conference, APWeb-WAIM 2024, Proceedings: 8th International Joint Conference, APWeb-WAIM 2024, Jinhua, China, August 30 – September 1, 2024, Proceedings, Part III. Zhang, W., Yang, Z., Wang, X., Tung, A., Zheng, Z. & Guo, H. (red.). Singapore: BMJ, Springer Nature, s. 342-359 18 s. (Lecture Notes in Computer Science, Bind 14963).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Influence Maximization 100%
  • Real-World Problem 100%
  • Problem Instance 100%
  • Information Dissemination 100%
  • Propagation Model 100%

• Robust Reward Placement under Uncertainty

  Petsinis, P., Zhang, K., Pavlogiannis, A., Zhou, J. & Karras, P., 1 aug. 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (red.). Jeju, South Korea: International Joint Conferences on Artificial Intelligence Organization, s. 6770-6778 9 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Under Uncertainty 100%
  • Placement Problem 100%
  • Total Rewards 100%
  • Approximation (Algorithm) 100%
  • Dynamic Programming Algorithm 100%

• Seed Selection in the Heterogeneous Moran Process

  Petsinis, P., Pavlogiannis, A., Tkadlec, J. & Karras, P., 1 aug. 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (red.). Jeju, South Korea: International Joint Conferences on Artificial Intelligence Organization, s. 2297-2305 9 s.

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Moran Process 100%
  • Seed Selection 100%
  • Greedy Algorithm 50%
  • Probability Measure 50%
  • Environmental Heterogeneity 33%
• 2023

  A Truly Symbolic Linear-Time Algorithm for SCC Decomposition

  Larsen, C. A., Schmidt, S. M., Steensgaard, J., Jakobsen, A. B., Pol, J. V. D. & Pavlogiannis, A., apr. 2023, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. Sankaranarayanan, S. & Sharygina, N. (red.). Cham: Springer, s. 353-371 19 s. (Lecture Notes in Computer Science, Bind 13994).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Strongly Connected Component 100%
  • Model Checking 33%
  • Directed Graphs 16%
  • State Space 16%
  • binary decision diagram 16%
  2 Citationer (Scopus)

  49 Downloads (Pure)

• Maximizing the Probability of Fixation in the Positional Voter Model

  Petsinis, P., Pavlogiannis, A. & Karras, P., 27 jun. 2023, AAAI-23 Technical Tracks 10. Williams, B., Chen, Y. & Neville, J. (red.). AAAI Press, s. 12269-12277 9 s. 190493. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023, Bind 37).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Approximation (Algorithm) 100%
  • Optimization Problem 100%
  • Matrix Multiplication 100%
  • Individual Change 100%
  • Objective Function 100%
  2 Citationer (Scopus)

• Optimal Reads-From Consistency Checking for C11-Style Memory Models

  Tunç, H. C., Abdulla, P. A., Chakraborty, S., Krishna, S., Mathur, U. & Pavlogiannis, A., jun. 2023, I: Proceedings of the ACM on Programming Languages . 7, PLDI, s. 761–785 137.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Memory Model 100%
  • consistency checking 100%
  • Model Checking 33%
  • Concurrency 33%
  • Traditional Model 16%
  3 Citationer (Scopus)

  1 Downloads (Pure)

• Sound Dynamic Deadlock Prediction in Linear Time

  Tunç, H. C., Mathur, U., Pavlogiannis, A. & Viswanathan, M., jun. 2023, I: Proceedings of the ACM on Programming Languages . 7, s. 1733-1758

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Critical Section 100%
  • bug report 100%
  10 Citationer (Scopus)

  1 Downloads (Pure)
• 2022

  A Tree Clock Data Structure for Causal Orderings in Concurrent Executions

  Mathur, U., Pavlogiannis, A., Tunc, H. C. & Viswanathan, M., feb. 2022, ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Falsafi, B., Ferdman, M., Lu, S. & Wenisch, T. F. (red.). Association for Computing Machinery, s. 710-725 16 s. (ASPLOS: Architectural Support for Programming Languages and Operating Systems, Proceedings).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Single Program 100%
  7 Citationer (Scopus)

• Efficient approximations for cache-conscious data placement

  Ahmadi, A., Daliri, M., Goharshady, A. K. & Pavlogiannis, A., jun. 2022, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (red.). New York: Association for Computing Machinery, s. 857-871 15 s. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Approximation (Algorithm) 100%
  • Data Placement 100%
  • Efficient Algorithm 20%
  • Main Memory 20%
  • Tractable Algorithm 20%
  13 Citationer (Scopus)

• Fixation Maximization in the Positional Moran Process

  Brendborg, J., Karras, P., Pavlogiannis, A., Rasmussen, A. U. & Tkadlec, J., 30 jun. 2022, I: Proceedings of the AAAI Conference on Artificial Intelligence. 36, 9, AAAI Technical Track on Multiagent Systems, s. 9304-9312 9 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Probability Theory 100%
  • Active Node 100%
  • Function Optimization 66%
  • Strong Selection 50%
  • Natural Generalization 33%
  6 Citationer (Scopus)

• Infection dynamics of COVID-19 virus under lockdown and reopening

  Svoboda, J., Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A., jan. 2022, I: Scientific Reports. 12, 11 s., 1526.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Neighboring Countries 100%
  6 Citationer (Scopus)

• Invasion Dynamics in the Biased Voter Process

  Durocher, L., Karras, P., Pavlogiannis, A. & Tkadlec, J., 2022, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22). IJCAI Organization, s. 265-271 7 s. (IJCAI International Joint Conference on Artificial Intelligence).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Stochastic Process 100%
  • Function Optimization 100%
  • Stochastics 100%
  • Fibrinogen 100%
  • Gene Mutation 100%
  5 Citationer (Scopus)

• Reachability in Bidirected Pushdown VASS

  Ganardi, M., Majumdar, R., Pavlogiannis, A., Schütze, L. & Zetzsche, G., jul. 2022, 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022. Bojanczyk, M., Merelli, E. & Woodruff, D. P. (red.). Dagstuhl Publishing, 124. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 229).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Vector Addition 100%
  • Addition of Vector 14%
  • Primitive Recursive 14%
  7 Citationer (Scopus)

• Social balance on networks: Local minima and best-edge dynamics

  Chatterjee, K., Svoboda, J., Žikelić, Đ., Pavlogiannis, A. & Tkadlec, J., sep. 2022, I: Physical Review E. 106, 3, 11 s., 034321.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Edge 100%
  • Local Minimum 100%
  • Social Balance 100%
  • Dynamics 100%
  • Stochastic Process 50%
  2 Citationer (Scopus)

• The Decidability and Complexity of Interleaved Bidirected Dyck Reachability

  Kjelstrom, A. H. & Pavlogiannis, A., jan. 2022, I: Proceedings of the ACM on Programming Languages . 6, POPL, 26 s., 12.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Static Program Analysis 100%
  • Reachability Problem 50%
  11 Citationer (Scopus)

  12 Downloads (Pure)
• 2021

  Dynamic Data-Race Detection Through the Fine-Grained Lens

  Kulkarni, R., Mathur, U. & Pavlogiannis, A., 2021, 32nd International Conference on Concurrency Theory (CONCUR 2021). Haddad, S. & Varacca, D. (red.). Dagstuhl Publishing, s. 16:1-16:23 23 s. (Leibniz International Proceedings in Informatics, Bind 203).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  • Rigorous Proof 100%
  8 Citationer (Scopus)

• Fast and strong amplifiers of natural selection

  Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A., 1 dec. 2021, I: Nature Communications. 12, 1, 6 s., 4009.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Natural Selection 100%
  • Population Structure 100%
  • Dynamics 50%
  30 Citationer (Scopus)

• Faster algorithms for quantitative verification in bounded treewidth graphs

  Chatterjee, K., Ibsen-Jensen, R. & Pavlogiannis, A., sep. 2021, I: Formal Methods in System Design. 57, 3, s. 401-428 28 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Edge 100%
  • Approximates 100%
  • Running Time 100%
  • Absolute Value 100%
  • Infimum 100%
  3 Citationer (Scopus)

• Optimal Prediction of Synchronization-Preserving Races

  Mathur, U., Pavlogiannis, A. & Viswanathan, M., jan. 2021, I: Proceedings of the ACM on Programming Languages . 5, POPL, 29 s., 36.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Concurrent Program 100%
  • Concurrency 50%
  • Synchronization Operation 50%
  • Nondeterminism 50%
  • Conflicting Action 50%
  27 Citationer (Scopus)

  28 Downloads (Pure)

• Quantitative Verification on Product Graphs of Small Treewidth

  Chatterjee, K., Ibsen-Jensen, R. & Pavlogiannis, A., 1 dec. 2021, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). Bind ´. s. 42:1-42:23 42. (Leibniz International Proceedings in Informatics, Bind 213).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Tree Decomposition 100%
  • Control-Flow Graph 100%
  • Transitive Closure 100%
  • Specification Language 50%
  • Binary Tree 50%

• Stateless Model Checking Under a Reads-Value-From Equivalence

  Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A. & Toman, V., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings: Proceedings. Silva, A., Rustan, K. & Leino, M. (red.). Cham: Springer, Bind 1. s. 341-366 26 s. (Lecture Notes in Computer Science, Bind 12759).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Stateless Model Checking 100%
  • Model Checking 100%
  • Equivalence Class 16%
  • Checking Algorithm 16%
  • Recent Approaches 16%
  14 Citationer (Scopus)

  455 Downloads (Pure)

• The Fine-Grained and Parallel Complexity of Andersen’s Pointer Analysis

  Mathiasen, A. A. & Pavlogiannis, A., jan. 2021, I: Proceedings of the ACM on Programming Languages . 5, POPL, 29 s., 34.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Pointer Analysis 100%
  • Static Program Analysis 18%
  • Approximation (Algorithm) 9%
  • Matrix Multiplication 9%
  • Sparsity 9%
  14 Citationer (Scopus)

  26 Downloads (Pure)

• The reads-from equivalence for the TSO and PSO memory models

  Bui, T. L., Chatterjee, K., Gautam, T., Pavlogiannis, A. & Toman, V., okt. 2021, I: Proceedings of the ACM on Programming Languages . 5, OOPSLA, 30 s., 164.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Memory Model 100%
  • Model Checking 100%
  • Concurrent Execution 16%
  • Model Checking Algorithm 16%
  • Concurrent Program 16%
  7 Citationer (Scopus)

  22 Downloads (Pure)

• Tight bounds for reachability problems on one-counter and pushdown systems

  Hansen, J. C., Kjelstrøm, A. H. & Pavlogiannis, A., okt. 2021, I: Information Processing Letters. 171, 106135.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Reachability Problem 100%
  5 Citationer (Scopus)

  29 Downloads (Pure)
• 2020

  Fast, Sound, and Effectively Complete Dynamic Race Prediction

  Pavlogiannis, A., jan. 2020, I: Proceedings of the ACM on Programming Languages . 4, POPL, s. 1-29 29 s., 17.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review

  Åben adgang

  • Concurrent Program 100%
  • False Positive 50%
  • Recent Literature 50%
  • Concurrency 50%
  • polynomial-time algorithm 50%
  35 Citationer (Scopus)

• Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth

  Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K. & Pavlogiannis, A., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Van Hung, D. & Sokolsky, O. (red.). Cham: Springer, s. 253-270 18 s. (Lecture Notes in Computer Science, Bind 12302).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Markov Decision Process 100%
  • Markov Chain 100%
  • Fast Algorithm 100%
  • And-States 14%
  • discrete-time 14%
  12 Citationer (Scopus)

• Limits on amplifiers of natural selection under death-Birth updating

  Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A., jan. 2020, I: PLOS Computational Biology. 16, 1, 13 s., e1007494.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Natural Selection 100%
  • Population Structure 100%
  • Probability Theory 100%
  • Wide Range 25%
  • Single Mutant 25%
  45 Citationer (Scopus)

• Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis

  Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R. & Pavlogiannis, A., jan. 2020, Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Müller, P. (red.). Springer, s. 112-140 29 s. (Lecture Notes in Computer Science, Bind 12075).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

  • Demand Analysis 100%
  16 Citationer (Scopus)

  23 Downloads (Pure)

• Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling

  Pavlogiannis, A., Schaumberger, N., Schmid, U. & Chatterjee, K., nov. 2020, I: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39, 11, s. 3981-3992 9211419.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Competitive Analysis 100%
  • Real Time Scheduling 100%
  • Performance Measure 25%
  • Single Processor 25%
  • Support Application 25%
  1 Citationer (Scopus)

• The Complexity of Dynamic Data Race Prediction

  Mathur, U., Pavlogiannis, A. & Viswanathan, M., 8 jul. 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. New York: Association for Computing Machinery, s. 713–727 15 s. 3394783

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Concurrency 100%
  • Client Server 100%
  • Concurrent Program 100%
  • Shared Resource 100%
  • Orthogonal Vector 100%
  18 Citationer (Scopus)

• The Fine-Grained Complexity of Andersen's Pointer Analysis

  Pavlogiannis, A., jun. 2020, ArXiv.

  Publikation: Working paper/Preprint › Working paper › Forskning
• 2019

  Efficient Parameterized Algorithms for Data Packing

  Chatterjee, K., Goharshady, A. K., Okati, N. & Pavlogiannis, A., 1 jan. 2019, I: Proceedings of the ACM on Programming Languages . 3, POPL, 53.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
  10 Citationer (Scopus)

• Faster algorithms for dynamic algebraicqueries in basic RSMs with constant treewidth

  Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R. & Pavlogiannis, A., 2019, I: ACM Transactions on Programming Languages and Systems. 41, 4, 46 s., 23.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • State Machine 100%
  • Fast Algorithm 100%
  • Interprocedural Analysis 60%
  • Preprocessing Time 40%
  • Problem Analysis 20%
  15 Citationer (Scopus)

• Population structure determines the tradeoff between fixation probability and fixation time

  Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A., 1 dec. 2019, I: Communications Biology. 2, 1, 8 s., 138.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Population Structure 100%
  • Evolution 20%
  • Absorption 20%
  • Natural Selection 20%
  50 Citationer (Scopus)

• Value-centric Dynamic Partial Order Reduction

  Chatterjee, K., Pavlogiannis, A. & Toman, V., okt. 2019, I: Proceedings of the ACM on Programming Languages . 3, OOPSLA, 124.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Partial Order Reduction 100%
  • Equivalence Class 25%
  • Model Checking 25%
  • Concurrent Program 25%
  • Polynomial Time 25%
  22 Citationer (Scopus)
• 2018

  Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components

  Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K. & Pavlogiannis, A., aug. 2018, I: ACM Transactions on Programming Languages and Systems. 40, 3, 43 s., 9.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Concurrent System 100%
  • Transitive Closure 75%
  • Shortest Path Problem 50%
  • Graph Algorithms 50%
  • Preprocessing Time 50%
  16 Citationer (Scopus)

• Automated competitive analysis of real-time scheduling with graph games

  Chatterjee, K., Pavlogiannis, A., Koessler, A. & Schmid, U., 1 jan. 2018, I: Real-Time systems. 54, 1, s. 166-207 42 s.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Competitive Analysis 100%
  • Scheduling Algorithm 100%
  • Real Time Scheduling 100%
  • Competitive Ratio 80%
  • Synthesis Problem 60%
  3 Citationer (Scopus)

• Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory

  Pavlogiannis, A., Tkadlec, J., Chatterjee, K. & Nowak, M. A., 1 dec. 2018, I: Communications Biology. 1, 1, 8 s., 71.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Natural Selection 100%
  • Population Structure 100%
  • Natural Population 50%
  42 Citationer (Scopus)

• Optimal Dyck Reachability for Data-Dependence and Alias Analysis

  Chatterjee, K., Choudhary, B. & Pavlogiannis, A., jan. 2018, I: Proceedings of the ACM on Programming Languages . 2, POPL, 30 s., 30.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Alias Analysis 100%
  • Dyck Reachability 100%
  • Data Dependence Analysis 100%
  • Data-Dependences 100%
  • Dependence Analysis 75%
  39 Citationer (Scopus)
• 2017

  Amplification on Undirected Population Structures: Comets Beat Stars

  Pavlogiannis, A., Tkadlec, J., Chatterjee, K. & Nowak, M. A., 1 mar. 2017, I: Scientific Reports. 7, 1, s. 82 82.

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  • Population Structure 100%
  • Probability Theory 100%
  • Population Size 33%
  • Natural Selection 33%
  • Baseline Case 20%
  38 Citationer (Scopus)

• Data-Centric Dynamic Partial Order Reduction

  Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N. & Vaidya, K., 1 dec. 2017, I: Proc. ACM Program. Lang.. 2, POPL

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
  42 Citationer (Scopus)

• Faster algorithms for weighted recursive state machines

  Chatterjee, K., Kragl, B., Mishra, S. & Pavlogiannis, A., 1 jan. 2017, Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Yang, H. (red.). Springer, s. 287-313 27 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10201 LNCS).

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • State Machine 100%
  • Fast Algorithm 100%
  • Problem Analysis 20%
  • Efficient Algorithm 20%
  • Speed-up 20%
  3 Citationer (Scopus)