• Sign in
  • Sign up
conf.researchr.org / Clara Benac Earle
  • ICFP 2017 profile
  • ICFP 2019 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • ICFP 2024 profile
  • ICFP 2026 profile
  • POPL 2025 profile
  • POPL 2026 profile
  • SPLASH 2012 profile
Clara Benac Earle

Registered user since Wed 8 Mar 2017

Name:Clara Benac Earle
Country:Spain
Affiliation:Universidad Politécnica de Madrid
Personal website: http://babel.ls.fi.upm.es/~cbenac/
Research interests:Formal Methods, Property-based Testing

Contributions

2026

ICFP

  • Committee Member in Program Committee within the ICFP Papers-track

Symposium on Practical Aspects of Declarative Languages

  • Committee Member in Program Committee within the PADL 2026-track

2025

Symposium on Practical Aspects of Declarative Languages

  • Committee Member in Program Committee 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

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
  • PC Member in Program Committee within the Erlang 2021-track

2019

Erlang

  • Programme Committee in Program Committee within the Erlang 2019-track
  • Author of Gaining Trust by Tracing Security Protocols within the Erlang 2019-track

2017

Erlang

  • Committee Member in Program Committee within the Erlang 2017-track

2012

AGERE

  • Author of Adding distribution and fault tolerance to jason within the AGERE 2012-track
Share
xFri 12 Dec 08:01
using conf.researchr.org (v1.72.1)
Support page
Sign Up