Sebastian Schweizer

Sebastian Schweizer
Are you Sebastian Schweizer?

Claim your profile, edit publications, add additional information:

Contact Details

Name
Sebastian Schweizer
Affiliation
Location

Pubs By Year

Pub Categories

 
Computer Science - Distributed; Parallel; and Cluster Computing (1)

Publications Authored By Sebastian Schweizer

Robustness is a correctness notion for concurrent programs running under relaxed consistency models. The task is to check that the relaxed behavior coincides (up to traces) with sequential consistency (SC). Although computationally simple on paper (robustness has been shown to be PSPACE-complete for TSO, PGAS, and Power), building a practical robustness checker remains a challenge. Read More