Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alexander Bakst
conf.researchr.org general profile
PLDI 2025 profile
POPL 2016 profile
POPL 2019 profile
POPL 2020 profile
SPLASH 2017 profile
SPLASH 2024 profile
Registered user since Mon 19 Aug 2024
Name:
Alexander Bakst
Country:
United States
Affiliation:
Certora
Personal website:
https://abakst.github.io
Contributions
2025
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
2024
SPLASH
Author of Practical Verification Of Smart Contracts Using Memory Splitting within the OOPSLA 2024-track
2020
PriSC
Author of Exploits as Insecure Compilation within the Principles of Secure Compilation 2020-track
2019
POPL
Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track
2017
SPLASH
Author of Verifying Distributed Programs via Canonical Sequentialization within the OOPSLA-track
2016
VMCAI
Author of Predicate Abstraction for Linked Data Structures within the VMCAI-track
Share
x
Mon 9 Dec 12:12