Travelled to:1 × India
1 × Italy
1 × USA
1 × United Kingdom
2 × France
Collaborated with:M.Hofmann H.Seidl S.Shoham M.Sagiv O.Padon N.Immerman A.Bauer N.Bjørner S.Itzhaky N.Rinetzky O.Lahav T.Ball A.Gember M.Schapira A.Valadarsky
Talks about:function (2) verifi (2) invari (2) infer (2) properti (1) parametr (1) univers (1) softwar (1) program (1) network (1)
Person: Aleksandr Karbyshev
DBLP: Karbyshev:Aleksandr
Contributed to:
2015
2015
2014
2013
2010
20102016Wrote 7 papers:
- CAV-2015-KarbyshevBIRS #invariant #proving
- Property-Directed Inference of Universal Invariants or Proving Their Absence (AK, NB, SI, NR, SS), pp. 583–602.
- POPL-2015-PadonIKLSS #policy
- Decentralizing SDN Policies (OP, NI, AK, OL, MS, SS), pp. 663–676.
- PLDI-2014-BallBGIKSSV #named #network #source code #towards #verification
- VeriCon: towards verifying controller programs in software-defined networks (TB, NB, AG, SI, AK, MS, MS, AV), p. 31.
- FoSSaCS-2013-BauerHK #higher-order #monad #on the #parametricity
- On Monadic Parametricity of Second-Order Functionals (AB, MH, AK), pp. 225–240.
- ICALP-v2-2010-HofmannKS #functional #question #what
- What Is a Pure Functional? (MH, AK, HS), pp. 199–210.
- SAS-2010-HofmannKS #coq #verification
- Verifying a Local Generic Solver in Coq (MH, AK, HS), pp. 340–355.
- POPL-2016-PadonISKS #decidability #induction #invariant
- Decidability of inferring inductive invariants (OP, NI, SS, AK, MS), pp. 217–231.