Alexander Bakst

According to our database, Alexander Bakst authored at least 9 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Practical Verification of Smart Contracts using Memory Splitting.

Shelly Grossman, John Toman, Alexander Bakst, Sameer Arora, Mooly Sagiv, Chandrakana Nandi

Proc. ACM Program. Lang., 2024

2019

Pretend synchrony: synchronous verification of asynchronous distributed programs.

Klaus von Gleissenthall, Rami Gökhan Kici, Alexander Bakst, Deian Stefan, Ranjit Jhala

Proc. ACM Program. Lang., 2019

Weird Machines as Insecure Compilation.

Jennifer Paykin, Eric Mertens, Mark Tullsen, Luke Maurer, Benoît Razet, Alexander Bakst, Scott Moore

CoRR, 2019

2017

Sequentialization and Synchronization for Distributed Programs.

Alexander Bakst

PhD thesis, 2017

Verifying distributed programs via canonical sequentialization.

Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala

Proc. ACM Program. Lang., 2017

2016

Predicate Abstraction for Linked Data Structures.

Alexander Bakst, Ranjit Jhala

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015

Bounded refinement types.

Niki Vazou, Alexander Bakst, Ranjit Jhala

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2012

Deterministic parallelism via liquid effects.

Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

CSolve: Verifying C with Liquid Types.

Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala

Proceedings of the Computer Aided Verification - 24th International Conference, 2012