Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Personen Ehemalige Dr. Kalmer Apinis login

Dr. Kalmer Apinis

Name:Dr. Kalmer Apinis
Raum:-
Tel:-
eMail:apinis<at>in.tum.de
Visitenkarte:


Publications of Kalmer Apinis

Theses

  1. Kalmer Apinis. Frameworks for analyzing multi-threaded C. PhD thesis, Institut für Informatik, Technische Universität München June 2014.

    Detail: Abstract 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. Martin D. Schwarz, Helmut Seidl, Vesal Vojdani and Kalmer Apinis. Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs. Verification, Model Checking, and Abstract Interpretation, volume 8318 of Lecture Notes in Computer Science, pages 21-38, 2014. Springer Berlin Heidelberg.

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

  2. Kalmer Apinis, Helmut Seidl and Vesal Vojdani. How to combine widening and narrowing for non-monotonic systems of equations. Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation, pages 377--386, 2013.

    Detail: Abstract Download: PDF Reference: Bibtex

  3. Alexander Herz and Kalmer Apinis. Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages. In Alwyn Goodloe and Suzette Person, editors, NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, pages 106-119, 2012. Springer Berlin / Heidelberg.

    Detail: Abstract Download: PDF Reference: Bibtex

  4. 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



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