Full List of Publications

Web of Science (9)

• Evaluations of Integrated Programming Environment for First-Year Students in Computer Engineering
  Matias Salinas, Paul Leger, Hiroaki Fukuda, Nicolás Cardozo, Vanessa Duarte, Ismael Figueroa
  Journal of Universal Computer Science. 2023.
• ABM RoutePlanner: An Agent-Based Model Simulation for Suggesting Preference-Based Routes in Spain
  Vicky Pizarro, Paul Leger, Carmen Hidalgo-Alcázar, Ismael Figueroa
  Journal of Simulation. 2022.
• Continuations and Aspects to Tame Callback Hell on the Web
  Paul Leger, Hiroaki Fukuda, Ismael Figueroa
  Journal of Universal Computer Science. 2021.
• Which Monads Haskell developers use: An exploratory study
  Ismael Figueroa, Paul Leger, Hiroaki Fukuda
  Science of Computer Programming. 2021.
• DSSM: Distributed Streaming Data Sharing Manager
  Hiroaki Fukuda, Ryota Gunji, Tadahiro Hasegawa, Paul Leger, Ismael Figueroa
  Sensors. 2021.
• Developing Usability Heuristics with PROMETHEUS: A Case Study in Virtual Learning Environments
  Ismael Figueroa, Cristhy Jiménez, Héctor Allende-Cid, Paul Leger
  Computer Standards & Interfaces. 2019.
• PROMETHEUS: Procedural Methodology for Developing Heuristics of Usability
  Cristhy Jiménez, Héctor Allende-Cid, Ismael Figueroa
  IEEE Latin America Transactions. 2017.
• Effect Capabilities for Haskell: Taming Effect Interference in Monadic Programming
  Ismael Figueroa, Nicolas Tabareau, Éric Tanter
  Science of Computer Programming. 2016.
• Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications
  Éric Tanter, Ismael Figueroa, Nicolas Tabareau
  Science of Computer Programming. 2014.

Scopus (17)

• Evolution of a Haskell Repository and its Use of Monads: An Exploratory Study of Stackage
  Paul Leger, Felipe Ruiz, Nicolás Sepúlveda, Ismael Figueroa
  ACM Symposium on Applied Computing. 2022.
• Enfoque de aplicación ágil con Scrum, Lean y Kanban
  José Gaete, Rodolfo Villarroel, Ismael Figueroa, Héctor Cornide-Reyes, Roberto Muñoz
  Ingeniare. Revista chile de ingeniería. 2021.
• Interfaces for Modular Reasoning in Context-Oriented Programming
  Paul Leger, Hidehiko Masuhara, Ismael Figueroa
  International Workshop on Context-Oriented Programming and Advanced Modularity (COP). 2020.
• A Practical Methodology to Learn Computer Architecture, Assembly Language, and Operating System
  Hiroaki Fukuda, Paul Leger, Ismael Figueroa
  International Conference on Computer Supported Education. 2020.
• Toward Distributed Streaming Data Sharing Manager for Autonomous Robot Control
  Hiroaki Fukuda, Ryota Gunji, Tadahiro Hasegawa, Paul Leger, Ismael Figueroa
  International Conference on Computer Supported Education. 2020.
• Heuristic Evaluation of Code::Blocks as a Tool for First Year Programming Courses
  Matías Salinas Soto, Ismael Figueroa
  International Conference of the Chilean Computer Science Society (SCCC). 2018.
• Objectives and Behaviors for a Gamification Strategy for First Year Programming Courses
  Erick Jamet, Katherine Valencia, Ismael Figueroa
  International Conference of the Chilean Computer Science Society (SCCC). 2018.
• Towards Progressive Program Verification in Dafny
  Ismael Figueroa, Bruno García, Paul Leger
  Brazilian Symposium on Programming Languages. 2018.
• A preliminary assessment of how monads are used in Haskell
  Ismael Figueroa
  Brazilian Symposium on Programming Languages. 2017.
• Is Functional Programming Better for Modularity?
  Ismael Figueroa, Romain Robbes
  Workshop on Evaluation and Usability of Programming Languages and Tools. 2015.
• Effect Capabilities for Haskell
  Ismael Figueroa, Nicolas Tabareau, Éric Tanter
  Brazilian Symposium on Programming Languages. 2014.
• Compositional Reasoning About Aspect Interference
  Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter
  International Conference on Aspect-Oriented Software Development. 2014.
• Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice
  Ismael Figueroa, Nicolas Tabareau, Éric Tanter
  Transactions on Aspect-Oriented Software Development XI. 2014.
• Taming Aspects with Monads and Membranes
  Ismael Figueroa, Nicolas Tabareau, Éric Tanter
  International Workshop on Foundations of Aspect-Oriented Languages. 2013.
• A Typed Monadic Embedding of Aspects
  Nicolas Tabareau, Ismael Figueroa, Éric Tanter
  International Conference on Aspect-Oriented Software Development. 2013.
• A practical monadic aspect weaver
  Ismael Figueroa, Éric Tanter, Nicolas Tabareau
  International Workshop on Foundations of Aspect-Oriented Languages. 2012.
• A Semantics for Execution Levels with Exceptions
  Ismael Figueroa, Éric Tanter
  International Workshop on Foundations of Aspect-Oriented Languages. 2011.