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 working on tools for testing and debugging programs written in the Erlang programming language. Currently, I am one of the maintainers of Dialyzer and Concuerror.

Some highlights of my work on these tools:

  • Extend Dialyzer's type inference algorithm to infer and support more fine-grained type, keeping the relation between a function's arguments and results.
  • Developed the parallel version of Dialyzer, included in OTP R15B02.
  • Implement an improved DPOR algorithm for Concuerror.

Keywords: upmarc erlang testing

Also available at

My courses

Research

I am working on tools for testing and debugging programs written in the Erlang programming language. Currently, I am one of the maintainers of Dialyzer and Concuerror.

Some highlights of my work on these tools:

  • Extend Dialyzer's type inference algorithm to infer and support more fine-grained type, keeping the relation between a function's arguments and results.
  • Developed the parallel version of Dialyzer, included in OTP R15B02.
  • Implement an improved DPOR algorithm for Concuerror.

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.