Systems

ELINA: ETH Library for Numerical Analysis
ELINA contains optimized implementations of popular numerical abstract domains such as Polyhedra, Octagon and Zones

Publications

2018

Fast Numerical Program Analysis with Reinforcement Learning
Gagandeep Singh, Markus Püschel, Martin Vechev
CAV 2018
A Practical Construction for Decomposing Numerical Abstract Domains
Gagandeep Singh, Markus Püschel, Martin Vechev
ACM POPL 2018

2017

Fast Polyhedra Abstract Domain
Gagandeep Singh, Markus Püschel, Martin Vechev
ACM POPL 2017

2015

Making Numerical Program Analysis Fast
Gagandeep Singh, Markus Püschel, Martin Vechev
ACM PLDI 2015