Aleksandr Karbyshev

14 papers A* 3A 1B 2Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2018 — conf
Compositional Non-interference for Concurrent Programs via Separation and Framing.
POST
Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal
2018 A conf
Computer-Aided Proofs for Multiparty Computation with Active Security.
CSF
Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub
2018 J jnl
Computer-aided proofs for multiparty computation with active security.
CoRR
Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub
2018 J jnl
Computer-aided proofs for multiparty computation with active security.
IACR Cryptol. ePrint Arch.
Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub
2017 J jnl
Property-Directed Inference of Universal Invariants or Proving Their Absence.
J. ACM
Aleksandr Karbyshev, Nikolaj S. Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
2016 A* conf
Decidability of inferring inductive invariants.
POPL
Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, Mooly Sagiv
2015 A* conf
Decentralizing SDN Policies.
POPL
Oded Padon, Neil Immerman, Aleksandr Karbyshev, Ori Lahav, Mooly Sagiv, Sharon Shoham
2015 — conf
Property-Directed Inference of Universal Invariants or Proving Their Absence.
CAV (1)
Aleksandr Karbyshev, Nikolaj S. Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
2014 A* conf
VeriCon: towards verifying controller programs in software-defined networks.
PLDI
Thomas Ball, Nikolaj S. Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky
2013 — —
Monadic Parametricity of Second-Order Functionals.
Aleksandr Karbyshev
2013 B conf
On Monadic Parametricity of Second-Order Functionals.
FoSSaCS
Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev
2010 — conf
Verified Generic Local Fixpoint Algorithms.
AlgoSyn
Aleksandr Karbyshev
2010 B conf
Verifying a Local Generic Solver in Coq.
SAS
Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl
2010 — conf
What Is a Pure Functional?
ICALP (2)
Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl