conf.researchr.org / Clara Benac Earle
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