Department of Information Technology

Teaching

If you need help, send me a short e-mail and I will suggest a meeting time (on the same or at worst the next day).

Do not just randomly drop by my office, as you may not find me there.

Semester Course code Course What
Autumn 2016 1DL321 Compiler Design I Lessons and assignments
Spring 2016 1DL570 Testing Concurrent and Parallel Software Assignments
Autumn 2015 1DL321 Compiler Design I Lessons and assignments
Spring 2015 1DL570 Testing Concurrent and Parallel Software Assignments
Autumn 2014 1DL321 Compiler Design I Lessons and assignments
Autumn 2014 1DL450 Advanced Functional Programming Labs, assignments and projects
Autumn 2013 1DL321 Compiler Design I Lessons and assignments
Autumn 2013 1DL450 Advanced Functional Programming Labs, assignments and projects
Autumn 2012 1DL321 Compiler Design I Lessons and assignments
Autumn 2012 1DL450 Advanced Functional Programming Assignments & Project
Autumn 2012 1DL240 Object-Oriented Design Project
Autumn 2011 1DL320 Compiler Design I Lessons and assignments

Research interests

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

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