@inproceedings{Schwarz:2021:ITM,
author = {Michael Schwarz and Simmo Saan and Helmut Seidl and Kalmer Apinis and Julian Erhard and Vesal Vojdani},
title = {Improving Thread-Modular Abstract Interpretation},
booktitle = {Proceedings of the 28th International Static Analysis Symposium, {SAS} 2021},
series = {LNCS},
volume = {12913},
pages = {359--383},
publisher = {Springer},
year = {2021},
doi = {10.1007/978-3-030-88806-0\_18},
pdf = {https://arxiv.org/abs/2108.07613}
}
@inproceedings{SAAN:2021:SVGob,
author = {Simmo Saan and Michael Schwarz and Kalmer Apinis and Julian Erhard and Helmut Seidl and Ralf Vogler and Vesal Vojdani},
title = {Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution)},
booktitle = {Proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, {TACAS} 2021},
series = {LNCS},
volume = {12652},
pages = {438--442},
publisher = {Springer},
year = {2021},
doi = {10.1007/978-3-030-72013-1\_28}
}
@inproceedings{Vojdani:2019:ATM,
author = {Vesal Vojdani and Kalmer Apinis and Simmo Saan},
title = {Approaches to Thread-Modular Static Analysis},
booktitle = {Proceedings of the 31st Nordic Workshop on Programming Theory (Abstracts), NWPT '19},
year = {2019},
isbn = {9789949835201},
location = {Tallinn, Estonia},
pages = {81--84},
publisher = {TallTech},
pdf = {https://cs.ttu.ee/events/nwpt2019/abstracts/paper23.pdf}
}
@article{Apinis:2018:MAP,
author = {Kalmer Apinis and
Varmo Vene and
Vesal Vojdani},
title = {Demand-driven interprocedural analysis for map-based abstract domains},
journal = {Journal of Logical and Algebraic Methods in Programming},
volume = {100},
pages = {57--70},
year = {2018},
doi = {10.1016/j.jlamp.2018.06.003},
pdf = {http://ut.ee/~vesal/papers/Apinis_2018_MAP.pdf}
}
@inproceedings{Vojdani:2016:GOB,
author = {Vojdani, Vesal and Apinis, Kalmer and R\~{o}tov, Vootele and Seidl, Helmut and Vene, Varmo and Vogler, Ralf},
title = {Static Race Detection for Device Drivers: The Goblint Approach},
booktitle = {Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE '16},
year = {2016},
isbn = {978-1-4503-3845-5},
location = {Singapore, Singapore},
pages = {391--402},
doi = {10.1145/2970276.2970337},
publisher = {ACM},
pdf = {http://dl.acm.org/authorize?N27656}
}
@inproceedings{Pool:2016:TRL,
title = {Trufflereloader: {A} {Low}-overhead {Language}-neutral {Reloader}},
isbn = {978-1-4503-4837-9},
shorttitle = {Trufflereloader},
doi = {10.1145/3012408.3012411},
urldate = {2017-04-27},
booktitle = {Proceedings of the 11th {Workshop} on {Implementation}, {Compilation}, {Optimization} of {Object}-{Oriented} {Languages}, {Programs} and {Systems}, {ICOOOLPS} '16},
publisher = {ACM},
author = {Pool, T{\~o}nis and Gregersen, Allan Raundahl and Vojdani, Vesal},
year = {2016},
pages = {3:1--3:10},
pdf = {http://dl.acm.org/authorize?N37407}
}
@article{Amato:2016:IWN,
title = {Efficiently intertwining widening and narrowing},
volume = {120},
issn = {0167-6423},
doi = {10.1016/j.scico.2015.12.005},
journal = {Science of Computer Programming},
author = {Amato, Gianluca and Scozzari, Francesca and Seidl, Helmut and Apinis, Kalmer and Vojdani, Vesal},
month = may,
year = {2016},
pages = {1--24},
pdf = {https://www.sci.unich.it/~amato/papers/scp16.pdf}
}
@inproceedings{Apinis:2015:ETS,
author = {Apinis, Kalmer and Seidl, Helmut and Vojdani, Vesal},
title = {Enhancing Top-Down Solving with Widening and Narrowing},
booktitle = {Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays},
year = {2016},
isbn = {978-3-319-27809-4},
pages = {272--288},
doi = {10.1007/978-3-319-27810-0_14},
publisher = {Springer},
pdf = {http://ut.ee/~vesal/papers/Apinis_2015_ETS.pdf}
}
@inproceedings{Schwarz:2014:VDS,
author = {Schwarz, Martin D. and Seidl, Helmut and Vojdani, Vesal and Apinis, Kalmer},
title = {Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs},
booktitle = {Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI '14},
series = {LNCS},
volume = {8318},
year = {2014},
isbn = {978-3-642-54012-7},
location = {San Diego, CA, USA},
pages = {21--38},
doi = {10.1007/978-3-642-54013-4_2},
publisher = {Springer},
pdf = {http://ut.ee/~vesal/papers/Schwarz_2014_VDS.pdf}
}
@incollection{Seidl:2014:FIA,
author = {Helmut Seidl and Kalmer Apinis and Vesal Vojdani},
title = {Frameworks for {I}nterprocedural {A}nalysis of {C}oncurrent {P}rograms},
booktitle = {Software Systems Safety},
year = 2014,
pages = {309--347},
series = {NATO Science for Peace and Security Series, D: Information and Communication Security},
volume = {36},
publisher = {IOS Press},
doi = {10.3233/978-1-61499-385-8-309}
}
@inproceedings{Apinis:2013:CWN,
author = {Apinis, Kalmer and Seidl, Helmut and Vojdani, Vesal},
title = {How to Combine Widening and Narrowing for Non-monotonic Systems of Equations},
booktitle = {Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13},
year = {2013},
isbn = {978-1-4503-2014-6},
location = {Seattle, Washington, USA},
pages = {377--386},
doi = {10.1145/2491956.2462190},
publisher = {ACM},
pdf = {http://dl.acm.org/authorize?N27657}
}
@inproceedings{Apinis:2012:SCS,
author = {Apinis, Kalmer and Seidl, Helmut and Vojdani, Vesal},
title = {Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis},
doi = {10.1007/978-3-642-35182-2_12},
booktitle = {Proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS '12},
series = {LNCS},
volume = {7705},
publisher = {Springer},
month = dec,
year = {2012},
pages = {157--172},
pdf = {http://ut.ee/~vesal/papers/Apinis_2012_SCS.pdf}
}
@inproceedings{Schwarz:2011:PCP,
author = {Schwarz, Martin D. and Seidl, Helmut and Vojdani, Vesal and Lammich, Peter and M\"{u}ller-Olm, Markus},
title = {Static Analysis of Interrupt-driven Programs Synchronized via the Priority Ceiling Protocol},
booktitle = {Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '11},
year = {2011},
isbn = {978-1-4503-0490-0},
location = {Austin, Texas, USA},
pages = {93--104},
doi = {10.1145/1926385.1926398},
publisher = {ACM},
pdf = {http://dl.acm.org/authorize?N27658}
}
@inproceedings{Kreiker:2010:SAL,
author = {Kreiker, J\"{o}rg and Seidl, Helmut and Vojdani, Vesal},
title = {Shape Analysis of Low-level {C} with Overlapping Structures},
booktitle = {Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI '10},
series = {LNCS},
volume = {5944},
year = {2010},
location = {Madrid, Spain},
pages = {214--230},
doi = {10.1007/978-3-642-11319-2_17},
publisher = {Springer},
pdf = {http://ut.ee/~vesal/papers/Kreiker_2010_SAL.pdf}
}
@inproceedings{Seidl:2009:CLH,
author = {Seidl, Helmut and Vojdani, Vesal and Vene, Varmo},
title = {A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis},
booktitle = {Proceedings of the Second World Congress on Formal Methods, FM '09},
series = {LNCS},
volume = {5850},
year = {2009},
location = {Eindhoven, The Netherlands},
pages = {644--659},
doi = {10.1007/978-3-642-05089-3_41},
publisher = {Springer},
pdf = {http://ut.ee/~vesal/papers/Seidl_2009_CLH.pdf}
}
@inproceedings{Seidl:2009:RAR,
author = {Seidl, Helmut and Vojdani, Vesal},
title = {Region Analysis for Race Detection},
booktitle = {Proceedings of the 16th International Symposium on Static Analysis, SAS '09},
series = {LNCS},
volume = {5673},
year = {2009},
isbn = {978-3-642-03236-3},
location = {Los Angeles, CA},
pages = {171--187},
doi = {10.1007/978-3-642-03237-0_13},
publisher = {Springer},
pdf = {http://ut.ee/~vesal/papers/Seidl_2009_RAR.pdf}
}
@article{Vojdani:2009:GOB,
author = {Vesal Vojdani and Varmo Vene},
title = {Goblint: Path-sensitive data race analysis},
journal = {Annales Univ. Sci. Budapest., Sect. Comp.},
volume = 30,
pages = {141--155},
year = {2009},
pdf = {http://ac.inf.elte.hu/Vol_030_2009/141.pdf}
}
This file was generated by bibtex2html 1.99.