Dr. Aleksandr Karbyshev

Name: Dr. Aleksandr Karbyshev Raum: - Tel: - eMail: - Visitenkarte:

Publications of Aleksandr Karbyshev

Theses

1. Aleksandr Karbyshev. Monadic Parametricity of Second-Order Functionals. PhD thesis, Institut für Informatik, Technische Universität München September 2013. Universitätsbibliothek.

   Detail: Abstract Download: PDF Reference: Bibtex

Journal Articles

The following articles appeared in peer-reviewed journals. The copyright of these articles lies with the respective journals.

1. Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky and Sharon Shoham. Property-Directed Inference of Universal Invariants or Proving Their Absence. Journal of ACM, 64(1):7:1--7:33, 2017.

   Detail: Abstract Reference: Bibtex Electronic Copy: DOI

2. Thomas Ball, Nikolaj Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira and Asaf Valadarsky. VeriCon: Towards Verifying Controller Programs in Software-Defined Networks. , June 2014.

   Detail: Abstract Download: PDF Reference: Bibtex Electronic Copy: DOI

Conference Papers

The following papers were published in peer-reviewed conferences. The copyright of these papers lies with the respective publishers.

1. Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov and Lars Birkedal. Compositional Non-Interference for Concurrent Programs via Separation and Framing. Principles of Security and Trust, Thessaloniki, Greece, April 2018. Springer.

   Reference: Bibtex The original publication is available at www.springerlink.com

2. Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev and Mooly Sagiv. Decidability of Inferring Inductive Invariants. Principles of Programming Languages, SIGPLAN, St. Petersburg, Florida, USA, January 2016. ACM.

   Detail: Abstract Download: PDF Reference: Bibtex

3. Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky and Sharon Shoham. Property-Directed Inference of Universal Invariants or Proving Their Absence. Computer Aided Verification, Lecture Notes in Computer Science, San Francisco, California, USA, July 2015. Springer.

   Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

4. Oded Padon, Neil Immerman, Aleksandr Karbyshev, Ori Lahav, Mooly Sagiv and Sharon Shoham. Decentralizing SDN Policies. Principles of Programming Languages, SIGPLAN, Mumbai, India, January 2015. ACM.

   Detail: Abstract Download: PDF Reference: Bibtex Electronic Copy: DOI

5. Thomas Ball, Nikolaj Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira and Asaf Valadarsky. VeriCon: Towards Verifying Controller Programs in Software-Defined Networks. Programming Language Design and Implementation, SIGPLAN, Edinburg, UK, June 2014. ACM.

   Detail: Abstract Download: PDF Reference: Bibtex Electronic Copy: DOI

6. Andrej Bauer, Martin Hofmann and Aleksandr Karbyshev. On Monadic Parametricity of Second-Order Functionals. In Frank Pfenning, editor, FoSSaCS, volume 7794 of Lecture Notes in Computer Science, pages 225-240, March 2013. Springer.

   Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

7. Martin Hofmann, Aleksandr Karbyshev and Helmut Seidl. Verifying a Local Generic Solver in Coq. In Radhia Cousot and Matthieu Martel, editors, Static Analysis, volume 6337 of Lecture Notes in Computer Science, pages 340-355, September 2010. Springer.

   Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

8. Martin Hofmann, Aleksandr Karbyshev and Helmut Seidl. What Is a Pure Functional?. In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide and Paul G. Spirakis, editors, ICALP (2), volume 6199 of Lecture Notes in Computer Science, pages 199-210, July 2010. Springer.

   Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

Workshop Papers and Technical Reports

1. Martin Hofmann, Aleksandr Karbyshev and Helmut Seidl. On the Verification of Local Generic Solvers. , 2013. Technische Universität München.

   Download: PDF Reference: Bibtex Electronic Copy: DOI

2. Andrej Bauer, Martin Hofmann and Aleksandr Karbyshev. On Monadic Parametricity of Second-Order Functionals. In Ralf Hinze, editor, IFL, volume RR-12-06, pages 37-52, August 2012. University of Oxford.

   Download: PDF Reference: Bibtex