Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Personen Ehemalige Dr. Vesal Vojdani login

Dr. Vesal Vojdani

Name:Dr. Vesal Vojdani
Raum:University of Tartu, Estonia
Tel:-
eMail:vesal<at>ut.ee
Visitenkarte:


Publications of Vesal Vojdani

Theses

  1. Vesal Vojdani. Static Data Race Analysis of Heap-Manipulating C Programs. PhD thesis, University of Tartu. December 2010.

    Download: PDF Reference: Bibtex


Conference Papers

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

  1. K. Apinis, H. Seidl and V. Vojdani. Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. APLAS, pages 157-172, 2012. LNCS 7705, Springer.

    Detail: Abstract Download: PDF Reference: Bibtex

  2. Martin D Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich and Markus Müller-Olm. Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. POPL'11: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pages 93–104, Austin, Texas, USA, 2011. ACM.

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

  3. Jörg Kreiker, Helmut Seidl and Vesal Vojdani. Shape Analysis of Low-Level C with Overlapping Structures. In Gilles Barthe and Manuel V. Hermenegildo, editors, Verification, Model Checking, and Abstract Interpretation, volume 5944 of Lecture Notes in Computer Science, pages 214-230, Madrid, Spain, January 2010. Springer.

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

  4. Helmut Seidl, Vesal Vojdani and Varmo Vene. A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis. In Ana Cavalcanti and Dennis Dams, editors, Formal Methods, volume 5850 of Lecture Notes in Computer Science, Eindhoven, The Netherlands, November 2009. Springer.

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

  5. Helmut Seidl and Vesal Vojdani. Region Analysis for Race Detection. In Jens Palsberg and Zhendong Su, editors, Static Analysis, volume 5673 of Lecture Notes in Computer Science, pages 171-187, Los Angeles, CA, USA, August 2009. Springer.

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



TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 13 ms