Shay Litvak

Email address:

MSc student, studying Computer Science in Tel Aviv University under the supervision of Prof. Mooly Sagiv and Dr. Nurit Dor.

Research Interests

• Program analysis
• Interprocedural data flow analysis
• Slicing
• Dependence Analysis
• Impact analysis

Publications

• Field-Sensitive Program Dependence Analysis
  Shay Litvak, Nurit Dor, Rastislav Bodik, Noam Rinetzky and Mooly Sagiv
  International Symposium on the Foundations of Software Engineering, (FSE 2010)
  [PDF]

• Customization Change Impact Analysis for ERP Professionals via Program Slicing
  Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, and Dror Weiss
  International Symposium on Software Testing and Analysis, (ISSTA 2008)
  [PDF]

Dissertations

• Field Sensitive Program Dependences for Large Scale Systems
  MSc Thesis, Tel-Aviv University, 2009
  [PDF]

Last modified: January 2011