• Sign in
  • Sign up
conf.researchr.org / Alexander Bakst
  • APLAS 2025 profile
  • PLDI 2025 profile
  • POPL 2016 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • SPLASH 2017 profile
  • SPLASH 2024 profile
Alexander Bakst

Registered user since Mon 19 Aug 2024

Name:Alexander Bakst
Country:United States
Affiliation:Certora
Personal website: https://abakst.github.io

Contributions

2025

APLAS

  • Committee Member in Program Committee within the Research Papers-track

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
xSat 10 May 16:15
using conf.researchr.org (v1.69.0)
Support page
Sign Up