Differences

This shows you the differences between two versions of the page.

--- melange:papers:spring2019 [2019/01/30 13:42]
steveko created
+++ melange:papers:spring2019 [2019/03/11 12:32] (current)
steveko
@@ Line 1: / Line 1: @@
 @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"
+}

AlphaZ

User Tools

Site Tools

Differences

Page Tools