Alexander Bakst -

Not registered as user yet

Name:Alexander Bakst

Contributions

POPL 2019	Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track
SPLASH 2017	Author of Verifying Distributed Programs via Canonical Sequentialization within the OOPSLA-track
VMCAI	Author of Predicate Abstraction for Linked Data Structures within the VMCAI-track