"A metaobject protocol for optimizing application-speci€c run-Time variability" (2017) Chari, G.; Garbervetsky, D.; Marr, S.; ACM Special Interest Group on Programming Languages (SIGPLAN); Assoc Internationale por les Technologies Objects (AITO) 12th Workshop on Implementation, Compilation and Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2017

"Building efficient and highly run-time adaptable virtual machines" (2016) Chari, G.;Garbervetsky, D.;Marr, S. (...)ACM SIGPLAN 12th Symposium on Dynamic Languages, DLS 2016:60-71

"Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler" (2015) Wainer, G.A.; D'Abreu, M.C. Advances in Engineering Software. 79:111-126

"Integrated program verification tools in education" (2013) De Caso, G.; Garbervetsky, D.; Gorín, D. Software - Practice and Experience. 43(4):403-418