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   VOLUME = 3443,
 225     pages = "91-105",
 226     series = "Lecture Notes in Computer Science",
 227     publisher = "Springer-Verlag",
 228     address = "Berlin",
 229 }
 230
 231 @TECHREPORT{Verdoolaege2005barvinok,
 232   AUTHOR = "Verdoolaege, Sven and Woods, Kevin M. and Bruynooghe, Maurice and
 233 Cools, Ronald",
 234   YEAR = {2005},
 235   TITLE = {Computation and Manipulation of Enumerators of Integer Projections of
 236  Parametric Polytopes},
 237   TYPE = {Report CW},
 238   NUMBER = {392},
 239   INSTITUTION = {Dept.\ of Computer Science, K.U.Leuven},
 240   ADDRESS = {Leuven, Belgium},
 241 }
 242
 243 @misc{Verdoolaege2005couting,
 244     title = {{Counting with rational generating functions}},
 245     author = {Sven Verdoolaege and Kevin M. Woods},
 246     year = 2005,
 247     month = apr,
 248     eprint = {arXiv:math.CO/0504059}
 249 }
 250
 251 @article{Verdoolaege2007parametric,
 252     author = "S. Verdoolaege and R. Seghir and K. Beyls and V. Loechner and M. Bruynooghe",
 253     title = "Counting integer points in parametric polytopes using {Barvinok}'s rational functions",
 254     journal = "Algorithmica",
 255     year = 2007,
 256     note = "accepted for publication",
 257 }
 258
 259 @INPROCEEDINGS{Seghir2006memory,
 260   AUTHOR = "Rachid Seghir and Vincent Loechner",
 261   TITLE = {Memory Optimization by Counting Points in Integer Transformations of Parametric Polytopes},
 262   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},
 263   month = oct,
 264   YEAR = {2006}
 265 }
 266
 267 @misc{Koeppe2006primal,
 268     title = {{A primal Barvinok algorithm based on irrational decompositions}},
 269     author = {Matthias K\"oppe},
 270     year = 2006,
 271     month = jul,
 272     eprint = {arXiv:math.CO/0603308}
 273 }
 274
 275 @MISC{Beck2005Brion,
 276   author = {Matthias Beck and Christian Haase and Frank Sottile},
 277   title = {Theorems of Brion, Lawrence, and Varchenko on rational generating  functions for cones},
 278   url = {http://www.citebase.org/abstract?id=oai:arXiv.org:math/0506466},
 279   year = {2005}
 280 }
 281
 282 @article{Lasserre2005alternative,
 283     author = "Jean B. Lasserre and Eduardo S. Zeron",
 284     title = "An alternative algorithm for counting lattice points in a convex polytope",
 285     year = 2005,
 286     volume = 30,
 287     page = "597--614",
 288     journal = "Math. Oper. Res.",
 289 }
 290
 291 @article{Beyls2005hints,
 292 author= {Beyls, Kristof and  D'Hollander, Erik},
 293 title= {Generating Cache Hints for Improved Program Efficiency},
 294 journal= {Journal of Systems Architecture},
 295 year= {2005},
 296 month= {4},
 297 volume= {51},
 298 number= {4},
 299 pages= {223-250},
 300 publisher= {Elsevier},
 301 }
 302
 303 @TechReport{CFGV06,
 304   author       = {Clauss, P. and Fern\'andez, F. J. and Gabervetsky, D. and Verdoolaege, S.},
 305   title        = {Symbolic Polynomial Maximization over Convex Sets and its Application to Memory Requirement Estimation},
 306   institution  = {Universit\'e Louis Pasteur},
 307   number       = {06-04},
 308   month        = oct,
 309   year         = {2006},
 310   type         = {ICPS Research Report},
 311   url          = {http://icps.u-strasbg.fr/upload/icps-2006-173.pdf},
 312 }
 313
 314 @article{Cook1993implementation,
 315 AUTHOR={William Cook and Thomas Rutherford and Herbert E. Scarf and David F. Shallcross},
 316 TITLE={An Implementation of the Generalized Basis Reduction Algorithm for Integer Programming},
 317 YEAR=1993,
 318 journal = "ORSA Journal on Computing",
 319 volume = 5,
 320 number = 2,
 321 }
 322
 323 @misc{GLPK,
 324 author = "Andrew Makhorin",
 325 title = "GNU Linear Programming Kit, Reference Manual, Version 4.11",
 326 year = 2006,
 327 month = jul,
 328 }
 329
 330 @inproceedings{Verdoolaege2006odes,
 331   AUTHOR = "Verdoolaege, Sven and Nikolov, Hristo and Stefanov, Todor",
 332   TITLE = {Improved Derivation of Process Networks},
 333   YEAR = {2006},
 334   booktitle = {4th Workshop on Optimization for DSP and Embedded Systems, ODES-4},
 335   location = {New York, USA},
 336   month =  mar,
 337 }
 338
 339 @article{Scarf2006Neighborhood,
 340   author    = {Herbert E. Scarf and
 341                Kevin M. Woods},
 342   title     = {Neighborhood Complexes and Generating Functions for Affine
 343                Semigroups.},
 344   journal   = {Discrete {\&} Computational Geometry},
 345   volume    = {35},
 346   number    = {3},
 347   year      = {2006},
 348   pages     = {385-403},
 349   ee        = {http://dx.doi.org/10.1007/s00454-005-1222-y},
 350   bibsource = {DBLP, http://dblp.uni-trier.de}
 351 }
 352
 353 @ARTICLE{Scarf1981indivisibilities:II,
 354 AUTHOR={Scarf, Herbert E},
 355 TITLE={Production Sets with Indivisibilities-Part {II}: The Case of Two Activities},
 356 JOURNAL={Econometrica},
 357 YEAR=1981,
 358 VOLUME={49},
 359 NUMBER={2},
 360 PAGES={395-423},
 361 MONTH=Mar,
 362 }
 363
 364 @phdthesis{Meister2004PhD,
 365     title = {Stating and Manipulating Periodicity in the Polytope Model. Applications to Program Analysis and Optimization},
 366     author= {Beno\^it Meister},
 367     institution = {Universit\'e Louis Pasteur},
 368     month = Dec,
 369     year  = {2004},
 370     school = ICPS,
 371 }
 372
 373 @article{Feautrier88parametric,
 374     author = "P. Feautrier",
 375     title = "Parametric Integer Programming",
 376     journal = "Operationnelle/Operations Research",
 377     volume = "22",
 378     number = "3",
 379     pages = "243--268",
 380     year = "1988",
 381     url = "citeseer.nj.nec.com/feautrier88parametric.html",
 382 }
 383
 384 @InProceedings{Gomory1963,
 385   author       = "R. E. Gomory",
 386   editor       = "R. L. Graves and P. Wolfe",
 387   booktitle    = "Recent Advances in Mathematical Programming",
 388   title        = "An algorithm for integer solutions to linear programming",
 389   publisher    = "McGraw-Hill",
 390   address      = "New York",
 391   pages        = "269--302",
 392   year         = "1963",
 393 }
 394
 395 @misc{Feautrier:PIP,
 396     author = "Paul Feautrier",
 397     title = "Solving Systems of Affine (In)Equalities: {PIP}'s User's Guide",
 398     year = 2006,
 399 }
 400
 401 @inproceedings{Barvinok1992volume,
 402  author = {Alexander I. Barvinok},
 403  title = {Computing the volume, counting integral points, and exponential sums},
 404  booktitle = {Proceedings of the eighth annual symposium on Computational geometry},
 405  year = {1992},
 406  isbn = {0-89791-517-8},
 407  pages = {161--170},
 408  location = {Berlin, Germany},
 409  doi = {http://doi.acm.org/10.1145/142675.142713},
 410  publisher = {ACM Press},
 411 }
 412
 413 @misc{Koeppe2006experiments,
 414     title = "Experiments with an algebraic scheme for estimating the number of lattice points in polyhedra",
 415     author = {De Loera, Jes\'us A. and Matthias K\"oppe},
 416     year = 2006,
 417     note = "Manuscript in preparation",
 418 }
 419
 420 @article{DeLoera2003effective,
 421     title = "Effective Lattice Point Counting in Rational Convex Polytopes",
 422     author = "De Loera, Jes\'us A. and Raymond Hemmecke and
 423               Jeremiah Tauzer and Ruriko Yoshida",
 424     year = 2004,
 425     journal = "The Journal of Symbolic Computation",
 426     volume = 38,
 427     number = 4,
 428     pages = "1273--1302",
 429     url = "http://www.math.ucdavis.edu/~latte/theory.html",
 430 }
 431
 432 @article{Barvinok1994,
 433     author = "A. I. Barvinok",
 434     title = "Computing the {Ehrhart} polynomial of a convex lattice polytope",
 435     journal = "Dicrete Comput. Geom.",
 436     volume =  12,
 437     year = 1994,
 438     pages = "35--48",
 439 }
 440
 441 @article {Brion88,
 442     AUTHOR = {Brion, Michel},
 443      TITLE = {Points entiers dans les poly\`edres convexes},
 444    JOURNAL = {Ann. Sci. \'Ecole Norm. Sup. (4)},
 445   FJOURNAL = {Annales Scientifiques de l'\'Ecole Normale Sup\'erieure.
 446               Quatri\`eme S\'erie},
 447     VOLUME = {21},
 448       YEAR = {1988},
 449     NUMBER = {4},
 450      PAGES = {653--663},
 451       ISSN = {0012-9593},
 452      CODEN = {ASENAH},
 453    MRCLASS = {52A43 (11H06 12L10 14F12 32C40)},
 454   MRNUMBER = {90d:52020},
 455 MRREVIEWER = {Daniel Barlet},
 456 }
 457
 458 @misc{Koeppe2007parametric,
 459     title = {Computing parametric rational generating functions
 460   with a primal Barvinok algorithm},
 461     author = {Matthias K\"oppe and Sven Verdoolaege},
 462     year = 2007,
 463     note = "manuscript in preparation",
 464 }