aronisstav

aronisstav has asked 5 questions and find answers to 33 problems.

Stats

About

I am a:

holder of a PhD degree in Computer Science from Uppsala University, with a dissertation titled "Effective Techniques for Stateless Model Checking"
developer/maintainer of tools that detect errors in Erlang code, such as Dialyzer and Concuerror
regular participant in Google Code Jam and ICFP Contest
Greek

aronisstav questions

Erlang: no match of right hand side value
Jekyll post not generated
How to change values of "-define" Erlang attributes (macro definitions)?

aronisstav answers

What does PLT stand for?
Why does Dialyzer believe specs with too-specific return types?
Is there any efficiency difference between using Dialyzer on Erlang beam and source code?
Erlang: dialyzer is dead slow for a big project
Why does Dialyzer not catch this simple error?
Dialyzer misses error with type specification
Elixir type specs and parameterized type variables
Why doesn't Dialyzer find this code wrong?
Erlang: no match of right hand side value
Why Dialyzer tells me that this fun contract has overlapping domains?