
Dynamic DataRace Detection through the FineGrained Lens
Data races are among the most common bugs in concurrency. The standard a...
read it

Stateless Model Checking under a ReadsValueFrom Equivalence
Stateless model checking (SMC) is one of the standard approaches to the ...
read it

The ReadsFrom Equivalence for the TSO and PSO Memory Models
The verification of concurrent programs remains an open challenge due to...
read it

Optimal Prediction of SynchronizationPreserving Races
Concurrent programs are notoriously hard to write correctly, as scheduli...
read it

The FineGrained and Parallel Complexity of Andersen's Pointer Analysis
Pointer analysis is one of the fundamental problems in static program an...
read it

The FineGrained Complexity of Andersen's Pointer Analysis
Pointer analysis is one of the fundamental problems in static program an...
read it

The Complexity of Dynamic Data Race Prediction
Writing concurrent programs is notoriously hard due to scheduling nonde...
read it

Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth
Discretetime Markov Chains (MCs) and Markov Decision Processes (MDPs) a...
read it

Optimal and Perfectly Parallel Algorithms for Ondemand Dataflow Analysis
Interprocedural dataflow analyses form an expressive and useful paradig...
read it

Optimal Dyck Reachability for DataDependence and Alias Analysis
A fundamental algorithmic problem at the heart of static analysis is Dyc...
read it

Valuecentric Dynamic Partial Order Reduction
The verification of concurrent programs remains an open challenge, as th...
read it

Fast, Sound and Effectively Complete Dynamic Race Detection
Writing concurrent programs is highly errorprone due to the nondetermin...
read it

Fixation probability and fixation time in structured populations
The rate of biological evolution depends on the fixation probability and...
read it

Strong Amplifiers of Natural Selection: Proofs
We consider the modified Moran process on graphs to study the spread of ...
read it
Andreas Pavlogiannis
is this you? claim profile