Stack Exchange

aronisstav

Uppsala, Sweden

http://se.linkedin.com/in/stavrosaronis

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
top accounts reputation activity bookmarks subscriptions
Top Questions
Top Answers
236
Jekyll post not generated
stackoverflow.com

26
Specifications for functions: -spec. Efficiently usage
stackoverflow.com

21
How do you write a fun that's recursive in Erlang?
stackoverflow.com

12
How do I match multiple atoms in Erlang?
stackoverflow.com

12
Finding a value in {key, value} list in Erlang
stackoverflow.com

10
Erlang: no match of right hand side value
stackoverflow.com

9
Is there any efficiency difference between using Dialyzer on Erlang beam and source code?
stackoverflow.com

8
list to float erlang without affecting fractional part
stackoverflow.com

7
Pattern matching on a closure variable in an anonymous fun predicate
stackoverflow.com

7
Elixir type specs and parameterized type variables
stackoverflow.com

7
-phobia word for fear of hearing speeches
english.stackexchange.com

7
Why does Erlang provide built-in ordering (sorting) of the basic data types?
softwareengineering.stackexchange.com

6
What happened if there is “record = State” in handle_call function?
stackoverflow.com

6
how to extract comma separated values separately in Erlang
stackoverflow.com

6
Pid as erlang maps key?
stackoverflow.com

5
Why doesn't Dialyzer find this code wrong?
stackoverflow.com

5
Checking the value of Macro
stackoverflow.com

5
What's the meaning of the following statement from file gproc_lib.erl?
stackoverflow.com

5
When I spawn something with MFA, if I include a large list,dict, etc will it be copied?
stackoverflow.com

5
Difference between a List and a Tuple in Erlang
stackoverflow.com

5
Is there any difference between `receive after` and `timer:sleep`?
stackoverflow.com

5
Return a list of vowels in Erlang
stackoverflow.com

5
Why does Dialyzer not catch this simple error?
stackoverflow.com

5
Why does Dialyzer believe specs with too-specific return types?
stackoverflow.com