Aleksandr Karbyshev

According to our database, Aleksandr Karbyshev authored at least 11 papers between 2010 and 2018.

Collaborative distances:

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

2018

Computer-aided proofs for multiparty computation with active security.

Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub

IACR Cryptol. ePrint Arch., 2018

Compositional Non-interference for Concurrent Programs via Separation and Framing.

Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

2017

Property-Directed Inference of Universal Invariants or Proving Their Absence.

Aleksandr Karbyshev, Nikolaj S. Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham

J. ACM, 2017

2016

Decidability of inferring inductive invariants.

Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, Mooly Sagiv

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Decentralizing SDN Policies.

Oded Padon, Neil Immerman, Aleksandr Karbyshev, Ori Lahav, Mooly Sagiv, Sharon Shoham

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

VeriCon: towards verifying controller programs in software-defined networks.

Thomas Ball, Nikolaj S. Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky

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

2013

Monadic Parametricity of Second-Order Functionals.

Aleksandr Karbyshev

PhD thesis, 2013

On Monadic Parametricity of Second-Order Functionals.

Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2010

Verifying a Local Generic Solver in Coq.

Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl

Proceedings of the Static Analysis - 17th International Symposium, 2010

What Is a Pure Functional?

Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

Verified Generic Local Fixpoint Algorithms.

Aleksandr Karbyshev

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010