Stavros Aronis – PhD Student

Group

I am a member of the Programming Languages group.

Teaching

Semester	Course code	Course	What
Autumn 2011	1DL320	Compiler Design I	Lessons and assignments
Autumn 2012	1DL321	Compiler Design I	Lessons and assignments
Autumn 2012	1DL450	Advanced Functional Programming	Assignments & Project
Autumn 2012	1DL240	Object-Oriented Design	Project

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

• On Using Erlang for Parallelization: Experience from Parallelizing Dialyzer. Stavros Aronis and Konstantinos Sagonas. TFP 2012: Trends in Functional Programming (EU, FP7, Sjunde ramprogrammet [287510]), 2012.
• A scalability benchmark suite for Erlang/OTP. Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris, and Ioannis E. Venetis. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 33-42, ACM Press, New York, 2012. (DOI).