• Automated software engineering with machine learning (Jan-Apr 2018)
  • Topics in software engineering - jointly with Shirish Shevade (Aug-Dec 2017)
  • E0 302: Machine learning for software engineering - jointly with Shirish Shevade (Aug-Dec 2016)
    • Probabilistic modeling and analysis of software repositories, Research topics
  • E0 239: Software reliability techniques (Jan-Apr semester during 2015-2017)
    • Smartphone and web programming, Concurrency and security, Static and dynamic analysis, Model checking
  • E0 223: Automated verification (Jan-Apr semester during 2010-2014)
    • Decision procedures, Temporal logic model checking
  • E0 323: Topics in verification
    • Field study of software systems and tools (Aug-Dec'14)
    • Advanced program analysis and model checking techniques (Aug-Dec'13)
    • Program synthesis, Specification mining, Algorithm selection - jointly with Satish Chandra (Aug-Dec'11)
    • Program synthesis, Machine learning, Interprocedural analysis (Aug-Dec'10)