Publications in collaboration with researchers from Cornell University (5)

2024

  1. Formal Verification of Source-to-Source Transformations for HLS

    FPGA 2024 - Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays

2022

  1. Memory limitations are hidden in grammar

    Glottometrics, Vol. 52, pp. 39-64

2018

  1. Global transition-based non-projective dependency parsing

    ACL 2018 - 56th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference (Long Papers)

  2. Improving coverage and runtime complexity for exact inference in non-projective transition-based dependency parsers

    NAACL HLT 2018 - 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies - Proceedings of the Conference

2016

  1. Expert diagnosis of plus disease in retinopathy of prematurity from computer-based image analysis

    JAMA Ophthalmology, Vol. 134, Núm. 6, pp. 651-657