Filters








3 Hits in 2.3 sec

Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints [chapter]

Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani
2021 Lecture Notes in Computer Science  
It relies on thread-modular abstract interpretation where thread interferences are accounted for by means of flow-insensitive global invariants.  ...  We would like to thank everyone who has contributed to Goblint over the years.  ...  The analysis is specified using a side-effecting constraint system [3] , in which right-hand sides of constraints can, during their evaluation, make additional contributions (side effects) to other constraint  ... 
doi:10.1007/978-3-030-72013-1_28 fatcat:jhwmmdff2zcarjxez3l3zgexzm

Scalable techniques for analysing and testing asynchronous software systems

Pantazis Deligiannis, Alastair F. Donaldson, Cristian Cadar, Intel Corporation, Engineering And Physical Sciences Research Council
2017
Our analysis avoids reasoning about thread interleavings and thus scales well.  ...  A new approach for partially-modelling and testing production-scale asynchronous distributed systems using P#.  ...  threads, we must be sure to account for possible side-effects due to other threads that are running concurrently.  ... 
doi:10.25560/48042 fatcat:y6yu5erl4vcotdj37qv4xwzjpu

Proceedings of the 2021 Joint Workshop of the German Research Training Groups in Computer Science. May 31–June 1, 2021

Joint Workshop Of The German Research Training Groups In Computer Science, Erlangen May 31–June 1, 2021, Felix Freiling
2021
(eds.) 28th International Conference on Automated Deduction (CADE-28), LNCS, Springer, 2021 3 https://www.isa-afp.org/ Thread-Modular Abstract Interpretation for Multi-Threaded Code Michael Schwarz (m.schwarz  ...  Modular and Efficient Creation of Function Summaries Using Abstract Interpretation Julian Erhard (julian.erhard@tum.de) Supervisor: Prof. Dr.  ...  Explainable AI (XAI) is a research field that addresses exactly this question. 1 So far, mainly post-hoc methods have been developed to achieve interpretability, but intrinsic approaches can also be helpful  ... 
doi:10.25593/opus4-fau-16426 fatcat:isoyq5lzdffxrdqzvkmfsnjgau