Vesal Vojdani

According to our database1, Vesal Vojdani authored at least 14 papers between 2009 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Demand-driven interprocedural analysis for map-based abstract domains.
J. Log. Algebr. Meth. Program., 2018

2016
Efficiently intertwining widening and narrowing.
Sci. Comput. Program., 2016

Static race detection for device drivers: the Goblint approach.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Trufflereloader: a low-overhead language-neutral reloader.
Proceedings of the 11th Workshop on Implementation, 2016

Enhancing Top-Down Solving with Widening and Narrowing.
Proceedings of the Semantics, Logics, and Calculi, 2016

2015
Efficiently intertwining widening and narrowing.
CoRR, 2015

2014
Frameworks for Interprocedural Analysis of Concurrent Programs.
Proceedings of the Software Systems Safety, 2014

Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2013
How to combine widening and narrowing for non-monotonic systems of equations.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012
Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2010
Shape Analysis of Low-Level C with Overlapping Structures.
Proceedings of the Verification, 2010

2009
Region Analysis for Race Detection.
Proceedings of the Static Analysis, 16th International Symposium, 2009

A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis.
Proceedings of the FM 2009: Formal Methods, 2009


  Loading...