Aleksandr Karbyshev

Available identifiers

zbMath Open karbyshev.aleksandrMaRDI QIDQ2324193

List of research outcomes

Publication	Date of Publication	Type
Compositional non-interference for concurrent programs via separation and framing	2019-09-16	Paper
Property-directed inference of universal invariants or proving their absence	2018-08-02	Paper
Property-directed inference of universal invariants or proving their absence	2018-03-01	Paper
Decidability of inferring inductive invariants	2016-10-24	Paper
Decentralizing SDN policies	2016-09-29	Paper
On monadic parametricity of second-order functionals	2013-03-18	Paper
Verifying a local generic solver in Coq	2010-10-01	Paper
What is a pure functional?	2010-09-07	Paper

Research outcomes over time

This page was built for person: Aleksandr Karbyshev