• Sign in
  • Sign up
conf.researchr.org / Ángel Herranz
  • ECSA 2022 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • ICFP 2024 profile
  • POPL 2025 profile
Ángel Herranz

Registered user since Mon 5 Sep 2022

Name:Ángel Herranz
Country:Spain
Affiliation:Universidad Politécnica de Madrid
Personal website: https://babel.upm.es/~angel
X (Twitter): https://x.com/herranza
GitHub: https://github.com/aherranz
Research interests:theory of programming and specification languages (design, semantics, implementation, applications, and teaching), formal methods, software architecture

Contributions

2025

Symposium on Practical Aspects of Declarative Languages

  • Author of Logic Programming with Extensible Types (Lightning talk) within the PADL 2025-track
  • Author of Checking Concurrency Coding Rules within the PADL 2025-track

2024

Erlang

  • Author of Controlled Scheduling of Concurrent Elixir Programs within the Erlang-track

2023

Erlang

  • Author of Generation and Refinement of Testing Models within the Erlang 2023-track

2022

ECSA

  • Author of Persistence Factories Architectural Design Pattern within the Research Papers-track

Erlang

  • Author of Executable Contracts for Elixir within the Erlang 2022-track

2021

Erlang

  • Author of Makina: A New QuickCheck State Machine Library within the Erlang 2021-track
Share
xThu 22 May 20:46
using conf.researchr.org (v1.69.0)
Support page
Sign Up