Suivre
Aleksandr Karbyshev
Aleksandr Karbyshev
Heliax
Adresse e-mail validée de heliax.dev
Titre
Citée par
Citée par
Année
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
2672014
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
932015
Decidability of inferring inductive invariants
O Padon, N Immerman, S Shoham, A Karbyshev, M Sagiv
ACM SIGPLAN Notices 51 (1), 217-231, 2016
492016
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
392018
Decentralizing SDN policies
O Padon, N Immerman, A Karbyshev, O Lahav, M Sagiv, S Shoham
ACM SIGPLAN Notices 50 (1), 663-676, 2015
392015
What is a pure functional?
M Hofmann, A Karbyshev, H Seidl
Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010
242010
Verifying a local generic solver in Coq
M Hofmann, A Karbyshev, H Seidl
International Static Analysis Symposium, 340-355, 2010
222010
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
202018
Monadic parametricity of second-order functionals
A Karbyshev
Technische Universität München, 2013
92013
On Monadic Parametricity of Second-Order Functionals
A Bauer, M Hofmann, A Karbyshev
FoSSaCS 7794, 225-240, 2013
62013
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–13