Arsenii Rudich

According to our database, Arsenii Rudich authored at least 4 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Automatic verification of heap structures with stereotypes.

Arsenii Rudich

PhD thesis, 2011

2008

Checking Well-Formedness of Pure-Method Specifications.

Arsenii Rudich, Ádám Darvas, Peter Müller

Proceedings of the FM 2008: Formal Methods, 2008

Efficient Well-Definedness Checking.

Ádám Darvas, Farhad Mehta, Arsenii Rudich

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Ownership transfer in universe types.

Peter Müller, Arsenii Rudich

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007