• Sign in
  • Sign up
conf.researchr.org / Clara Benac Earle
  • ICFP 2017 profile
  • ICFP 2019 profile
  • ICFP 2021 profile
  • ICFP 2022 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

Erlang 2022 Author of Executable Contracts for Elixir within the Erlang 2022-track
Erlang 2021 Author of Makina: A New QuickCheck State Machine Library within the Erlang 2021-track
PC Member in Program Committee within the Erlang 2021-track
Erlang 2019 Programme Committee in Program Committee within the Erlang 2019-track
Author of Gaining Trust by Tracing Security Protocols within the Erlang 2019-track
Erlang 2017 Committee Member in Program Committee within the Erlang 2017-track
AGERE 2012 Author of Adding distribution and fault tolerance to jason within the AGERE 2012-track

Share
xWed 8 Feb 21:34
using conf.researchr.org (v1.58.0)
Support page
Sign Up