Publications in collaboration with researchers from Cornell University (6)

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

    PROCEEDINGS OF THE 56TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL), VOL 1

  2. Global transition-based non-projective dependency parsing

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

  3. 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