gmarpons@babel.ls.fi.upm.es
+34 91 336 5017

Desp. 3302
Campus de Montegancedo s/n
Facultad de Informática (UPM)
28660 BOADILLA DEL MONTE (Madrid)
SPAIN

Find me in the last floor of the "Bloque 3" building, lab 3302

PhD student
Babel Group
School of Computer Science
Universidad Politécnica de Madrid

Research

My thesis will propose a mechanism to specify coding rules, and automatically validate code conformance with them. My aim is that rule definition is done by means of a declarative language based on logic programming. Coding rules are used in industry to constrain admissible constructs of a language to help produce more reliable and maintainable code. Examples of standard coding rule sets are MISRA-C and High Integrity C++.

Part of my thesis work has been developed in the context of the GlobalGCC project, already finished. As a member of the Babel Group, I've also participated in the ProTest project.

My areas of interest are (declarative) programming languages, compiler technology, and reliable software construction.

Publications

[Mar11]
Guillem Marpons. Layered coding rule definition and enforcing using LLVM. Talk at IMDEA Software, Theory Lunch, April 26 2011. [ bib | .pdf | Abstract ]
[MMC+09]
Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, Lars-Åke Fredlund, Juan José Moreno-Navarro, and Álvaro Polo. A coding rule conformance checker integrated into GCC. ENTCS, 248:149-159, August 5 2009. [ bib | http | Abstract ]
[Mar08a]
Guillem Marpons. Checking coding rules in OO languages using CRISP. In COST Action IC0701 2nd Meeting, Madrid, Spain, December 2008. [ bib | .pdf ]
[MMC+08b]
Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, Lars-Åke Fredlund, Juan José Moreno-Navarro, and Álvaro Polo. A coding rule conformance checker integrated into GCC. In Jesús M. Almendros Jiménez and María José Suárez-Cabal, editors, VIII Jornadas sobre Programación y Lenguajes, PROLE 2008, pages 245-249, Gijón, Spain, October 7-10 2008. [ bib | .pdf | Abstract ]
[Mar08b]
Guillem Marpons. Tutorial: GGCC coding rules with CRISP. In Global GCC Project Seminar, MANDRIVA S.A., 43, rue d'Aboukir, 75002 Paris, France, September 10 2008. [ bib | .pdf ]
[MMP08]
Guillem Marpons, Julio Mariño, and Álvaro Polo. Adding coding rule checking capabilities to the GCC toolchain. In Andrew J. Hutton, C. Craig Ross, and John W. Lockhart, editors, Proceedings of the GCC Developers' Summit 2008, pages 43-54, Ottawa, Canada, June 17-19 2008. [ bib | .pdf | Abstract ]
[MMC+08a]
Guillem Marpons, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz, Juan José Moreno-Navarro, and Lars-Åke Fredlund. Automatic coding rule conformance checking using logic programming. In Paul Hudak and David Scott Warren, editors, Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, volume 4902 of Lecture Notes in Computer Science, pages 18-34, San Francisco CA, USA, January 7-8 2008. Springer. [ bib | http | Abstract ]
[MHF+07]
Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, Víctor Pablos-Ceruelo, Guillem Marpons, and Juan José Moreno-Navarro. Study of existing coding rule formalisms and compendium of common hazards. Use of coding rules in software industry. Technical report, Facultad de Informática, Universidad Politécnica de Madrid, Boadilla del Monte, Madrid, Spain, November 2007. [ bib ]
[MMH+07b]
Guillem Marpons, Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, and Juan José Moreno-Navarro. Automatic coding rule conformance checking using logic programs. CoRR, abs/0711.0344, November 2007. [ bib | http | Abstract ]
[MMH+07a]
Guillem Marpons, Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, and Juan José Moreno-Navarro. Automatic coding rule conformance checking using logic programs. In Patricia Hill and Vim Vanhoof, editors, 17th Workshop on Logic-based methods in Programming Environments, WLPE 2007, page 47, Porto, Portugal, September 2007. [ bib | http | Abstract ]
[MMH+07c]
Guillem Marpons, Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, and Juan José Moreno-Navarro. Towards checking coding rule conformance using logic programming, August 2007. Poster at the 14th International Static Analysis Symposium, SAS 2007. [ bib | .pdf | Abstract ]
[CMM06]
Dominique Colnet, Guillem Marpons, and Frederic Merizen. Reconciling subtyping and code reuse in object-oriented languages: Using inherit and insert in SmartEiffel, the GNU Eiffel compiler. In Maurizio Morisio, editor, Reuse of Off-the-Shelf Components, Proceedings of the 9th International Conference on Software Reuse, ICSR 2006, volume 4039 of Lecture Notes in Computer Science, pages 203-216, Torino, Italy, June 12-15 2006. Springer. [ bib | http | Abstract ]