Making Numerical Program Analysis Fast

Thumbnail
Metadata only
Author
Singh, Gagandeep
Puschel, Markus
Vechev, Martin
Date
2015
Type
  • Other Conference Item
Publication status
published
External links
Full text via SFX
Book title
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2015
Pages
303 - 313
Publisher
Association for Computing Machinery
Event
36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015), Portland, OR, USA, June 13-17, 2015
Subject
Fast numerical program analysis; Octagon abstract domain; Octagon Decomposition; Vectorized octagon operators; Sparse octagon operators; Octagon closure algorithm
Organisational unit
02150 - Departement Informatik / Department of Computer Science
03893 - Püschel, Markus
03948 - Vechev, Martin
Notes
.
More
Show all metadata
Altmetrics