Internet Archive Scholar
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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (290.6 kB)
https://web.archive.org/web/20210718042639/https://link.springer.com/content/pdf/10.1007%2F978-3-030-72013-1_28.pdf?error=cookies_not_supported&code=9d33ca61-f3b9-4d20-9460-128c49f7af57

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

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
Open Access
Citation

Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani. "Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints." Lecture Notes in Computer Science (2021) 438-442

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

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (2.4 MB)
https://web.archive.org/web/20190709071528/https://spiral.imperial.ac.uk/bitstream/10044/1/48042/1/Deligiannis-P-2017-PhD-Thesis.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL. The file type is application/pdf.

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
Citation

Pantazis Deligiannis, Alastair F. Donaldson, Cristian Cadar, Intel Corporation, Engineering And Physical Sciences Research Council. "Scalable techniques for analysing and testing asynchronous software systems." (2017)

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

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (2.6 MB)
https://web.archive.org/web/20210611191851/https://opus4.kobv.de/opus4-fau/frontdoor/deliver/index/docId/16426/file/Dagstuhl_GRK2021.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

(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
Citation

Joint Workshop Of The German Research Training Groups In Computer Science, Erlangen May 31–June 1, 2021, Felix Freiling. "Proceedings of the 2021 Joint Workshop of the German Research Training Groups in Computer Science. May 31–June 1, 2021." (2021)