Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Steve Kommrusch"'
Publikováno v:
IEEE Access, Vol 9, Pp 28930-28945 (2021)
Manycore processors feature a high number of general-purpose cores designed to work in a multithreaded fashion. Recent manycore processors are kept coherent using scalable distributed directories. A paramount example is the Intel Mesh interconnect, w
Externí odkaz:
https://doaj.org/article/a496b189be1d4dfbbb5e56631a0e11d7
Publikováno v:
IEEE Access, Vol 9, Pp 28930-28945 (2021)
RUC: Repositorio da Universidade da Coruña
Universidade da Coruña (UDC)
RUC. Repositorio da Universidade da Coruña
instname
RUC: Repositorio da Universidade da Coruña
Universidade da Coruña (UDC)
RUC. Repositorio da Universidade da Coruña
instname
[Abstract] Manycore processors feature a high number of general-purpose cores designed to work in a multithreaded fashion. Recent manycore processors are kept coherent using scalable distributed directories. A paramount example is the Intel Mesh inte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b202ae3d3aa963e5f5fcf508e3517d0b
https://ieeexplore.ieee.org/document/9350627/
https://ieeexplore.ieee.org/document/9350627/
We target the problem of automatically synthesizing proofs of semantic equivalence between two programs made of sequences of statements. We represent programs using abstract syntax trees (AST), where a given set of semantics-preserving rewrite rules
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::807c3e92b9cc5ce30e1145cebf279ac5
Autor:
Zhongxing Yu, He Ye, Benoit Baudry, Javier Ron, Steve Kommrusch, Matias Martinez, Martin Monperrus, Zimin Chen, Davide Ginelli, Han Fu, Khashayar Etemadi
Software bugs are common and correcting them accounts for a significant part of costs in the software development and maintenance process. This calls for automatic techniques to deal with them. One promising direction towards this goal is gaining rep
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::57a55fc317bd0fccfbebd3f8f145e04d
http://arxiv.org/abs/2012.06824
http://arxiv.org/abs/2012.06824
Autor:
Steve Kommrusch, Louis-Noël Pouchet
Publikováno v:
IJCNN
One of the challenges of using machine learning techniques with medical data is the frequent dearth of source image data on which to train. A representative example is automated lung cancer diagnosis, where nodule images need to be classified as susp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fd56042f1d3aaba93ac92f1d6738e0c4
https://doi.org/10.1109/ijcnn.2019.8852224
https://doi.org/10.1109/ijcnn.2019.8852224
Autor:
Yun Fu, Niraj Goel, Boyuan Gong, Sandeep Gottimukkala, Thomas S. Huang, Shuhui Jiang, Satya Kesav, Steve Kommrusch, Yu Kong, Yang Li, Ding Liu, Yu Liu, Louis-Noël Pouchet, Ritu Raj, Wenqi Ren, Ming Shao, Dacheng Tao, Shuyang Wang, Zhangyang Wang, Caiming Xiong, Guanlong Zhao
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::71ca7b6d7bc037c2f7597983a69ca741
https://doi.org/10.1016/b978-0-12-813659-1.00021-4
https://doi.org/10.1016/b978-0-12-813659-1.00021-4
Autor:
Steve Kommrusch, Louis-Noël Pouchet
Biomedical informatics as an emerging field has been fascinating talents from artificial intelligence and machine learning for its unique opportunities and challenges. Fast-growing biomedical and healthcare data have encompassed multiple scales rangi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f65fa541091b40b0f350a1b2a7f673a8
https://doi.org/10.1016/b978-0-12-813659-1.00020-2
https://doi.org/10.1016/b978-0-12-813659-1.00020-2
Autor:
Steve Kommrusch, Martin Monperrus, Denys Poshyvanyk, Zimin Chen, Louis-Noël Pouchet, Michele Tufano
This paper presents a novel end-to-end approach to program repair based on sequence-to-sequence learning. We devise, implement, and evaluate a system, called SequenceR, for fixing bugs based on sequence-to-sequence learning on source code. This appro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fb2cc0c7ec93db5f7e830f74fe1affcd