User Tools

Site Tools


melange:papers:spring2019

This is an old revision of the document!


@article{Verdoolaege:2012:ECS:2362389.2362390, author = {Verdoolaege, Sven and Janssens, Gerda and Bruynooghe, Maurice}, title = {Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences}, journal = {ACM Trans. Program. Lang. Syst.}, issue_date = {October 2012}, volume = {34}, number = {3}, month = nov, year = {2012}, issn = {0164-0925}, pages = {11:1–11:35}, articleno = {11}, numpages = {35}, url = {http://doi.acm.org/10.1145/2362389.2362390}, doi = {10.1145/2362389.2362390}, acmid = {2362390}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {Commutativity, equivalence checking, polytope model, recurrences, widening}, }

@ARTICLE{Chen2018,

     author = {{Chen}, Zimin and {Kommrusch}, Steve and {Tufano}, Michele and
      {Pouchet}, Louis-No{\"e}l and {Poshyvanyk}, Denys and
      {Monperrus}, Martin},
      title = "{SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair}",
    journal = {arXiv e-prints},
   keywords = {Computer Science - Software Engineering, Computer Science - Machine Learning, Statistics - Machine Learning},
       year = 2018,
      month = Dec,
        eid = {arXiv:1901.01808},
      pages = {arXiv:1901.01808},

archivePrefix = {arXiv},

     eprint = {1901.01808},

primaryClass = {cs.SE},

        url = {https://arxiv.org/pdf/1901.01808.pdf},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System}

}

@ARTICLE{Rokicki,

     author = {{Rokicki}, Simon and {Rohou}, Erven and {Derrien}, Steven},
      title = "{Hybrid-DBT Hardware/Software Dynamic Binary Translation Targeting VLIW}",
    journal = {IEEE Transactions on CAD},
        url = {https://hal.archives-ouvertes.fr/hal-01856163/document}

}

@InProceedings{rodriguez.18.impact,

author = 	 { Gabriel Rodriguez and Louis-No{\"e}l Pouchet},
title = 	 { Polyhedral Modeling of Immutable Sparse Matrices },
booktitle = { 8th International Workshop on Polyhedral Compilation Techniques (IMPACT'19)},
address = { Manchester, United Kingdom },
url = {http://impact.gforge.inria.fr/impact2018/papers/modeling-immutable-sparsemat.pdf},
month = 	 jan,
year = 	 {2018}

}

melange/papers/spring2019.1550159158.txt.gz · Last modified: 2019/02/14 08:45 by steveko