Maude Object-Oriented Action Tool. - André Murbach Maidl; Cláudio Carvilhe; Martin A. Musicante (LSFA, 2007)

Using Visitor Patterns in Object-Oriented Action Semantics. - André Murbach Maidl; Cláudio Carvilhe; Martin A. Musicante (J. Univers. Comput. Sci., 2007)

An Implementation of Object-Oriented Action Semantics in Maude. - André Murbach Maidl; Cláudio Carvilhe; Martin A. Musicante (Semantics and Algebraic Specification, 2009)

Exception Handling for Error Reporting in Parsing Expression Grammars. - André Murbach Maidl; Fabio Mascarenhas; Roberto Ierusalimschy (SBLP, 2013)

Typed Lua: An Optional Type System for Lua. - André Murbach Maidl; Fabio Mascarenhas; Roberto Ierusalimschy (Dyla@PLDI, 2014)

A formalization of typed lua. - André Murbach Maidl; Fabio Mascarenhas; Roberto Ierusalimschy (DLS, 2015)

Preserving Lexical Scoping When Dynamically Embedding Languages. - Félix Ribeiro; Hisham Muhammad; André Murbach Maidl; Roberto Ierusalimschy (SBLP, 2015)

Error reporting in Parsing Expression Grammars. - André Murbach Maidl; Fabio Mascarenhas; Sérgio Medeiros 001; Roberto Ierusalimschy (Sci. Comput. Program., 2016)

Profiling Halide DSL with CPU Performance Events for Schedule Optimization. - Rafael Ravedutti L. Machado; André Murbach Maidl; Daniel Weingaertner (SBLP, 2019)

An instrumentation framework for performance analysis of Halide schedules. - Rafael Ravedutti L. Machado; Jan Eitzinger; André Murbach Maidl; Daniel Weingaertner (J. Comput. Lang., 2021)