Alexander Bakst

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 4

Top Topics

Structured Information

Top Venues

Proc. ACM Program. Lang.

University of California, San Diego, USA (PHD)

Education History

University of California, San Diego, USA

PHD

Publications

Jennifer Paykin, Eric Mertens, Mark Tullsen, Luke Maurer, Benoît Razet, Alexander Bakst, Scott Moore
Weird Machines as Insecure Compilation. CoRR (2019)
Klaus von Gleissenthall, Rami Gökhan Kici, Alexander Bakst, Deian Stefan, Ranjit Jhala
Pretend synchrony: synchronous verification of asynchronous distributed programs. Proc. ACM Program. Lang. 3 (POPL) (2019)
Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala
Verifying distributed programs via canonical sequentialization. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Alexander Bakst, Ranjit Jhala
Predicate Abstraction for Linked Data Structures. VMCAI (2016)
Alexander Bakst, Ranjit Jhala
Predicate Abstraction for Linked Data Structures. CoRR (2015)
Niki Vazou, Alexander Bakst, Ranjit Jhala
Bounded Refinement Types. CoRR (2015)
Niki Vazou, Alexander Bakst, Ranjit Jhala
Bounded refinement types. ICFP (2015)
Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala
CSolve: Verifying C with Liquid Types. CAV (2012)
Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala
Deterministic parallelism via liquid effects. PLDI (2012)