Ismael Figueroa

According to our database, Ismael Figueroa authored at least 30 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Evaluations of Integrated Programming Environment for First-Year Students in Computer Engineering.

Matias Salinas, Paul Leger, Hiroaki Fukuda, Nicolás Cardozo, Vannessa de J. Duarte, Ismael Figueroa

J. Univers. Comput. Sci., January, 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

J. Simulation, 2023

The Stackage Repository: An Exploratory Study of its Evolution.

Paul Leger, Felipe Ruiz, Nicolás Sepúlveda, Ismael Figueroa, Nicolás Cardozo

CoRR, 2023

2022

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

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

DSSM: Distributed Streaming Data Sharing Manager.

Hiroaki Fukuda, Ryota Gunji, Tadahiro Hasegawa, Paul Leger, Ismael Figueroa

Sensors, 2021

Which monads Haskell developers use: An exploratory study.

Ismael Figueroa, Paul Leger, Hiroaki Fukuda

Sci. Comput. Program., 2021

Continuations and Aspects to Tame Callback Hell on the Web.

Paul Leger, Hiroaki Fukuda, Ismael Figueroa

J. Univers. Comput. Sci., 2021

2020

Toward Distributed Streaming Data Sharing Manager for Autonomous Robot Control.

Hiroaki Fukuda, Ryota Gunji, Tadahiro Hasegawa, Paul Leger, Ismael Figueroa

Proceedings of the 2020 IEEE/SICE International Symposium on System Integration, 2020

Interfaces for Modular Reasoning in Context-Oriented Programming.

Paul Leger, Hidehiko Masuhara, Ismael Figueroa

Proceedings of the COP '20: Proceedings of the 12th International Workshop on Context-Oriented Programming and Advanced Modularity, 2020

A Practical Methodology to Learn Computer Architecture, Assembly Language, and Operating System.

Hiroaki Fukuda, Paul Leger, Ismael Figueroa

Proceedings of the 12th International Conference on Computer Supported Education, 2020

2019

Developing usability heuristics with PROMETHEUS: A case study in virtual learning environments.

Ismael Figueroa, Cristhy Jiménez, Héctor Allende-Cid, Paul Leger

Comput. Stand. Interfaces, 2019

2018

PROMETHEUS: PROcedural METhodology for developing HEuristics of USability.

Cristhy Jiménez, Héctor Allende-Cid, Ismael Figueroa

CoRR, 2018

Heuristic Evaluation of Code: : Blocks as a Tool for First Year Programming Courses.

Matias Salinas Soto, Ismael Figueroa

Proceedings of the 37th International Conference of the Chilean Computer Science Society, 2018

Objectives and Behaviors for a Gamification Strategy for First Year Programming Courses.

Erick Jamet, Katherine Valencia, Ismael Figueroa

Proceedings of the 37th International Conference of the Chilean Computer Science Society, 2018

Towards progressive program verification in Dafny.

Ismael Figueroa, Bruno García, Paul Leger

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

2017

A preliminary assessment of how monads are used in Haskell.

Ismael Figueroa

Proceedings of the 21st Brazilian Symposium on Programming Languages, 2017

2016

Effect capabilities for Haskell: Taming effect interference in monadic programming.

Ismael Figueroa, Nicolas Tabareau, Éric Tanter

Sci. Comput. Program., 2016

2015

Is functional programming better for modularity?

Ismael Figueroa, Romain Robbes

Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, 2015

2014

Effective aspects : A typed monadic model to control and reason about aspect interference. (Effective aspects : Un modèle monadique et typé pour contrôler l'interférence entre aspects).

Ismael Figueroa

PhD thesis, 2014

Execution levels for aspect-oriented programming: Design, semantics, implementations and applications.

Éric Tanter, Ismael Figueroa, Nicolas Tabareau

Sci. Comput. Program., 2014

Effect Capabilities for Haskell.

Ismael Figueroa, Nicolas Tabareau, Éric Tanter

Proceedings of the Programming Languages - 18th Brazilian Symposium, 2014

Compositional reasoning about aspect interference.

Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter

Proceedings of the 13th International Conference on Modularity, 2014

2013

Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice.

Ismael Figueroa, Nicolas Tabareau, Éric Tanter

LNCS Trans. Aspect Oriented Softw. Dev., 2013

Taming aspects with monads and membranes.

Ismael Figueroa, Nicolas Tabareau, Éric Tanter

Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, 2013

A typed monadic embedding of aspects.

Nicolas Tabareau, Ismael Figueroa, Éric Tanter

Proceedings of the Aspect-Oriented Software Development, 2013

Towards control of aspect interference using membranes and monads.

Ismael Figueroa

Proceedings of the Aspect-Oriented Software Development, 2013

2012

A practical monadic aspect weaver.

Ismael Figueroa, Éric Tanter, Nicolas Tabareau

Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012

Membranes for AOP: from vision to practice.

Ismael Figueroa

Proceedings of the Companion Volume of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

A semantics for execution levels with exceptions.

Ismael Figueroa, Éric Tanter

Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, 2011

Avoiding confusion with exception handling in aspect-oriented programming.

Ismael Figueroa

Proceedings of the Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, 2011