| 2025 | SLE | Property-based Testing of Attribute Grammars. | Jos Nuno Macedo, Marcos Viera, Joo Saraiva |
| 2024 | ENASE | pyZtrategic: A Zipper-Based Embedding of Strategies and Attribute Grammars in Python. | Emanuel Rodrigues, Jos Nuno Macedo, Marcos Viera, Joo Saraiva |
| 2024 | FLOPS | Tabulation with Zippers. | Marcos Viera, Alberto Pardo, Joo Saraiva |
| 2023 | PEPM | Efficient Embedding of Strategic Attribute Grammars via Memoization. | Jos Nuno Macedo, Emanuel Rodrigues, Marcos Viera, Joo Saraiva |
| 2022 | FLOPS | Zipping Strategies and Attribute Grammars. | Jos Nuno Macedo, Marcos Viera, Joo Saraiva |
| 2019 | MODELS | Experimenting with Functional Features of the Object Constraint Language. | Daniel Calegari, Marcos Viera |
| 2018 | CLEI | MateFun: Functional Programming and Math with Adolescents. | Alejandra Carboni, Vctor Koleszar, Gonzalo Tejera, Marcos Viera, Javier Wagner |
| 2018 | CLEI | Model-Driven Development of an Interpreter for the Object Constraint Language. | Gonzalo Sintas, Leticia Vaz Lutz, Daniel Calegari, Marcos Viera |
| 2018 | PPDP | An Internalist Approach to Correct-by-Construction Compilers. | Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera |
| 2016 | MODELS | On the Functional Interpretation of OCL. | Daniel Calegari, Marcos Viera |
| 2015 | SBAC-PAD | Painless Parallelism on Heterogeneous Hardware Leveraging the Functional Paradigm. | Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo, Marcos Viera |
| 2014 | PADL | Expand: Towards an Extensible Pandoc System. | Jacco Krijnen, S. Doaitse Swierstra, Marcos Viera |
| 2013 | ICFP | Towards a functional run-time for dense NLA domain. | Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo, Marcos Viera |
| 2013 | PEPM | Just do it while compiling!: fast extensible records in haskell. | Bruno Martinez, Marcos Viera, Alberto Pardo |
| 2009 | ICFP | Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. | Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra |
| 2008 | HASKELL | Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime. | Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink |
| 2006 | GPCE | A multi-stage language with intensional analysis. | Marcos Viera, Alberto Pardo |