doc/barvinok.bib

   1 @string(ICPS = "ICPS, Universit\'e Louis Pasteur de Strasbourg, France")
   2
   3 @techreport{ Wilde1993,
   4     author = "D. K. Wilde",
   5     title = "A Library for doing polyhedral operations",
   6     number = "785",
   7     institution = "IRISA, Rennes, France",
   8     pages = "45 p.",
   9     year = 1993,
  10     url = "citeseer.nj.nec.com/article/wilde93library.html",
  11     note = "\\http://www.irisa.fr/EXTERNE/bibli/pi/pi785.html"
  12 }
  13
  14 @article{ Loechner97parameterized,
  15     author = "Vincent Loechner and Doran K. Wilde",
  16     title = "Parameterized Polyhedra and Their Vertices",
  17     journal = "International Journal of Parallel Programming",
  18     volume = "25",
  19     number = "6",
  20     pages = "525--549",
  21     year = "1997",
  22     month = dec,
  23     publisher = {Kluwer Academic Publishers},
  24     url = "citeseer.nj.nec.com/article/loechner95parameterized.html" }
  25
  26 @TechReport{ Loechner1999,
  27     author = "Vincent Loechner",
  28     month = mar,
  29     year = 1999,
  30     title = "PolyLib: A Library for Manipulating Parameterized Polyhedra",
  31     institution = ICPS,
  32 }
  33
  34 @article{ Clauss1998parametric,
  35     author = "Clauss, Philippe and Loechner, Vincent",
  36     title = "Parametric analysis of polyhedral iteration spaces",
  37     journal = "Journal of {VLSI} Signal Processing",
  38     publisher = "Kluwer Academic Publishers, Boston",
  39     year = "1998",
  40     volume = 19,
  41     pages = "179--194",
  42     number = 2,
  43     month = jul,
  44 }
  45
  46 @mastersthesis{ Seghir2002,
  47     title = {D\'enombrement des Point Entiers de l'Union et de
  48              l'Image des Poly\'edres Param\'etr\'es},
  49     author = "Rachid Seghir",
  50     month = jun,
  51     school = ICPS,
  52     year = 2002,
  53 }
  54
  55 @techreport{cdd,
  56     author = "K. Fukuda",
  57     title = "cdd.c: C-implementation of the double description method for computing all vertices and extremal rays of a convex polyhedron given by a system of linear inequalities",
  58     institution = "Department of Mathematics, Swiss Federal Institute of Technology, Lausanne, Switzerland",
  59    year =  1993,
  60     note = "program available from http://www.ifor.math.ethz.ch/~fukuda/fukuda.html",
  61 }
  62
  63 @PhdThesis{Loechner97phd,
  64     author = "V. Loechner",
  65     title = {Contribution \`a l'\'etude des poly\`edres
  66 param\'etr\'es et applications en parall\'elisation automatique},
  67     school = "University Louis Pasteur, Strasbourg",
  68     year =  1997,
  69 }
  70
  71 @PHDTHESIS{ Bik1996PhD,
  72   AUTHOR    = {A. J. C. Bik},
  73   TITLE     = {Compiler Support for Sparse Matrix Computations},
  74   SCHOOL    = {University of Leiden},
  75   ADDRESS   = {The Netherlands},
  76   YEAR      = {1996},
  77   ISBN      = {},
  78   NOTE      = {},
  79   CONTENTS  = {},
  80   sourceURL = {ftp://ftp.wi.leidenuniv.nl/pub/CS/PhDTheses/bik-96.ps.gz},
  81   FLAGS     = {own},
  82   TOPICS    = {Sparse Arrays}
  83 }
  84
  85 @PHDTHESIS{Verdoolaege2005PhD,
  86   AUTHOR = "Verdoolaege, Sven",
  87   TITLE = {Incremental Loop Transformations and Enumeration of Parametric Sets},
  88   SCHOOL = {Department of Computer Science, K.U.Leuven},
  89   YEAR = {2005},
  90   TYPE = {PHD},
  91   ADDRESS = {Leuven, Belgium},
  92   MONTH = apr,
  93 }
  94
  95 @misc{latte1.1,
  96     author = "De Loera, J. A. and Haws, D. and Hemmecke, R. and Huggins, P. and Tauzer, J. and Yoshida, R.",
  97     title = "A User's Guide for LattE v1.1",
  98     year = 2003,
  99     month = nov,
 100     note = {software package {\tt LattE} is available at {\tt http://www.math.ucdavis.edu/$\sim$latte/}},
 101 }
 102
 103 @misc{NTL,
 104     author = "Victor Shoup",
 105     title = "{NTL}",
 106     note = "Available from {\tt http://www.shoup.net/ntl/}",
 107     year = 2004,
 108 }
 109
 110 @incollection{polymake,
 111   author =       {Ewgenij Gawrilow and Michael Joswig},
 112   title =        {polymake: a Framework for Analyzing Convex Polytopes},
 113   pages =        {43-74},
 114   editor =       {Gil Kalai and G\"unter M. Ziegler},
 115   booktitle =    {Polytopes --- Combinatorics and Computation},
 116   publisher =    {Birkh\"auser},
 117   year =         {2000}
 118 }
 119
 120 @article{Stanley93monotonicity,
 121   author    = {Richard P. Stanley},
 122   title     = {A Monotonicity Property of h-vectors and h*-vectors.},
 123   journal   = {European Journal of Combinatorics},
 124   volume    = {14},
 125   number    = {3},
 126   year      = {1993},
 127   pages     = {251-258},
 128 }
 129
 130 @TechReport{ Omega_calc,
 131     author = "Wayne Kelly and Vadim Maslov and William Pugh and Evan Rosser and Tatiana Shpeisman and Dave Wonnacott",
 132     title = "The {Omega} Calculator and Library",
 133     month = nov,
 134     institution = "University of Maryland",
 135     year = 1996
 136 }
 137
 138 @TechReport{ Omega_lib,
 139     author = "Wayne Kelly and Vadim Maslov and William Pugh and Evan Rosser and Tatiana Shpeisman and Dave Wonnacott",
 140     title = "The {Omega} Library",
 141     month = nov,
 142     institution = "University of Maryland",
 143     year = 1996
 144 }
 145
 146 @inproceedings{Turjan2002,
 147     author = "Alexandru Turjan and Bart Kienhuis and Ed Deprettere",
 148     title = "A compile time based approach for solving out-of-order communication in {Kahn} Process Networks",
 149     booktitle = "IEEE 13th International Conference on Aplication-specific Systems, Architectures and Processors (ASAP'2002)",
 150     location = "San Jose, CA, USA",
 151     month = Jul,
 152     year =  2002
 153 }
 154
 155 @article{Loechner2002,
 156  author = {Vincent Loechner and Beno\^it Meister and Philippe Clauss},
 157  title = {Precise Data Locality Optimization of Nested Loops},
 158  journal = {J. Supercomput.},
 159  volume = {21},
 160  number = {1},
 161  year = {2002},
 162  issn = {0920-8542},
 163  pages = {37--76},
 164  doi = {http://dx.doi.org/10.1023/A:1013535431127},
 165  publisher = {Kluwer Academic Publishers},
 166  }
 167
 168 @inproceedings{Verdoolaege2004embedded,
 169   AUTHOR = "Verdoolaege, Sven and Beyls, Kristof and Bruynooghe, Maurice and Seghir, Rachid and Loechner, Vincent",
 170   TITLE = {{A}nalytical computation of {E}hrhart polynomials and its applications for embedded systems},
 171   YEAR = {2004},
 172   booktitle = {2nd Workshop on Optimization for DSP and Embedded Systems, ODES-2},
 173   location = {Palo Alto, USA},
 174   month =  mar,
 175 }
 176
 177 @TECHREPORT{Verdoolaege2004TR,
 178   AUTHOR = "Verdoolaege, Sven and Beyls, Kristof and Bruynooghe, Maurice and Seghir, Rachid and Loechner, Vincent",
 179   TITLE = {{A}nalytical computation of {E}hrhart polynomials and its applications for embedded systems},
 180   INSTITUTION = {Department of Computer Science, K.U.Leuven},
 181   YEAR = {2004},
 182   TYPE = {Report CW},
 183   NUMBER = {376},
 184   ADDRESS = {Leuven, Belgium},
 185   MONTH = {jan},
 186 NOTE = {URL = http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW376.abs.html},
 187 }
 188
 189 @TechReport{Seghir2004analytical,
 190         title = {Analytical Computation of {Ehrhart} Polynomials and its Application in Compile-Time Generated Cache Hints},
 191         author= {Rachid Seghir and Sven Verdoolaege and Kristof Beyls and Vincent Loechner},
 192         month = feb,
 193         year  = {2004},
 194         number = 118,
 195         institution = ICPS,
 196 }
 197
 198 @INPROCEEDINGS{Verdoolaege2004analytical,
 199   AUTHOR = "Verdoolaege, Sven and Seghir, Rachid and Beyls, Kristof and Loechner, Vincent and Bruynooghe, Maurice",
 200   TITLE = {{A}nalytical computation of {E}hrhart polynomials: {Enabling} more compiler analyses and optimizations},
 201   BOOKTITLE = {{P}roceedings of {I}nternational {C}onference on {C}ompilers, {A}rchitectures, and {S}ynthesis for {E}mbedded {S}ystems, {W}ashington {D}.{C}.},
 202   YEAR = {2004},
 203   pages = {248--258},
 204   month = sep,
 205 }
 206
 207 @TECHREPORT{Verdoolaege2004experiences,
 208   AUTHOR = "Verdoolaege, Sven and Beyls, Kristof and Bruynooghe, Maurice and Catthoor, Francky",
 209   TITLE = {{E}xperiences with enumeration of integer projections of parametric polytopes},
 210   INSTITUTION = {K.U.Leuven, Department of Computer Science},
 211   YEAR = {2004},
 212   TYPE = {Report CW},
 213   NUMBER = {395},
 214   MONTH = oct,
 215 NOTE = {URL = http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW395.abs.html},
 216 }
 217
 218 @INPROCEEDINGS{Verdoolaege2005experiences,
 219   AUTHOR = "Verdoolaege, Sven and Beyls, Kristof and Bruynooghe, Maurice and Catthoor, Francky",
 220   TITLE = {{E}xperiences with enumeration of integer projections of parametric polytopes},
 221   BOOKTITLE = {{P}roceedings of 14th {I}nternational {C}onference on {C}ompiler {C}onstruction, {E}dinburgh, {S}cotland},
 222   YEAR = {2005},
 223   EDITOR = {Bodik, R.},
 224 }
 225
 226 @TECHREPORT{Verdoolaege2005barvinok,
 227   AUTHOR = "Verdoolaege, Sven and Woods, Kevin M. and Bruynooghe, Maurice and
 228 Cools, Ronald",
 229   YEAR = {2005},
 230   TITLE = {Computation and Manipulation of Enumerators of Integer Projections of
 231  Parametric Polytopes},
 232   TYPE = {Report CW},
 233   NUMBER = {392},
 234   INSTITUTION = {Dept.\ of Computer Science, K.U.Leuven},
 235   ADDRESS = {Leuven, Belgium},
 236 }
 237
 238 @misc{Verdoolaege2005couting,
 239     title = {{Counting with rational generating functions}},
 240     author = {Sven Verdoolaege and Kevin M. Woods},
 241     year = 2005,
 242     month = apr,
 243     eprint = {arXiv:math.CO/0504059}
 244 }
 245
 246 @article{Verdoolaege2007parametric,
 247     author = "S. Verdoolaege and R. Seghir and K. Beyls and V. Loechner and M. Bruynooghe",
 248     title = "Counting integer points in parametric polytopes using Barvinok's rational functions",
 249     journal = "Algorithmica",
 250     year = 2007,
 251     note = "accepted for publication",
 252 }
 253
 254 @INPROCEEDINGS{Seghir2006memory,
 255   AUTHOR = "Rachid Seghir and Vincent Loechner",
 256   TITLE = {Memory Optimization by Counting Points in Integer Transformations of Parametric Polytopes},
 257   BOOKTITLE = {{P}roceedings of the {I}nternational {C}onference on {C}ompilers, {A}rchitectures, and {S}ynthesis for {E}mbedded Systems, CASES 2006, {S}eoul, {K}orea},
 258   month = oct,
 259   YEAR = {2006}
 260 }
 261
 262 @misc{Koeppe2006primal,
 263     title = {{A primal Barvinok algorithm based on irrational decompositions}},
 264     author = {Matthias K\"oppe},
 265     year = 2006,
 266     month = jul,
 267     eprint = {arXiv:math.CO/0603308}
 268 }
 269
 270 @MISC{Beck2005Brion,
 271   author = {Matthias Beck and Christian Haase and Frank Sottile},
 272   title = {Theorems of Brion, Lawrence, and Varchenko on rational generating  functions for cones},
 273   url = {http://www.citebase.org/abstract?id=oai:arXiv.org:math/0506466},
 274   year = {2005}
 275 }
 276
 277 @article{Lasserre2005alternative,
 278     author = "Jean B. Lasserre and Eduardo S. Zeron",
 279     title = "An alternative algorithm for counting lattice points in a convex polytope",
 280     year = 2005,
 281     volume = 30,
 282     page = "597--614",
 283     journal = "Math. Oper. Res.",
 284 }
 285
 286 @article{Beyls2005hints,
 287 author= {Beyls, Kristof and  D'Hollander, Erik},
 288 title= {Generating Cache Hints for Improved Program Efficiency},
 289 journal= {Journal of Systems Architecture},
 290 year= {2005},
 291 month= {4},
 292 volume= {51},
 293 number= {4},
 294 pages= {223-250},
 295 publisher= {Elsevier},
 296 }
 297
 298 @TechReport{CFGV06,
 299   author       = {Clauss, P. and Fern\'andez, F. J. and Gabervetsky, D. and Verdoolaege, S.},
 300   title        = {Symbolic Polynomial Maximization over Convex Sets and its Application to Memory Requirement Estimation},
 301   institution  = {Universit\'e Louis Pasteur},
 302   number       = {06-04},
 303   month        = oct,
 304   year         = {2006},
 305   type         = {ICPS Research Report},
 306   url          = {http://icps.u-strasbg.fr/upload/icps-2006-173.pdf},
 307 }
 308
 309 @article{Cook1993implementation,
 310 AUTHOR={William Cook and Thomas Rutherford and Herbert E. Scarf and David F. Shallcross},
 311 TITLE={An Implementation of the Generalized Basis Reduction Algorithm for Integer Programming},
 312 YEAR=1993,
 313 journal = "ORSA Journal on Computing",
 314 volume = 5,
 315 number = 2,
 316 }
 317
 318 @misc{GLPK,
 319 author = "Andrew Makhorin",
 320 title = "GNU Linear Programming Kit, Reference Manual, Version 4.11",
 321 year = 2006,
 322 month = jul,
 323 }
 324
 325 @inproceedings{Verdoolaege2006odes,
 326   AUTHOR = "Verdoolaege, Sven and Nikolov, Hristo and Stefanov, Todor",
 327   TITLE = {Improved Derivation of Process Networks},
 328   YEAR = {2006},
 329   booktitle = {4th Workshop on Optimization for DSP and Embedded Systems, ODES-4},
 330   location = {New York, USA},
 331   month =  mar,
 332 }
 333
 334 @article{Scarf2006Neighborhood,
 335   author    = {Herbert E. Scarf and
 336                Kevin M. Woods},
 337   title     = {Neighborhood Complexes and Generating Functions for Affine
 338                Semigroups.},
 339   journal   = {Discrete {\&} Computational Geometry},
 340   volume    = {35},
 341   number    = {3},
 342   year      = {2006},
 343   pages     = {385-403},
 344   ee        = {http://dx.doi.org/10.1007/s00454-005-1222-y},
 345   bibsource = {DBLP, http://dblp.uni-trier.de}
 346 }
 347
 348 @ARTICLE{Scarf1981indivisibilities:II,
 349 AUTHOR={Scarf, Herbert E},
 350 TITLE={Production Sets with Indivisibilities-Part {II}: The Case of Two Activities},
 351 JOURNAL={Econometrica},
 352 YEAR=1981,
 353 VOLUME={49},
 354 NUMBER={2},
 355 PAGES={395-423},
 356 MONTH=Mar,
 357 }
 358
 359 @phdthesis{Meister2004PhD,
 360     title = {Stating and Manipulating Periodicity in the Polytope Model. Applications to Program Analysis and Optimization},
 361     author= {Beno\^it Meister},
 362     institution = {Universit\'e Louis Pasteur},
 363     month = Dec,
 364     year  = {2004},
 365     school = ICPS,
 366 }
 367
 368 @article{Feautrier88parametric,
 369     author = "P. Feautrier",
 370     title = "Parametric Integer Programming",
 371     journal = "Operationnelle/Operations Research",
 372     volume = "22",
 373     number = "3",
 374     pages = "243--268",
 375     year = "1988",
 376     url = "citeseer.nj.nec.com/feautrier88parametric.html",
 377 }
 378
 379 @InProceedings{Gomory1963,
 380   author       = "R. E. Gomory",
 381   editor       = "R. L. Graves and P. Wolfe",
 382   booktitle    = "Recent Advances in Mathematical Programming",
 383   title        = "An algorithm for integer solutions to linear programming",
 384   publisher    = "McGraw-Hill",
 385   address      = "New York",
 386   pages        = "269--302",
 387   year         = "1963",
 388 }
 389
 390 @misc{Feautrier:PIP,
 391     author = "Paul Feautrier",
 392     title = "Solving Systems of Affine (In)Equalities: {PIP}'s User's Guide",
 393     year = 2006,
 394 }