Seguir
Aleksandr Karbyshev
Aleksandr Karbyshev
Heliax
Dirección de correo verificada de heliax.dev
Título
Citado por
Citado por
Año
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
2592014
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
222010
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15