Alexander Bakst

According to our database1, Alexander Bakst authored at least 8 papers between 2012 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Pretend synchrony: synchronous verification of asynchronous distributed programs.
Proc. ACM Program. Lang., 2019

Weird Machines as Insecure Compilation.
CoRR, 2019

2017
Sequentialization and Synchronization for Distributed Programs.
PhD thesis, 2017

Verifying distributed programs via canonical sequentialization.
Proc. ACM Program. Lang., 2017

2016
Predicate Abstraction for Linked Data Structures.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015
Bounded refinement types.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2012
Deterministic parallelism via liquid effects.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

CSolve: Verifying C with Liquid Types.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012


  Loading...