Follow
Andre Murbach Maidl
Andre Murbach Maidl
PhD Student, PUC-Rio
Verified email at inf.puc-rio.br
Title
Cited by
Cited by
Year
Typed Lua: An optional type system for Lua
AM Maidl, F Mascarenhas, R Ierusalimschy
Proceedings of the Workshop on Dynamic Languages and Applications, 1-10, 2014
292014
A formalization of Typed Lua
AM Maidl, F Mascarenhas, R Ierusalimschy
Proceedings of the 11th Symposium on Dynamic Languages, 13-25, 2015
172015
Error reporting in parsing expression grammars
AM Maidl, F Mascarenhas, S Medeiros, R Ierusalimschy
Science of Computer Programming 132, 129-140, 2016
142016
Exception handling for error reporting in parsing expression grammars
AM Maidl, F Mascarenhas, R Ierusalimschy
Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil …, 2013
92013
Typed Lua: An Optional Type System for Lua
AM Maidl
PhD thesis, PUC-Rio, 2015
42015
Optimization of halide image processing schedules with reinforcement learning
M Pecenin, AM Maidl, D Weingaertner
Anais do XX Simpósio em Sistemas Computacionais de Alto Desempenho, 37-48, 2019
32019
Maude object-oriented action tool
AM Maidl, C Carvilhe, MA Musicante
Electronic Notes in Theoretical Computer Science 205, 105-121, 2008
22008
Using Visitor Patterns in Object-Oriented Action Semantics.
AM Maidl, C Carvilhe, MA Musicante
J. Univers. Comput. Sci. 13 (6), 891-919, 2007
22007
Profiling Halide DSL with CPU Performance Events for Schedule Optimization
RRL Machado, AM Maidl, D Weingaertner
Proceedings of the XXIII Brazilian Symposium on Programming Languages, 38-45, 2019
12019
An instrumentation framework for performance analysis of Halide schedules
RRL Machado, J Eitzinger, AM Maidl, D Weingaertner
Journal of Computer Languages 67, 101065, 2021
2021
Error reporting in Parsing Expression Grammars
SQ Medeiros, AM Maidl, F Mascarenhas, R Ierusalimschy
Elsevier, 2016
2016
Preserving Lexical Scoping When Dynamically Embedding Languages
F Ribeiro, H Muhammad, AM Maidl, R Ierusalimschy
Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte …, 2015
2015
An implementation of object-oriented action semantics in Maude
AM Maidl, C Carvilhe, MA Musicante
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses …, 2009
2009
Uma implementação da semantica de ações orientada a objetos em maude
AM Maidl
The system can't perform the operation now. Try again later.
Articles 1–14