assistant undergoing research training at Department of Information Technology, Division of Computing Science
- Visiting address:
POL ITC 1357 ITC, Lägerhyddsv. 2, hus 1
- Postal address:
- Box 337
751 05 UPPSALA
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
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.
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.