Thomas Wies

Learn how multiparty session types facilitate clear communication in complex systems.

This article discusses the verification of lock-free skiplists in concurrent systems.

New techniques improve verification of complex computer programs for reliable performance.