Publications

Peer-reviewed

  1. Nieto, A. (2017, October). Towards Algorithmic Typing for DOT (Short Paper). In Proceedings of the 8th ACM SIGPLAN International Symposium on Scala (pp. 2-7). ACM. [pdf, talk, bibtex]

Technical Reports

  1. Nieto, A. (2017). Tamarin: Concolic Disequivalence for MIPS. [pdf, code]
  2. Nieto, A. (2017). Algorithmic Typing for DOT. arXiv preprint arXiv:1708.05437. [link]