Arsenii Rudich

Overview

I am a research and teaching assistant at the Chair of Software Engineering, working on my doctoral thesis under the supervision of Peter Müller. I studied Computer Science at the National Taras Shevchenko University of Kyiv and got my diploma in June 2005.

Areas of research

My areas of interests are ownership type systems, alias-control, specification languages, and program verification. I am working in the Mobius project.

Publications

2008

• Efficient Well-Definedness Checking [PDF] [BIB] Springer-Online
  Ádám Darvas, Farhad Mehta, and Arsenii Rudich. In IJCAR 2008, Sydney.
• Checking Well-Formedness of Pure-Method Specifications [PDF] [BIB] Springer-Online
  Arsenii Rudich, Ádám Darvas, and Peter Müller. In FM 2008, Turku.
• Checking Well-Formedness of Pure-Method Specifications (Full Paper)[PDF] [BIB]
  Arsenii Rudich, Ádám Darvas, and Peter Müller. Technical Report 588, ETH Zurich, 2008. Extension of FM paper with soundness proof.

2007

• Ownership Transfer in Universe Types [PDF] [BIB] Springer-Online
  Peter Müller and Arsenii Rudich. In OOPSLA 2007, Montreal.
• Formalization of Ownership Transfer in Universe Types [PDF] [BIB]
  Peter Müller and Arsenii Rudich. Technical Report 556, ETH Zurich, 2007.

2005

• Translation of Algebraic Programs into Executable Codes [PDF] [BIB] Springer-Online
  , and Arsenii Rudich. In Cybernetics and Systems Analysis, Volume 41 , Issue 5 (September 2005).

2004

• An implementation of a muCRL linearization algorithm using rewriting strategies [PDF] [BIB]
  , Arsenii Rudich, and Yaroslav S. Usenko. In TAAPSD 2004, Kyiv.

Student Supervision

Teaching Assistance