Department of Information Technology

Stavros Aronis

assistant undergoing research training at Department of Information Technology, Division of Computing Science

Email:
stavros.aronis[AT-sign]it.uu.se
Visiting address:
Room POL ITC 1357 ITC, Lägerhyddsv. 2, hus 1
Postal address:
Box 337
751 05 UPPSALA

Short presentation

I am a specialist in the Erlang programming language and enjoy testing, teaching and making tools for developers. I am one of the maintainers of Dialyzer and Concuerror.

Highlights of my work on these tools:

  • Developed the parallel version of Dialyzer, included in OTP R15B02.
  • Redesigned Concuerror, a model checking tool for systematically testing concurrent programs (http://parapluu.github.io/Concuerror).

Keywords: upmarc erlang testing

Also available at

My courses

Research

I developed advanced effective techniques for systematically testing concurrent programs. More specifically, I advanced the field of Stateless Model Checking, developing an Optimal Dynamic Partial Order Reduction algorithm.

I have applied my research through Concuerror, a stateless model checking tool for Erlang programs.

I have also studied the interferences between the built-in primitives and asynchronous events in the Erlang/OTP implementation, such as the message passing and signal handling.

Publications

Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.

Updated  2016-10-25 16:44:17 by Stavros Aronis.