Vesal Vojdani's Publications

[13] Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, and Ralf Vogler. Static Race Detection for Device Drivers: The Goblint Approach. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, pages 391–402. ACM, 2016. [ bib | DOI | PDF ]
[12] Tõnis Pool, Allan Raundahl Gregersen, and Vesal Vojdani. Trufflereloader: A Low-overhead Language-neutral Reloader. In Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS '16, pages 3:1–3:10. ACM, 2016. [ bib | DOI | PDF ]
[11] Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, and Vesal Vojdani. Efficiently intertwining widening and narrowing. Science of Computer Programming, 120:1–24, May 2016. [ bib | DOI | PDF ]
[10] Kalmer Apinis, Helmut Seidl, and Vesal Vojdani. Enhancing Top-Down Solving with Widening and Narrowing. In Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pages 272–288. Springer, 2016. [ bib | DOI | PDF ]
[9] Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, and Kalmer Apinis. Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs. In Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI '14, pages 21–38. Springer, 2014. [ bib | DOI | PDF ]
[8] Helmut Seidl, Kalmer Apinis, and Vesal Vojdani. Frameworks for Interprocedural Analysis of Concurrent Programs. In Software Systems Safety, volume 36 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 309–347. IOS Press, 2014. [ bib | DOI ]
[7] Kalmer Apinis, Helmut Seidl, and Vesal Vojdani. How to Combine Widening and Narrowing for Non-monotonic Systems of Equations. In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, pages 377–386. ACM, 2013. [ bib | DOI | PDF ]
[6] Kalmer Apinis, Helmut Seidl, and Vesal Vojdani. Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. In Proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS '12, pages 157–172. Springer, December 2012. [ bib | DOI | PDF ]
[5] 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. In Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '11, pages 93–104. ACM, 2011. [ bib | DOI | PDF ]
[4] Jörg Kreiker, Helmut Seidl, and Vesal Vojdani. Shape Analysis of Low-level C with Overlapping Structures. In Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI '10, pages 214–230. Springer, 2010. [ bib | DOI | PDF ]
[3] Helmut Seidl, Vesal Vojdani, and Varmo Vene. A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis. In Proceedings of the Second World Congress on Formal Methods, FM '09, pages 644–659. Springer, 2009. [ bib | DOI | PDF ]
[2] Helmut Seidl and Vesal Vojdani. Region Analysis for Race Detection. In Proceedings of the 16th International Symposium on Static Analysis, SAS '09, pages 171–187. Springer, 2009. [ bib | DOI | PDF ]
[1] Vesal Vojdani and Varmo Vene. Goblint: Path-sensitive data race analysis. Annales Univ. Sci. Budapest., Sect. Comp., 30:141–155, 2009. [ bib | PDF ]

This file was generated by bibtex2html 1.98.