Research Interests

  • Foundations of Programming Languages
  • Functional Programming and Monads
  • Program Verification
  • Empirical Software Engineering

Projects

  • [2014–2017] Assessing the impact of multi-paradigm programming languages on software modularity, in collaboration with Romain Robbes.

Service

Publications

ResearcherID Profile (WoS articles)

Scopus Profile

Google Scholar Profile

DBLP Profile

The following documents are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

2017

ISI

PROMETHEUS: Procedural Methodology for Developing Heuristics Of Usability
Cristhy Jimenez, Héctor Allende-Cid, Ismael Figueroa
IEEE Latin America Transactions 15 (3) pp. 541--549. IEEE Computer Society Press.

Others

A preliminary assessment of how monads are used in Haskell
In Proceedings of the 21th Brazilian Symposium on Programming Languages (SBLP 2017). ACM Press. Fortaleza, Brazil.

2016

ISI

Effect Capabilities for Haskell: Taming Effect Interference in Monadic Programming
Science of Computer Programming 119 pp. 3--30. Elsevier.

2015

Others

Is Functional Programming Better for Modularity?
In Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools. ACM Press.

2014

ISI

Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications
Science of Computer Programming 80 (1) pp. 311--342. Elsevier.

Others

Effect Capabilities for Haskell
In Proceedings of the 18th Brazilian Symposium on Programming Languages (SBLP 2014). pp. 92--108. SBC. Maceio, Brazil7.
Superseded by SCP 2016
Compositional Reasoning about Aspect Interference
In Proceedings of the 13th International Conference on Modularity. pp. 133--144. ACM Press. Lugano, Switzerland.
Effective Aspects: A Typed Monadic Embedding of Aspects
In Transactions on Aspect-Oriented Software Development XI. Transactions on Aspect-Oriented Software Development 8400 pp. 145--192. sv.

2013

Others

A Typed Monadic Embedding of Aspects
In Proceedings of the 12th International Conference on Aspect-Oriented Software Development (AOSD 2013). pp. 171--184. ACM Press. Fukuoka, Japan.
Superseded by TAOSD 2014
Taming Aspects with Monads and Membranes
In Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2013). pp. 1--6. ACM Press. Fukuoka, Japan.
Anti-Unification with Type Classes
In Journées Francophones des Langages Applicatifs (JFLA 2013).

2012

Others

A Practical Monadic Aspect Weaver
In Proceedings of the 11th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2012). pp. 21--26. ACM Press. Potsdam, Germany.

2011

Others

A Semantics for Execution Levels with Exceptions
In Proceedings of the 10th Workshop on Foundations of Aspect-Oriented Languages (FOAL 2011). pp. 7--11. ACM Press. Porto de Galinhas, Brazil.