Making Numerical Program Analysis Fast

Thumbnail
Metadata only
Author
Singh, Gagandeep
Püschel, Markus
Vechev, Martin
Date
2015
Type
  • Other Conference Item
Publication status
published
External links
Search via SFX
Book title
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2015
Pages / Article No.
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 - Dep. Informatik / Dep. of Computer Science  
03893 - Püschel, Markus / Püschel, Markus  
03948 - Vechev, Martin / Vechev, Martin  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics