Abilio Esteves

Anjuna's Demo Center allows users to provision unique compute environments in different clouds (AWS, Azure, and GCP), with exclusive terminal access through the browser, to showcase Anjuna's tools and capabilities.

This project consisted of enabling the provision of Anjuna's demo environments in less than one minute on average to allow for quicker interactions with customers in sales calls.

The solution I designed and implemented involved setting up and maintaining managed Kubernetes clusters in AWS, Azure, and GCP, with the auto-scaling and overprovisioning of nodes and moving away from Terraform and Ansible to simple Kubernetes specs to provision the demo environments.

An open-source real-time metrics framework to enable rapid deployment of observability features across the enterprise.

It defines a universal metric protocol, enforced by a set of utility libraries written for Node.js, Python, Java, and Go, to easily expose meaningful Prometheus metrics on an application server metrics endpoint.

I am the project's author, architect, and lead developer.

An official DNS provider for LEGO, used by Caddy and Traefik load balancers, this project defines an API contract for the CRUD of DNS records and implements it for BIND9 and Azure DNS.

The project also provides a Docker Swarm listener to identify events of new deployments and registers the service's DNS according to its Docker Compose deployment tags.

I am the author and lead developer of this project. I also contributed to the overall project architecture.

Express monitor defines a Node.js lib to expose meaningful application metrics with only two lines of code. It works by attaching itself as an HTTP middleware to the provided Express instance and registers metrics in the format of Big Brother's metrics protocol.

I am the project's author, architect, and lead developer.

An OAuth 2.0 identity provider implemented in Go to work with the login and consent flow from ORY's Hydra OAuth 2 provider. It securely stores user credentials and implements registration, login, password reset, and email confirmation pages.

I am the author of the project, and I also served as an architect and lead developer.

Developed for my graduate capstone project, UnB-DALi takes advantage of the algebraic theory of typed attributed graph transformation systems to transform annotated abstract UML activity and sequence diagrams into its PRISM DTMC notation, allowing reusability of a software UML specification for model checking and dependability analysis.

I am the author, architect, and lead developer for the tool.

Using empirical analysis over a large dataset of assertions in C and C++ programs, we confirmed that methods with assertions have significantly fewer defects. Assertions also seem to play a positive role in collaborative software development, where many programmers work following the same method. We further characterized assertion usage along the process and product metrics such as ownership and call graph topology.

I am one of the paper's authors. I contributed to the statistical analysis and created a tool to parse and later identify global network properties for the placement of assertions in the program's call graph.