Follow
Aleksandr Karbyshev
Aleksandr Karbyshev
Heliax
Verified email at heliax.dev
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
2582014
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
802017
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
802015
Decidability of inferring inductive invariants
O Padon, N Immerman, S Shoham, A Karbyshev, M Sagiv
ACM SIGPLAN Notices 51 (1), 217-231, 2016
472016
Decentralizing SDN policies
O Padon, N Immerman, A Karbyshev, O Lahav, M Sagiv, S Shoham
ACM SIGPLAN Notices 50 (1), 663-676, 2015
382015
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
342018
Verifying a local generic solver in Coq
M Hofmann, A Karbyshev, H Seidl
International Static Analysis Symposium, 340-355, 2010
212010
What is a pure functional?
M Hofmann, A Karbyshev, H Seidl
Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010
212010
Compositional non-interference for concurrent programs via separation and framing
A Karbyshev, K Svendsen, A Askarov, L Birkedal
Principles of Security and Trust: 7th International Conference, POST 2018 …, 2018
182018
Monadic parametricity of second-order functionals
A Karbyshev
Technische Universität München, 2013
82013
On Monadic Parametricity of Second-Order Functionals
A Bauer, M Hofmann, A Karbyshev
FoSSaCS 7794, 225-240, 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