| [17] | Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, and Vesal Vojdani. Improving Thread-Modular Abstract Interpretation. In Proceedings of the 28th International Static Analysis Symposium, SAS 2021, volume 12913 of LNCS, pages 359–383. Springer, 2021. [ bib | DOI | PDF ] |
| [16] | Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, and Vesal Vojdani. Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution). In Proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, volume 12652 of LNCS, pages 438–442. Springer, 2021. [ bib | DOI ] |
| [15] | Vesal Vojdani, Kalmer Apinis, and Simmo Saan. Approaches to Thread-Modular Static Analysis. In Proceedings of the 31st Nordic Workshop on Programming Theory (Abstracts), NWPT '19, pages 81–84. TallTech, 2019. [ bib | PDF ] |
| [14] | Kalmer Apinis, Varmo Vene, and Vesal Vojdani. Demand-driven interprocedural analysis for map-based abstract domains. Journal of Logical and Algebraic Methods in Programming, 100:57–70, 2018. [ bib | DOI | PDF ] |
| [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 '16, 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, volume 8318 of LNCS, 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, volume 7705 of LNCS, 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, volume 5944 of LNCS, 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, volume 5850 of LNCS, 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, volume 5673 of LNCS, 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.99.