Home

Marcos Viera

Welcome to my personal home page!

I am an Assistant Professor (Grade 3) at Instituto de Computación, Facultad de Ingeniería, Universidad de la República, Uruguay.
Researcher Grade 3 at PEDECIBA, Uruguay.
Researcher (Level I) at Sistema Nacional de Investigadores, Uruguay.
PhD in Computer Science from Utrecht University, The Netherlands.
PhD in Computer Science from PEDECIBA, Uruguay.

Curriculum Vitae (in spanish).

Selected Publications

The following is a list of some selected publications. The complete list of my publications can be found here.

[1]

M. Cassola, A. Talagorria, A. Pardo, M. Viera, A gradual type system for elixir, Journal of Computer Languages. 68 (2022) 101077.

[2]

L. Piñeyro, A. Pardo, M. Viera, Structure verification of deep neural networks at compilation time, Journal of Computer Languages. 67 (2021) 101074.

[3]

S. da Rosa, M. Viera, J. Garcı́a-Garland, A case of teaching practice founded on a theoretical model, in: K. Kori, M. Laanpere (Eds.), Informatics in Schools. Engaging Learners in Computational Thinking - 13th International Conference, ISSEP 2020, Tallinn, Estonia, November 16-18, 2020, Proceedings, Springer, 2020: pp. 146–157.

[4]

G. Cameto, A. Carboni, V. Koleszar, M. Méndez, G. Tejera, M. Viera, J. Wagner, Using functional programming to promote math learning, in: 2019 XIV Latin American Conference on Learning Technologies (LACLO), 2019: pp. 306–313.

[5]

J. Garcı́a-Garland, M. Viera, A. Pardo, Attribute grammars fly first-class... safer!, in: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, ACM, New York, NY, USA, 2019.

[6]

M. Viera, F. Balestrieri, A. Pardo, A staged embedding of attribute grammars in haskell, in: Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, ACM, New York, NY, USA, 2018: pp. 95–106.

[7]

A. Pardo, E. Gunther, M. Pagano, M. Viera, An internalist approach to correct-by-construction compilers, in: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt Am Main, Germany, September 03-05, 2018, 2018: pp. 17:1–17:12.

[8]

S.D. Swierstra, M. Viera, A. Dijkstra, A lazy language needs a lazy type system: Introducing polymorphic contexts, in: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, ACM, New York, NY, USA, 2016: pp. 7:1–7:12.

[9]

M. Viera, S.D. Swierstra, Compositional compiler construction: Oberon0, Science of Computer Programming. 114 (2015) 45–56.

[10]

M. Viera, S.D. Swierstra, Attribute grammar macros, Science of Computer Programming. 96, Part 2 (2014) 211–229.

[11]

M. Viera, First class syntax, semantics, and their composition, PhD thesis, Utrecht University - PEDECIBA, 2013.

[12]

B. Martinez, M. Viera, A. Pardo, Just do it while compiling!: Fast extensible records in haskell, in: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, ACM, New York, NY, USA, 2013: pp. 77–86.

[13]

M. Viera, D. Swierstra, A. Dijkstra, Grammar fragments fly first-class, in: Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, ACM, New York, NY, USA, 2012: pp. 5:1–5:7.

[14]

M. Viera, S.D. Swierstra, W. Swierstra, Attribute grammars fly first-class: How to do aspect oriented programming in haskell, in: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ACM, New York, NY, USA, 2009: pp. 245–256.

[15]

M. Viera, S.D. Swierstra, E. Lempsink, Haskell, do you read me?: Constructing and composing efficient top-down parsers at runtime, in: Haskell ’08: Proceedings of the First ACM SIGPLAN Symposium on Haskell, ACM, New York, NY, USA, 2008: pp. 63–74.