Parosh Aziz Abdulla

Uppsala University — Sweden

Computer Science · Physical Sciences

42h-index6.8kcitations416works1.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(226), Logic, programming, and type systems(101), Software Testing and Debugging Techniques(64), Petri Nets in System Modeling(62), Distributed systems and fault tolerance(61)

Publications416 total

Checking Consistency of Event-Driven Traces
Lecture notes in computer science·2025Open Access
Efficient Linearizability Monitoring
arXiv (Cornell University)·2025Open Access
Checking Consistency of Event-driven Traces
arXiv (Cornell University)·2025Open Access
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)
arXiv (Cornell University)·2025Open Access
Efficient Linearizability Monitoring
Proceedings of the ACM on Programming Languages·2025· 2 citedOpen Access
Verification of the Release-Acquire Semantics
arXiv (Cornell University)·2025Open Access
Verifying Quantum Circuits with Level-Synchronized Tree Automata
Proceedings of the ACM on Programming Languages·2025· 7 citedOpen Access
Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms
Lecture notes in computer science·2025
Guiding Word Equation Solving Using Graph Neural Networks
Lecture notes in computer science·2025· 1 cited
Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
arXiv (Cornell University)·2024Open Access
Context-Bounded Analysis for POWER
Figshare·2024· 3 citedOpen Access
Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
arXiv (Cornell University)·2024Open Access
Trading Space for Simplicity in Stateless Model Checking
Lecture notes in computer science·2024
Verification under Intel-x86 with Persistency
Proceedings of the ACM on Programming Languages·2024· 2 citedOpen Access
Parsimonious Optimal Dynamic Partial Order Reduction
arXiv (Cornell University)·2024· 2 citedOpen Access
Verification under TSO with an infinite Data Domain
arXiv (Cornell University)·2024Open Access
Fairness and Liveness Under Weak Consistency
Lecture notes in computer science·2024· 1 cited
Parsimonious Optimal Dynamic Partial Order Reduction
Lecture notes in computer science·2024· 3 citedOpen Access
Boosting Constrained Horn Solving by Unsat Core Learning
Lecture notes in computer science·2023· 3 cited
Concurrent Stochastic Lossy Channel Games
arXiv (Cornell University)·2023Open Access
page 1 of 21Next →

Frequent Co-authors

Bengt Jönsson(23), Lukáš Holík(10), Mohamed Faouzi Atig(10), Ahmed Rezine(9), Yu‐Fang Chen(7), Konstantinos Sagonas(6), Ahmed Bouajjani(6), Richard Mayr(5), Stavros Aronis(5), Noomene Ben Henda(4), Tomáš Vojnar(4), Carl Leonardsson(4), Frédéric Haziza(4), Kārlis Čerāns(3), Marcus Nilsson(3), Philipp Rümmer(3), Jari Stenman(3), Giorgio Delzanno(3), Yih-Kuen Tsay(2), Aletta Nylén(2)