https://github.com/iith-compilers/isl-utvpi
First-cut implementation of two newly discovered Efficient Algorithms to compute the tightest octagonal over-approximation of arbitary Polyhedra
https://github.com/iith-compilers/isl-utvpi
abstract-interpretation approximation-algorithms isl octagon-domain polyhedra
Last synced: about 1 month ago
JSON representation
First-cut implementation of two newly discovered Efficient Algorithms to compute the tightest octagonal over-approximation of arbitary Polyhedra
- Host: GitHub
- URL: https://github.com/iith-compilers/isl-utvpi
- Owner: IITH-Compilers
- License: mit
- Created: 2018-10-20T11:21:52.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-05-27T07:20:51.000Z (almost 5 years ago)
- Last Synced: 2025-04-12T15:08:51.995Z (about 1 month ago)
- Topics: abstract-interpretation, approximation-algorithms, isl, octagon-domain, polyhedra
- Language: C
- Homepage:
- Size: 1.18 MB
- Stars: 2
- Watchers: 4
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: ChangeLog
- License: LICENSE
- Authors: AUTHORS
Awesome Lists containing this project
README
# ISL-UTVPI
## Title: "Some Efficient Algorithms for the tightest UTVPI Polyhedral Over-approximation problem"
### Authors: Abhishek A. Patwardhan, Ramakrishna Upadrasta
#### Accepted at 9th International Workshop on Polyhedral Compilation Techniques (IMPACT 2019 )
#### January 23, 2019 | Valencia, Spain In conjunction with HiPEAC 2019
##### http://impact.gforge.inria.fr/impact2019/
##### contact: [email protected]
=========== Retaining Integer Set Library's README below ==============
If you use isl for your research, you are invited do cite
the following paper and/or the paper(s) describing the specific
operations you use.
@incollection{Verdoolaege2010isl,
author = {Verdoolaege, Sven},
title = {isl: An Integer Set Library for the Polyhedral Model},
booktitle = {Mathematical Software - ICMS 2010},
series = {Lecture Notes in Computer Science},
editor = {Fukuda, Komei and Hoeven, Joris and Joswig, Michael and
Takayama, Nobuki},
publisher = {Springer},
isbn = {978-3-642-15581-9},
pages = {299-302},
volume = {6327},
year = {2010}
}