Ismael Figueroa

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 18

Top Venues

Sci. Comput. Program.

SBLP

CoRR

J. Univers. Comput. Sci.

École des mines de Nantes, France (PHD)

Education History

École des mines de Nantes, France

PHD

Publications

Paul Leger, Felipe Ruiz, Nicolás Sepúlveda, Ismael Figueroa, Nicolás Cardozo
The Stackage Repository: An Exploratory Study of its Evolution. CoRR (2023)
Vicky Pizarro, Paul Leger, Carmen Hidalgo-Alcázar, Ismael Figueroa
ABM RoutePlanner: An agent-based model simulation for suggesting preference-based routes in Spain. J. Simulation 17 (4) (2023)
Matias Salinas, Paul Leger, Hiroaki Fukuda, Nicolás Cardozo, Vannessa de J. Duarte, Ismael Figueroa
Evaluations of Integrated Programming Environment for First-Year Students in Computer Engineering. J. Univers. Comput. Sci. 29 (1) (2023)
Paul Leger, Felipe Ruiz, Nicolás Sepúlveda, Ismael Figueroa
Evolution of a haskell repository and its use of monads: an exploratory study of stackage. SAC (2022)
Hiroaki Fukuda, Ryota Gunji, Tadahiro Hasegawa, Paul Leger, Ismael Figueroa
DSSM: Distributed Streaming Data Sharing Manager. Sensors 21 (4) (2021)
Ismael Figueroa, Paul Leger, Hiroaki Fukuda
Which monads Haskell developers use: An exploratory study. Sci. Comput. Program. 201 (2021)
Paul Leger, Hiroaki Fukuda, Ismael Figueroa
Continuations and Aspects to Tame Callback Hell on the Web. J. Univers. Comput. Sci. 27 (9) (2021)
Paul Leger, Hidehiko Masuhara, Ismael Figueroa
Interfaces for Modular Reasoning in Context-Oriented Programming. COP@ECOOP (2020)
Hiroaki Fukuda, Ryota Gunji, Tadahiro Hasegawa, Paul Leger, Ismael Figueroa
Toward Distributed Streaming Data Sharing Manager for Autonomous Robot Control. SII (2020)
Hiroaki Fukuda, Paul Leger, Ismael Figueroa
A Practical Methodology to Learn Computer Architecture, Assembly Language, and Operating System. CSEDU (1) (2020)
Ismael Figueroa, Cristhy Jiménez, Héctor Allende-Cid, Paul Leger
Developing usability heuristics with PROMETHEUS: A case study in virtual learning environments. Comput. Stand. Interfaces 65 (2019)
Matias Salinas Soto, Ismael Figueroa
Heuristic Evaluation of Code: : Blocks as a Tool for First Year Programming Courses. SCCC (2018)
Cristhy Jiménez, Héctor Allende-Cid, Ismael Figueroa
PROMETHEUS: PROcedural METhodology for developing HEuristics of USability. CoRR (2018)
Ismael Figueroa, Bruno García, Paul Leger
Towards progressive program verification in Dafny. SBLP (2018)
Erick Jamet, Katherine Valencia, Ismael Figueroa
Objectives and Behaviors for a Gamification Strategy for First Year Programming Courses. SCCC (2018)
Ismael Figueroa
A preliminary assessment of how monads are used in Haskell. SBLP (2017)
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
Effect capabilities for Haskell: Taming effect interference in monadic programming. Sci. Comput. Program. 119 (2016)
Ismael Figueroa, Romain Robbes
Is functional programming better for modularity? PLATEAU@SPLASH (2015)
Éric Tanter, Ismael Figueroa, Nicolas Tabareau
Execution levels for aspect-oriented programming: Design, semantics, implementations and applications. Sci. Comput. Program. 80 (2014)
Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter
Compositional reasoning about aspect interference. MODULARITY (2014)
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
Effect Capabilities for Haskell. SBLP (2014)
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice. LNCS Trans. Aspect Oriented Softw. Dev. 11 (2013)
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
Taming aspects with monads and membranes. FOAL (2013)
Nicolas Tabareau, Ismael Figueroa, Éric Tanter
A typed monadic embedding of aspects. AOSD (2013)
Ismael Figueroa
Towards control of aspect interference using membranes and monads. AOSD (Companion) (2013)
Ismael Figueroa, Éric Tanter, Nicolas Tabareau
A practical monadic aspect weaver. FOAL (2012)
Ismael Figueroa
Membranes for AOP: from vision to practice. AOSD (Companion) (2012)
Ismael Figueroa
Avoiding confusion with exception handling in aspect-oriented programming. AOSD (Companion) (2011)
Ismael Figueroa, Éric Tanter
A semantics for execution levels with exceptions. FOAL (2011)

Ismael Figueroa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ismael Figueroa