Selected publications by Stefan Schwoon

We present locality-based abstractions, in which a set of states of a distributed system is abstracted to the collection of views that some observers have of the states. Special cases of locality-abstractions have been used in different contexts (planning, analysis of concurrent programs, concurrency theory). In this paper we give a general definition in the context of abstract interpretation, show that arbitrary locality-based abstractions are hard to compute in general, and provide two solutions to this problem. The solutions are evaluated in several case studies.

   address = {London, UK},
   author = {Esparza, Javier and Ganty, Pierre and Schwoon, Stefan},
   booktitle = {{P}roceedings of the 12th {I}nternational {S}ymposium {S}tatic {A}nalysis ({SAS}'05)},
   DOI = {10.1007/11547662_10},
   editor = {Hankin, Chris and Siveroni, Igor},
   month = sep,
   pages = {118-134},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {Locality-Based Abstractions},
   url = {},
   volume = {3672},
   year = {2005},

About LSV