Compositional recurrence analysis revisited
Author(s): Kincaid, Zachary; Breck, Jason; Boroujeni, Ashkan F; Reps, Thomas
DownloadTo refer to this page use:
http://arks.princeton.edu/ark:/88435/pr1882b
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kincaid, Zachary | - |
dc.contributor.author | Breck, Jason | - |
dc.contributor.author | Boroujeni, Ashkan F | - |
dc.contributor.author | Reps, Thomas | - |
dc.date.accessioned | 2021-10-08T19:45:10Z | - |
dc.date.available | 2021-10-08T19:45:10Z | - |
dc.date.issued | 2017-06 | en_US |
dc.identifier.citation | Kincaid, Zachary, Jason Breck, Ashkan Forouhi Boroujeni, and Thomas Reps. "Compositional recurrence analysis revisited." Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation 52, no. 6 (2017): 248-262. doi:10.1145/3062341.3062373 | en_US |
dc.identifier.issn | 1531-7102 | - |
dc.identifier.uri | https://www.cs.princeton.edu/~zkincaid/pub/pldi16.pdf | - |
dc.identifier.uri | http://arks.princeton.edu/ark:/88435/pr1882b | - |
dc.description.abstract | Compositional recurrence analysis (CRA) is a static-analysis method based on a combination of symbolic analysis and abstract interpretation. This paper addresses the problem of creating a context-sensitive interprocedural version of CRA that handles recursive procedures. The problem is non-trivial because there is an "impedance mismatch" between CRA, which relies on analysis techniques based on regular languages (i.e., Tarjan's path-expression method), and the context-free-language underpinnings of context-sensitive analysis. We show how to address this impedance mismatch by augmenting the CRA abstract domain with additional operations. We call the resulting algorithm Interprocedural CRA (ICRA). Our experiments with ICRA show that it has broad overall strength compared with several state-of-the-art software model checkers. | en_US |
dc.format.extent | 248 - 262 | en_US |
dc.language.iso | en_US | en_US |
dc.relation.ispartof | Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation | en_US |
dc.rights | Author's manuscript | en_US |
dc.title | Compositional recurrence analysis revisited | en_US |
dc.type | Conference Article | en_US |
dc.identifier.doi | 10.1145/3062341.3062373 | - |
pu.type.symplectic | http://www.symplectic.co.uk/publications/atom-terms/1.0/conference-proceeding | en_US |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
CompositionalRecurrenceAnalysisRevisited.pdf | 643.5 kB | Adobe PDF | View/Download |
Items in OAR@Princeton are protected by copyright, with all rights reserved, unless otherwise indicated.