In Conferences and Workshops

  1. A Marketplace for Cloud Resources with Thomas A. Henzinger, Vasu Singh, Anmol Tomar, and Damien Zufferey
    To appear in Proceedings of EMSOFT, 2010. [pdf]
  2. FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment with Thomas A. Henzinger, Vasu Singh, Anmol Tomar, and Damien Zufferey
    In Proceedings of IEEE CLOUD, 2010. [pdf]
  3. (EC)2 in EC2 with Thomas A. Henzinger, Vasu Singh, Anmol Tomar, and Damien Zufferey
    (EC)2 Workshop, 2010. [pdf]
  4. Forward Analysis of Depth-Bounded Processes with Damien Zufferey and Thomas A. Henzinger
    In Proceedings of FoSSaCS, 2010. [pdf]
  5. Counterexample-Guided Focus with Andreas Podelski
    In Proceedings of POPL, 2010. [pdf] [ppt-slides]
  6. Building a Calculus of Data Structures with Viktor Kuncak, Ruzica Piskac, and Philippe Suter
    In Proceedings of VMCAI, 2010. [pdf]
  7. It's doomed; we can prove it with Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, and Martin Schäf
    In Proceedings of FM, 2009. [pdf]
  8. Combining Theories with Shared Set Operations with Ruzica Piskac and Viktor Kuncak
    In Proceedings of FroCoS, 2009. [pdf] [pdf-extended] [ppt-slides]
  9. Abstraction Refinement for Quantified Array Assertions with Nassim Seghir and Andreas Podelski
    In Proceedings of SAS, 2009. [pdf]
  10. Intra-module Inference with Shuvendu Lahiri, Shaz Qadeer, Juan Galeotti, and Jan Voung
    In Proceedings of CAV, 2009. [pdf]
  11. Heap Assumptions on Demand with Andreas Podelski and Andrey Rybalchenko
    In Proceedings of CAV, 2008. [pdf] [pdf-extended]
  12. Shape analysis for composite data structures with Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O'Hearn, and Hongseok Yang
    In Proceedings of CAV, 2007. [pdf]
  13. Verifying Complex Properties using Symbolic Shape Analysis with Viktor Kuncak, Karen Zee, Andreas Podelski, and Martin Rinard
    Workshop on Heap Abstraction and Verification, March 2007. [pdf]
  14. Using First-Order Theorem Provers in the Jahob Data Structure Verification System with Charles Bouillaguet, Viktor Kuncak, Karen Zee, and Martin Rinard
    In Proceedings of VMCAI, 2007. [pdf]
  15. Field Constraint Analysis with Viktor Kuncak, Patrick Lam, Andreas Podelski, and Martin Rinard
    In Proceedings of VMCAI, 2006. [pdf] [pdf-extended] [pdf-slides]
  16. Boolean Heaps with Andreas Podelski
    In Proceedings of SAS, 2005. [pdf] [pdf-slides]

Technical Reports

  1. On Deciding Functional Lists with Sublist Sets with Marco Muñiz and Viktor Kuncak
    EPFL Technical Report EPFL-REPORT-148361, April, 2010. [pdf]
  2. On Combining Theories with Shared Set Operations with Ruzica Piskac and Viktor Kuncak
    EPFL Technical Report LARA-REPORT-2009-002. February, 2009. [pdf]
  3. On Set-Driven Combination of Logics and Verifiers with Viktor Kuncak
    EPFL Technical Report LARA-REPORT-2009-001. 2009. [pdf]
  4. On Verifying Complex Properties using Symbolic Shape Analysis with Viktor Kuncak, Karen Zee, Andreas Podelski, and Martin Rinard
    Max-Planck Institute for Computer Science Technical Report MPI-I-2006-2-1. 2006 [pdf]
  5. On Field Constraint Analysis with Viktor Kuncak, Patrick Lam, Andreas Podelski, and Martin Rinard
    MIT CSAIL Technical Report MIT-CSAIL-TR-2005-072, MIT-LCS-TR-1010. 2005. [pdf]

Thesis

  1. Symbolic Shape Analysis
    PhD Thesis, University of Freiburg, Freiburg, Germany, 2009. [pdf]