Aleksandr Karbyshev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2010–2016
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | POPL | Decidability of inferring inductive invariants. | Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, Mooly Sagiv |
| 2015 | CAV | Property-Directed Inference of Universal Invariants or Proving Their Absence. | Aleksandr Karbyshev, Nikolaj S. Bjrner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham |
| 2015 | POPL | Decentralizing SDN Policies. | Oded Padon, Neil Immerman, Aleksandr Karbyshev, Ori Lahav, Mooly Sagiv, Sharon Shoham |
| 2014 | PLDI | VeriCon: towards verifying controller programs in software-defined networks. | Thomas Ball, Nikolaj S. Bjrner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky |
| 2013 | FOSSACS | On Monadic Parametricity of Second-Order Functionals. | Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev |
| 2010 | ICALP | What Is a Pure Functional? | Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl |
| 2010 | SAS | Verifying a Local Generic Solver in Coq. | Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl |