Aleksandr Karbyshev
Aleksandr Karbyshev
Axivion GmbH
Verified email at axivion.com
Title
Cited by
Cited by
Year
VeriCon: towards verifying controller programs in software-defined networks
T Ball, N Bjørner, A Gember, S Itzhaky, A Karbyshev, M Sagiv, M Schapira, ...
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
2022014
Property-directed inference of universal invariants or proving their absence
A Karbyshev, N Bjørner, S Itzhaky, N Rinetzky, S Shoham
Journal of the ACM (JACM) 64 (1), 1-33, 2017
482017
Property-Directed Inference of Universal Invariants or Proving Their Absence
A Karbyshev, N Bjørner, S Itzhaky, N Rinetzky, S Shoham
Computer Aided Verification - 27th International Conference, CAV 2015 9206 …, 2015
482015
Decentralizing SDN policies
O Padon, N Immerman, A Karbyshev, O Lahav, M Sagiv, S Shoham
ACM SIGPLAN Notices 50 (1), 663-676, 2015
332015
Decidability of inferring inductive invariants
O Padon, N Immerman, S Shoham, A Karbyshev, M Sagiv
ACM SIGPLAN Notices 51 (1), 217-231, 2016
322016
Verifying a local generic solver in Coq
M Hofmann, A Karbyshev, H Seidl
International Static Analysis Symposium, 340-355, 2010
202010
What is a pure functional?
M Hofmann, A Karbyshev, H Seidl
International Colloquium on Automata, Languages, and Programming, 199-210, 2010
172010
Computer-aided proofs for multiparty computation with active security
H Haagh, A Karbyshev, S Oechsner, B Spitters, PY Strub
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 119-131, 2018
142018
Compositional non-interference for concurrent programs via separation and framing
A Karbyshev, K Svendsen, A Askarov, L Birkedal
International Conference on Principles of Security and Trust, 53-78, 2018
82018
On Monadic Parametricity of Second-Order Functionals
A Bauer, M Hofmann, A Karbyshev
FoSSaCS 7794, 225-240, 2013
62013
Monadic parametricity of second-order functionals
A Karbyshev
Technische Universität München, 2013
62013
On the verification of local generic solvers
M Hofmann, A Karbyshev, H Seidl
12013
Technical Report: On the Verification of Local Generic Solvers
M Hofmann, A Karbyshev, H Seidl
http://www2.in.tum.de/bib/files/Hofmann13Solvers.pdf, 0
1
Technical Report: On monadic parametricity of second-order functionals
A Bauer, M Hofmann, A Karbyshev
http://mediatum.ub.tum.de/doc/1112586/document.pdf, 2012
2012
6.7. Purity of higher-order functionals
A Karbyshev
Joint Workshop of the German Research Training Groups in Computer Science, 102, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–15