• Sign in
  • Sign up
conf.researchr.org / Alexander Bakst
  • POPL 2016 profile
  • POPL 2019 profile
  • SPLASH 2017 profile

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

Share
xWed 1 Feb 04:32
using conf.researchr.org (v1.58.0)
Support page
Sign Up