Home Page of Miguel Garcia

Dr.-Ing. Miguel Garcia Research Assistant
		IMPORTANT NOTICE :-) I've moved to Lausanne, for a post-doc at LAMP, with a focus on the Scala programming language. This is my new homepage E-Mail:

Research

Model-Driven Development, Software Engineering, Model Checking.
I carried out my PhD under the supervision of Prof. Dr. Ralf Möller.

Teaching and Thesis advising

Recent software

Grants acquired

This Eclipse Innovation grant was awarded for this project plan. A blog related to this project. It's about OCL.

Google Summer of Code 2007 Project: Provide an Eclipse IDE generation environment derived from a language grammar Presentation explaining the project goals and the final technical report. The latest Emfatic supports EMF Generics and a number of usability goodies, plus two related prototypes: Grammar2Ecore, to parse/unparse document instances to/from an EMF-based AST, and DSL2JDT, to generate the Java APIs realizing an Internal DSL out of a language metamodel expressed in Ecore.

DISCLAIMER: Many of these works are subject to copyright (as indicated). As such, personal use is permitted. However, permission to reprint/republish these works (or any component thereof) for any purpose must be first obtained from the respective publisher.

Journal publications

• Garcia M., Izmaylova A., Schupp S.
  Extending Scala with Database Query Capability
  Abstract   Preprint   BibTeX   Journal of Object Technology, July-August 2010. To appear.
  Open-source prototype
• Garcia M.
  Efficient Integrity Checking for Essential MOF + OCL in Software Repositories
  Abstract   Paper   BibTeX   Journal of Object Technology, vol. 7, no. 6, July-August 2008, pp. 101–119.

Conferences

• Garcia M.
  Compiler plugins can handle nested languages: AST-level expansion of LINQ queries for Java
  Abstract   Paper   BibTeX   Slides   Poster
  Proceedings of ICOODB 2009, 2nd International Conference on Object Databases, Zurich, Switzerland, July 2009.
  Open-source prototype
• Garcia M., Möller R.
  Incremental evaluation of OCL invariants in the Essential MOF object model
  Abstract   Slides   Paper   BibTeX   Modellierung 2008, Berlin, Germany.
• Garcia M., Möller R.
  Certification of Transformation Algorithms in Model-Driven Software Development
  Slides   Paper   BibTeX   Software Engineering 2007, Hamburg, Germany

Professional Magazines and Industry Symposia

• Garcia M., Prithiviraj R.
  Rethinking the Architecture of O/R Mapping for EMF in terms of LINQ
  Abstract   Slides   Paper   BibTeX   Eclipse Modeling Symposium at Eclipse Summit Europe 2008
• Garcia M.
  Automating the embedding of Domain Specific Languages in Eclipse JDT
  BibTeX   Eclipse Technical Article
  
• Garcia M., Shidqie, A. J.
  OCL Compiler for EMF
  PDF   BibTeX   Eclipse Modeling Symposium, co-located with Eclipse Summit Europe 2007
• Garcia M.
  How to process OCL Abstract Syntax Trees
  BibTeX   Eclipse Technical Article
  

• Menrad V., Garcia M., Schupp S.
  Improving TinyOS Developer Productivity with Statecharts
  Abstract   Paper   BibTeX   Proc. Self-Organizing Mobile Sensor and Data Networks (SOMSED) Workshop, Oct. 2009.
• Garcia M.
  Formalization of QVT-Relations: OCL-based Static Semantics and Alloy-based Validation
  Abstract   Slides   Paper   BibTeX   MDSD Today 2008, Elmshorn, Germany
• Garcia M.
  Bidirectional Synchronization of Multiple Views of Software Models
  Abstract   Slides   Paper   BibTeX   Domain-specific Modeling (DSML'08) Workshop,
  co-located with Modellierung 2008, Berlin, Germany.
• Garcia M.
  Rules for Type-checking of Parametric Polymorphism in EMF Generics
  Paper   BibTeX   First Workshop MDSD Today, co-located with SE 2007
• Garcia M.
  Formalizing the well-formedness rules of EJB3QL in UML + OCL
  Slides   Paper   BibTeX   Proceedings   In: ATEM 2006, co-located with MoDELS / UML 2006

Technical Reports

• Garcia M., Izmaylova A.
  Compiling LINQ and a Scala subset into SQL:1999.
  Technical report, Institute for Software Systems (STS), Hamburg University of Technology, Germany, October 2009.
  PDF   BibTeX
• Garcia M., Sentosa P.
  Generation of Eclipse-based IDEs for Custom DSLs.
  Technical report, Institute for Software Systems (STS), Hamburg University of Technology, Germany, January 2008.
  PDF   BibTeX
• Garcia M., Kaplunova A., Möller, R.
  Model Generation in Description Logics: What can we learn from Software Engineering?
  Technical report, Institute for Software Systems (STS), Hamburg University of Technology, Germany, August 2007.
  PDF   BibTeX

• Dissertation, On the Formalization of Model-Driven Software Engineering, Technische Universität Hamburg-Harburg, Germany. February 2009.
    Publisher   Abstract and Table of Contents   BibTeX   Slides

• Master in Information and Media Technologies, Technische Universität Hamburg-Harburg, Germany. Thema der Master Thesis: "Software Systems Modeling: Requirements, Examples, Experience", Januar 2003.

• Studium der Informationssysteme (Diplom) an der "Universidad Nacional de San Juan", Argentinien, Oktober 1995: Diplomabschlussprüfung, Thema der Diplomarbeit: "Application of Parallel Processing Techniques to the Long-Term Optimal Operation Planning of Large Hydro-Thermal Power Systems."

• Garcia M.
  Code walkthroughs of compilation phases of the Scala compiler
  Scala is a higher-order (effectful, imperative) programming language that inherits the memory and concurrency models of the JVM. Compilation comprises a number of phases that, after type ascription, transform ASTs into progressively more canonical forms, applying optimizations along the way. The implementation of these phases is non-trivial, and thus these notes.
  • CleanUp phase
  • Untangling Scala ASTs
  • Where implicits come from, and Constant Folding Redux
  • Tail self-calls become loops (sometimes)
  More info under The Scala Compiler Corner
• Garcia M., Shidqie A. J.
  OCL Tools: Status and Perspectives
  PDF