Sergey Polyakov Computer Science Department Technion, Haifa, ISRAEL psergey@cs.technion.ac.il Phone: +972-4-829-4951 Office: Room. 631, Taub

Research:

Teaching:

Publications:

• Complexity of Verifying Java Shared Memory Executions. (pdf)
  Alex Gontmakher, Sergey Polyakov, and Assaf Schuster
  To appear in Parallel Processing Letters.
• Java Consistency: A Real-Life Exercise in Non-Operational Specification.(Postscript)
  Alex Gontmakher, Sergey Polyakov, and Assaf Schuster