Next revision
|
Previous revision
|
melange:papers:spring2019 [2019/01/30 13:42] steveko created |
melange:papers:spring2019 [2019/03/11 12:32] (current) steveko |
@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{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\"el 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}, |
| year = {2018}, |
| 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} |
| } |
| |
| @article{Han16, |
| author = {Song Han and |
| Xingyu Liu and |
| Huizi Mao and |
| Jing Pu and |
| Ardavan Pedram and |
| Mark A. Horowitz and |
| William J. Dally}, |
| title = {EIE: Efficient Inference Engine on Compressed Deep Neural Network}, |
| journal = {CoRR}, |
| url = {https://arxiv.org/pdf/1602.01528.pdf}, |
| volume = {abs/1602.01528}, |
| year = {2016} |
| } |
| |
| @InProceedings{Ali18, |
| author="Boroojeny, Ali Ebrahimpour |
| and Shrestha, Akash |
| and Sharifi-Zarchi, Ali |
| and Gallagher, Suzanne Renick |
| and Sahinalp, S. Cenk |
| and Chitsaz, Hamidreza", |
| editor="Raphael, Benjamin J.", |
| title="GTED: Graph Traversal Edit Distance", |
| booktitle="Research in Computational Molecular Biology", |
| year="2018", |
| publisher="Springer International Publishing", |
| address="Cham", |
| pages="37--53", |
| url="https://link.springer.com/chapter/10.1007/978-3-319-89929-9_3", |
| isbn="978-3-319-89929-9" |
| } |
| |