Making Numerical Program Analysis Fast
METADATA ONLY
Loading...
Author / Producer
Date
2015
Publication Type
Other Conference Item
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2015
Journal / series
Volume
Pages / Article No.
303 - 313
Publisher
Association for Computing Machinery
Event
36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
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